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)
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)