@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Kripke,Saul A.}, subject = {Ontologische Verpflichtung}, note = {III 379 "Es gibt"/Interpretation/Ontologie/"ontologische Verpflichtung"/Kripke: Kann es überhaupt eine sinnvolle Frage sein, ob sich jemand, der sagt "Es gibt Menschen" dabei selbst "auf eine Sichtweise verpflichtet", dass solche Dinge wie Menschen existieren? (KripkeVsBrandom). Es ist einfach so, dass "Es gibt Menschen" wahr ist, wenn es Menschen gibt. Was für eine weitere Frage soll es da noch geben? (KripkeVsQuineaner, Epigonen von Quine; Quine selbst geht es dagegen um Formulierungen wie "es gibt 3 Meter Abstand zwischen..."). >"Es gibt". Kripke: Man könnte vielleicht behaupten, dass in einigen seltenen speziellen Fällen "Es gibt" nur oberflächlich an "Es gibt Kaninchen" erinnert und dann keine "ontologische Verpflichtung" mit sich bringt, und man könnte sogar substitutionale Quantifikation bemühen, um das zu zeigen. Aber es wäre doch etwas anderes zu behaupten, dass "es gibt Kaninchen" nicht wahr ist gdw. es Kaninchen gibt. Das ist analog dazu zu leugnen, dass "John ist groß" wahr ist, gdw. John groß ist. "Ontologische Verpflichtung"/Kripke: Die "ontologische Verpflichtung" wurde nicht für Bsp "Es gibt Kaninchen" entwickelt. Nun könnte jemand meinen, sie wurde für referentielle Sprache erster Stufe entwickelt, und die Frage ist, ob Englisch in eine solche referentielle Sprache übersetzt werden sollte oder in eine substitutionale. Denn letztere treffe ja keine ontologischen Festlegungen. >Substitutionale Quantifikation, vgl. >Referentielle Quantifikation. KripkeVs: Die Frage ist Quatsch: Wir haben keine formale Sprache so gelernt wie unsere Muttersprache. In einigen Logikbüchern wird die verrückte Notation "(Ex)" entweder so erklärt, dass man ein Bsp gibt: "(Ex) Rabbit (x)" bedeute. Es gibt ein x, das ein Kaninchen ist" oder... III 380 ...durch eine Formale Definition von Erfüllung (wie hier, s.o.) Def Erfüllung/Kripke: "(Exi) Rabbit (xi)" gdw. es gibt ein s' das von s an höchstens der i-ten Stelle abweicht das erfüllt "Rabbit (xi)". ((s) Bsp "Katze3 ist nicht auf der Matte" weicht an der dritten Stelle von "Katze1-5 ist auf der Matte" ab.) Dann werden die Quantoren als über einen nicht-leeren Bereich gehend angenommen und der technische Term "nicht-leer" wird erklärt, indem man sagt dass D nicht leer ist gdw. es ein Element von D gibt.}, note = {S.A. Kripke I S. A. Kripke, Name und Notwendigkeit Frankfurt/M, 1981 II S. A. Kripke, Sprecher-Referenz und semantische Referenz aus Wolf, Eigennamen, Frankfurt 1993 Ebenfalls Sigle II: Substitutionale Quantifikation aus Evans/McDowell, Truth and Meaning, Oxford 1977; }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=253123} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=253123} }