De Dicto and de Re - Representing de Dicto and de Re in Modal Logic

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:

    “Brave people may be persuaded to an action by representing it as being more dangerous than it really is.”
    —Friedrich Nietzsche (1844–1900)

    ““... We need the interruption of the night
    To ease attention off when overtight,
    To break our logic in too long a flight,
    And ask us if our premises are right.””
    —Robert Frost (1874–1963)