@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Kripke,Saul A.},
subject = {Equivalence},
note = {III 371
Logically equivalent/Kripke: the results are logically equivalent even if it makes a difference in what order multiple descriptions are eliminated. Russell: they are not equivalent: (Ey)((x)(y = x ↔ f(x)) u Cc(y)) and C((Ey)(x)(y = x ↔ f(x)) u c(y))) - (C= "believe")).
III 379
Logically equivalent/Kripke: 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.
>Conjunction, >Disjunction.},
note = { Kripke I S.A. Kripke Naming and Necessity, Dordrecht/Boston 1972 German Edition: Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf, Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell, Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=201619}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=201619}
}