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:
“There are people who are so presumptuous that they know no other way to praise a greatness that they publicly admire than by representing it as a preliminary stage and bridge leading to themselves.”
—Friedrich Nietzsche (18441900)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (19281974)