Willard Van Orman Quine

Willard Van Orman Quine (conocido por sus amigos como "Van"; 25 de junio de 1908 - 25 de diciembre de 2000) fue un filósofo y lógico estadounidense en la tradición analítica, reconocido como "uno de los más influyentes filósofos del siglo XX". Desde 1930 hasta su muerte 70 años después, Quine estuvo continuamente afiliado a la Universidad de Harvard de una forma u otra, primero como estudiante y luego como profesor. Ocupó la Cátedra de Filosofía Edgar Pierce en Harvard de 1956 a 1978.

Quine fue un profesor de lógica y teoría de conjuntos. Quine fue famoso por su posición de que la lógica de primer orden es el único tipo digno de ese nombre, y desarrolló su propio sistema de matemáticas y teoría de conjuntos, conocido como Nuevos Fundamentos. En filosofía de las matemáticas, él y su colega de Harvard, Hilary Putnam, desarrollaron el argumento de la indispensabilidad de Quine-Putnam, un argumento a favor de la realidad de las entidades matemáticas. Sin embargo, fue el principal defensor de la opinión de que la filosofía no es un análisis conceptual, sino una continuación de la ciencia; la rama abstracta de las ciencias empíricas. Esto lo llevó a su famosa ocurrencia de que "la filosofía de la ciencia es suficiente filosofía". Dirigió un "intento sistemático de comprender la ciencia desde dentro de los recursos de la ciencia misma".y desarrolló una epistemología naturalizada influyente que trató de proporcionar "una explicación científica mejorada de cómo hemos desarrollado teorías científicas elaboradas sobre la base de una escasa información sensorial". También abogó por la relatividad ontológica en la ciencia, conocida como la tesis de Duhem-Quine.

Sus principales escritos incluyen los artículos "Sobre lo que hay" (1948), que elucidó la teoría de las descripciones de Bertrand Russell y contiene el famoso dicho de compromiso ontológico de Quine, "Ser es ser el valor de una variable", y "Dos dogmas de Empiricism" (1951), que atacó la tradicional distinción analítico-sintética y el reduccionismo, socavando el entonces popular positivismo lógico, defendiendo en cambio una forma de holismo semántico. También incluyen los libros The Web of Belief, que aboga por una especie de cohesionismo, y Word and Object (1960), que desarrolló aún más estas posiciones e introdujo la famosa tesis de la indeterminación de la traducción de Quine, que aboga por una teoría conductista del significado.

Una encuesta de 2009 realizada entre filósofos analíticos nombró a Quine como el quinto filósofo más importante de los últimos dos siglos. Ganó el primer Premio Schock de Lógica y Filosofía en 1993 por "sus discusiones sistemáticas y penetrantes sobre cómo el aprendizaje del lenguaje y la comunicación se basan en la evidencia socialmente disponible y las consecuencias de esto para las teorías sobre el conocimiento y el significado lingüístico". En 1996 recibió el Premio Kyoto en Artes y Filosofía por sus "contribuciones destacadas al progreso de la filosofía en el siglo XX al proponer numerosas teorías basadas en conocimientos profundos de lógica, epistemología, filosofía de la ciencia y filosofía del lenguaje".

Biografía

Quine creció en Akron, Ohio, donde vivía con sus padres y su hermano mayor, Robert Cloyd. Su padre, Cloyd Robert, era un empresario manufacturero (fundador de Akron Equipment Company, que producía moldes para llantas) y su madre, Harriett E., era maestra de escuela y luego ama de casa. Quine era ateo cuando era un adolescente.

Educación

Quine recibió su BA summa cum laude en matemáticas de Oberlin College en 1930 y su Ph.D. en filosofía de la Universidad de Harvard en 1932. Su director de tesis fue Alfred North Whitehead. Luego fue nombrado Harvard Junior Fellow, lo que lo eximió de tener que enseñar durante cuatro años. Durante el año académico 1932-1933, viajó por Europa gracias a una beca Sheldon y se reunió con lógicos polacos (incluidos Stanislaw Lesniewski y Alfred Tarski) y miembros del Círculo de Viena (incluido Rudolf Carnap), así como con el positivista lógico AJ Ayer.

Segunda Guerra Mundial

Quine arregló que Tarski fuera invitado al Congreso de la Unidad de la Ciencia de septiembre de 1939 en Cambridge, para el cual el judío Tarski navegó en el último barco que salió de Danzig antes de que la Alemania nazi invadiera Polonia y desencadenara la Segunda Guerra Mundial. Tarski sobrevivió a la guerra y trabajó otros 44 años en Estados Unidos. Durante la guerra, Quine dio conferencias sobre lógica en Brasil, en portugués, y sirvió en la Marina de los Estados Unidos en un papel de inteligencia militar, descifrando mensajes de submarinos alemanes y alcanzando el rango de teniente comandante. Quine podía dar conferencias en francés, español, portugués y alemán, además de su inglés nativo.

Personal

Tuvo cuatro hijos de dos matrimonios. El guitarrista Robert Quine era su sobrino.

Quine era políticamente conservador, pero la mayor parte de sus escritos versaba sobre áreas técnicas de la filosofía alejadas de cuestiones políticas directas. Sin embargo, escribió en defensa de varias posiciones conservadoras: por ejemplo, escribió en defensa de la censura moral; mientras que, en su autobiografía, hizo algunas críticas a los académicos estadounidenses de la posguerra.

Harvard

En Harvard, Quine ayudó a supervisar las tesis de grado de Harvard de, entre otros, David Lewis, Gilbert Harman, Dagfinn Føllesdal, Hao Wang, Hugues LeBlanc, Henry Hiz y George Myro. Durante el año académico 1964-1965, Quine fue miembro de la facultad del Centro de Estudios Avanzados de la Universidad Wesleyan. En 1980, Quine recibió un doctorado honorario de la Facultad de Humanidades de la Universidad de Uppsala, Suecia.

El alumno de Quine, Dagfinn Føllesdal, notó que Quine comenzó a perder la memoria hacia el final de su vida. El deterioro de su memoria a corto plazo fue tan grave que le costó seguir siguiendo los argumentos. Quine también tuvo considerables dificultades en su proyecto de realizar las revisiones deseadas de Word y Object. Antes de fallecer, Quine le dijo a Morton White: "No recuerdo cómo se llama mi enfermedad, Althusser o Alzheimer, pero como no puedo recordarlo, debe ser Alzheimer". Murió a causa de la enfermedad el día de Navidad de 2000.

Trabaja

El doctorado de Quine La tesis y las primeras publicaciones fueron sobre lógica formal y teoría de conjuntos. Solo después de la Segunda Guerra Mundial, en virtud de artículos fundamentales sobre ontología, epistemología y lenguaje, emergió como un filósofo importante. En la década de 1960, había elaborado su "epistemología naturalizada", cuyo objetivo era responder a todas las cuestiones sustantivas del conocimiento y el significado utilizando los métodos y herramientas de las ciencias naturales. Quine rechazó rotundamente la noción de que debería haber una "primera filosofía", un punto de vista teórico de alguna manera anterior a la ciencia natural y capaz de justificarla. Estas opiniones son intrínsecas a su naturalismo.

Al igual que los positivistas lógicos, Quine mostró poco interés por el canon filosófico: sólo una vez impartió un curso de historia de la filosofía, sobre David Hume.

Lógica

A lo largo de su carrera, Quine publicó numerosos artículos técnicos y expositivos sobre lógica formal, algunos de los cuales están reimpresos en sus Selected Logic Papers y en The Ways of Paradox. Su colección de artículos más conocida es From A Logical Point of View. Quine confinó la lógica a la lógica clásica bivalente de primer orden, por lo tanto a la verdad y la falsedad bajo cualquier universo (no vacío) de discurso. De ahí que lo siguiente no fuera lógico para Quine:

• Lógica de orden superior y teoría de conjuntos. Se refirió a la lógica de orden superior como "teoría de conjuntos disfrazada";
• Mucho de lo que Principia Mathematica incluía en lógica no era lógica para Quine.
• Sistemas formales que involucran nociones intensionales, especialmente de modalidad. Quine era especialmente hostil a la lógica modal con cuantificación, una batalla que perdió en gran medida cuando la semántica relacional de Saul Kripke se volvió canónica para la lógica modal.

Quine escribió tres textos de pregrado sobre lógica formal:

• Lógica elemental. Mientras impartía un curso introductorio en 1940, Quine descubrió que los textos existentes para estudiantes de filosofía no hacían justicia a la teoría de la cuantificación ni a la lógica de predicados de primer orden. Quine escribió este libro en 6 semanas como una solución ad hoc a sus necesidades de enseñanza.
• Métodos de la Lógica. Las cuatro ediciones de este libro son el resultado de un curso universitario más avanzado en lógica que Quine impartió desde el final de la Segunda Guerra Mundial hasta su jubilación en 1978.
• Filosofía de la Lógica. Un tratamiento universitario conciso e ingenioso de una serie de temas quinianos, como la prevalencia de las confusiones de uso y mención, la duda de la lógica modal cuantificada y el carácter no lógico de la lógica de orden superior.

La lógica matemática se basa en la enseñanza de posgrado de Quine durante las décadas de 1930 y 1940. Muestra que mucho de lo que Principia Mathematica tomó más de 1000 páginas para decir se puede decir en 250 páginas. Las pruebas son concisas, incluso crípticas. El último capítulo, sobre el teorema de incompletitud de Gödel y el teorema de indefinibilidad de Tarski, junto con el artículo Quine (1946), se convirtió en un punto de partida para la posterior exposición lúcida de Raymond Smullyan de estos y otros resultados relacionados.

El trabajo de Lógica de Quine gradualmente se volvió obsoleto en algunos aspectos. Las técnicas que no enseñó ni discutió incluyen cuadros analíticos, funciones recursivas y teoría de modelos. Su tratamiento de la metalógica deja algo que desear. Por ejemplo, Lógica matemática no incluye ninguna prueba de solidez e integridad. Al principio de su carrera, la notación de sus escritos sobre lógica era a menudo idiosincrásica. Sus escritos posteriores casi siempre emplearon la notación ahora fechada de Principia Mathematica. Frente a todo esto están la simplicidad de su método preferido (como se expone en sus Métodos de la lógica) para determinar la satisfacibilidad de fórmulas cuantificadas, la riqueza de sus ideas filosóficas y lingüísticas, y la fina prosa en la que las expresó.

La mayor parte del trabajo original de Quine en lógica formal desde 1960 en adelante se centró en variantes de su lógica de funtores de predicados, una de las varias formas que se han propuesto para hacer lógica sin cuantificadores. Para un tratamiento completo de la lógica de funtores de predicados y su historia, véase Quine (1976). Para una introducción, véase el cap. 45 de sus Métodos de Lógica.

Quine estaba muy entusiasmado con la posibilidad de que la lógica formal eventualmente se aplicara fuera de la filosofía y las matemáticas. Escribió varios artículos sobre el tipo de álgebra booleana empleada en ingeniería eléctrica y, con Edward J. McCluskey, ideó el algoritmo de Quine-McCluskey para reducir las ecuaciones booleanas a una suma mínima que cubre los implicantes primos.

Teoría de conjuntos

Si bien sus contribuciones a la lógica incluyen exposiciones elegantes y una serie de resultados técnicos, es en la teoría de conjuntos donde Quine fue más innovador. Siempre sostuvo que las matemáticas requerían la teoría de conjuntos y que la teoría de conjuntos era bastante distinta de la lógica. Coqueteó con el nominalismo de Nelson Goodman por un tiempo, pero retrocedió cuando no pudo encontrar una base nominalista para las matemáticas.

A lo largo de su carrera, Quine propuso tres teorías axiomáticas de conjuntos.

• New Foundations, NF, crea y manipula conjuntos utilizando un esquema de axioma único para la admisibilidad de conjuntos, es decir, un esquema de axioma de comprensión estratificada, mediante el cual todos los individuos que satisfacen una fórmula estratificada componen un conjunto. Una fórmula estratificada es la que permitiría la teoría de tipos, si la ontología incluyera tipos. Sin embargo, la teoría de conjuntos de Quine no presenta tipos. Las metamatemáticas de NF son curiosas. NF permite muchos conjuntos "grandes" que la teoría de conjuntos ZFC ahora canónica no permite, incluso conjuntos para los que el axioma de elección no se cumple. Dado que el axioma de elección se cumple para todos los conjuntos finitos, la falla de este axioma en NF prueba que NF incluye conjuntos infinitos. La consistencia de NF en relación con otros sistemas formales adecuados para las matemáticas es una pregunta abierta, aunque hay una serie de pruebas candidatas actuales en la comunidad NF que sugieren que NF es equiconsistente con la teoría de conjuntos de Zermelo sin elección. Una modificación de NF, NFU, debida a RB Jensen y admitiendo urelements (entidades que pueden ser miembros de conjuntos pero que carecen de elementos), resulta consistente en relación con la aritmética de Peano, reivindicando así la intuición detrás de NF. NF y NFU son las únicas teorías de conjuntos quineanos con seguidores. Para una derivación de las matemáticas fundamentales en NF, ver Rosser (1952); NF y NFU son las únicas teorías de conjuntos quineanos con seguidores. Para una derivación de las matemáticas fundamentales en NF, ver Rosser (1952); NF y NFU son las únicas teorías de conjuntos quineanos con seguidores. Para una derivación de las matemáticas fundamentales en NF, ver Rosser (1952);
• La teoría de conjuntos de la lógica matemática es NF aumentada por las clases adecuadas de la teoría de conjuntos de von Neumann-Bernays-Gödel, excepto que se axiomatiza de una manera mucho más simple;
• La teoría de conjuntos de la teoría de conjuntos y su lógica elimina la estratificación y se deriva casi en su totalidad de un esquema de un solo axioma. Quine derivó los fundamentos de las matemáticas una vez más. Este libro incluye la exposición definitiva de la teoría de conjuntos y relaciones virtuales de Quine, y examina la teoría axiomática de conjuntos tal como estaba alrededor de 1960.

Las tres teorías de conjuntos admiten una clase universal, pero dado que están libres de cualquier jerarquía de tipos, no necesitan una clase universal distinta en cada nivel de tipo.

La teoría de conjuntos de Quine y su lógica de fondo fueron impulsadas por un deseo de minimizar los postulados; cada innovación se empuja tanto como se puede empujar antes de que se introduzcan más innovaciones. Para Quine, solo hay un conector, el trazo de Sheffer, y un cuantificador, el cuantificador universal. Todos los predicados poliádicos pueden reducirse a un predicado diádico, interpretable como pertenencia a un conjunto. Sus reglas de prueba se limitaban al modus ponens y la sustitución. Prefería la conjunción a la disyunción o al condicional, porque la conjunción tiene la menor ambigüedad semántica. Estaba encantado de descubrir al principio de su carrera que toda la lógica de primer orden y la teoría de conjuntos podían basarse en dos simples nociones primitivas: abstracción e inclusión. Para una elegante introducción a la parsimonia del enfoque de la lógica de Quine, véase su "Desde un punto de vista lógico.

Metafísica

Quine ha tenido numerosas influencias en la metafísica contemporánea. Acuñó el término "objeto abstracto". También acuñó el término "barba de Platón" para referirse al problema de los nombres vacíos.

Rechazo de la distinción analítico-sintético

En las décadas de 1930 y 1940, discusiones con Rudolf Carnap, Nelson Goodman y Alfred Tarski, entre otros, llevaron a Quine a dudar de la viabilidad de la distinción entre afirmaciones "analíticas" —aquellas verdaderas simplemente por el significado de sus palabras, como "No soltero está casado"— y declaraciones "sintéticas", aquellas verdaderas o falsas en virtud de hechos sobre el mundo, tales como "Hay un gato en el felpudo". Esta distinción era fundamental para el positivismo lógico. Aunque Quine normalmente no está asociado con el verificacionismo, algunos filósofos creen que el principio no es incompatible con su filosofía general del lenguaje, citando a su colega de Harvard BF Skinner y su análisis del lenguaje en Verbal Behavior.

Como otros filósofos analíticos antes que él, Quine aceptó la definición de "analítico" como "verdadero en virtud del significado únicamente". Sin embargo, a diferencia de ellos, concluyó que, en última instancia, la definición era circular. En otras palabras, Quine aceptó que los enunciados analíticos son aquellos que son verdaderos por definición y luego argumentó que la noción de verdad por definición no era satisfactoria.

La principal objeción de Quine a la analiticidad es la noción de sinonimia cognitiva (mismidad de significado). Argumenta que las oraciones analíticas se dividen típicamente en dos tipos; oraciones que son claramente lógicamente verdaderas (por ejemplo, "ningún hombre soltero está casado") y las más dudosas; frases como "ningún soltero está casado". Anteriormente se pensó que si puede probar que existe una sinonimia entre "hombre soltero" y "soltero", habrá probado que ambas oraciones son lógicamente verdaderas y, por lo tanto, evidentes. Sin embargo, Quine da varios argumentos de por qué esto no es posible, por ejemplo, que "soltero" en algunos contextos significa un licenciado en artes, no un hombre soltero.

Holismo de confirmación y relatividad ontológica

La colega Hilary Putnam calificó la tesis de la indeterminación de la traducción de Quine como "el argumento filosófico más fascinante y discutido desde la Deducción trascendental de las categorías de Kant". Las tesis centrales subyacentes son la relatividad ontológica y la doctrina relacionada del holismo de confirmación. La premisa del holismo de confirmación es que todas las teorías (y las proposiciones derivadas de ellas) están subdeterminadas por datos empíricos (datos, datos sensoriales, evidencia); aunque algunas teorías no son justificables, no encajan con los datos o son inviablemente complejas, hay muchas alternativas igualmente justificables. Si bien la suposición de los griegos de que existen dioses homéricos (no observables) es falsa, y nuestra suposición de ondas electromagnéticas (no observables) es cierta,

El experimento mental de gavagai habla de un lingüista que trata de averiguar qué significa la expresión gavagai, cuando la pronuncia un hablante de un idioma nativo aún desconocido al ver un conejo. A primera vista, parece que gavagai simplemente se traduce como conejo. Ahora bien, Quine señala que la lengua de fondo y sus dispositivos de referencia pueden engañar al lingüista aquí, porque se engaña en el sentido de que siempre hace comparaciones directas entre la lengua extranjera y la suya propia. Sin embargo, al gritar gavagai y señalar a un conejo, los nativos también podrían referirse a algo así como partes de conejo no separadas o tropos de conejo.y no haría ninguna diferencia observable. Los datos de comportamiento que el lingüista podría recopilar del hablante nativo serían los mismos en todos los casos, o para reformularlo, se podrían construir varias hipótesis de traducción sobre los mismos estímulos sensoriales.

Quine concluyó sus "Dos dogmas del empirismo" de la siguiente manera:

Como empirista sigo pensando en el esquema conceptual de la ciencia como una herramienta, en última instancia, para predecir la experiencia futura a la luz de la experiencia pasada. Los objetos físicos se importan conceptualmente a la situación como intermediarios convenientes no por definición en términos de experiencia, sino simplemente como postulados irreductibles comparables, epistemológicamente, a los dioses de Homero... Por mi parte, como físico lego, creo en los objetos físicos y no en los dioses de Homero; y considero un error científico creer lo contrario. Pero en cuanto al fundamento epistemológico, los objetos físicos y los dioses difieren sólo en grado y no en especie. Ambos tipos de entidades entran en nuestras concepciones sólo como postulados culturales.

El relativismo ontológico de Quine (evidente en el pasaje anterior) lo llevó a estar de acuerdo con Pierre Duhem en que para cualquier colección de evidencia empírica, siempre habría muchas teorías capaces de dar cuenta de ella, conocida como la tesis de Duhem-Quine. Sin embargo, el holismo de Duhem es mucho más restringido y limitado que el de Quine. Para Duhem, la subdeterminación se aplica solo a la física o posiblemente a las ciencias naturales, mientras que para Quine se aplica a todo el conocimiento humano. Así, mientras es posible verificar o falsificar teorías completas, no es posible verificar o falsificar declaraciones individuales. Casi cualquier enunciado particular puede salvarse, dadas modificaciones suficientemente radicales de la teoría que lo contiene. Para Quine, el pensamiento científico forma una red coherente en la que cualquier parte puede ser alterada a la luz de la evidencia empírica,

La existencia y su contrario

El problema de los nombres que no hacen referencia es un viejo enigma de la filosofía, que Quine captó cuando escribió:

Una cosa curiosa del problema ontológico es su simplicidad. Se puede poner en tres monosílabos anglosajones: 'What is there?' Puede responderse, además, con una palabra —'Todo'— y todos aceptarán esta respuesta como verdadera.

Más directamente, la controversia va:

¿Cómo podemos hablar de Pegaso? ¿A qué se refiere la palabra 'Pegaso'? Si nuestra respuesta es 'Algo', parece que creemos en entidades místicas; si nuestra respuesta es 'nada', entonces parece que no hablamos de nada y ¿qué sentido puede tener esto? ¡Ciertamente cuando decimos que Pegaso era un caballo alado mitológico tenemos sentido, y además decimos la verdad! Si decimos la verdad, esta debe ser la verdad sobre algo. Así que no podemos estar hablando de nada.

Quine resiste la tentación de decir que los términos no referenciales no tienen sentido por las razones que se aclararon anteriormente. En cambio, nos dice que primero debemos determinar si nuestros términos se refieren o no antes de saber la forma correcta de entenderlos. Sin embargo, Czesław Lejewski critica esta creencia por reducir el asunto al descubrimiento empírico cuando parece que deberíamos tener una distinción formal entre términos o elementos de nuestro dominio referentes y no referentes. Lejewski escribe más:

Este estado de cosas no parece muy satisfactorio. La idea de que algunas de nuestras reglas de inferencia deberían depender de información empírica, que puede no estar disponible, es tan ajena al carácter de la investigación lógica que un reexamen completo de las dos inferencias [la generalización existencial y la ejemplificación universal] puede resultar útil. nuestro tiempo.

Luego, Lejewski continúa ofreciendo una descripción de la lógica libre, que, según él, da cabida a una respuesta al problema.

Lejewski también señala que la lógica libre también puede manejar el problema del conjunto vacío para declaraciones como . Quine había considerado poco realista el problema del decorado vacío, lo que dejó a Lejewski insatisfecho.

Compromiso ontológico

La noción de compromiso ontológico juega un papel central en las contribuciones de Quine a la ontología. Una teoría está ontológicamente comprometida con una entidad si esa entidad debe existir para que la teoría sea verdadera. Quine propuso que la mejor manera de determinar esto es traduciendo la teoría en cuestión a la lógica de predicados de primer orden. De especial interés en esta traducción son las constantes lógicas conocidas como cuantificadores existenciales (' ∃ '), cuyo significado corresponde a expresiones como "existe..." o "para algunos...". Se utilizan para vincular las variables en la expresión que sigue al cuantificador. Los compromisos ontológicos de la teoría corresponden entonces a las variables ligadas por cuantificadores existenciales.Por ejemplo, la oración "Hay electrones" podría traducirse como " ∃ x Electron (x) ", en la que la variable ligada x varía sobre los electrones, lo que da como resultado un compromiso ontológico con los electrones. Este enfoque se resume en el famoso dicho de Quine de que "ser es ser el valor de una variable". Quine aplicó este método a varias disputas tradicionales en ontología. Por ejemplo, razonó desde la oración "Hay números primos entre 1000 y 1010" hasta un compromiso ontológico con la existencia de los números, es decir, el realismo acerca de los números.Este método por sí solo no es suficiente para la ontología ya que depende de una teoría para dar como resultado compromisos ontológicos. Quine propuso que deberíamos basar nuestra ontología en nuestra mejor teoría científica. Varios seguidores del método de Quine optaron por aplicarlo a diferentes campos, por ejemplo a "las concepciones cotidianas expresadas en lenguaje natural".

Argumento de indispensabilidad para el realismo matemático

En filosofía de las matemáticas, él y su colega de Harvard, Hilary Putnam, desarrollaron la tesis de la indispensabilidad de Quine-Putnam, un argumento a favor de la realidad de las entidades matemáticas.

La forma del argumento es la siguiente.

1. Uno debe tener compromisos ontológicos con todas las entidades que son indispensables para las mejores teorías científicas, y solo con esas entidades (comúnmente denominadas "todos y solo").
2. Las entidades matemáticas son indispensables para las mejores teorías científicas. Por lo tanto,
3. Uno debe tener compromisos ontológicos con las entidades matemáticas.

La justificación de la primera premisa es la más controvertida. Tanto Putnam como Quine invocan el naturalismo para justificar la exclusión de todas las entidades no científicas y, por tanto, para defender la "única" parte del "todo y sólo". La afirmación de que "todas" las entidades postuladas en las teorías científicas, incluidos los números, deben aceptarse como reales se justifica por el holismo de confirmación. Dado que las teorías no se confirman por partes, sino como un todo, no hay justificación para excluir ninguna de las entidades a las que se hace referencia en las teorías bien confirmadas. Esto pone al nominalista que desea excluir la existencia de conjuntos y geometría no euclidiana, pero incluir la existencia de quarks y otras entidades físicas indetectables, por ejemplo, en una posición difícil.

Epistemología

Así como desafió la distinción analítico-sintético dominante, Quine también apuntó a la epistemología normativa tradicional. Según Quine, la epistemología tradicional trató de justificar las ciencias, pero este esfuerzo (como lo ejemplifica Rudolf Carnap) fracasó, por lo que deberíamos reemplazar la epistemología tradicional con un estudio empírico de qué entradas sensoriales producen qué salidas teóricas: "La epistemología, o algo parecido, simplemente encaja como un capítulo de la psicología y, por lo tanto, de las ciencias naturales. Estudia un fenómeno natural, a saber, un sujeto humano físico. A este sujeto humano se le otorga cierta entrada controlada experimentalmente: ciertos patrones de irradiación en frecuencias variadas, por ejemplo, y en la plenitud del tiempo el sujeto entrega como salida una descripción del mundo externo tridimensional y su historia.La relación entre la escasa entrada y la salida torrencial es una relación que se nos solicita estudiar por las mismas razones que siempre impulsaron la epistemología: a saber, para ver cómo la evidencia se relaciona con la teoría, y de qué manera la teoría de la naturaleza de uno trasciende cualquier evidencia disponible...Pero una diferencia notable entre la vieja epistemología y la empresa epistemológica en este nuevo escenario psicológico es que ahora podemos hacer uso libre de la psicología empírica.” (Quine, 1969: 82-83)

La propuesta de Quine es controvertida entre los filósofos contemporáneos y tiene varias críticas, siendo Jaegwon Kim la más destacada entre ellas.

En la cultura popular

• Un programa de computadora cuya salida es su propio código fuente se llama "quine" después de Quine. Este uso fue introducido por Douglas Hofstadter en su libro de 1979, Gödel, Escher, Bach: An Eternal Golden Braid.
• Quine es un personaje recurrente en el webcomic "Existential Comics".
• Quine fue seleccionado para su inclusión en el "Panteón de escépticos" del Comité de Investigación Escéptica, que celebra a los contribuyentes a la causa del escepticismo científico.
• Quine fue mencionado en la serie AP Bio de Peacock.

Bibliografía

Libros seleccionados

• 1934 Un Sistema de Logística. Universidad de Harvard Presionar.
• 1951 (1940). Lógica Matemática. Universidad de Harvard Presionar. ISBN 0-674-55451-5.
• 1980 (1941). Lógica elemental. Universidad de Harvard Presionar. ISBN 0-674-24451-6.
• 1982 (1950). Métodos de la Lógica. Universidad de Harvard Presionar. 1980 (1953). Desde un punto de vista lógico. Universidad de Harvard Presionar. ISBN 0-674-32351-3. Contiene "Dos dogmas del empirismo".
• 1960 Palabra y Objeto. Prensa del MIT; ISBN 0-262-67001-1. Lo más parecido que escribió Quine a un tratado filosófico. cap. 2 establece la tesis de la indeterminación de la traducción.
• 1969 (1963). La teoría de conjuntos y su lógica. Universidad de Harvard Presionar.
• 1966. Documentos lógicos seleccionados. Nueva York: Random House.
• 1976 (1966). Los caminos de la paradoja. Universidad de Harvard Presionar.
• 1969 Relatividad ontológica y otros ensayos. universidad de columbia Presionar. ISBN 0-231-08357-2. Contiene capítulos sobre relatividad ontológica, epistemología naturalizada y clases naturales.
• 1970 (2ª ed., 1978). Con JS Ullian. La Red de la Creencia. Nueva York: Random House.
• 1986 (1970). La filosofía de la lógica. Universidad de Harvard Presionar.
• 1974 (1971). Las raíces de la referencia. Open Court Publishing Company ISBN 0-8126-9101-6 (desarrollado a partir de Carus Lectures de Quine).
• 1981. Teorías y Cosas. Universidad de Harvard Presionar.
• 1985. El tiempo de mi vida: una autobiografía. Cambridge, The MIT Press. ISBN 0-262-17003-5.
• 1987. Quiddities: un diccionario filosófico intermitente. Universidad de Harvard Presionar. ISBN 0-14-012522-1. Una obra de ensayos, muchos sutilmente humorísticos, para lectores legos, muy reveladora de la amplitud de sus intereses.
• 1992 (1990). Búsqueda de la Verdad. Universidad de Harvard Presionar. Una breve y animada síntesis de su pensamiento para estudiantes avanzados y lectores en general que no se dejen engañar por su simplicidad. ISBN 0-674-73951-5.
• 1995. Del estímulo a la ciencia. Universidad de Harvard Presionar. ISBN 0-674-32635-0.

Artículos importantes

• 1946, "Concatenación como base para la aritmética". Reimpreso en sus Papeles Lógicos Seleccionados. Universidad de Harvard Presionar.
• 1948, "Sobre lo que hay", Revisión de Metafísica 2 (5) (JSTOR). Reimpreso en su 1953 From a Logical Point of View. Prensa de la Universidad de Harvard.
• 1951, "Dos dogmas del empirismo", The Philosophical Review 60: 20–43. Reimpreso en su 1953 From a Logical Point of View. Prensa de la Universidad de Harvard.
• 1956, "Cuantificadores y actitudes proposicionales", Journal of Philosophy 53. Reimpreso en su 1976 Ways of Paradox. Universidad de Harvard Prensa: 185–196.
• 1969, "Epistemología naturalizada" en Relatividad ontológica y otros ensayos. Nueva York: Prensa de la Universidad de Columbia: 69–90.
• "Truth by Convention", publicado por primera vez en 1936. Reimpreso en el libro Readings in Philosophical Analysis, editado por Herbert Feigl y Wilfrid Sellars, págs. 250–273, Appleton-Century-Crofts, 1949.

Filmografía

• Bryan Magee (anfitrión), Hombres de ideas: "Las ideas de Quine", BBC, 1978.
• Rudolf Fara (anfitrión), En conversación: WV Quine (7 videocasetes), Philosophy International, Centre for Philosophy of the Natural and Social Sciences, London School of Economics, 1994.