Carnapian extensions of S5

DOI10.1007/BF00245990MaRDI QIDQ1066883zbMATH OpenFDO

Authors Herbert E. Hendry, M. L. Pokriefka

Publication date 1985

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00245990

zbMATH Keywords

Carnapextensions of S5modalitiespropositional modal logicstate-descriptions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

The authors remark that Carnap's theory of modalities is distinct from Kripke's, even in the case where both authors find eventually S5. By using state-descriptions, (i.e. sets of formulas which contain for each propositional variable either it or its negation) that do not correspond always to possible worlds, the authors give a system of propositional modal logic, \(S5^{\Delta}\) corresponding to each set \(\Delta\) of state- descriptions. These systems are extensions of S5, but they may be non- normal (in that case, the rule of substitution is not admissible in them), they even may be non-axiomatizable. As particular cases we find the normal extensions of S5, known by the classical paper of \textit{S. J. Scroggs} [J. Symb. Logic 16, 112-120 (1951; Zbl 0043.008)].

Recommendations

• Remarks on a Carnapian extension of S5
• CARNAP AND McKINSEY: Topics in the Pre-History of Possible-Worlds Semantics
• Adding the everywhere operator to propositional logic
• The extensions of the modal logic K5
• The connective of necessity of modal logic \(S_ 5\) is metalogical

Cites work

• A completeness theorem in modal logic
• A new representation of S5
• Extensions of the Lewis system S5
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3784831 (Why is no real title available?)
• scientific article; zbMATH DE number 1329021 (Why is no real title available?)
• scientific article; zbMATH DE number 3375470 (Why is no real title available?)
• Modalities and Quantification
• On the primary and secondary semantics of logical necessity
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some theorems about the sentential calculi of Lewis and Heyting
• The theory of truth tabular connectives, both truth functional and modal

Cited in

(8)

• Remarks on a Carnapian extension of S5
• A Descending Chain of Incomplete Extensions of Implicational S 5
• The extensions of the modal logic K5
• scientific article; zbMATH DE number 1303429 (Why is no real title available?)
• Some modifications of Carnap's modal logic
• Revising Carnap's semantic conception of modality
• The logic of logical necessity
• Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C

This page was built for publication: Carnapian extensions of S5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066883)