Article/Publication Details

Carnap’s Modal Logic C

(Original title: Carnapova modální logika C)
Organon F, 2010, vol. 17, No 2, pp. 163-184.
File to download: PDF*
BibTex EndNote Tagged EndNote XML RIS

Document Statistics:

Number of visits: 3,406
Number of visits today: 0
Last visit: 13.12.2024 - 01:19
PDF downloads: 879

Abstract

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.

*The article is subject to copyright.