Identity and Aboutness

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (Journal of Philosophical Logic, 4545, 199-226 13, 14, 15) introduces. I will then move to compare the resulting logic of propositional identity (PI1) with Correia's (The Review of Symbolic Logic, 9, 103-122 9) logic of generalised identity (GI), as well as the first degree fragment of Angell's (2) logic of analytic containment (AC). The paper concludes by extending PI1 to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin.

Automated summary

This paper presents a theory of propositional identity that distinguishes equivalent propositions with different subject matters, forming a non-interlaced bilattice. It introduces a Finean state semantics and argues against certain constraints, comparing the resulting logic with other existing theories. The paper concludes by extending the theory to include axioms and rules for a subject-matter operator, providing a broader theory than previously discussed principles.