1. Srećko Kovač (2007). Contradictions, Objects, and Belief. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.
    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. , , , , , , , ,.
    Reading list   |  Discuss  |  Edit  |  Categorize  |  
     
    My bibliography  |
     
    Export citation | Scholar | At my library
    25 downloads  |  Added to index: 2009-06-06  |  Mark as duplicate  |  Remove from index  |  Revision history
    Bookmark and Share