Representing de Dicto and de Re in Modal Logic
In modal logic the distinction between de dicto and de re is one of scope. In de dicto claims, any quantifiers are within the scope of the modal operator, whereas in de re claims the modal operator falls within the scope of the quantifier. For example:
| De dicto: | Necessarily, some x is such that it is A | |
| De re: | Some x is such that it is necessarily A |
Read more about this topic: De Dicto And de Re
Famous quotes containing the words representing and/or logic:
“He who has learned what is commonly considered the whole art of painting, that is, the art of representing any natural object faithfully, has as yet only learned the language by which his thoughts are to be expressed.”
—John Ruskin (1819–1900)
“The usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)