Willard Van Orman Quine (am 25. Juni 1908 - am 25. Dezember 2000) (bekannt dem deutet als "Kombi" an), war ein amerikanischer Philosoph und Logiker in der analytischen Tradition. Von 1930 bis zu seinem Tod 70 Jahre später wurde Quine unaufhörlich an Universität von Harvard so oder so, zuerst als ein Student, dann als ein Professor der Philosophie und ein Lehrer der Mathematik, und schließlich als ein emeritierter Professor angeschlossen, wer veröffentlicht hat oder mehrere Bücher im Ruhestand revidiert hat. Er hat den Vorsitzenden von Edgar Pierce der Philosophie an Harvard von 1956 bis 1978 gefüllt. Eine neue Wahl hat unter analytischen Philosophen genannt Quine einen der fünf wichtigsten Philosophen der letzten zwei Jahrhunderte geführt. Er hat den ersten Schock Preis in der Logik und Philosophie 1993, für "seine systematischen und eindringenden Diskussionen dessen gewonnen, wie das Lernen von der Sprache und die Kommunikation auf sozial verfügbaren Beweisen und der Folgen davon für Theorien über Kenntnisse und Sprachbedeutung basieren."

Quine fällt quadratisch in die analytische Philosophie-Tradition, auch der Hauptbefürworter der Ansicht seiend, dass Philosophie nicht bloß begriffliche Analyse ist. Seine Hauptschriften schließen "Zwei Lehrsätze des Empirismus" (1951) ein, der die Unterscheidung zwischen analytischen und synthetischen Vorschlägen angegriffen hat und eine Form des semantischen Holismus, und Wort und Gegenstand (1960) verteidigt hat, der weiter diese Positionen entwickelt hat und die notorische Unbegrenztheit der Übersetzungsthese eingeführt hat. Er hat auch eine einflussreiche naturalisierte Erkenntnistheorie entwickelt, die versucht hat, "eine verbesserte wissenschaftliche Erklärung dessen zur Verfügung zu stellen, wie wir wohl durchdachte wissenschaftliche Theorien auf der Grundlage vom spärlichen Sinneseingang entwickelt haben." Er ist auch in der Philosophie der Wissenschaft für seinen "systematischen Versuch wichtig, Wissenschaft aus den Mitteln der Wissenschaft selbst" und für seine Vorstellung der Philosophie als dauernd mit der Wissenschaft zu verstehen. Das hat zu seinem berühmten Hieb geführt, dass "die Philosophie der Wissenschaft Philosophie genug ist." In der Philosophie der Mathematik haben er und sein Kollege von Harvard Hilary Putnam die "Unerlässlichkeitsthese von Quine-Putnam," ein Argument für die Wirklichkeit von mathematischen Entitäten entwickelt.

Lebensbeschreibung

Gemäß seiner Autobiografie, Die Zeit Meines Lebens (1986), ist Quine in Akron, Ohio aufgewachsen, wo er mit seinen Eltern und älterem Bruder Robert C. gelebt hat. Sein Vater, Cloyd R., war ein Produktionsunternehmer, und seine Mutter, Harriett E. (auch bekannt als "Hattie" gemäß der 1920-Volkszählung), war ein Lehrer und später eine Hausfrau. Er hat seinen Bakkalaureus der philosophischen Fakultät in der Mathematik und Philosophie von der Oberlin Universität 1930 und seinem Dr. in der Philosophie von der Universität von Harvard 1932 empfangen. Sein Thesenoberaufseher war Alfred North Whitehead. Er wurde dann zu einem Juniorgefährten von Harvard ernannt, der ihn davon entschuldigt hat, seit vier Jahren unterrichten zu müssen. Während des Studienjahres 1932-33 ist er in Europa dank einer Kameradschaft von Sheldon gereist, polnische Logiker (einschließlich Alfred Tarskis) und Mitglieder des Wiener Kreises (einschließlich Rudolf Carnaps) treffend.

Es war durch die guten Büros von Quine, dass Alfred Tarski eingeladen wurde, der Einheit im September 1939 des Wissenschaftskongresses in Cambridge beizuwohnen. Um diesem Kongress beizuwohnen, ist Tarski für die USA auf dem letzten Schiff gesegelt, um Danzig zu verlassen, bevor das Dritte Reich in Polen eingefallen hat. Tarski hat den Krieg und gearbeitet weitere 44 Jahre in den USA überlebt.

Während des Zweiten Weltkriegs hat Quine über die Logik in Brasilien in Portugiesisch gelesen, und hat in der USA-Marine in einer Rolle der ausgewerteten Feindnachrichten gedient, Nachrichten von deutschen Unterseebooten entziffernd, und die Reihe des Korvettenkapitäns erreichend.

An Harvard hat Quine geholfen, die Thesen von Harvard, unter anderen, Donald Davidson, David Lewis, Daniel Dennett, Gilbert Harman, Dagfinn Føllesdal, Hao Wang, Hugues LeBlanc und Henry Hiz zu beaufsichtigen. Für das Studienjahr 1964-1965 war Quine ein Gefährte auf der Fakultät im Zentrum für Fortgeschrittene Studien an der wesleyanischen Universität.

Quine hatte vier Kinder durch zwei Ehen. Gitarrenspieler Robert Quine war sein Neffe.

Politischer Glaube

Quine war politisch konservativ, aber der Hauptteil seines Schreibens war in technischen Gebieten der von direkten politischen Problemen entfernten Philosophie. Er hat wirklich jedoch an Punkten für mehrere konservative Positionen gestritten: eine Verteidigung der moralischen Zensur; und einige Kritiken der amerikanischen akademischen Nachkriegskultur.

Quine, wie viele Philosophen in der anglo-amerikanischen "analytischen" Tradition, war gegenüber Jacques Derrida kritisch; 1992 hat Quine eine erfolglose Bitte dazu gebracht, Universität von Cambridge zu verhindern, Derrida einen Ehrengrad zu gewähren. Solche Kritik war gemäß Derrida, der an Derrida "zweifellos geleitet ist, weil [die Methoden von Derrida, genannt] 'deconstructions', Abfrage oder in die Frage ziemlich viele Abteilungen und Unterscheidungen, zum Beispiel die Unterscheidung zwischen der vorgetäuschten Neutralität des philosophischen Gesprächs, einerseits, und den existenziellen Leidenschaften gebracht haben und den anderen, dazwischen vorantreiben, was öffentlich ist, und was und so weiter privat ist." Quine hat die Arbeit von Derrida als Pseudophilosophie oder Sophismus betrachtet.

Arbeit

Die Doktorarbeit von Quine und frühe Veröffentlichungen waren auf der formalen Logik und Mengenlehre. Nur nachdem WWII ihn, auf Grund von Samenpapieren auf der Ontologie, Erkenntnistheorie und Sprache getan haben, als ein Hauptphilosoph erscheinen. Vor den 1960er Jahren hatte er seine "naturalisierte Erkenntnistheorie" ausgearbeitet, wessen Ziel war, auf alle substantivischen Fragen von Kenntnissen und Bedeutung des Verwendens der Methoden und Werkzeuge der Naturwissenschaften zu antworten. Quine hat rund den Begriff zurückgewiesen, dass es eine "erste Philosophie", eine theoretische Einstellung irgendwie vor der Naturwissenschaft und fähig zur Rechtfertigung davon geben sollte. Diese Ansichten sind zu seinem Naturalismus inner.

Quine konnte in Französisch, Spanisch, Portugiesisch und Deutsch, sowie seinem heimischen Englisch lesen. Aber wie der logische positivists hat er wenig Interesse am philosophischen Kanon gezeigt: Nur einmal hat getan er unterrichtet einen Kurs in der Geschichte der Philosophie auf Hume. Quine hat eine Erdős Zahl 3.

Verwerfung der analytisch-synthetischen Unterscheidung

In den 1930er Jahren und 1940er Jahren haben Diskussionen mit Rudolf Carnap, Nelson Goodman und Alfred Tarski, unter anderen, Quine dazu gebracht, die Haltbarkeit der Unterscheidung zwischen "analytischen" Behauptungen zu bezweifeln — diejenigen, die einfach durch die Bedeutungen ihrer Wörter, wie "Alle Junggesellen wahr sind, sind" — und "synthetische" Behauptungen, diejenigen unverheiratet, die die wahr sind oder auf Grund von Tatsachen über die Welt, solcher als falsch sind, "Es gibt eine Katze auf der Matte." Diese Unterscheidung war zum logischen Positivismus zentral. Obwohl Quine mit verificationism nicht normalerweise vereinigt wird, glauben einige Philosophen, dass die Doktrin mit seiner allgemeinen Philosophie der Sprache ziemlich vereinbar ist, seinen Kollegen von Harvard B.F. Skinner und seine Analyse der Sprache im Wörtlichen Verhalten zitierend.

Wie andere Analytische Philosophen vor ihm hat Quine die Definition von "analytischen" als "wahr auf Grund von der Bedeutung allein" akzeptiert. Verschieden von ihnen, jedoch, hat er beschlossen, dass schließlich die Definition kreisförmig war. Mit anderen Worten hat Quine akzeptiert, dass analytische Behauptungen diejenigen sind, die definitionsgemäß wahr sind, dann behauptet haben, dass der Begriff der Wahrheit definitionsgemäß unbefriedigend war.

Der Haupteinwand von Quine gegen analyticity ist mit dem Begriff der Synonymie (Gleichheit der Bedeutung), ein Satz, der analytisch ist, nur für den Fall wechselt es gegen ein Synonym einen "Schwarzen" in einem Vorschlag wie "Alle schwarzen Dinge aus sind" (oder jede andere logische Wahrheit) schwarz. Der Einwand gegen die Synonymie hängt vom Problem der Seiteninformation ab. Wir finden intuitiv, dass es eine Unterscheidung zwischen "Allen unverheirateten Männern gibt, sind Junggesellen" und "Es hat schwarze Hunde gegeben", aber ein fähiger englischer Sprecher wird beiden Sätzen unter allen Bedingungen zustimmen, da solche Sprecher auch Zugang zur Seiteninformation haben, die sich auf die historische Existenz von schwarzen Hunden bezieht. Quine behauptet, dass es keine Unterscheidung zwischen allgemein bekannter Seiteninformation und begrifflichen oder analytischen Wahrheiten gibt.

Eine andere Annäherung an den Einwand von Quine gegen analyticity und Synonymie erscheint aus dem modalen Begriff der logischen Möglichkeit. Eine traditionelle Ansicht von Wittgensteinian davon zu bedeuten hat gemeint, dass jeder bedeutungsvolle Satz mit einem Gebiet im Raum von möglichen Welten vereinigt wurde. Quine findet den Begriff solch eines Raums problematisch, behauptend, dass es keine Unterscheidung zwischen jenen Wahrheiten gibt, denen allgemein und überzeugt geglaubt wird und diejenigen, die notwendigerweise wahr sind.

Bestätigungsholismus und ontologische Relativität

Die Hauptthesen, die der Unbegrenztheit der Übersetzung und den anderen Erweiterungen der Arbeit von Quine unterliegen, sind ontologische Relativität und die zusammenhängende Doktrin des Bestätigungsholismus. Die Proposition des Bestätigungsholismus ist, dass alle Theorien (und die Vorschläge ist auf sie zurückzuführen gewesen), unter-entschlossenem durch empirische Daten (Daten, Sinnesdaten, Beweise) sind; obwohl einige Theorien nicht gerechtfertigt sind, scheiternd, mit den Daten auszurüsten oder unausführbar kompliziert seiend, gibt es viele ebenso gerechtfertigte Alternativen. Während die Annahme der Griechen, dass (unbeobachtbare) Homerische Götter bestehen, falsch ist, und unsere Annahme von (unbeobachtbaren) elektromagnetischen Wellen wahr ist, beide allein durch ihre Fähigkeit gerechtfertigt werden sollen, unsere Beobachtungen zu erklären.

Quine hat seine "Zwei Lehrsätze des Empirismus" wie folgt geschlossen:

Als ein Empiriker setze ich fort, an das Begriffsschema der Wissenschaft als ein Werkzeug schließlich zu denken, um zukünftige Erfahrung im Licht der vorigen Erfahrung vorauszusagen. Physische Gegenstände werden in die Situation als günstige Vermittler nicht definitionsgemäß in Bezug auf die Erfahrung, aber einfach begrifflich importiert, weil nicht zu vereinfachend vergleichbar erkenntnistheoretisch den Göttern von Homer postuliert... Meinerseits tue ich, lege was Physiker, glaube an physische Gegenstände und nicht an die Götter von Homer; und ich betrachte es als einen wissenschaftlichen Fehler, sonst zu glauben. Aber im Punkt des erkenntnistheoretischen Stands unterscheiden sich die physischen Gegenstände und die Götter nur im Grad und nicht in der Art. Beide Sorten von Entitäten gehen in unsere Vorstellungen nur ein, weil kulturell postuliert.

Die ontologische Relativismus von Quine (offensichtlich im Durchgang oben) hat ihn dazu gebracht, mit Pierre Duhem dass für jede Sammlung von empirischen Beweisen übereinzustimmen, es würde immer viele Theorien geben, die fähig sind, dafür verantwortlich zu sein. Jedoch wird der Holismus von Duhem viel mehr eingeschränkt und beschränkt als Quine. Für Duhem gilt underdetermination nur für die Physik oder vielleicht für die Naturwissenschaft, während für Quine es für alle menschlichen Kenntnisse gilt. So, während es möglich ist, ganze Theorien nachzuprüfen oder zu fälschen, ist es nicht möglich, individuelle Behauptungen nachzuprüfen oder zu fälschen. Fast irgendwelche besonderen Behauptungen können gespart, genug radikale Modifizierungen gegeben werden, Theorie enthaltend. Für Quine bildet wissenschaftlicher Gedanke ein zusammenhängendes Web, in dem jeder Teil im Licht von empirischen Beweisen verändert werden konnte, und in dem keine empirischen Beweise die Revision eines gegebenen Teils zwingen konnten.

Die Schriften von Quine haben zur breiten Annahme von instrumentalism in der Philosophie der Wissenschaft geführt.

Existenz und sein Gegenteil

Das Problem, Namen zu nichtverweisen, ist ein altes Rätsel in der Philosophie, die Quine beredt gewonnen hat, als er, geschrieben

: "Ein neugieriges Ding über das ontologische Problem ist seine Einfachheit. Es kann in drei angelsächsische einsilbige Wörter gestellt werden: 'Was ist dort?' Darauf kann außerdem in einem Wort-'Everything '-and geantwortet werden jeder wird diese Antwort als wahr akzeptieren."

Mehr direkt geht die Meinungsverschiedenheit,

: "Wie können wir über Pegasus sprechen? Worauf bezieht sich das Wort 'Pegasus'? Wenn unsere Antwort ist, 'Etwas,' dann scheinen wir, an mystische Entitäten zu glauben; wenn unsere Antwort, 'nichts' ist, dann scheinen wir, über nichts zu sprechen, und welcher Sinn kann dessen gehabt werden? Sicher, als wir gesagt haben, dass Pegasus ein mythologisches geflügeltes Pferd war, haben wir Sinn, und außerdem sprechen wir die Wahrheit! Wenn wir die Wahrheit sprechen, muss das Wahrheit über etwas sein. So können wir nicht von nichts sprechen."

Quine widersteht der Versuchung zu sagen, dass sich nichtbeziehende Begriffe aus Gründen sinnlos sind, die oben verständlich gemacht sind. Stattdessen sagt er uns, dass wir zuerst bestimmen müssen, ob sich unsere Begriffe beziehen oder nicht, bevor wir die richtige Weise wissen, sie zu verstehen. Jedoch, Czesław Lejewski kritisiert diesen Glauben dafür, die Sache auf die empirische Entdeckung zu reduzieren, wenn es scheint, dass wir eine formelle Unterscheidung zwischen Verweisen und Nichtverweisen von Begriffen oder Elementen unseres Gebiets haben sollten. Lejewski schreibt weiter,

: "Diese Lage der Dinge scheint nicht, sehr befriedigend zu sein. Die Idee, dass einige unserer Regierungen der Schlussfolgerung von empirischer Information abhängen sollten, die nicht bevorstehend sein kann, ist dem Charakter der logischen Untersuchung so fremd, dass sich eine gründliche Nachprüfung der zwei Schlussfolgerungen [existenzielle Generalisation und universaler instantiation] wert unserem während erweisen kann."

Lejewski setzt dann fort, eine Beschreibung der freien Logik anzubieten, die er fordert, passt eine Antwort auf das Problem an.

Lejewski weist auch darauf hin, dass freie Logik zusätzlich das Problem des leeren Satzes für Behauptungen wie behandeln kann. Quine hatte das Problem des leeren Satzes als unrealistisch betrachtet, der Lejewski unbefriedigt verlassen hat.

Logik

Über den Kurs seiner Karriere hat Quine zahlreiche technische und erklärende Papiere auf der formalen Logik veröffentlicht, von denen einige in seinen Ausgewählten Logikzeitungen und in Den Wegen des Paradoxes nachgedruckt werden.

Quine hat Logik auf die klassische zweiwertige Logik der ersten Ordnung, folglich auf die Wahrheit und Unehrlichkeit unter jedem (nichtleeren) Weltall des Gesprächs beschränkt. Folglich war der folgende nicht Logik für Quine:

• Höhere Ordnungslogik und Mengenlehre. Er hat berühmt höhere Ordnungslogik als "verkleidete Mengenlehre" gekennzeichnet;
• Viel davon, wem in die Logik eingeschlossener Principia Mathematica nicht Logik für Quine war.
• Formelle Systeme, die intensional Begriffe, besonders Modalität einschließen. Quine war gegen die modale Logik mit der Quantifizierung, ein Kampf besonders feindlich, den er größtenteils verloren hat, als die Verwandtschaftssemantik von Saul Kripke kanonisch für die modale Logik geworden ist.

Quine hat drei Studententexte über die Logik geschrieben:

• Elementare Logik. Während er einen einleitenden Kurs 1940 unterrichtet hat, hat Quine entdeckt, dass noch vorhandene Texte für Philosophie-Studenten der Quantifizierungsprädikat-Logik der Theorie oder ersten Ordnung nicht gerecht geworden sind. Quine hat dieses Buch in 6 Wochen als eine Ad-Hoc-Lösung seiner lehrenden Bedürfnisse geschrieben.
• Methoden der Logik. Die vier Ausgaben dieses Buches haben sich aus einem fortgeschritteneren Studentenkurs in der Logik Quine ergeben, der vom Ende von WWII bis zu seinem 1978-Ruhestand unterrichtet ist.
• Philosophie der Logik. Eine kurze und witzige Studentenbehandlung mehrerer Themen von Quinian, wie das Vorherrschen von Verwirrungen der Gebrauch-Erwähnung, der Zweifel der gemessenen modalen Logik und der nichtlogische Charakter der höherwertigen Logik.

Mathematische Logik basiert auf dem Absolventen von Quine, der während der 1930er Jahre und der 40er Jahre unterrichtet. Es zeigt so viel davon, wem Principia Mathematica mehr als 1000 Seiten genommen hat, um zu sagen, kann in 250 Seiten gesagt werden. Die Beweise sind kurz, sogar rätselhaft. Das letzte Kapitel, auf dem Unvollständigkeitslehrsatz von Gödel und dem indefinability Lehrsatz von Tarski, zusammen mit dem Artikel Quine (1946), ist ein losfahrender Punkt für die spätere klare Ausstellung von Raymond Smullyan dieser geworden und hat Ergebnisse verbunden.

Die Arbeit von Quine in der Logik ist allmählich in etwas Hinsicht veraltet geworden. Techniken hat er nicht unterrichtet und besprochen schließen analytische Gemälde, rekursive Funktionen und Mustertheorie ein. Seine Behandlung von metalogic hat etwas verlassen, um gewünscht zu werden. Zum Beispiel schließt Mathematische Logik keine Beweise der Stichhaltigkeit und Vollständigkeit ein. Früh in seiner Karriere war die Notation seiner Schriften auf der Logik häufig idiosynkratisch. Seine späteren Schriften haben fast immer die jetzt veraltete Notation von Principia Mathematica verwendet. Der Satz gegen all das ist die Einfachheit seiner bevorzugten Methode (wie ex-postuliert, in seinen Methoden der Logik), für den satisfiability von gemessenen Formeln, den Reichtum seiner philosophischen und linguistischen Einblicke und die feine Prosa zu bestimmen, in der er sie ausgedrückt hat.

Der grösste Teil der ursprünglichen Arbeit von Quine in der formalen Logik war von 1960 vorwärts auf Varianten seines Prädikats functor Logik, einer von mehreren Wegen, die vorgeschlagen worden sind, um Logik ohne quantifiers zu tun. Für eine umfassende Behandlung des Prädikats functor Logik und seine Geschichte, sieh Quine (1976). Für eine Einführung, sieh chpt. 45 seiner Methoden der Logik.

Quine war zur Möglichkeit sehr warm, dass formale Logik schließlich außerhalb der Philosophie und Mathematik angewandt würde. Er hat mehrere Papiere auf der Sorte der Algebra von Boolean geschrieben, die in der Elektrotechnik, und mit Edward J. McCluskey verwendet ist, hat den Quine-McCluskey Algorithmus ausgedacht, Gleichungen von Boolean auf eine minimale Bedeckungssumme von erstem implicants zu reduzieren.

Mengenlehre

Während seine Beiträge zur Logik elegante Ausstellungen und mehrere technische Ergebnisse einschließen, ist es in der Mengenlehre, dass Quine am meisten innovativ war. Er hat immer erforderliche Mengenlehre dieser Mathematik aufrechterhalten, und diese Mengenlehre war von der Logik ziemlich verschieden. Er hat mit dem Nominalismus von Nelson Goodman eine Zeit lang geflirtet, aber hat sich weg rückwärts bewegt, als er gescheitert hat, ein Nominalist-Fundament der Mathematik zu finden.

Über den Kurs seiner Karriere hat Quine drei Varianten der axiomatischen Mengenlehre, jedes einschließlich des Axioms von extensionality vorgeschlagen:

• Neue Fundamente, NF, schaffen und manipulieren Sätze mit einem einzelnen Axiom-Diagramm für die Satz-Annehmbarkeit, nämlich einem Axiom-Diagramm des geschichteten Verständnisses, wodurch alle Personen, die eine geschichtete Formel befriedigen, einen Satz zusammensetzen. Eine geschichtete Formel ist diejenige, die Typ-Theorie erlauben würde, waren die Ontologie, um Typen einzuschließen. Jedoch zeigt die Mengenlehre von Quine Typen nicht. Die metamathematics von NF sind neugierig. NF erlaubt viele "große" Sätze, die die jetzt kanonische ZFC Mengenlehre, sogar Sätze nicht erlaubt, für die das Axiom der Wahl nicht hält. Da das Axiom der Wahl für alle begrenzten Sätze hält, beweist der Misserfolg dieses Axioms in NF, dass NF unendliche Sätze einschließt. Die (relative) Konsistenz von NF ist eine geöffnete Frage. Eine Modifizierung von NF, NFU, wegen R. B. Jensens und des Zulassens urelements (Entitäten, die Mitglieder von Sätzen sein können, aber die an Elementen Mangel haben), erweist sich, hinsichtlich der Arithmetik von Peano zu entsprechen, so die Intuition hinter NF verteidigend. NF und NFU sind die einzigen Mengenlehren von Quinian mit einem folgenden. Für eine Abstammung der foundational Mathematik in NF, sieh Rosser (1953);
• Die Mengenlehre der Mathematischen Logik ist NF, der durch die richtigen Klassen der Mengenlehre von Von Neumann-Bernays-Gödel vermehrt ist außer axiomatized auf eine viel einfachere Weise;
• Die Mengenlehre der Mengenlehre und Seiner Logik beseitigt die Schichtung und wird fast aus einem einzelnen Axiom-Diagramm völlig abgeleitet. Quine hat die Fundamente der Mathematik wieder abgeleitet. Dieses Buch schließt die endgültige Ausstellung der Theorie von Quine von virtuellen Sätzen und Beziehungen ein, und hat axiomatische Mengenlehre überblickt, weil es um 1960 gestanden hat. Jedoch tun Fraenkel, Bar-Hillel und Levy (1973) einen besseren Job, Mengenlehre zu überblicken, weil es an der Mitte des Jahrhunderts gestanden hat.

Alle drei Mengenlehren lassen eine universale Klasse zu, aber da sie frei von jeder Hierarchie von Typen sind, haben sie kein Bedürfnis nach einer verschiedenen universalen Klasse an jedem Typ-Niveau.

Die Mengenlehre von Quine und seine Hintergrundlogik wurden durch einen Wunsch gesteuert zu minimieren postuliert; jede Neuerung wird gestoßen, so weit sie gestoßen werden kann, bevor weitere Neuerungen eingeführt werden. Für Quine gibt es nur ein Bindewort, den Schlag von Sheffer, und einen quantifier, den universalen quantifier. Alle polyadic Prädikate können auf ein dyadisches Prädikat, interpretable als Satz-Mitgliedschaft reduziert werden. Seine Regierungen des Beweises wurden auf den Modus ponens und Ersatz beschränkt. Er hat Verbindung entweder der Trennung oder dem bedingten bevorzugt, weil Verbindung die am wenigsten semantische Zweideutigkeit hat. Er war erfreut, früh in seiner Karriere zu entdecken, dass die ganze erste Ordnungslogik und Mengenlehre in bloßen zwei primitive Begriffe niedergelegt werden konnte: Abstraktion und Einschließung. Für eine elegante Einführung in den Geiz der Annäherung von Quine an die Logik, sieh seine "Neuen Fundamente für die Mathematische Logik," ch. 5 in seinem Aus einem Logischen Gesichtspunkt.

Die Erkenntnistheorie von Quine

Als er die dominierende analytisch-synthetische Unterscheidung herausgefordert hat, hat Quine auch auf die traditionelle normative Erkenntnistheorie gezielt. Gemäß Quine ist normative Erkenntnistheorie die Tendenz, die zuteilt, sollte Ansprüche auf Bedingungen von Kenntnissen. Diese Annäherung, er hat gestritten, hat gescheitert, uns jedes echte Verstehen der notwendigen und genügend Bedingungen für Kenntnisse zu geben. Quine hat empfohlen, dass, als eine Alternative, wir auf Naturwissenschaften wie Psychologie für eine volle Erklärung von Kenntnissen achten. So müssen wir unser komplettes erkenntnistheoretisches Paradigma völlig ersetzen. Der Vorschlag von Quine ist unter zeitgenössischen Philosophen äußerst umstritten und hat mehrere wichtige Kritiker, mit Jaegwon Kim das prominenteste unter ihnen.

In der populären Kultur

• Ein Computerprogramm, dessen Produktion sein Quellcode ist, wird einen "quine" nach W.V. Quine genannt.

Bibliografie

Ausgewählte Bücher

• 1951 (1940). Mathematische Logik. Harvard Univ. Drücken. Internationale Standardbuchnummer 0-674-55451-5.
• 1966. Ausgewählte Logikpapiere. New York: Zufälliges Haus.
• 1970 (2. Hrsg., 1978). Mit J. S. Ullian. Das Web des Glaubens. New York: Zufälliges Haus.
• 1980 (1941). Elementare Logik. Harvard Univ. Drücken. Internationale Standardbuchnummer 0-674-24451-6.
• 1982 (1950). Methoden der Logik. Harvard Univ. Drücken.
• 1980 (1953). Aus einem Logischen Gesichtspunkt. Harvard Univ. Drücken. Internationale Standardbuchnummer 0-674-32351-3. Enthält "Zwei Lehrsätze des Empirismus."
• 1960-Wort und Gegenstand. MIT Presse; internationale Standardbuchnummer 0-262-67001-1. Das nächste Ding Quine hat einer philosophischen Abhandlung geschrieben. Chpt. 2 legt die Unbegrenztheit der Übersetzungsthese dar.
• 1974 (1971) Die Wurzeln der Verweisung. Internationale Standardbuchnummer von Open Court Publishing Company 0-8126-9101-6 (entwickelt von den Vorträgen von Carus von Quine)
• 1976 (1966). Die Wege des Paradoxes. Harvard Univ. Drücken.
• 1969 Ontologische Relativität und Andere Aufsätze. Columbia Univ. Drücken. Internationale Standardbuchnummer 0-231-08357-2. Enthält Kapitel über die ontologische Relativität, naturalisierte Erkenntnistheorie und natürlichen Arten.
• 1969 (1963). Mengenlehre und Seine Logik. Harvard Univ. Drücken.
• 1985 Die Zeit Meines Lebens - Eine Autobiografie. Cambridge, Die MIT-Presse. Internationale Standardbuchnummer 0-262-17003-5. 1986: Harvard Univ. Drücken.
• 1986 (1970). Die Philosophie der Logik. Harvard Univ. Drücken.
• 1987 Quiddities: Ein Periodisch auftretend Philosophisches Wörterbuch. Harvard Univ. Drücken. Internationale Standardbuchnummer 0-14-012522-1. Eine Arbeit von Aufsätzen, viele subtil humorvoll, für Hilfsdiakonen, die der Breite von seinen Interessen sehr enthüllend sind.
• 1992 (1990). Verfolgung der Wahrheit. Harvard Univ. Drücken. Eine kurze, lebhafte Synthese seines Gedankens für fortgeschrittene Studenten und allgemeine durch seine Einfachheit nicht zum Narren gehaltene Leser. Internationale Standardbuchnummer 0-674-73951-5.

Wichtige Artikel

• 1946, "Verkettung als eine Basis für die Arithmetik." Nachgedruckt in seinen Ausgewählten Logikzeitungen. Harvard Univ. Drücken.
• 1948, "Darauf, Wie Es", Rezension der Metaphysik Gibt. Nachgedruckt seinen 1953 Aus einem Logischen Gesichtspunkt. Universität von Harvard Presse.
• 1951, "Zwei Lehrsätze des Empirismus", Die Philosophische Rezension 60: 20-43. Nachgedruckt seinen 1953 Aus einem Logischen Gesichtspunkt. Universität von Harvard Presse.
• 1956, "Quantifiers und Propositional Attitudes," Zeitschrift der Philosophie 53. Nachgedruckt auf seine 1976 Weisen des Paradoxes. Harvard Univ. Drücken Sie: 185-96.
• 1969, "Erkenntnistheorie Naturalisiert" in der Ontologischen Relativität und den Anderen Aufsätzen. New York: Universität von Columbia Presse: 69-90.

Siehe auch

• Douglas Hofstadter
• Halten Sie kommen, was kann
• Liste von amerikanischen Philosophen

Referenzen

Weiterführende Literatur

• Gibson, Roger F., 1982/86. Die Philosophie von W.V. Quine: Ein Erklärender Aufsatz. Tampa: Universität des Südlichen Floridas.
• — — — — 1988. Erleuchteter Empirismus: Eine Überprüfung der Theorie von W. V. Quine von Kenntnissen Tampa: Universität des Südlichen Floridas.
• — — — — Hrsg., 2004. Der Begleiter von Cambridge zu Quine. Universität von Cambridge Presse.
• — — — — 2004. Quintessenz: Grundlegende Lesungen von der Philosophie von W. V. Quine. Harvard Univ. Drücken.
• — — — — und Barrett, R., Hrsg., 1990. Perspektiven auf Quine. Oxford: Blackwell.
• Gochet, Paul, 1978. Quine en perspective, Paris, Flammarion.
• Godfrey-Smith, Peter, 2003. Theorie und Wirklichkeit: Eine Einführung in die Philosophie der Wissenschaft.
• Grattan-Guinness, Ivor, 2000. Die Suche nach Mathematischen Wurzeln 1870-1940. Universität von Princeton Presse.
• Grice, Paul und Peter Strawson. "Zum Schutze von einem Lehrsatz". Die Philosophische Rezension 65 (1965).
• Hahn, L. E. und Schilpp, P. A., Hrsg., 1986. Die Philosophie von W. V. O. Quine (Die Bibliothek von Lebenden Philosophen). Offenes Gericht.
• Köhler, Dieter, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie. Doktorarbeit, Univ. Heidelbergs.
• Murray Murphey, Die Entwicklung der Philosophie von Quine (Heidelberg, Springer, 2012) (Bostoner Studien in der Philosophie der Wissenschaft, 291).
• Putnam, Hilary. "Der Größte Logische Positivist." Nachgedruckt im Realismus mit einem Menschlichen Gesicht, Hrsg. James Conant. Cambridge, Massachusetts: Universität von Harvard Presse, 1990.
• Rosser, John Barkley, 1953.
• Valore, Paolo, 2001. Questioni di ontologia quineana, Mailand: Cusi.

Links

• Quine-Philosoph von Willard Van Orman und Mathematiker
• Willard Van Orman Quine an der Enzyklopädie von Stanford der Philosophie
• Die Philosophie von Quine der Wissenschaft an der Internetenzyklopädie der Philosophie
• Die neuen Fundamente von Quine an der Enzyklopädie von Stanford der Philosophie
• Todesanzeige vom Wächter
• "Zwei Lehrsätze des Empirismus"
• "Auf einfachen Theorien einer komplizierten Welt"
• Wie ist die Ontologie von Quine?