Philosophie Lexikon der ArgumenteHome | |||
| |||
Formalismus: Die These, dass Aussagen ihre Bedeutung allein aus den Regeln für das Ersetzen, Einsetzen, Umformen, für Gleichheit und Ungleichheit von Symbolen innerhalb eines Kalküls oder Systems erhalten. Siehe auch Kalkül, Bedeutung, Regeln, Inhalt, Korrektheit, Systeme, Wahrheit._____________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 Formalismus – Lexikon der Argumente
XIII 63 Formalismus/Quine: die Deduktion ist nützlich, wenn man vorher an der Wahrheit des Ergebnisses gezweifelt hat. XIII 64 So kann man zum Beispiel eine Hypothese testen, indem man die Konsequenzen aus ihr betrachtet. Euklid: hatte Schwierigkeiten Theoreme zu beweisen, an deren Wahrheit schon niemand mehr zweifelte. Eleganz/Wissenschaft/Euklid: schon er versuchte, aus Gründen der angestrebten Einfachheit, seine Postulate zu begrenzen. Deduktion/Problem/Quine: wie können wir verhindern, dass unser schon vorhandenes Wissen (über die Gegenstände („was wahr ist“)) sich in den Beweis einschleicht? Man versucht, Unwissenheit zu simulieren, aber bis zu welchem Punkt? Wissen/Wahrheit/Quine/(s): zu „wissen, was wahr ist“ ist eher ein Wissen über Gegenstände als über die Logik (s.u.). Disinterpretation/Uminterpretation/Interpretation/Tradition/Quine: eine Möglichkeit war die Uminterpretation: bei der man annahm, dass die logischen Konstanten ihre Bedeutung behielten, die anderen Terme aber bloß als vorläufig angesehen wurden. Und zwar sowohl im zu beweisenden Theorem als auch in dessen Konsequenzen ((s) also praktisch dann im Alltagsgebrauch, in der Alltagssprache). Reine Mathematik/Quine: das brachte etliche Autoren dazu, ihren Gegenstand als intrinsisch uninterpretiert zu betrachten. Reine Mathematik/Formalismus/Russell: Hier wissen wir nie, wovon wir sprechen oder ob das, was wir sagen, wahr ist. QuineVsFormalismus/QuineVsRussell: zu seinen Gunsten spricht, dass er das schnell wieder vergessen hat. XIII 65 Reine Mathematik/Wissenschaft/Quine: scheint eher auf einer Stufe mit den anderen Wissenschaften zu sein. Bsp reine Arithmetik hat mit reinen Zahlen zu tun, die Gegenstände abzählen, in der Wirtschaft aber auch Elektronen. Variablen: gehen sowohl über Zahlen als auch über Gegenstände. Bsp Lichtgeschwindigkeit: hier wird eine Relation festgestellt zwischen einer reinen Zahl (300.000) und Lichtwellen. Dabei wird nicht die Zahl als besonders herausgestellt, sondern die Relation. Bsp Preis: hier wird die Zahl weder durch den Gegenstand, noch durch die Währung besonders geformt. ((s) Lösung/(s): Relation statt Prädikat.) Quine: Relation statt reiner Zahlen und „reinem Gegenstand“. QuineVsDisinterpretation/Disinterpretation/Quine: die Reinheit der reinen Mathematik beruht nicht auf der Uminterpretation! Arithmetik/Quine: die Arithmetik ist einfach mit Zahlen beschäftigt, nicht mit Objekten des täglichen Lebens. abstrakte Algebra/Quine: wenn es sie überhaut gibt, ist sie einfach die Theorie der Klassen und Relationen. Aber Klassen und Relationen aller möglichen Dinge, nicht nur abstrakter. XIII 66 Logik/Quine: hier gab es ein ähnliches Problem wie zuvor bei der Deduktion, wo wir unser vorgängiges Wissen über Gegenstände suspendieren mussten: wie können wir unser vorgängiges Wissen über Schlussfolgerungen suspendieren? Lösung/Frege/Tradition: wiederum durch die Disinterpretation, aber diesmal der Partikel. (Formalismus). Formalismus/Quine: der Formalismus verschont uns ironischerweise von letztlicher Disinterpretation. Die Folgerungen, die mit unseren Zeichen erlaubt sind, können wir ausdehnen. Wir können sicher sein, dass sie nicht durch die Bedeutungen der Zeichen verändert werden. Frege/Russell/Principia Mathematica(1)/PM/Quine: Principia Mathematica war ein Rückschritt gegenüber Freges Begriffsschrift(2), was die formalistische Strenge angeht. >Begriff/Frege. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. 2. G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle 1879, Neudruck in: Ders. Begriffsschrift und andere Aufsätze, hrsg. v. J. Agnelli, Hildesheim 1964_____________ 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 |