Willard Van Orman Quine

Filósofo y lógico estadounidense

Willard Van Orman Quine
Nació	( 25 de junio de 1908 )25 de junio de 1908 Akron, Ohio
Fallecido	25 de diciembre de 2000 (25/12/2000)(92 años) Boston, Massachusetts
Educación	Oberlin College (BA, 1930) Universidad de Harvard (Ph.D., 1932)
Esposos)	Naomi Clayton ​ ​ ( M.  1932; div.  1947) Marjorie Boynton ​ ​ ( . M  1948; murió 1998)
Premios	Premio Rolf Schock de Lógica y Filosofía (1993) Premio de Kioto (1996)
Era	Filosofía del siglo XX
Región	Filosofía occidental
Escuela	Analytic Mathematical nominalismo (1947) [1] Mathematical cuasi-empirismo (1960) inmanente realismo [2] neopragmatismo [3] El empirismo antifundamentalismo [4] conductismo lógico [5]
Instituciones	Universidad Harvard
Tesis	La lógica de las secuencias: una generalización de Principia Mathematica  (1932)
Asesor de doctorado	Alfred North Whitehead
Otros asesores académicos	CI Lewis [6]
Estudiantes de doctorado	David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Burton Dreben , Charles Parsons , John Myhill
Otros estudiantes notables	Donald Davidson , Daniel Dennett
Intereses principales	Lógica , ontología , epistemología , filosofía del lenguaje , filosofía de la mente , filosofía de las matemáticas , filosofía de la ciencia , teoría de conjuntos
Ideas notables	Lista Nuevos fundamentos , objetos abstractos , indeterminación de la traducción ( indeterminación holofrástica , inescrutabilidad de la referencia , relatividad ontológica , gavagai ), traducción radical , transparencia referencial , epistemología naturalizada , meta-ontología , compromiso ontológico / ideológico , [7] género natural , ascenso semántico , paradoja de Quine , Duhem-Quine tesis , Quine-Putnam tesis de indispensabilidad, holismo semántico ( holismo de confirmación , red de creencias , pase lo que pase ), extensionalismo , problema de los nombres vacíos , actitud proposicional , dos dogmas de empirismo , principio de caridad , sinonimia cognitiva , declaración observacional , cuasi-empirismo matemático , Quine-McCluskey algoritmo , teoría de conjuntos de Quine-Morse , designador vívido , lógica de functor de predicado , cita de Quine , esquinas de Quine, Átomo de Quine , barba de Platón , generalización existencial y instanciación universal , paradojas verídicas versus falsas [8]
Influencias Bertrand Russell , Rudolf Carnap , Alfred Tarski , Círculo de Viena , CI Lewis , [6] AN Whitehead , BF Skinner , Pierre Duhem
Influenciado Noam Chomsky , Roger Gibson , Donald Davidson , Daniel Dennett , David Lewis , Penelope Maddy , Hilary Putnam , Richard Rorty , Dagfinn Føllesdal , Gilbert Harman , Hao Wang , Peter van Inwagen

Willard Van Orman Quine ( / k w aɪ n / ; conocido por sus amigos como "Van"; ^[9] 25 junio 1908-25 diciembre 2000) fue un filósofo americano y lógico en la tradición analítica , reconocido como "uno de los filósofos más influyentes del siglo XX ". ^[10] 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 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 la " tesis de indispensabilidad de Quine-Putnam ", un argumento a favor de la realidad de las entidades matemáticas . ^[11] Sin embargo, fue el principal defensor de la visión de que la filosofía no es un análisis conceptual , sino que es continuo con la ciencia; la rama abstracta de las ciencias empíricas. Esto llevó a su famosa broma de que "filosofía de la ciencia es filosofía suficiente ". ^[12] Lideró un" intento sistemático de comprender la ciencia desde dentro de los recursos de la ciencia misma " ^[13] y desarrolló una epistemología naturalizada influyente que trató de proporcionar" una explicación científica mejorada de cómo hemos desarrolló elaboradas teorías científicas sobre la base de una escasa información sensorial ". ^[13] También defendió la relatividad ontológica en la ciencia, conocida como la tesis de Duhem-Quine .

Entre sus principales escritos se encuentran los artículos "Sobre lo que hay", que aclara la teoría de las descripciones de Bertrand Russell y contiene el famoso dicho de Quine sobre el compromiso ontológico , "Ser es ser el valor de una variable " y " Dos dogmas del empirismo". "(1951) que atacaba la distinción tradicional 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 se incluyen los libros The Web of Belief , que aboga por una especie de coherentismo , 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 , defendiendo 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. ^{[14] [15]} Ganó el primer Premio Schock de Lógica y Filosofía en 1993 por "sus discusiones sistemáticas y penetrantes de cómo el aprendizaje del lenguaje y la comunicación se basan en la evidencia socialmente disponible y de las consecuencias de esto para las teorías sobre el conocimiento y la lingüística sentido." ^[16] En 1996 fue galardonado con el Premio de Kioto en Artes y Filosofía por sus "destacadas contribuciones al progreso de la filosofía en el siglo XX al proponer numerosas teorías basadas en agudos conocimientos en lógica, epistemología , filosofía de la ciencia y filosofía del lenguaje. "^[17]

Biografía

Quine creció en Akron, Ohio , donde vivió con sus padres y su hermano mayor Robert Cloyd. Su padre, Cloyd Robert, ^[18] era un empresario de fabricación (fundador de Akron Equipment Company, que producía moldes para neumáticos) ^[18] y su madre, Harriett E., era maestra de escuela y más tarde ama de casa. ^[9] Quine era ateo cuando era un adolescente. ^[19]

Educación

Quine recibió su licenciatura 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 becario junior de Harvard , 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, conociendo a lógicos polacos (incluidos Stanislaw Lesniewski y Alfred Tarski ) y miembros del Círculo de Viena (incluido Rudolf Carnap ), así como al positivista lógico A. J. Ayer . ^[9]

Segunda Guerra Mundial

Quine hizo los arreglos para que Tarski fuera invitado al Congreso de la Unidad de la Ciencia de septiembre de 1939 en Cambridge, para lo cual el Tarski judío zarpó en el último barco para salir de Danzig antes de que el Tercer Reich 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 una conferencia sobre lógica en Brasil, en portugués, y sirvió en la Armada de los Estados Unidos en un rol de inteligencia militar , descifrando mensajes de submarinos alemanes y alcanzando el rango de teniente comandante. ^[9] Quine podía dar conferencias en francés, español, portugués y alemán, así como en su inglés nativo.

Personal

Tuvo cuatro hijos de dos matrimonios. ^[9] El guitarrista Robert Quine era su sobrino.

Quine era políticamente conservador, pero la mayor parte de sus escritos se centraron en áreas técnicas de la filosofía alejadas de las cuestiones políticas directas. ^[20] Sin embargo, escribió en defensa de varias posiciones conservadoras: por ejemplo, escribió en defensa de la censura moral ; ^[21] mientras que, en su autobiografía, hizo algunas críticas a los académicos estadounidenses de posguerra. ^{[22] [23]}

Harvard

En Harvard, Quine ayudó a supervisar las tesis de graduados 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 Wesleyan University . ^[24] En 1980, Quine recibió un doctorado honorario de la Facultad de Humanidades de la Universidad de Uppsala , Suecia. ^[25]

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 severo que tuvo dificultades para seguir sus argumentos. Quine también tuvo considerables dificultades en su proyecto para realizar las revisiones deseadas en 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 ^[26].

Trabajo

Ph.D. de Quine tesis y publicaciones tempranas fueron sobre lógica formal y teoría de conjuntos . Solo después de la Segunda Guerra Mundial, en virtud de artículos seminales 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 de conocimiento y 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. Estos puntos de vista son intrínsecos a su naturalismo .

Como 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 . ^{[ aclaración necesaria ]}

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 bivalente clásica de primer orden , por lo tanto a la verdad y la falsedad bajo cualquier universo (no vacío) de discurso . Por lo tanto, lo siguiente no era 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";
• Gran parte de lo que Principia Mathematica incluía en la lógica no era lógica para Quine.
• Sistemas formales que involucran nociones intensionales , especialmente 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 lógica . Las cuatro ediciones de este libro fueron el resultado de un curso universitario más avanzado en lógica que Quine enseñó desde el final de la Segunda Guerra Mundial hasta su jubilación en 1978.
• Filosofía de la lógica . Un tratamiento de pregrado conciso e ingenioso de una serie de temas quinianos, como la prevalencia de las confusiones entre 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 Quine en lógica se volvió gradualmente anticuado 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 dejaba mucho que desear. Por ejemplo, la 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 actual de Principia Mathematica . Frente a todo esto está la simplicidad de su método preferido (como se expone en sus Métodos de lógica) para determinar la satisfacibilidad de fórmulas cuantificadas, la riqueza de sus intuiciones 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 a partir de 1960 se basó en variantes de su lógica de función de predicado , una de las varias formas que se han propuesto para hacer lógica sin cuantificadores . Para un tratamiento integral de la lógica del functor de predicados y su historia, véase Quine (1976). Para una introducción, vea 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 de cobertura de 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 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 durante un tiempo, ^[27] pero retrocedió cuando no pudo encontrar una base nominalista de las matemáticas. ^[1]

A lo largo de su carrera, Quine propuso tres variantes de la teoría de conjuntos axiomáticos, cada una de las cuales incluye el axioma de extensionalidad :

• New Foundations , NF, crea y manipula conjuntos utilizando un esquema de axioma único para la admisibilidad del conjunto, a saber, 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 aquella que la teoría de tipos permitiría, si la ontología incluyera tipos. Sin embargo, la teoría de conjuntos de Quine no incluye 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ónno se sostiene. Dado que el axioma de elección es válido para todos los conjuntos finitos, el fracaso 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 varias pruebas candidatas vigentes en la comunidad de NF que sugieren que NF es equivalente a la teoría de conjuntos de Zermelo sin elección. Una modificación de NF, NFU , debido a RB Jensen y admitiendo urelementos (entidades que pueden ser miembros de conjuntos pero que carecen de elementos), resulta ser 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 conjunto quineanas 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 axiomatizada 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 por completo de un esquema de axioma único. Quine derivó los fundamentos de las matemáticas una vez más. Este libro incluye la exposición definitiva de la teoría de Quine de conjuntos y relaciones virtuales, y examinó la teoría de conjuntos axiomáticos tal como estaba alrededor de 1960.

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

La teoría de conjuntos de Quine y su lógica de fondo fueron impulsadas por el deseo de minimizar las posturas; cada innovación es impulsada tanto como sea posible antes de que se introduzcan más innovaciones. Para Quine, solo hay un conectivo, el trazo de Sheffer , y un cuantificador, el cuantificador universal . Todos los predicados poliádicos se pueden reducir a un predicado diádico, interpretable como pertenencia a un conjunto. Sus reglas de prueba se limitaron 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 meras nociones primitivas: abstracción e inclusión . Para una elegante introducción a la parsimonia del enfoque de la lógica de Quine, vea su "Nuevos fundamentos para la lógica matemática", cap. 5 en 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 ". ^[28] 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ética

Véase también: Dos dogmas del empirismo

En las décadas de 1930 y 1940, las discusiones con Rudolf Carnap , Nelson Goodman y Alfred Tarski , entre otros, llevaron a Quine a dudar de la viabilidad de la distinción entre declaraciones "analíticas" ^{[29], las} verdaderas simplemente por el significado de sus palabras, como "Todos los solteros son solteros" y afirmaciones "sintéticas", verdaderas o falsas en virtud de hechos sobre el mundo, como "Hay un gato en la estera". Esta distinción fue fundamental para el positivismo lógico . Aunque Quine no se asocia normalmente 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 . ^[30]

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, luego argumentó que la noción de verdad por definición era insatisfactoria.

La principal objeción de Quine a la analiticidad es con la noción de sinonimia (igualdad de significado), una oración es analítica, en caso de que sustituya un sinónimo de "negro" en una proposición como "Todas las cosas negras son negras" (o cualquier otra lógica verdad ). La objeción a la sinonimia gira en torno al problema de la información colateral. Sentimos intuitivamente que existe una distinción entre "Todos los hombres solteros son solteros" y "Ha habido perros negros", pero un hablante de inglés competente aceptará ambas oraciones en todas las condiciones, ya que dichos hablantes también tienen acceso a información colateral.en relación con la existencia histórica de los perros negros. Quine sostiene que no hay distinción entre información colateral universalmente conocida y verdades conceptuales o analíticas.

Otro enfoque de la objeción de Quine a la analiticidad y la sinonimia surge de la noción modal de posibilidad lógica . Una visión tradicional de Wittgenstein del significado sostenía que cada oración significativa estaba asociada con una región en el "espacio lógico". ^[31] Quine encuentra problemática la noción de tal espacio, argumentando que no hay distinción entre las verdades que se creen universal y confiadamente y las que son necesariamente verdaderas.

Holismo de confirmación y relatividad ontológica

Colega Hilary Putnam llama de Quine indeterminación de la traducción tesis de "la más fascinante y el argumento filosófico más discutido desde Kant 's trascendental Deducción de las categorías ". Las tesis centrales subyacentes son la relatividad ontológica y la doctrina relacionada del holismo de la confirmación . La premisa del holismo de la confirmación es que todas las teorías (y las proposiciones derivadas de ellas) están subdeterminadaspor datos empíricos (datos, datos sensoriales, evidencia); aunque algunas teorías no son justificables, no se ajustan a los datos o son impracticablemente complejas, existen muchas alternativas igualmente justificables. Si bien la suposición de los griegos de que existen dioses homéricos (inobservables) es falsa, y nuestra suposición de ondas electromagnéticas (inobservables) es verdadera, ambos deben justificarse únicamente por su capacidad para explicar nuestras observaciones.

El experimento mental gavagai habla de un lingüista, que trata de averiguar qué significa la expresión gavagai , cuando la pronuncia un hablante de una lengua nativa aún desconocida al ver un conejo. A primera vista, parece que gavagai simplemente se traduce como conejo . Ahora, Quine señala que el idioma de fondo y sus dispositivos de referencia podrían engañar al lingüista aquí, porque está engañado en el sentido de que siempre hace comparaciones directas entre el idioma extranjero y el suyo. Sin embargo, al gritar gavagai y señalar a un conejo, los nativos también podrían referirse a algo como partes sueltas de conejo 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 reformularlos, 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 posturas irreductibles comparables, epistemológicamente, a los dioses de Homero …. Por mi parte, como físico laico, creo en los objetos físicos y no en los dioses de Homero; y considero un error científico creer lo contrario. Pero en el punto de la base epistemológica, 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 posturas 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. Por tanto, si bien es posible verificar o falsificarteorías completas, no es posible verificar o falsificar declaraciones individuales. Se puede guardar casi cualquier declaración en particular, 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 podría modificarse a la luz de la evidencia empírica y en la que ninguna evidencia empírica podría forzar la revisión de una parte determinada.

Existencia y su contrario

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

Una cosa curiosa del problema ontológico es su sencillez. Se puede poner en tres monosílabos anglosajones: "¿Qué hay?" Además, se puede responder en una palabra: "Todo", y todos aceptarán esta respuesta como cierta. ^[32]

Más directamente, la controversia va,

¿Cómo podemos hablar de Pegasus ? ¿A qué se refiere la palabra 'Pegaso'? Si nuestra respuesta es "Algo", entonces parece que creemos en entidades místicas; si nuestra respuesta es "nada", entonces parece que no hablamos de nada y ¿qué sentido se le puede dar a 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 . Entonces no podemos estar hablando de nada.

Quine se resiste a la tentación de decir que los términos que no hacen referencia no tienen sentido por las razones aclaradas anteriormente. En cambio, nos dice que primero debemos determinar si nuestros términos se refieren o no antes de que sepamos 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 referidos. Lejewski escribe además,

Este estado de cosas no parece muy satisfactorio. La idea de que algunas de nuestras reglas de inferencia deben 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 [generalización existencial y instanciación universal] puede resultar útil. nuestro tiempo.

Lejewski luego ofrece 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 conjunto vacío, lo que dejó a Lejewski insatisfecho. ^[33]${\displaystyle \forall x\,Fx\rightarrow \exists x\,Fx}$

Compromiso ontológico

La noción de compromiso ontológico juega un papel central en las contribuciones de Quine a la ontología. ^{[34] [35]} Una teoría está comprometida ontológicamente con una entidad si esa entidad debe existir para que la teoría sea verdadera. ^[36] 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. ^[37]Los compromisos ontológicos de la teoría corresponden entonces a las variables limitadas por cuantificadores existenciales. ^[38] Por ejemplo, la oración "Hay electrones" podría traducirse como " ∃ x Electrón ( x ) ", en el que la variable ligada x varía sobre los electrones, lo que da como resultado un compromiso ontológico con los electrones. ^[36] Este enfoque se resume en el famoso dicho de Quine de que "[t] o ser es el valor de una variable". ^[39] Quine aplicó este método a varias disputas tradicionales en ontología. Por ejemplo, razonó a partir de la oración "Hay números primos entre 1000 y 1010" hasta un compromiso ontológico con la existencia de números,es decirrealismo sobre los números. ^[39] Este método por sí solo no es suficiente para la ontología, ya que depende de una teoría para dar lugar a compromisos ontológicos. Quine propuso que deberíamos basar nuestra ontología en nuestra mejor teoría científica. ^[36] Varios seguidores del método de Quine optaron por aplicarlo a diferentes campos, por ejemplo, a "concepciones cotidianas expresadas en lenguaje natural". ^{[40] [41]}

Argumento de indispensable para el realismo matemático

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

La forma del argumento es la siguiente.

1. Uno debe tener ontológicas compromisos con todas las entidades que son indispensables para las mejores teorías científicas, y para aquellas entidades únicas (comúnmente referido como "todo único").
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 entidades matemáticas. ^[42]

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 de "todos 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 está justificada por el holismo de confirmación . Dado que las teorías no se confirman de manera fragmentada, sino en su conjunto, no hay justificación para excluir a ninguna de las entidades mencionadas en las teorías bien confirmadas. Esto pone al nominalista que desea excluir la existencia de conjuntos y geometría no euclidiana , pero para incluir la existencia de quarksy otras entidades físicas indetectables, por ejemplo, en una posición difícil. ^[42]

Epistemología

Así como desafió la distinción dominante analítico-sintética, 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 ejemplificó 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: ^[43] "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, es decir, un sujeto humano físico. A este sujeto humano se le concede una cierta información 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 entrada exigua y la salida torrencial es una relación que nos impulsa estudiar por las mismas razones que siempre motivaron la epistemología: es decir, 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 un 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 cuenta con varios críticos, siendo Jaegwon Kim el más destacado entre ellos. ^[44]

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 ". ^[45]
• Quine fue seleccionada 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 . ^[46]
• Quine fue mencionado en la serie de Peacock AP Bio

Bibliografía

Libros seleccionados

• 1934 Un sistema de logística . Universidad de Harvard. Presionar. ^[47]
• 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 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 expone 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. Selected Logic Papers . 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 telaraña de las creencias . 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: An Intermittently Philosophical Dictionary . Universidad de Harvard. Presionar. ISBN 0-14-012522-1 . Una obra de ensayo, muchos de ellos sutilmente humorísticos, para lectores profanos, 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 dejan engañar por su simplicidad. ISBN 0-674-73951-5 . 
• 1995. From Stimulus to Science . Universidad de Harvard. Presionar. ISBN 0-674-32635-0 . 

Artículos importantes

• 1946, "La concatenación como base para la aritmética". Reimpreso en sus Selected Logic Papers . Universidad de Harvard. Presionar.
• 1948, " Sobre lo que hay ", Revista de metafísica 2 (5) ( JSTOR ). Reimpreso en su 1953 Desde un punto de vista lógico . Prensa de la Universidad de Harvard. ^[48]
• 1951, " Dos dogmas del empirismo ", The Philosophical Review 60 : 20–43. Reimpreso en su 1953 Desde un punto de vista lógico . 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. Presione: 185–96.
• 1969, "Epistemología naturalizada" en la relatividad ontológica y otros ensayos . Nueva York: Columbia University Press: 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 (presentador), Men of Ideas : "The Ideas of Quine", BBC, 1978.
• Rudolf Fara (presentador), En conversación: WV Quine (7 videocassettes), Philosophy International, Centro de Filosofía de las Ciencias Naturales y Sociales, London School of Economics, 1994.

Ver también

• Lista de filósofos estadounidenses

Notas

1. Bueno, Otávio, 2013, " Nominalismo en la filosofía de las matemáticas " en la Enciclopedia de Filosofía de Stanford .
2. Realismo científico y antirrealismo - Enciclopedia de filosofía de Internet
3. Pragmatismo - Enciclopedia de Filosofía de Internet
4. Ted Poston, "Fundacionalismo" (Enciclopedia de Filosofía de Internet)
5. Zalta, Edward N. (ed.). "Conductismo" . Enciclopedia de Filosofía de Stanford .
6. Hunter, Bruce, 2016, " Clarence Irving Lewis " en la Enciclopedia de Filosofía de Stanford .
7. Willard Van Orman Quine (1983). "Capítulo 22: Ontología e ideología revisadas" . Confesiones de un extensionalista confirmado: y otros ensayos . Prensa de la Universidad de Harvard. págs. 315 y sigs . ISBN 0674030842.
8. Quine, WV (1966). "Los caminos de la paradoja" . Los caminos de la paradoja y otros ensayos . Nueva York: Random House.
9. O'Connor, John J .; Robertson, Edmund F. (octubre de 2003), "Willard Van Orman Quine" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews.
10. "WV Quine, filósofo que analizó el lenguaje y la realidad, muere a los 92"
11. Colyvan, Mark, "Argumentos de indispensable en la filosofía de las matemáticas" , La enciclopedia de filosofía de Stanford (edición de otoño de 2004), Edward N. Zalta (ed.)
12. "Sr. Strawson en teoría lógica" . WV Quine. Mind Vol. 62 No. 248. Octubre de 1953.
13. "Filosofía de la ciencia de Quine" . Enciclopedia de Filosofía de Internet. Iep.utm.edu. 27 de julio de 2009. Consultado el 8 de marzo de 2010.
14. "Entonces, ¿quién * es * el filósofo más importante de los últimos 200 años?" Leiter Reports. Leiterreports.typepad.com. 11 de marzo de 2009. Consultado el 8 de marzo de 2010.
15. Resultados de la encuesta: ¿Quién es el filósofo más importante de los últimos 200 años? Brian Leiter. 11 de marzo de 2009. Consultado el 24 de octubre de 2014.
16. "Página del ganador del premio" . La Real Academia Sueca de Ciencias. Kva.se. Consultado el 29 de agosto de 2010.
17. "Willard Van Orman Quine" . Fundación Inamori. Archivado desde el original el 20 de julio de 2013 . Consultado el 15 de diciembre de 2012 .
18. The Cambridge Companion to Quine , ed. Roger F. Gibson, Jr., Cambridge University Press, 2004, pág. 1
19. Quine, Willard Van Orman; Hahn, Lewis Edwin (1986). La filosofía de WV Quine . Cancha abierta. pag. 6. ISBN 978-0812690101. En mi tercer año de secundaria, caminaba a menudo con mis nuevos amigos jamaicanos, Fred y Harold Cassidy, tratando de convertirlos de su fe episcopal al ateísmo.
20. The Wall Street Journal , obituario de WV Quine - 4 de enero de 2001
21. Quiddities: An Intermittently Philosophical Dictionary , entrada de Tolerancia (págs. 206–08)
22. "Paradojas de la abundancia" en Teorías y cosas , p. 197
23. El tiempo de mi vida: una autobiografía , págs. 352–53.
24. "Guía para el Centro de registros de estudios avanzados, 1958-1969" Archivado el 14 de marzo de 2017 en la Wayback Machine . Universidad Weselyan. Wesleyan.edu. Consultado el 8 de marzo de 2010.
25. "Doctorados honorarios - Universidad de Uppsala, Suecia" .
26. WV Quine. Word y Object 2013. MIT Press.
27. Nelson Goodman y WVO Quine, "Pasos hacia un nominalismo constructivo" , Journal of Symbolic Logic , 12 (1947): 105-122.
28. Armstrong, DM (2010). Bosquejo de una metafísica sistemática . Oxford: Prensa de la Universidad de Oxford. pag. 2. ISBN 9780199655915.
29. Frost-Arnold, Greg (2013). Carnap, Tarski y Quine en Harvard: conversaciones sobre lógica, matemáticas y ciencia . Chicago: Open Court. pag. 89. ISBN 9780812698374.
30. Prawitz, Dag. 'Quine y el verificacionismo'. En Inquiry , Estocolmo, 1994, págs. 487–94
31. Tractatus Logico-Philosophicus 1.13
32. WVO Quine, " Sobre lo que hay ", The Review of Metaphysics 2 (5), 1948.
33. Czeslaw Lejewski, "Lógica y existencia". Revista británica de filosofía de la ciencia vol. 5 (1954-1955), págs. 104-19.
34. Craig, Edward (1996). "Compromiso ontológico". Enciclopedia de filosofía de Routledge . Routledge.
35. Los editores de Encyclopaedia Britannica. "Ontología" . Enciclopedia Británica . Consultado el 13 de diciembre de 2020 .
36. Bricker, Phillip (2016). "Compromiso ontológico" . La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 13 de diciembre de 2020 .
37. Magnus, PD; Ichikawa, Jonathan Jenkins (2020). "V. Lógica de primer orden". Forall X (UBC ed.). Creative Commons: Reconocimiento-CompartirIgual 3.0.
38. Schaffer, Jonathan. "Sobre qué fundamento qué". Metametafísica: nuevos ensayos sobre los fundamentos de la ontología . Prensa de la Universidad de Oxford. págs. 347–383.
39. Quine, Willard Van Orman (1948). "Sobre lo que hay" . Revisión de metafísica . 2 (5): 21–38.
40. Inwagen, Peter van (2004). "Una teoría de las propiedades". Estudios de Oxford en metafísica, volumen 1 . Prensa de Clarendon. págs. 107-138.
41. Kapelner, Zsolt-kristof (2015). "3. Metaontología Quineana". Conciliación de la metaontología quineana y neo-aristotélica (PDF) .
42. Putnam, H. Matemáticas, materia y método. Documentos filosóficos, vol. 1 . Cambridge: Cambridge University Press, 1975. 2do. ed., 1985.
43. "Naturalismo en epistemología" . Epistemología naturalizada . stanford.edu . Laboratorio de Investigación en Metafísica, Universidad de Stanford. 2017.
44. "Epistemología naturalizada" . Enciclopedia de Filosofía de Stanford. Plato.stanford.edu. 5 de julio de 2001. Consultado el 8 de marzo de 2010.
45. [1] . Comics existenciales. Consultado el 24 de noviembre de 2014.
46. "El panteón de los escépticos" . CSI . Comité de Investigación Escéptica . Archivado desde el original el 31 de enero de 2017 . Consultado el 30 de abril de 2017 .
47. Iglesia, Alonzo (1935). "Revisión: un sistema de logística por Willard Van Orman Quine" (PDF) . Toro. Amer. Matemáticas. Soc . 41 (9): 598–603. doi : 10.1090 / s0002-9904-1935-06146-4 .
48. En este artículo, Quine conectó explícitamente cada una de las tres principales posiciones ontológicas medievales, a saber, realismo / conceptualismo / nominalismo , con una de las tres escuelas dominantes en la filosofía moderna de las matemáticas: logicismo / intuicionismo / formalismo, respectivamente.

Lectura adicional

• Gibson, Roger F., ed. (2004). El compañero de Cambridge de Quine . Prensa de la Universidad de Cambridge . ISBN 0521639492.
• Gibson, Roger F. (1988). La filosofía de WV Quine: un ensayo expositivo . Tampa: Universidad del Sur de Florida .
• Gibson, Roger F. (1988). Empirismo ilustrado: un examen de la teoría del conocimiento de WV Quine . Tampa: Universidad del Sur de Florida .
• Gibson, Roger F. (2004). Quintaesencia: Lecturas básicas de la filosofía de WV Quine . Prensa de la Universidad de Harvard .
• Gibson, Roger F .; Barrett, R., eds. (1990). Perspectivas sobre Quine . Oxford: Blackwell Publishing .
• Gochet, Paul , 1978. Quine en perspectiva , París, Flammarion.
• Godfrey-Smith, Peter , 2003. Teoría y realidad: una introducción a la filosofía de la ciencia .
• Grattan-Guinness, Ivor , 2000. La búsqueda de raíces matemáticas 1870-1940 . Prensa de la Universidad de Princeton.
• Grice, Paul y Peter Strawson . "En defensa de un dogma". The Philosophical Review 65 (1965).
• Hahn, LE y Schilpp, PA, eds., 1986. La filosofía de WVO Quine (La biblioteca de los filósofos vivientes). Cancha abierta.
• Köhler, Dieter, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie . Doctor. tesis, Univ. de Heidelberg.
• MacFarlane, Alistair (marzo-abril de 2013). "WVO Quine (1908-2000)". Filosofía ahora . 95 : 35–36.
• Murray Murphey , El desarrollo de la filosofía de Quine (Heidelberg, Springer, 2012) (Boston Studies in the Philosophy of Science, 291).
• Orenstein, Alex (2002). WV Quine . Prensa de la Universidad de Princeton.
• Putnam, Hilary . "El positivista lógico más grande". Reimpreso en Realismo con rostro humano , ed. James Conant. Cambridge, MA: Harvard University Press, 1990.
• Rosser, John Barkley , "El axioma del infinito en los nuevos fundamentos de Quine", Journal of Symbolic Logic 17 (4): 238–242, 1952.
• Valore, Paolo, 2001. Questioni di ontologia quineana , Milán: Cusi.

Enlaces externos

Willard Van Orman Quineen los proyectos hermanos de Wikipedia

• Medios de Wikimedia Commons
• Citas de Wikiquote
• Textos de Wikisource

• WVQuine.org
• Willard Van Orman Quine en la Enciclopedia de Filosofía de Stanford
• "Rechazo de Quine de la distinción analítico / sintético" . Enciclopedia de Filosofía de Internet .
• " Filosofía de la ciencia de Quine " en la Enciclopedia de Filosofía de Internet
• Nuevos fundamentos de Quine en la Enciclopedia de Filosofía de Stanford
• Willard Van Orman Quine en el Proyecto de genealogía matemática
• Obituario de The Guardian
• Resumen y explicación de "sobre lo que hay"
• "Dos dogmas del empirismo"
• "Sobre teorías simples de un mundo complejo"
• ¿Qué es la ontología de Quine?