|Equivalence: Relation between sentences. It exists if both sides have the same truth value, so that they are both true or both false.|
Books on Amazon
|EMD II 371
Logically equivalent/Kripke: are the results even if it makes a difference in what order multiple descriptions are eliminated - Russell: not equivalent: (Ey)((x)(y = x ↔ f(x)) u Cc(y)) and C((Ey)(x)(y = x ↔ f(x)) u c(y))) - (C= "believe")).
Logically equivalent are the following: E.g. P u P and P v P and (E.g.)(Ey) (Fx u Fy) and (Ex)(Ey) (Fx v Fy), although conjunction and disjunction are not equivalent.
EMD II 379
Logically equivalent/Kripke: P u P and P v P and (Ex)(Ey) (Fx u Fy) and (Ex)(Ey) (Fx v Fy) although conjunction and disjunction are not equivalent.
Name und Notwendigkeit Frankfurt 1981
S. A. Kripke
Outline of a Theory of Truth (1975)
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989