Some remarks on semantics and expressiveness of the sentential calculus with identity

DOI10.1007/S10849-023-09396-ZMaRDI QIDQ6169324zbMATH OpenOpenAlexFDO

Authors Steffen Lewitzka

Publication date 14 August 2023

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.02696

zbMATH Keywords

Boolean prealgebrahyperintensional semanticsintensional semanticsmodal logicnon-fregean logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Abstract: Suszko's Sentential Calculus with Identity SCI results from classical propositional calculus CPC by adding a new connective $equiv$ and axioms for identity $varphiequivpsi$ (which we interpret here as `propositional identity'). We reformulate the original semantics of SCI in terms of Boolean prealgebras establishing a connection to `hyperintensional semantics'. Furthermore, we define a general framework of dualities between certain SCI-theories and Lewis-style modal systems in the vicinity of S3. Suszko's original approach to two SCI-theories corresponding to S4 and S5 can be formulated as a special case. All these dualities rely particularly on the fact that Lewis' `strict equivalence' is axiomatized by the SCI-principles of `propositional identity'.

Cites work

• Algebraic semantics for a modal logic close to S1
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
• Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
• Epistemic extensions of combined classical and intuitionistic propositional logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 1471974 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logic
• Hyperintensions
• Identity connective and modality
• Investigations into the sentential calculus with identity

Cited in

(2)

• scientific article; zbMATH DE number 1984524 (Why is no real title available?)
• scientific article; zbMATH DE number 7700618 (Why is no real title available?)

This page was built for publication: Some remarks on semantics and expressiveness of the sentential calculus with identity

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