Naslov
First-order belief and paraconsistency

Autori
Kovač, Srećko

Izvornik
Logic and Logical Philosophy (1425-3305) 18 (2009), 2; 127-143

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
appearance; belief; identity; labelled and signed tableau; object; paraconsistent; tableau suffix

Sažetak
A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{; ; L}; ; _{; ; \mathbf{; ; QB}; ; }; ; $ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA