Naslov
Impossibilities, identities, and belief

Autori
Kovač, Srećko

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
2005-06 Winter Meeting of the Association for Symbolic Logic / - New York (NY), 2005, 9-9

Skup
2005-06 Winter Meeting of the Association for Symbolic Logic

Mjesto i datum
Sjedinjene Američke Države, 27.12.2005. - 29.12.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
contradictory belief; de re belief; de dicto belief; identity of objects; mode of presentation; tableau

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA