Impossibilities, identities, and belief (CROSBI ID 514737)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Kovač, Srećko
engleski
Impossibilities, identities, and belief
Some main problems of first-order logic of belief include modelling classically impossible propositions as possible beliefs, and also the preservation of the identity of objects through distinct beliefs. First-order non-standard semantics is proposed where classically inconsistent de re beliefs are allowed, the identity of objects of belief being preserved, and where intensional objects of belief are generated through the presentation of objects by individual constants. In a model, each world w has an associated set of worlds q(w) by means of which the satisfaction of an atomic formula is defined. Members of q(w) agree on properties of objects if the objects are taken in the same mode of presentation. The proposed semantics is compared with some other first-order modal semantics (e.g. Fitting, Gerbrandy, Rantala, etc.). An appropriate tableau system for the logic of belief is also proposed.
contradictory belief; de re belief; de dicto belief; identity of objects; mode of presentation; tableau
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
9-9-x.
2005.
objavljeno
Podaci o matičnoj publikaciji
2005-06 Winter Meeting of the Association for Symbolic Logic
New York (NY):
Podaci o skupu
2005-06 Winter Meeting of the Association for Symbolic Logic
predavanje
27.12.2005-29.12.2005
Sjedinjene Američke Države