Abstract
R. Suszko’s Sentential Calculus with Identity \( SCI \) results from classical propositional calculus \( CPC \) by adding a new connective \(\equiv \) and axioms for identity \(\varphi \equiv \psi \) (which we interpret here as ‘propositional identity’). We reformulate the original semantics of \( SCI \) using Boolean prealgebras which, introduced in different ways, are known in the literature as structures for the modeling of (hyper-) intensional semantics. We regard intensionality here as a measure for the discernibility of propositions (and hyperintensionality as a high degree of intensionality). As concrete examples of \( SCI \)-based intensional modeling, we review and study algebraic semantics of some Lewis-style modal logics in the vicinity of \( S3 \) and present conditions under which those modal systems can be restored, in a precise sense, as certain axiomatic extensions of \( SCI \). This generalizes work of Suszko which is focused on the modal systems \( S4 \) and \( S5 \). Our approach is particularly intended as a proposal to consider and to further study \( SCI \) (and its extensions) as a general framework for the modeling of (hyper-) intensional semantics.
Similar content being viewed by others
Notes
\(\chi [x:=\varphi ]\) is the result of substituting \(\varphi \) for every occurrence of variable x in \(\chi \). The concept can be formally defined in the obvious way by induction on the construction of \(\chi \).
The intension (sense) of a formula is a mental content expressed by the formula’s syntax: e.g. \(x\wedge y\) and \(y\wedge x\) have different intensions. However, intension and syntax are not always in one-to-one correspondence. In a logic with propositional quantifiers, one may argue that the distinct formulas \(\forall x(x\rightarrow x)\) and \(\forall y(y\rightarrow y)\) have the same intension.
The epistemic notion of belief, represented by an operator B, is usually viewed as hyperintensional: even if \(\varphi \) and \(\psi \) are logically equivalent, \(B\varphi \) and \(B\psi \) may have different truth-values depending on the agents mental state. Such a context could be formalized adequately by a model where \(\varphi \) and \(\psi \) denote different propositions.
Actually, this notion is stronger than the notion of admissible defined in Bloom and Suszko (1972, Definition 1.6) where only a finite set of axiom schemes of \( CPC \) is considered (recall that we consider here the set of all theorems of \( CPC \) as axioms of \( SCI \)). However, if \( TRUE \) is also closed (see the next item), then both definitions coincide. In fact, if \( TRUE \) is closed and admissible in the sense of Bloom and Suszko (1972, ), and \(\varphi \) has the form of a theorem of \( CPC \), then by induction on the length of derivations it follows that \(\gamma (\varphi )\in TRUE \) (interpret the condition of being closed as modus ponens).
There is, in general, no unique preorder witnessing that the algebraic structure is a Boolean prealgebra. Actually, we could modify our definition of Boolean prealgebra by requiring the existence of an appropriate preorder instead of presenting a particular one. However, since such an alternative definition would involve further conceptual changes and technical difficulties, we decided to work with Definition 2.1 where a particular preorder is explicitly given.
\(\mathcal {M'}\) is not necessarily a Boolean algebra. For example, \([\varphi ]\vee [\psi ]=[\varphi \vee \psi ]\ne [\psi \vee \varphi ]=[\psi ]\vee [\varphi ]\) is possible. Even if \(\mathcal {M'}\) is a Boolean algebra, the preorder \(\preceq \) may be strictly coarser than the underlying lattice order (cf. Lemma 2.4). In fact, \(\preceq \) is the lattice order iff \(\varPsi \) contains all instances of the Fregean Axiom \((\varphi \equiv \psi )\leftrightarrow (\varphi \leftrightarrow \psi )\).
The model is called intensional because different intensions (different formulas) correspond to different denotations (propositions), so intensions and denotations are in one-to-one correspondence. Of course, such a model can be particularly viewed as hyperintensional since even logically equivalent formulas \(\varphi \ne \psi \) have different semantics.
The construction of an intensional model for such a first-order logic is not trivial because of the impredicativity of propositional quantifiers. Note that the bound variable x in the formula \(\forall x\varphi \) ranges over a propositional universe which contains the proposition denoted by \(\forall x\varphi \) itself.
Consider classical tautology \(\varphi \leftrightarrow (\varphi \leftrightarrow \top )\), rule AN, principle K and MP.
In the following, we will write such an expression also as \(\varphi \equiv _{\mathcal {L}} box ( id (\varphi ))\).
We will write such an expression also as \(\varphi \equiv _{{\mathcal {L}}_\equiv } id ( box (\varphi ))\).
Note that the same argument is applicable if we consider the axioms (3’), (4), (5). If \(\varphi \) is such an axiom, then \( box (\varphi )\) is the corresponding axiom of modal system \( S1SP \), \( S4 \), \( S5 \), respectively.
References
Blok, W. J., & Pigozzi, D. (2001). Abstract algebraic logic and the deduction theorem. Bulletin of Symbolic Logic.
Bloom, S. L., & Suszko, R. (1972). Investigation into the sentential calculus with identity. Notre Dame Journal of Formal Logic, 13(3), 289–308.
Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Clarendon Press.
Cresswell, M. J. (1975). Hyperintensional logic. Studia Logica, 34(1), 25–38.
Fox, C., & Lappin, S. (2005). Foundations of Intensional Semantics. Blackwell Publishing.
Hughes, G. E., & Cresswell, M. J. (1996). A new introduction to modal logic. Routledge.
Ishii, T. (1998). Propositional calculus with identity, Bulletin of the Section of Logic 27(3). University of Łódź.
Leitgeb, H. (2019). HYPE: A system of hyperintensional logic (with an application to semantic paradoxes). Journal of Philosophical Logic, 48(2), 305–405.
Lewis, C. I., & Langford, C. H. (1959). Symbolic logic, 1932. Dover reprint.
Lewitzka, S. (2012). Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Logic Journal of the IGPL, 20(6), 1083–1109.
Lewitzka, S. (2015). Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Studia Logica, 103(3), 507–544.
Lewitzka, S. (2016). Algebraic semantics for a modal logic close to S1. Journal of Logic and Computation, 26(5), 1769–1783.
Lewitzka, S. (2017). Epistemic extensions of combined classical and intuitionistic propositional logic. Logic Journal of the IGPL, 25(3), 309–324.
Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18(2), 257–282.
Suszko, R. (1971). Identity connective and modality. Studia Logica, 27, 7–39.
Suszko, R. (2006). Abolition of the fregean axiom, Lecture Notes in Mathematics, 453:169–239 (1975), In: R. Parikh (Ed.) Logic colloquium. Springer.
Wawrzynczak, R. (1973). Some Boolean theories in SCI. Bulletin of the Section of Logic, 2(3), 197–204.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Lewitzka, S. Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. J of Log Lang and Inf 32, 441–471 (2023). https://doi.org/10.1007/s10849-023-09396-z
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-023-09396-z