engleski

Contradictions, objects, and belief

We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special ``sense objects'', appearances of objects in an agent's belief are introduced and presented as ordered pairs consisting of an object and an individual constant. A non-classical identity relation is applied. A relation S on the set of possible worlds is introduced, which models possible distortions in an agent's picture of a (real) world. The application of such models in deontic logic is illustrated by a characteristic example.

appearance, belief, cluster, contradiction, de dicto belief, de re belief, intension, local reasoning, mode of presentation

nije evidentirano