Naslov
Logical Principles and the Square of Oppositions

Autori
Kovač, Srećko

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

Skup
Logical Foundations of Metaphyiscs

Mjesto i datum
Dubrovnik, Hrvatska, 21.05.2008. - 25.05.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Nije recenziran

Ključne riječi
Kant; paracompleteness; paraconsistency; principle of contradiction; principle of excluded middle; principle of sufficient reason; square of oppositions; subject abstraction; labelled tableau.

Sažetak
We describe a paraconsistent and paracomplete logic C, and a paracomplete logic SR, which are sublogics of a classical (and formalized traditional) logic EM. C is motivated by I. Kant's discussion of the principle of contradiction, SR by the introduction of the ``principle of sufficient reason'' on C, and EM by the introduction of the principle of excluded middle on SR. All three logics contain categorical syllogistic as a proper part, and in each of them some characteristic logical relations are pictured by the square of oppositions. A subject term abstraction device is defined (in the language of C) for keeping relation symbols related to one and the same valuation point through a formula. A fourfold satisfaction concept is used (similarly to Beziau 2005), and applied to modeling differences between de re and de dicto beliefs.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA