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:
“... today we round out the first century of a professed republic,—with woman figuratively representing freedom—and yet all free, save woman.”
—Phoebe W. Couzins (1845–1913)
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)