Detail príspevku/publikácie

Carnapova modální logika C

Organon F, 2010, roč. 17, č. 2, s. 163-184.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 3,138
Počet prístupov dnes: 0
Naposledy zobrazené: 30.05.2024 - 01:35
Počet stiahnutí PDF: 830


In this paper, we present Carnap’s modal logic C, which is one of the first attempts to use the concept of possible world (that of state description in the Carnapian original terminology) in shaping the semantics for modalities. Some older technical results, which concern the logic C, are summarized, namely two different kinds of axiomatization of C, one unusual characterization of C as the only set of formulae having one special property, and semantical and syntactical relations of C to S5. The fact that C is not closed under the universal substitution is shortly discussed. Finally, the predicate version of C, which is not axiomatizable, is defined.

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).