Philosophie Lexikon der ArgumenteHome | |||
| |||
Logik: die Lehre von der Zulässigkeit bzw. Unzulässigkeit von Relationen zwischen Aussagen und damit der Gültigkeit der Zusammensetzungen dieser Aussagen. Insbesondere geht es darum, ob Schlüsse aus bestimmten Vorgaben wie Prämissen oder Vordersätzen erhalten werden können. Logische Formeln sind zunächst nicht interpretiert. Erst die Interpretation, d.h. die Einsetzung von Werten, z.B. Gegenständen anstelle der freien Variablen macht die Frage nach ihrer Wahrheit sinnvoll. _____________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 Logik – Lexikon der Argumente
II 47ff Zweiwertigkeit: Problem: Sorites. II 53 Dennoch Grundzug unserer naturwissenschaftlichen Welt. - Im liberalen Sinn kein Problem - Frege: jeder allgemeine Term trifft zu oder nicht. - Alle Termini sind vage durch Ostension. >Ostension. II 168 Logik, alt: handelt von Eigenschaften - neu: von Relationen - Quine: sie spürt jedenfalls Implikationen auf. >Implikation. II 169 Logik, alt: versagte bei relativen Termini: Bsp jeder, der Figuren zeichnet, zeichnet Kreise. - Neu: keine Probleme damit: Implikation steckt eben in dem relativen Term. II 173 Existenz: "Alle x sind y" Streitfrage: impliziert das die Existenz von "x"? Mittelalterliche Logik: ja - Neuzeit: Nein (gewinnt dadurch an Symmetrie und Einfachheit). - - - VII (e) 82 Logik/Quine: dreifach: Propositionen - Klassen - Relationen - logische Begriffe: wir brauchen nur drei: "ε", ("Element von") - Shefferstrich und Allquantor. - - - VII (g) 119 ff Klassenlogik/Quine: geht aus Quantorenlogik hervor, wenn wir Schemabuchstaben (Prädikatbuchstaben) "F" usw. binden - ((s) >Logik 2.Stufe). - - - IX 8 Logik/Quine: Hauptaufgabe: Beweise der Gültigkeit von Schemata - Logik 2. Stufe: hier geht es um die Gültigkeit von Formelschemata der Quantorenlogik - Bsp Substituierbarkeit der Bisubjunktion: ∀x1...∀xn[((A ↔ B) ∧ CA) > CB]. - - - X 110 Logik/Quine: legt man die Gesamtheit der logischen Wahrheiten fest, hat man die Logik festgelegt Abweichende Logik/Quine: keine abweichenden Beweisverfahren, sondern Zurückweisung eines Teils der Logik als gar nicht wahr. X 111 "Alles könnte anders sein"/Übersetzung/andere Logik/Vertauschung/und/oder/Schlüsselstelle/Gavagai/Quine: angenommene heterodoxe Logik, in der die Gesetze für die Adjunktion jetzt für die Konjunktion gelten sollen und umgekehrt. Bloße Änderung der Phonetik bzw. der Bezeichnung. - ((s) Wenn er "Adjunktion" sagt, gebraucht er unsere Konjunktion). Quine: Wir zwingen ihm unsere Logik auf, indem wir seine abweichende Ausdrucksweise übersetzen - sinnlos zu fragen, welches die "richtige" Konjunktion ist. - Es gibt kein Wesen der Konjunktion über die Laute und Zeichen und die Gesetze für ihren Gebrauch hinaus. >Gebrauch, >Gavagai, >Logische Konstanten._____________ 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 |