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