More on Propositional Identity
Analysis (1979)
- ISSN: 00032638
Abstract
We give a semantical account of propositional identity which is stronger than mutual entailment. that is, according to our account: (1) if A = B is true in a model, so are A 'validates' B and B 'validates' A. (2) There exist models m such that A 'validates' B and B 'validates' A are true in M but A = B is not true in m. according to our account the following rule is sound: (3) from (.. A..) = (.. B..) infer A = B.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
2 Readers on Mendeley
by Discipline
100% Philosophy
by Academic Status
50% Senior Lecturer
50% Associate Professor
by Country
50% South Africa
50% Turkey