Willard Van Orman Quine - Willard Van Orman Quine
Willard Van Orman Quine ( / k w aɪ n / , conocido por sus amigos como "Van", junio 25, 1908 a diciembre 25, 2000 ) fue un filósofo y lógico 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 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 indispensabilidad de Quine-Putnam , un argumento a favor de la realidad de las entidades matemáticas . Sin embargo, fue el principal defensor de la visión de que la filosofía no es un análisis conceptual , sino un continuo con la ciencia; la rama abstracta de las ciencias empíricas. Esto llevó a su famosa broma de que "la filosofía de la ciencia es filosofía suficiente". Lideró un "intento sistemático de comprender la ciencia desde dentro de los recursos de la ciencia misma" y desarrolló una influyente epistemología naturalizada 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 defendió la relatividad ontológica en la ciencia, conocida como la tesis Duhem-Quine .
Sus principales escritos incluyen los artículos "Sobre lo que hay" (1948), que aclararon la teoría de las descripciones de Bertrand Russell y contiene el famoso dicho de Quine sobre el compromiso ontológico , "Ser es el valor de una variable " y " Dos Dogmas of Empiricism "(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 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 , 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 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 el significado lingüístico". En 1996 fue galardonado con el Premio Kyoto de 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".
Biografía
Quine creció en Akron, Ohio , donde vivió con sus padres y su hermano mayor Robert Cloyd. Su padre, Cloyd Robert, era un empresario de fabricación (fundador de Akron Equipment Company, que producía moldes para neumáticos) y su madre, Harriett E., era maestra de escuela y más tarde 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 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 .
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 que partió 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. 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 se centraron en áreas técnicas de la filosofía alejadas de las 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 posguerra.
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 . 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 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 señaló 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
Ph.D. de Quine Las tesis y las primeras publicaciones se centraron en la lógica formal y la 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 .
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 las 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, pero retrocedió cuando no pudo encontrar una base nominalista de las matemáticas.
A lo largo de su carrera, Quine propuso tres teorías de conjuntos axiomáticos.
- 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 de ZFC ahora canónica no permite, incluso conjuntos para los que el axioma de elección no es válido. 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 , debida 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 sus "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 ". 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
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", las verdaderas simplemente por el significado de sus palabras, como "No bachelor es casado "- y declaraciones" 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 .
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 la noción de sinonimia (igualdad de significado). Sostiene 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 pensaba que si puedes probar que existe sinonimidad entre "hombre soltero" y "soltero", habrás probado que ambas oraciones son lógicamente verdaderas y, por lo tanto, evidentes por sí mismas. Sin embargo, Quine ofrece 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
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 confirmación es que todas las teorías (y las proposiciones derivadas de ellas) están sub-determinadas por datos empíricos (datos, datos sensoriales, evidencia); aunque algunas teorías no son justificables, no se ajustan a los datos o son 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, 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 lo tanto, si bien es posible verificar o falsificar teorí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.
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.
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á comprometida ontológicamente 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 limitadas por cuantificadores existenciales. Por ejemplo, la oración "Hay electrones" podría traducirse como " ∃ x Electrón ( 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 "[t] o ser es el valor de una variable". 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 los números, es decir, el realismo sobre 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 lugar a 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 "concepciones cotidianas expresadas en lenguaje natural".
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 .
La forma del argumento es la siguiente.
- 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").
- Las entidades matemáticas son indispensables para las mejores teorías científicas. Por lo tanto,
- Uno debe tener compromisos ontológicos con 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 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 a las que se hace referencia en las teorías bien confirmadas. Esto coloca al nominalista que desea excluir la existencia de conjuntos y geometría no euclidiana , pero para 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 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: "Epistemología, o algo como 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 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 entrada exigua y la salida torrencial es una relación que nos vemos impulsados a estudiar para algo similar. razones que siempre motivaron 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 s 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.
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 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 .
- 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 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. Ch. 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 .
Articulos 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.
- 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–196.
- 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.
Filmografia
- 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
Notas
Otras lecturas
- 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
- 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"