Analysis 39 (3):129-132 (1979)
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. The paper respondes to a criticism of an earlier paper by James Freeman
|Keywords||propositional identity coentailment|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment.Philip Hugly & Charles Sayward - 1981 - Notre Dame Journal of Formal Logic 22 (3):269-282.
What is the Logic of Propositional Identity?Charles Sayward - 2006 - Logic and Logical Philosophy 15 (1):3-15.
Undefinability of Propositional Quantifiers in the Modal System S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
The Degeneration of the Cognitive Theory of Emotions.Paul E. Griffiths - 1989 - Philosophical Psychology 2 (3):297-313.
Not All Attitudes Are Propositional.Alex Grzankowski - 2012 - European Journal of Philosophy (3):374-391.
A Complete Minimal Logic of the Propositional Contents of Thought.Marek Nowak & Daniel Vanderveken - 1995 - Studia Logica 54 (3):391 - 410.
A New Theory of Content II: Model Theory and Some Alternatives. [REVIEW]Ken Gemes - 1997 - Journal of Philosophical Logic 26 (4):449-476.
Added to index2011-04-06
Total downloads49 ( #107,979 of 2,178,232 )
Recent downloads (6 months)1 ( #316,504 of 2,178,232 )
How can I increase my downloads?