Psychologie Lexikon der ArgumenteHome | |||
| |||
Modallogik: Erweiterung der klassischen Logik zu Systemen, in denen auch Möglichkeit und Notwendigkeit ausgedrückt werden können. Verschiedene Ansätze gebrauchen dafür Operatoren zum Ausdruck von „notwendig“ und „möglich“, die je nach Platzierung innerhalb von Formeln Behauptungen von unterschiedliche Stärke gewinnen lassen. Bsp Es gibt einen Gegenstand, der notwendig die Eigenschaft F hat/ Es ist notwendig, dass es einen Gegenstand mit der Eigenschaft F gibt. Die Einführung möglicher Welten macht Quantifikation zum Ausdrücken von Möglichkeit (Es gibt mindestens eine Welt, in der…) und Notwendigkeit (Für alle Welten gilt…) möglich. Siehe auch Operatoren, Quantoren, Vollständigkeit, Reichweite, Mögliche Welten._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
W.V.O. Quine über Modallogik – Lexikon der Argumente
II 152 Modallogik/Quine: die gesamte Modallogik ist kontextabhängig. - Welche Rolle spielt jemand oder etwas? - Das ist auf der gleichen Stufe wie wesentliche Eigenschaften. (>Essentialismus/Quine). - - - VII (h) 151 Modallogik/Ontologie/Quine: statt Venus als materieller Gegenstand jetzt drei Objekte: Venus-Begriff, Morgenstern-Begriff, Abenderstern-Begriff - vermeidet opake Kontexte: Klassennamen als Objekte statt Klassen, Zahlennamen als Objekte statt Zahlen - Zahlbegriff/Zahl-der-Planeten-Begriff: ein Begriff ist nicht größer/kleiner als ein anderer - Grund: Notwendigkeit wird nicht von physikalischen Objekten erfüllt (>Notwendigkeit/Hume). Notwendigkeit/Möglichkeit: wird erst eingeführt durch die Weise der Bezugnahme, nicht durch die Gegenstände - Notwendigkeit betrifft Relationen, nicht Objekte (nicht Existenz) - Frege: "Sinn (Bedeutung) von Namen" Quine: Problem: Individuation setzt Analytizität und Synonymie voraus. - Bsp ((s) Der Morgenstern-Begriff beinhaltet notwendigerweise das Erscheinen am Morgenhimmel.) VII (d) 151f Modallogik/Quine: macht Essentialismus notwendig, d.h. man kommt nicht ohne notwendige Züge der Objekte selbst aus, weil man auf Quantifikation nicht verzichten kann. - QuineVsModallogik: eigentlich gibt es aber nichts notwendiges an den Objekten "selbst", sondern nur in der Weise der Bezugnahme >(Referenz/Quine). VII (h) 151 Modallogik/Ontologie/Quine: die Bedingung, dass zwei Namen für x synonym sein müssen, ist keine Bedingung für Objekte, sondern für sing Term - keine Notwendigkeit de re. - Die Venus entscheidet nicht über MS/AS - (s) Bedingungen sind äquivalent, nicht Objekte. >Notwendigkeit. VII (h) 154 Modallogik/Church/Quine: quantifizierte Variablen sollten auf intensionale Werte beschränkt sein - Proposition: komplexe Namen intensionaler Objekte - dann statt Notwendigkeits-Operator für ganze Sätze: Notw-Prädikat bezogen auf komplexe Namen ("Propositionen") - keine Modallogik im engeren Sinn. >Propositionen. VII (h) 154 Modallogik/Smullyan/Quine: strikte Trennung von Eigennamen und (offenen oder verdeckten) Kennzeichnungen - Namen, die gleiche Objekt benennen, sind dann immer synonym ( wenn x = y dann notw. x = y) - dann müssen Sätze wie (Zahl der Planeten = 9), die keine substituierbare Identität aufweisen, durch Kennzeichnungen statt durch Eigennamen analysiert werden (Quine pro). QuineVs: man muss dennoch mit opaken Kontexten rechnen, sogar wenn Kennzeichnungen und andere sing Term alle zusammen eliminiert werden. VII (h) 154ff Modallogik/Notwendigkeit/Planeten-Bsp/Quine: die einzige Hoffnung besteht darin, die Situation so zu akzeptieren, wie sie in (33): es gibt genau x Planeten) dargestellt wird und dennoch darauf zu bestehen, dass das fragliche Objekt x notwendig größer als 7 ist! (>Essentialismus/Quine). - Ein Objekt selbst, egal wodurch benannt oder nicht benannt, muss so angesehen werden, dass es einige Züge notwendigerweise und andere zufällig hat! Und zwar ungeachtet der Tatsache, dass die zufälligen Züge aus einer Weise der Bezugnahme herrühren, genauso wie die notwendigen aus anderen Weisen der Bezugnahme. - ~notw. [p . (x = x)] wobei "p" für irgendeine zufällige Wahrheit steht. VII (h) 156 Modallogik/Quine: man muss einen Aristotelischen Essentialismus akzeptieren, wenn man quantifizierte Modallogik zulassen will. VII (h) 156 Modallogik/Planeten/Quine: die Eigenschaft, größer als 9 zu sein = die Eigenschaft größer als 9 zu sein - aber falsch: die Eigenschaft, die Zahl der Planeten zu übersteigen = die Eigenschaft größer als 9 zu sein. >Planeten-Beispiel. ((s) Neu: obwohl nun die Zahl gleich ist, ist aber die Eigenschaft nicht gleich.) - (Ex) (x = Die Eigenschaft, größer als x zu sein = die Eigenschaft größer als 9 zu sein) - jede nicht-wahrheitsfunktionale Sprache führt zu opaken Kontexten. - - - X 107 Modalität/Modallogik/Quine: Problem: extensionsgleiche (koextensive) Prädikate sind nicht mehr austauschbar salva veritate. >Koextension._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Quine I W.V.O. Quine Wort und Gegenstand Stuttgart 1980 Quine II W.V.O. Quine Theorien und Dinge Frankfurt 1985 Quine III W.V.O. Quine Grundzüge der Logik Frankfurt 1978 Quine V W.V.O. Quine Die Wurzeln der Referenz Frankfurt 1989 Quine VI W.V.O. Quine Unterwegs zur Wahrheit Paderborn 1995 Quine VII W.V.O. Quine From a logical point of view Cambridge, Mass. 1953 Quine VII (a) W. V. A. Quine On what there is In From a Logical Point of View, Cambridge, MA 1953 Quine VII (b) W. V. A. Quine Two dogmas of empiricism In From a Logical Point of View, Cambridge, MA 1953 Quine VII (c) W. V. A. Quine The problem of meaning in linguistics In From a Logical Point of View, Cambridge, MA 1953 Quine VII (d) W. V. A. Quine Identity, ostension and hypostasis In From a Logical Point of View, Cambridge, MA 1953 Quine VII (e) W. V. A. Quine New foundations for mathematical logic In From a Logical Point of View, Cambridge, MA 1953 Quine VII (f) W. V. A. Quine Logic and the reification of universals In From a Logical Point of View, Cambridge, MA 1953 Quine VII (g) W. V. A. Quine Notes on the theory of reference In From a Logical Point of View, Cambridge, MA 1953 Quine VII (h) W. V. A. Quine Reference and modality In From a Logical Point of View, Cambridge, MA 1953 Quine VII (i) W. V. A. Quine Meaning and existential inference In From a Logical Point of View, Cambridge, MA 1953 Quine VIII W.V.O. Quine Bezeichnung und Referenz In Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982 Quine IX W.V.O. Quine Mengenlehre und ihre Logik Wiesbaden 1967 Quine X W.V.O. Quine Philosophie der Logik Bamberg 2005 Quine XII W.V.O. Quine Ontologische Relativität Frankfurt 2003 Quine XIII Willard Van Orman Quine Quiddities Cambridge/London 1987 |