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)
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)