CARNAP´S MODAL LOGIC 'C' (Carnapova modalni logika 'C')

• Authors: Puncochar Vit
• Languages of publication: CS

Abstracts

EN

In this paper, author presents 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 semantic 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.

Keywords

EN

CARNAP RUDOLF; LOGIC C; LOGIC S5; MODAL LOGIC; POSSIBLE WORLDS; SUBSTITUTION

Discipline

• PHILOSOPHY: PHILOSOPHY

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2010
• Volume: 17
• Issue: 2
• Pages: 163-184
• Document type: ARTICLE

Contributors

author

Puncochar Vit

• Vit Puncochar, Filosoficka fakulta, Karlova Univerzita, Nam. Jana Palacha 2, 116 38 Praha 1, Czech Republic

Identifiers

CEJSH db identifier

11SKAAAA090522