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)

    “seizing the swift logic of a woman,
    Curse God and die.”
    —Edwin Arlington Robinson (1869–1935)