@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} }