Hispanopedia Wiki
Articulo de referencia

Willard Van Orman Quine

{{Cite book |last=Quine |first=Willard Van Orman |title=Confessions of a Confirmed Extensionalist: And Other Essays |publisher=Harvard University Press |year=1983 |isbn=0-674-03...

Hispanopedia WikiContenido en espanolLectura gratuita

Willard Van Orman Quine ( / k w aɪ n / KWYNE ; conocido por sus amigos como "Van"; [ 3 ] 25 de junio de 1908 – 25 de diciembre de 2000) fue un lógico y filósofo estadounidense de la tradición analítica , reconocido como "uno de los filósofos más influyentes del siglo XX". [ 4 ] Fue titular de la Cátedra Edgar Pierce de Filosofía en la Universidad de Harvard desde 1956 hasta 1978.

Quine fue profesor de lógica y teoría de conjuntos . Fue famoso por su postura de que la lógica de primer orden es la única digna de tal nombre, y desarrolló su propio sistema de matemáticas y teoría de conjuntos, conocido como Nuevas Fundaciones . En la filosofía de las matemáticas , él y su colega de Harvard, Hilary Putnam, desarrollaron el argumento de indispensabilidad de Quine-Putnam , un argumento a favor de la realidad de las entidades matemáticas . [ 5 ] Fue el principal defensor de la visión de que la filosofía no es análisis conceptual , sino continua con la ciencia; es la rama abstracta de las ciencias empíricas. Esto dio lugar a su famosa ocurrencia de que " la filosofía de la ciencia es filosofía suficiente". [ 6 ] Lideró un "intento sistemático de comprender la ciencia desde dentro de los recursos de la ciencia misma" [ 7 ] y desarrolló una influyente epistemología naturalizada que intentó proporcionar "una explicación científica mejorada de cómo hemos desarrollado elaboradas teorías científicas sobre la base de escasa información sensorial". [ 7 ] También abogó por el holismo en la ciencia, conocido como la tesis de Duhem-Quine .

Entre sus principales escritos se incluyen los artículos "Sobre lo que hay" (1948), que dilucidó la teoría de las descripciones de Bertrand Russell y contiene la famosa máxima de Quine sobre el compromiso ontológico : "Ser es ser el valor de una variable ", y " Dos dogmas del empirismo " (1951), que atacó la distinción tradicional analítico-sintética y el reduccionismo, socavando el positivismo lógico entonces popular , y abogando en cambio por una forma de holismo semántico y relatividad ontológica . También incluyen los libros La red de creencias (1970), que defiende una especie de coherentismo , y Palabra y objeto (1960), que desarrolló aún más estas posiciones e introdujo la famosa tesis de Quine sobre la indeterminación de la traducción , abogando por una teoría conductista del significado .

Biografía

Los padres de Quine eran Cloyd Robert Quine [ 8 ] y Harriet Ellis Van Orman. Quine creció en Akron, Ohio , donde vivió con sus padres y su hermano mayor, Robert Cloyd. Su padre era un empresario manufacturero (fundador de Akron Equipment Company, que producía moldes para neumáticos) y su madre era maestra de escuela y ama de casa . [ 9 ] [ 3 ] Quine se convirtió en ateo alrededor de los 9 años [ 10 ] y lo siguió siendo durante el resto de su vida. [ 11 ]

Educación

Quine recibió su licenciatura en matemáticas , summa cum laude , del Oberlin College en 1930, y su doctorado en filosofía de la Universidad de Harvard en 1932. Su director de tesis fue Alfred North Whitehead . Posteriormente fue nombrado becario junior de Harvard , lo que lo eximió de la docencia durante cuatro años. Durante el año académico 1932-33, viajó por Europa gracias a una beca Sheldon, donde conoció a lógicos polacos (entre ellos Jan Łukasiewicz , Stanislaw Lesniewski y Alfred Tarski ) y miembros del Círculo de Viena (entre ellos Rudolf Carnap ), así como al positivista lógico A. J. Ayer . [ 3 ] Fue en Praga donde Quine desarrolló una pasión por la filosofía, gracias a Carnap, a quien llamó su "verdadero y único maestro de pensamiento ". [ 12 ]

Segunda Guerra Mundial

Quine gestionó la invitación de Tarski al Congreso de la Unidad de la Ciencia de septiembre de 1939 en Cambridge, para el cual el judío Tarski viajó en el último barco que zarpó 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 los Estados Unidos. Durante la guerra, Quine impartió clases de lógica en Brasil , en portugués, y sirvió en la Armada de los Estados Unidos en un puesto de inteligencia militar , descifrando mensajes de submarinos alemanes y alcanzando el rango de teniente comandante. [ 3 ] Quine podía dar clases en francés, alemán, italiano, portugués y español, además de su inglés natal.

Personal

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

Quine era políticamente conservador, pero la mayor parte de su obra se centraba en áreas técnicas de la filosofía, alejadas de cuestiones políticas directas. [ 13 ] Sin embargo, escribió en defensa de varias posturas conservadoras: por ejemplo, defendió la censura moral ; [ 14 ] mientras que, en su autobiografía, criticó a algunos académicos estadounidenses de la posguerra. [ 15 ] [ 16 ]

Harvard

En Harvard, Quine ayudó a supervisar las tesis de posgrado 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 del profesorado del Centro de Estudios Avanzados de la Universidad de Wesleyan . [ 17 ] En 1980, Quine recibió un doctorado honoris causa de la Facultad de Humanidades de la Universidad de Uppsala , Suecia. [ 18 ]

Dagfinn Føllesdal, alumno de Quine, observó que este sufrió pérdida de memoria en sus últimos años. El deterioro de su memoria a corto plazo fue tan grave que le costaba seguir las discusiones. Quine también tuvo considerables dificultades para realizar las revisiones deseadas de Word and Object en su proyecto . Antes de morir, Quine le comentó a Morton White : «No recuerdo cómo se llama mi enfermedad, Althusser o Alzheimer , pero como no lo recuerdo, debe ser Alzheimer». Falleció a causa de la enfermedad el día de Navidad de 2000. [ 19 ] [ 20 ]

Trabajar

La tesis doctoral y las primeras publicaciones de Quine versaron sobre lógica formal y teoría de conjuntos . Solo después de la Segunda Guerra Mundial, gracias a sus trabajos fundamentales sobre ontología , epistemología y lenguaje, emergió como un filósofo de gran relevancia. En la década de 1960, desarrolló 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ó categóricamente la idea de que debiera existir una «primera filosofía», un punto de vista teórico de alguna manera anterior a la ciencia natural y capaz de justificarla. Estas ideas son intrínsecas a su naturalismo .

Al igual que la mayoría de los filósofos analíticos, que estaban interesados ​​principalmente en el pensamiento sistemático, Quine mostró poco interés en el canon filosófico : solo una vez impartió un curso de historia de la filosofía, sobre David Hume , en 1946. [ 21 ]

Lógica

A lo largo de su carrera, Quine publicó numerosos artículos técnicos y divulgativos sobre lógica formal, algunos de los cuales se reimprimen 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 limitó la lógica a la lógica clásica bivalente de primer orden , es decir, a la verdad y la falsedad bajo cualquier universo de discurso (no vacío) . Por lo tanto, lo siguiente no era lógica para Quine:

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 seis semanas como una solución improvisada a sus necesidades docentes.
  • Métodos de lógica . Las cuatro ediciones de este libro surgieron de un curso avanzado de lógica para estudiantes de pregrado que Quine impartió desde el final de la Segunda Guerra Mundial hasta su jubilación en 1978.
  • Filosofía de la lógica . Un análisis conciso e ingenioso, dirigido a estudiantes de pregrado, de varios temas de Quin, como la prevalencia de las confusiones entre uso y mención, la dudosa validez 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 docencia de posgrado de Quine durante las décadas de 1930 y 1940. Demuestra que gran parte de lo que Principia Mathematica requería más de 1000 páginas para expresar puede resumirse en 250. Las demostraciones 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 de Quine (1946), sirvió de punto de partida para la posterior y lúcida exposición de Raymond Smullyan sobre estos y otros resultados relacionados.

La obra de Quine en lógica se fue quedando obsoleta en algunos aspectos. Entre las técnicas que no enseñó ni analizó se incluyen los tableaux analíticos , las funciones recursivas y la teoría de modelos . Su tratamiento de la metalógica dejaba mucho que desear. Por ejemplo, su obra Lógica matemática no incluye ninguna demostración de solidez ni de completitud . Al principio de su carrera, la notación de sus escritos sobre lógica era a menudo peculiar. Sus escritos posteriores casi siempre emplearon la notación, ahora anticuada, de los Principia Mathematica . Frente a todo esto, cabe destacar la sencillez de su método preferido (expuesto en sus Métodos de lógica ) para determinar la satisfacibilidad de fórmulas cuantificadas, la riqueza de sus reflexiones filosóficas y lingüísticas, y la excelente prosa con la que las expresó.

La mayor parte del trabajo original de Quine en lógica formal a partir de 1960 se centró en variantes de su lógica de functores de predicados , una de las diversas maneras propuestas para hacer lógica sin cuantificadores . Para un tratamiento exhaustivo de la lógica de functores de predicados y su historia, véase Quine (1976). Para una introducción, véase el capítulo  45 de su obra Métodos de lógica .

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

teoría de conjuntos

Si bien sus contribuciones a la lógica incluyen elegantes exposiciones y varios resultados técnicos, fue 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 esta era bastante distinta de la lógica. Coqueteó con el nominalismo de Nelson Goodman durante un tiempo [ 22 ] , pero se retractó al no encontrar un fundamento nominalista para las matemáticas. [ 23 ]

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

  • New Foundations (NF) crea y manipula conjuntos utilizando un único esquema axiomático para la admisibilidad de conjuntos, concretamente un esquema axiomático 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. La metamatemática de NF es curiosa. NF permite muchos conjuntos "grandes" que la teoría de conjuntos ZFC, ahora canónica , no permite, incluso conjuntos para los que no se cumple el axioma de elección . Dado que el axioma de elección se cumple para todos los conjuntos finitos, el fallo de este axioma en NF demuestra que NF incluye conjuntos infinitos. La consistencia de NF con respecto a otros sistemas formales adecuados para las matemáticas es una cuestión abierta, si bien existen varias pruebas candidatas en la comunidad de NF que sugieren que NF es equiconsistente con la teoría de conjuntos de Zermelo sin el axioma de elección. Una modificación de NF, NFU , debida a RB Jensen y que admite urelementos (entidades que pueden ser miembros de conjuntos pero que carecen de elementos), resulta ser consistente con la aritmética de Peano , lo que justifica la intuición detrás de NF. NF y NFU son las únicas teorías de conjuntos de Quine con seguidores. Para una derivación de las matemáticas fundamentales en NF, véase Rosser (1952);
  • La teoría de conjuntos de la lógica matemática es una forma normal aumentada por las clases propias 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 «Teoría de conjuntos y su lógica» prescinde de la estratificación y se deriva casi por completo de un único esquema axiomático. Quine sentó las bases de las matemáticas una vez más. Este libro incluye la exposición definitiva de la teoría de conjuntos virtuales y relaciones de Quine, y ofrece un panorama general de la teoría axiomática de conjuntos tal como se entendía 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 tipo.

La teoría de conjuntos de Quine y su lógica subyacente estaban impulsadas por el deseo de minimizar los postulados; cada innovación se lleva al límite antes de introducir nuevas innovaciones. Para Quine, solo existe 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 demostración 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. Le complació descubrir al principio de su carrera que toda la lógica de primer orden y la teoría de conjuntos podían fundamentarse en tan solo dos nociones primitivas: abstracción e inclusión . Para una elegante introducción a la parsimonia del enfoque lógico de Quine, véase su "Nuevos fundamentos para la lógica matemática", cap.  5 de su obra 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 ". [ 24 ]

En su famoso ensayo «Sobre lo que hay», relacionó cada una de las tres principales posiciones ontológicas metafísicas —realismo , conceptualismo y nominalismo— con una de las tres escuelas dominantes en la filosofía moderna de las matemáticas : logicismo , intuicionismo y formalismo , respectivamente. En la misma obra, acuñó el término « la barba de Platón » para referirse al problema de los nombres vacíos .

Supongamos ahora que dos filósofos, McX y yo, discrepamos en materia de ontología . Supongamos que McX sostiene que existe algo que yo sostengo que no existe. McX puede, de forma bastante coherente con su propio punto de vista, describir nuestra diferencia de opinión diciendo que yo me niego a reconocer ciertas entidades... Cuando intento formular nuestra diferencia de opinión, en cambio, me encuentro en un dilema. No puedo admitir que existan algunas cosas que McX acepta y yo no, pues al admitir su existencia estaría contradiciendo mi propio rechazo a ellas... Este es el antiguo enigma platónico del no ser. El no ser debe existir en algún sentido; de lo contrario, ¿qué es lo que no existe? Esta intrincada doctrina podría apodarse la barba de Platón ; históricamente ha demostrado ser difícil de resolver, desafiando con frecuencia el filo de la navaja de Occam. [ 25 ] [ 26 ]

Quine, sin embargo, no simpatizaba con la afirmación de que decir «X no existe» implica una aceptación tácita de su existencia y, por lo tanto, una contradicción. Recurriendo a Bertrand Russell y su teoría de las «descripciones singulares», Quine explica cómo Russell pudo dar sentido a los «nombres descriptivos complejos» («el actual rey de Francia», «el autor de Waverly » , etc.) al considerarlos simplemente como «fragmentos de oraciones completas». Por ejemplo, «El autor de Waverly era poeta» se convierte en «algo es tal que es el autor de Waverly y fue poeta, y nada más es tal que sea el autor de Waverly» . [ 27 ]

Utilizando este tipo de análisis con la palabra « Pegaso » (aquello que Quine pretende afirmar que no existe), convierte a «Pegaso» en una descripción. Convertir la palabra «Pegaso» en una descripción equivale a convertirla en un predicado, para usar un término de la lógica de primer orden : es decir, una propiedad. De este modo, cuando decimos «Pegaso», en realidad estamos diciendo «la cosa que es Pegaso» o «la cosa que se convierte en Pegaso» . Esto introduce, para usar otro término de la lógica, variables ligadas (por ejemplo, «todo», «algo», etc.). Como explica Quine, las variables ligadas, «lejos de pretender ser nombres específicamente... no pretenden ser nombres en absoluto: se refieren a entidades en general, con una especie de ambigüedad estudiada peculiar a sí mismas». [ 28 ]

Dicho de otro modo, decir «odio todo» es muy distinto a decir «odio a Bertrand Russell», porque «Bertrand Russell» es un nombre propio que se refiere a una persona muy específica. En cambio, la palabra «todo» es un comodín. No se refiere a una entidad o entidades específicas. Por lo tanto, Quine puede afirmar con fundamento la inexistencia de Pegaso simplemente porque el comodín (una cosa) está vacío. Da la casualidad de que el mundo no contiene nada que sea alado y un caballo.

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

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 validez de la distinción entre enunciados "analíticos" [ 29 ] —aquellos verdaderos simplemente por el significado de sus palabras, como "Ningún soltero está casado"— y enunciados "sintéticos", aquellos verdaderos o falsos en virtud de hechos sobre el mundo, como "Hay un gato en la alfombra" [ 30 ] . Esta distinción fue fundamental para el positivismo lógico . Aunque a Quine no se le suele asociar 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, B.F. Skinner , y su análisis del lenguaje en *Comportamiento verbal* [ 31 ] . Pero Quine cree, con el debido respeto a su "gran amigo" [ 32 ] Skinner, que la razón última se encuentra en la neurología y no en el comportamiento. Para él, los criterios conductuales establecen únicamente los términos del problema, cuya solución, sin embargo, reside en la neurología . [ 32 ]

Al igual que otros filósofos analíticos anteriores a él, Quine aceptó la definición de "analítico" como "verdadero en virtud del significado por sí solo". Sin embargo, a diferencia de ellos, concluyó que, en última instancia, la definición era circular . En otras palabras, Quine aceptó que las afirmaciones analíticas son aquellas que son verdaderas por definición, y luego argumentó que la noción de verdad por definición era insatisfactoria.

La principal objeción de Quine a la analiticidad radica en la noción de sinonimia cognitiva (igualdad de significado). Argumenta que las oraciones analíticas se dividen típicamente en dos tipos: oraciones que son claramente verdaderas desde el punto de vista lógico (por ejemplo, "ningún hombre soltero está casado") y las más dudosas, como "ningún soltero está casado". Anteriormente se pensaba que si se podía demostrar la sinonimia entre "hombre soltero" y "soltero", se demostraba que ambas oraciones eran lógicamente verdaderas y, por lo tanto, evidentes por sí mismas. Sin embargo, Quine ofrece varios argumentos que demuestran por qué esto no es posible; por ejemplo, que "soltero" en algunos contextos significa Licenciado en Artes , no un hombre soltero. [ 33 ]

Holismo de la confirmación y relatividad ontológica

La colega Hilary Putnam calificó la tesis de Quine sobre la indeterminación de la traducción como "el argumento filosófico más fascinante y más discutido desde la Deducción trascendental de las categorías de Kant ". [ 34 ] Las tesis centrales que la sustentan 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, al no ajustarse a los datos o ser demasiado 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, ambas deben justificarse únicamente por su capacidad para explicar nuestras observaciones.

El experimento mental de gavagai plantea la cuestión de un lingüista que intenta averiguar el significado de la expresión «gavagai» pronunciada por un hablante de una lengua nativa aún desconocida al ver un conejo. A primera vista, parece que «gavagai» simplemente se traduce como «conejo» . Quine señala que la lengua de fondo y sus recursos referenciales podrían engañar al lingüista, ya que se ve inducido a error al establecer comparaciones directas entre la lengua extranjera y la suya propia. Sin embargo, al gritar «gavagai» y señalar a un conejo, los nativos podrían referirse a « partes de conejo» o « tropos de conejo» sin que ello supusiera 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, dicho de otro modo, se podrían formular varias hipótesis de traducción a partir de los mismos estímulos sensoriales.

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

Como empirista, sigo considerando el esquema conceptual de la ciencia como una herramienta, en última instancia, para predecir experiencias futuras a la luz de experiencias pasadas. Los objetos físicos se incorporan 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 laico, creo en los objetos físicos y no en los dioses de Homero; y considero un error científico creer lo contrario. Pero desde un punto de vista epistemológico, los objetos físicos y los dioses difieren solo en grado y no en naturaleza. Ambos tipos de entidades entran en nuestras concepciones únicamente como postulados culturales.

El relativismo ontológico de Quine (evidente en el pasaje anterior) lo llevó a coincidir con Pierre Duhem en que, para cualquier conjunto de evidencia empírica , siempre habría muchas teorías capaces de explicarlo, lo que se conoce 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í, si bien es posible verificar o refutar teorías completas, no es posible verificar o refutar enunciados individuales. Casi cualquier enunciado particular puede salvarse, con 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 alterarse a la luz de la evidencia empírica, y en la que ninguna evidencia empírica puede forzar la revisión de una parte determinada.

La existencia y su contraparte

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

Un aspecto curioso del problema ontológico es su simplicidad. Se puede expresar con tres monosílabos anglosajones: «¿Qué hay ahí?». Además, se puede responder con una sola palabra: «Todo», y todos aceptarán esta respuesta como verdadera. [ 25 ]

La controversia se plantea de forma más directa:

¿Cómo podemos hablar de Pegaso ? ¿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 tiene esto? Ciertamente, cuando decimos que Pegaso era un caballo alado mitológico, tenemos sentido, ¡y además decimos la verdad! Si decimos la verdad, debe ser verdad sobre algo . Por lo tanto, no podemos estar hablando de la nada.

Quine resiste la tentación de afirmar que los términos no referenciales carecen de significado por las razones ya explicadas. En cambio, nos dice que primero debemos determinar si nuestros términos son referenciales o no antes de conocer la manera adecuada de comprenderlos. Sin embargo, Czesław Lejewski critica esta creencia por reducir la cuestión al descubrimiento empírico, cuando parece que deberíamos establecer una distinción formal entre términos referenciales y no referenciales, o elementos de nuestro dominio. Lejewski añade:

Esta situación no parece muy satisfactoria. La idea de que algunas de nuestras reglas de inferencia deban depender de información empírica, que puede no estar disponible, es tan ajena a la naturaleza de la investigación lógica que un examen exhaustivo de las dos inferencias [generalización existencial e instanciación universal] podría resultar útil.

A continuación, Lejewski ofrece una descripción de la lógica libre , que, según él, da respuesta al problema.

Lejewski también señala que la lógica libre puede manejar adicionalmente el problema del conjunto vacío para enunciados como∀incógnitaFincógnita→∃incógnitaFincógnita{\displaystyle \forall x\,Fx\rightarrow \exists x\,Fx}Quine había considerado poco realista el problema del conjunto vacío, lo que dejó a Lejewski insatisfecho. [ 35 ]

Compromiso ontológico

La noción de compromiso ontológico juega un papel central en las contribuciones de Quine a la ontología. [ 36 ] [ 37 ] Una teoría está ontológicamente comprometida con una entidad si esa entidad debe existir para que la teoría sea verdadera. [ 38 ] 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 algún...". Se utilizan para vincular las variables en la expresión que sigue al cuantificador. [ 39 ] Los compromisos ontológicos de la teoría corresponden entonces a las variables vinculadas por los cuantificadores existenciales. [ 40 ] Por ejemplo, la oración "Hay electrones" podría traducirse como " ∃ x Electron ( x ) ", en la que la variable vinculada x abarca electrones, lo que resulta en un compromiso ontológico con electrones. [ 38 ] Este enfoque se resume en el famoso aforismo de Quine: «[s]er es ser el valor de una variable». [ 41 ] Quine aplicó este método a diversas disputas tradicionales en ontología. Por ejemplo, razonó a partir de la oración «Hay números primos entre 1000 y 1010» para llegar a un compromiso ontológico con la existencia de los números, es decir, el realismo sobre los números. [ 41 ] Este método por sí solo no es suficiente para la ontología, ya que depende de una teoría para llegar a compromisos ontológicos. Quine propuso que deberíamos basar nuestra ontología en nuestra mejor teoría científica. [ 38 ] Varios seguidores del método de Quine optaron por aplicarlo a diferentes campos, por ejemplo, a «conceptos cotidianos expresados ​​en lenguaje natural». [ 42 ] [ 43 ]

Argumento de indispensabilidad a favor del 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 . [ 5 ]

La forma del argumento es la siguiente.

  1. Es necesario tener compromisos ontológicos con todas las entidades que son indispensables para las mejores teorías científicas, y solo con esas entidades (a las que comúnmente se hace referencia como "todas y solo").
  2. Las entidades matemáticas son indispensables para las mejores teorías científicas. Por lo tanto,
  3. Es necesario tener compromisos ontológicos con las entidades matemáticas. [ 44 ]

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 lo tanto, para defender la parte de "únicamente" de "todo y únicamente". 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 de forma fragmentaria, sino en su conjunto, no hay justificación para excluir ninguna de las entidades a las que se refieren las teorías bien confirmadas. Esto coloca al nominalista que desea excluir la existencia de conjuntos y geometría no euclidiana , pero incluir la existencia de quarks y otras entidades indetectables de la física, por ejemplo, en una posición difícil. [ 44 ]

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 intentó justificar las ciencias, pero este esfuerzo (como 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é resultados teóricos: [ 45 ]

La epistemología, o algo similar, se ubica fácilmente como un capítulo de la psicología y, por ende, de las ciencias naturales. Estudia un fenómeno natural, a saber, un sujeto humano físico. A este sujeto se le proporciona una entrada controlada experimentalmente —ciertos patrones de irradiación en diversas frecuencias, por ejemplo— y, con el tiempo, el sujeto ofrece como resultado una descripción del mundo externo tridimensional y su historia. La relación entre la escasa entrada y la abundante salida es una relación que nos impulsa a estudiar por razones similares a las que siempre impulsaron la epistemología: para ver cómo se relaciona la evidencia con la teoría y de qué maneras la teoría de la naturaleza trasciende cualquier evidencia disponible... Pero una diferencia notable entre la antigua epistemología y la empresa epistemológica en este nuevo contexto psicológico es que ahora podemos hacer un uso libre de la psicología empírica. [ 46 ]

Como se informó anteriormente, en otras ocasiones Quine utilizó el término "neurología" en lugar de "psicología empírica". [ 32 ]

La propuesta de Quine es controvertida entre los filósofos contemporáneos y tiene varios críticos, siendo Jaegwon Kim el más destacado entre ellos. [ 47 ]

Bibliografía

Libros seleccionados

  • 1934 Un sistema de logística . Harvard Univ. Press. [ 49 ]
  • 1951 (1940). Lógica matemática . Harvard Univ. Press. ISBN 0-674-55451-5.
  • 1980 (1941). Lógica elemental . Harvard Univ. Press. ISBN 0-674-24451-6.
  • 1982 (1950). Métodos de lógica . Harvard Univ. Press.
  • 1980 (1953). Desde un punto de vista lógico . Harvard Univ. Press. ISBN 0-674-32351-3Contiene " Dos dogmas del empirismo " .
  • 1960 Palabra y objeto . MIT Press; ISBN 0-262-67001-1Lo más parecido a un tratado filosófico que escribió Quine. El capítulo  2 expone la tesis de la indeterminación de la traducción .
  • 1969 (1963). Teoría de conjuntos y su lógica . Harvard Univ. Press.
  • 1966. Artículos selectos sobre lógica . Nueva York: Random House.
  • 1976 (1966). Los caminos de la paradoja . Harvard Univ. Press.
  • 1969 Relatividad ontológica y otros ensayos . Columbia Univ. Press. ISBN 0-231-08357-2Contiene capítulos sobre relatividad ontológica , epistemología naturalizada y clases naturales .
  • 1970 (2.ª ed., 1978). Con JS Ullian. La red de creencias . Nueva York: Random House.
  • 1986 (1970). La filosofía de la lógica . Harvard Univ. Press.
  • 1974 (1971). Las raíces de la referencia . Open Court Publishing Company ISBN 0-8126-9101-6(desarrollado a partir de las Conferencias Carus de Quine ).
  • 1981. Teorías y cosas . Harvard Univ. Press.
  • 1985. El mejor momento de mi vida: una autobiografía . Cambridge, The MIT Press. ISBN 0-262-17003-5.
  • 1987. Quiddities: Un diccionario filosófico intermitente . Harvard Univ. Press. ISBN 0-14-012522-1Una obra de ensayos, muchos de ellos con un sutil toque de humor, dirigida a lectores no especializados, que revela la amplitud de sus intereses.
  • 1992 (1990). En busca de la verdad . Harvard Univ. Press. Una síntesis breve y dinámica 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 . Harvard Univ. Press. ISBN 0-674-32635-0.
  • 2004. Quintessence: Basic Readings from the Philosophy of WV Quine . Harvard Univ. Press.
  • 2008. Confesiones de un extensionista convencido y otros ensayos . Harvard Univ. Press.

Artículos importantes

  • 1946, "La concatenación como base de la aritmética". Reimpreso en sus Artículos selectos sobre lógica . Harvard Univ. Press.
  • 1948, " Sobre lo que hay ", Review of Metaphysics 2 (5) ( JSTOR ). Reimpreso en su obra de 1953, From a Logical Point of View . Harvard University Press.
  • 1951, " Dos dogmas del empirismo ", The Philosophical Review 60 : 20-43. Reimpreso en su obra de 1953, Desde un punto de vista lógico . Harvard University Press.
  • 1956, "Cuantificadores y actitudes proposicionales", Journal of Philosophy 53. Reimpreso en su obra de 1976, Ways of Paradox . Harvard Univ. Press: 185–196.
  • 1969, "Epistemología naturalizada" en Relatividad ontológica y otros ensayos . Nueva York: Columbia University Press: 69–90.
  • "La verdad por convención", 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), Hombres de Ideas : "Las ideas de Quine", BBC, 1978.
  • Rudolf Fara (presentador), En conversación: WV Quine (7 videocasetes), Philosophy International, Centre for Philosophy of the Natural and Social Sciences, London School of Economics , 1994.

Véase también

Notas

  1. ↑ Hunter, Bruce (2021). "Clarence Irving Lewis" . La Enciclopedia de Filosofía de Stanford ( edición de primavera de 2021). Laboratorio de Investigación en Metafísica, Universidad de Stanford. 
  2. ↑ Quine, Willard Van Orman (1983). «Ontología e ideología revisitadas» . Confesiones de un extensionista convencido: y otros ensayos . Harvard University Press. págs. 315 y ss . ISBN  0-674-03084-2.
  3. 1 2 3 4 5 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
  4. ↑ Lehmann-Haupt, Christopher (29 de diciembre de 2000). «WV Quine, filósofo que analizó el lenguaje y la realidad, muere a los 92 años» . The New York Times . ISSN 0362-4331 . Consultado el 21 de noviembre de 2023 . 
  5. 1 2 Colyvan, Mark, "Argumentos de indispensabilidad en la filosofía de las matemáticas" , The Stanford Encyclopedia of Philosophy (Edición de otoño de 2004), Edward N. Zalta (ed.).
  6. ↑ Quine, WV (28 de agosto de 2023). "El Sr. Strawson sobre la teoría lógica". Mind . 62 (248): 433– 451. JSTOR 2251091 . 
  7. 1 2 "Quine, Willard Van Orman: Filosofía de la ciencia" . Enciclopedia de filosofía en Internet . 2009.
  8. ↑ El tiempo de mi vida: una autobiografía, pág. 1.
  9. ↑ Gibson, Jr., Roger F., ed. (29 de marzo de 2004). The Cambridge Companion to Quine . Cambridge Companions to Philosophy. Cambridge University Press. p. 1. doi : 10.1017/ccol0521630568 . ISBN  978-0-521-63056-6.
  10. ↑ El mejor momento de mi vida: una autobiografía , pág. 14.
  11. ↑ Quine, Willard Van Orman; Hahn, Lewis Edwin (1986). La filosofía de WV Quine . Open Court. pág. 6. ISBN  978-0812690101En mi tercer año de secundaria, solía caminar con mis nuevos amigos jamaicanos, Fred y Harold Cassidy, tratando de convertirlos de su fe episcopal al ateísmo .
  12. ↑ Borradori, Giovanna (1994). El filósofo estadounidense: Conversaciones con Quine, Davidson, Putnam, Nozick, Danto, Rorty, Cavell, MacIntyre y Kuhn . University of Chicago Press. pp. 30–31 . ISBN  978-0-226-06647-9.
  13. ↑ The Wall Street Journal , obituario de WV Quine – 4 de enero de 2001
  14. ↑ Quiddities: Un diccionario filosófico intermitente , entrada para Tolerancia (págs. 206–208).
  15. ↑ "Paradojas de la abundancia" en Teorías y cosas , pág. 197.
  16. ↑ El mejor momento de mi vida: una autobiografía , págs. 352–353.
  17. ↑ "Guía de los archivos del Centro de Estudios Avanzados, 1958–1969". Archivado el 14 de marzo de 2017 en Wayback Machine . Universidad de Wesleyan. Wesleyan.edu. Consultado el 8 de marzo de 2010.
  18. ↑ "Doctorados honoris causa – Universidad de Uppsala, Suecia" . 9 de junio de 2023.
  19. ↑ Quine, Willard Van Orman (2013). Palabra y objeto . The MIT Press. doi : 10.7551/mitpress/9636.001.0001 . ISBN 978-0-262-31279-0.
  20. ↑ "Willard van Orman Quine; Filósofo de renombre" . Los Angeles Times . 31 de diciembre de 2000.
  21. ↑ Pakaluk, Michael (1989). "Las conferencias de Quine sobre Hume de 1946". Journal of the History of Philosophy . 27 (3): 445– 459. doi : 10.1353/hph.1989.0050 . S2CID 171052872 . 
  22. ↑ Nelson Goodman y WVO Quine, "Pasos hacia un nominalismo constructivo" , Journal of Symbolic Logic , 12 (1947): 105–122.
  23. ↑ Bueno, Otávio (2020). "Nominalismo en la filosofía de las matemáticas" . Enciclopedia de filosofía de Stanford ( edición de otoño de 2020). Laboratorio de Investigación en Metafísica, Universidad de Stanford. 
  24. ↑ Armstrong, DM (2010). Bosquejo para una metafísica sistemática . Oxford: Oxford University Press. p. 2. ISBN  9780199655915.
  25. 1 2 W. VO Quine, " Sobre lo que hay ", The Review of Metaphysics 2 (5), 1948.
  26. ↑ van Inwagen, Peter; Zimmerman, Dean W. (2008). Metafísica: las grandes preguntas (2.ª ed. revisada y ampliada ). Malden, Mass.: Blackwell. págs. 28-29. ISBN   978-1-4051-2586-4.
  27. ↑ van Inwagen, Peter; Zimmerman, Dean W. (2008). Metafísica: las grandes preguntas (2.ª ed. revisada y ampliada ). Malden, Mass.: Blackwell. p. 31. ISBN   978-1-4051-2586-4.
  28. ↑ van Inwagen, Peter; Zimmerman, Dean W. (2008). Metafísica: las grandes preguntas (2.ª ed. revisada y ampliada ). Malden, Mass.: Blackwell. págs. 31-32. ISBN   978-1-4051-2586-4.
  29. ↑ Frost-Arnold, Greg (2013). Carnap, Tarski y Quine en Harvard: Conversaciones sobre lógica, matemáticas y ciencia . Chicago: Open Court. pág. 89. ISBN  9780812698374.
  30. ↑ Quine, WV (1980) [1961]. Desde un punto de vista lógico: Nueve ensayos lógico-filosóficos, Segunda edición revisada . Harper Torchbooks. Harvard University Press. pág. 22. ISBN  978-0-674-32351-3.
  31. ↑ Prawitz, Dag (1994). "Quine y el verificacionismo" . Inquiry . 37 (4): 487– 494. doi : 10.1080/00201749408602369 . ISSN 0020-174X . 
  32. 1 2 3 Borradori, Giovanna (1994). El filósofo estadounidense: Conversaciones con Quine, Davidson, Putnam, Nozick, Danto, Rorty, Cavell, MacIntyre, Kuhn . University of Chicago Press. pág. 35. ISBN  978-0-226-06647-9.
  33. ↑ Quine, WV (1980) [1961]. Desde un punto de vista lógico: Nueve ensayos lógico-filosóficos, Segunda edición revisada . Harper Torchbooks. Harvard University Press. págs. 22–23 , 28. ISBN  978-0-674-32351-3.
  34. ↑ Putnam, Hilary (marzo de 1974). "La refutación del convencionalismo". Noûs . 8 (1): 25– 40. doi : 10.2307/2214643 . JSTOR 2214643 .  Reimpreso en Putnam, Hilary (1979). «Capítulo 9: La refutación del convencionalismo» . Philosophical Papers; Volumen 2: Mente, lenguaje y realidad . Cambridge University Press. págs. 153-191 . ISBN  0521295513.Cita en la página 159.
  35. ↑ Czeslaw Lejewski, "Lógica y existencia". British Journal for the Philosophy of Science , vol. 5 (1954–1955), págs. 104–119.
  36. ↑ Craig, Edward (1996). "Compromiso ontológico". Enciclopedia de filosofía de Routledge . Routledge.
  37. ↑ Simons, Peter M. "Ontología" . Enciclopedia Británica . Consultado el 13 de diciembre de 2020 .
  38. 1 2 3 Bricker, Phillip (2016). "Compromiso ontológico" . La enciclopedia de filosofía de Stanford . Laboratorio de investigación en metafísica, Universidad de Stanford . Recuperado el 13 de diciembre de 2020 .
  39. ↑ Magnus, PD; Ichikawa, Jonathan Jenkins (2020). "V. Lógica de primer orden". Forall X ( ed. UBC). Creative Commons: Atribución-CompartirIgual 3.0. 
  40. ↑ Schaffer, Jonathan (2009). "On What Grounds What". Metametaphysics: New Essays on the Foundations of Ontology . Oxford University Press. pp. 347–383 . 
  41. 1 2 Quine, Willard Van Orman (1948). "Sobre lo que hay" . Revista de Metafísica . 2 (5): 21– 38.
  42. ↑ Inwagen, Peter van (2004). "Una teoría de las propiedades". Oxford Studies in Metaphysics, Volumen 1. Clarendon Press. pp. 107–138 . 
  43. ↑ Kapelner, Zsolt-kristof (2015). "3. Metaontología quineana". Conciliar la metaontología quineana y neoaristotélica (PDF) . Archivado desde el original (PDF) el 14 de abril de 2021 . Consultado el 14 de diciembre de 2020 .
  44. 1 2 Putnam, H. Matemáticas, materia y método. Artículos filosóficos , vol. 1. Cambridge: Cambridge University Press, 1975. 2.ª ed., 1985.
  45. ↑ "Naturalismo en la epistemología" . Epistemología naturalizada . stanford.edu . Laboratorio de Investigación en Metafísica, Universidad de Stanford. 2017.
  46. ↑ Quine, Willard Van Orman (1969). Relatividad ontológica y otros ensayos . Columbia University Press. págs. 82–83 . ISBN  0-231-08357-2.
  47. ↑ "Epistemología naturalizada" . Enciclopedia de Filosofía de Stanford. Plato.stanford.edu. 5 de julio de 2001. Consultado el 8 de marzo de 2010.
  48. ↑ "El panteón de los escépticos" . CSI . Comité para la Investigación Escéptica . Archivado del original el 31 de enero de 2017. Recuperado el 30 de abril de 2017 .
  49. ↑ Church, Alonzo (1935). "Reseña: Un sistema de logística de Willard Van Orman Quine" (PDF) . Bull. Amer. Math. Soc. 41 (9): 598– 603. doi : 10.1090/s0002-9904-1935-06146-4 .

Lecturas adicionales

  • Borradori, Giovanna (2008). El filósofo estadounidense  : Conversaciones con Quine, Davidson, Putnam, Nozick, Danto, Rorty, Cavell, MacIntyre y Kuhn . Chicago: University of Chicago Press. ISBN 9780226066493.
  • Gibson, Roger F. , ed. (2004). The Cambridge companion to Quine . Cambridge University Press . 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). Quintessence: Basic Readings from the Philosophy of WV Quine . Harvard University Press .
  • 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 las raíces matemáticas 1870–1940 . Princeton University Press.
  • 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 filósofos vivos). Open Court.
  • Janssen-Lauret, Frederique (2020) Quine, Estructura y Ontología , Oxford University Press
  • Kohler, Dieter, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie . Doctor en Filosofía. tesis, Univ. de Heidelberg.
  • MacFarlane, Alistair (marzo-abril de 2013). "WVO Quine (1908-2000)". Philosophy Now . 95 : 35-36 .
  • Murray Murphey , El desarrollo de la filosofía de Quine (Heidelberg, Springer, 2012) (Estudios de Boston en la filosofía de la ciencia, 291).
  • Orenstein, Alex (2002). WV Quine . Princeton University Press.
  • Putnam, Hilary . «El positivista lógico más grande». Reimpreso en Realismo con rostro humano , editado por 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.
  • Verhaeg, Sander (2018). Trabajar desde dentro: la naturaleza y el desarrollo del naturalismo de Quine . Oxford University Press.