Carnapova modální logika C

Title:

Carnapova modální logika C
Carnap’s modal logic C

Creator:

Punčochář, Vít

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:a74f7e89-c5fd-4afd-972e-138ad2ac4bc8
uuid:a74f7e89-c5fd-4afd-972e-138ad2ac4bc8

Subject:

Carnap, modal logic, logic C, logic S5, possible worlds, and substitution

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

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., V tomto příspěvku prezentujeme Carnapovu modální logiku C, která je jedním z prvních pokusů o využití konceptu možného světa (státního popisu v karnapské původní terminologii) při formování sémantiky modalit. Jsou shrnuty některé starší technické výsledky, které se týkají logiky C, a to dva různé druhy axiomatizace C, jedna neobvyklá charakterizace C jako jediná množina vzorců s jednou speciální vlastností a sémantické a syntaktické vztahy C až S5. Krátce je diskutována skutečnost, že C není uzavřena pod univerzální substitucí. Nakonec je definována predikátová verze C, která není axiomatizovatelná., and Vít Punčochář

Language:

Slovak

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

163-184

Source:

Organon F: filozofický časopis | 2010 Volume:17 | Number:2

Harvested from:

CDK

Metadata only:

false