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 (1844–1900)
“You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
—Alexander Herzen (1812–1870)