style=" del
Willard Van Orman Quine ( el 25 de junio, &ndash 1908 ; El el 25 de diciembre, el 2000 ), citado como el W. Quine pero sabido generalmente a sus amigos como Van, eran uno de los filósofos más influyentes y de los lógicos del vigésimo siglo . McCluskey inventó el método óptimo de Quine-McCluskey de reducir ecuaciones boleanas a una suma mínima de la cubierta de los implicants de la prima.
Era a través de las buenas oficinas de Quine que se invitó al Alfred Tarski que atendiera a la unidad de septiembre de 1939 del congreso de la ciencia en Cambridge. Para atender a ese congreso, Tarski navegó para los E. en la nave pasada para dejar el Gdańsk antes de que el Tercer Reich invadiera el Polonia . Tarski sobrevivió la guerra y trabajó otra 44 años en los E.
Durante WWII, Quine dio una conferencia en lógica en el Brasil, en portugués, y sirvió en la marina de guerra de Estados Unidos en un papel de la inteligencia militar, alcanzando a la fila de teniente comandante.
En Harvard, Quine ayudó a supervisar las tesis de Harvard de, entre otros, Donald Davidson, David Lewis, Daniel Dennett, Gilbert Harman, Dagfinn Føllesdal, Hao Wang, Hugo LeBlanc y Henry Hiz .
Quine tenía cuatro niños por dos uniones.
Quine escribió a menudo prosa inglesa magnífico hecha a mano e ingeniosa. Él tenía un regalo para las idiomas y podría dar una conferencia en francés, español, portugués y alemán. Pero como los positivistas lógicos, él mostró poco interés en el canon filosófico: él enseñó solamente una vez a un curso en la historia de la filosofía, en Hume.
considera también: Dogmas dos de Empiricism#Analyticity y circularidad, dogmas L1=Two del
l empirismo En los años 30 y el 40s, las discusiones con Carnap, el Nelson Goodman y el Alfred Tarski, entre otros, llevaron Quine para dudar el tenability de la distinción entre el " analytic" declaraciones - esos verdades simplemente por los significados de sus palabras, tales como " Todos los solteros son unmarried" - y " synthetic" declaraciones, eso verdad o falso en virtud de hechos sobre el mundo, tal como " Hay un gato en el mat." Esta distinción era central al positivismo lógico . Aunque las críticas de Quine desempeñaran un papel principal en la declinación del positivismo lógico, él seguía siendo un Verificationist, al punto del verificationism de invocación para minar la distinción analítico-sintética. Como verificationist, él dibujó en varias fuentes incluyendo su B. Skinner del colega de Harvard, y particularmente en su análisis de la lengua en el comportamiento verbal . Quine era redactor importante del behaviorismo diario.
Como otros filósofos analíticos antes de él, Quine aceptó la definición del " analytic" como " verdad en la virtud del alone" del significado;. Desemejante de ellos, sin embargo, él concluyó que la definición era en última instancia el circular. Es decir Quine aceptó que las declaraciones analíticas son las que son verdades por definición, después sostenido que la noción de la verdad por definición era insatisfactoria.
La principal objeción de Quine a la analiticidad está con la noción de la sinonimia (sameness del significado), una oración que es analítica apenas en caso que es sinónima con el " Todas las cosas negras son black" (o cualquie otra verdad lógica ). La objeción a la sinonimia abisagra sobre el problema de la información colateral. Intuitivo sentimos que hay una distinción entre el " Todos los hombres solteros son bachelors" y " Ha habido dogs" negro;, solamente una persona de habla inglesa competente consentirán a ambas oraciones bajo todas las condiciones puesto que tales altavoces también tienen acceso a la información colateral del concerniente la existencia histórica de perros negros. Quine mantiene que no hay distinción entre la información colateral universal sabida y las verdades conceptuales o analíticas. Sin embargo, la filosofía de Quine no proporciona otra explicación plausible de porqué algunas oraciones chispean la intuición del " analyticity" y no otros.
Otro acercamiento a la objeción de Quine a la analiticidad y a la sinonimia emerge de la noción modal de la posibilidad lógica . Una opinión Wittgensteinian tradicional del significado sostuvo que cada oración significativa fue asociada a una región durante los mundos posibles. Quine encuentra la noción de tal espacio problemática, sosteniendo que no hay distinción entre esas verdades que se crean universal y con confianza y las que sean necesario verdades.
Quine concluyó su " Dogmas dos del " del empirismo ; como sigue:
" Como un empiricist que continúo pensando en el esquema conceptual de la ciencia como herramienta, en última instancia, para la experiencia futura que predice teniendo en cuenta experiencia anterior. Los objetos físicos se importan conceptual en la situación como intermediarios convenientes no por definición en términos de experiencia, pero simplemente como irreducible postula comparable, epistemologically, a dioses del home run … por mi parte que lo hago, qua ponen a físico, creen en objetos físicos y no en dioses del home run; y lo considero un error científico creer de otra manera. Pero en punto del pie epistemológico, los objetos físicos y dioses diferencian solamente grado y no en clase. Ambas clases de entidades incorporan nuestros conceptos solamente como posits" cultural;.
El relativismo ontológico de Quine (evidente en el paso arriba) lo llevó a convenir con el Pedro Duhem que para cualquier colección de evidencia empírica, allí sería siempre muchas teorías capaces de explicarla. Sin embargo, el Holism de Duhem es mucho más restricto y limitado que Quine. Duhem, el underdetermination solicita solamente a la física o posiblemente a la ciencia natural, mientras que Quine solicita a todo el conocimiento humano. Así, mientras que es posible verificar o el falsifica teorías enteras de, no es posible verificar o falsificar declaraciones individuales. Casi cualquier declaración particular se puede ahorrar, dado modificaciones suficientemente radicales de la teoría que contiene. Para Quine, el pensamiento científico forma una tela coherente en la cual cualquier parte se podría alterar teniendo en cuenta evidencia empírica, y en cuál podría forzar ninguna evidencia empírica la revisión de una partición dada.
Una reacción a las escrituras de Quine ha sido la aceptación amplia Instrumentalism en la filosofía de la ciencia .
Mientras que sus contribuciones a la lógica incluyen exposiciones elegantes y un número de resultados técnicos, está en la teoría determinada que Quine era el más innovador. Sus teorías determinadas, fundaciones (N-F) y de que nuevas de la teoría determinada del y su lógica, admiten una clase universal, pero puesto que están libres de cualquier jerarquía mecanografían, ellas no tienen ninguna necesidad de una clase universal distinta en cada tipo nivel. Sin entrar el detalle técnico, estas teorías son conducidas por un deseo de reducir al mínimo postulan; se empuja cada innovación por lo que puede ser empujada antes de que se introduzcan otras innovaciones. Quine mantuvo siempre que las matemáticas requirieron teoría determinada y que la teoría determinada fuera absolutamente distinta de lógica. Él se ligó con nominalismo de s de Goodman Nelson el 'durante algún tiempo, pero movió hacia atrás lejos cuando él no pudo encontrar poner a tierra del nominalist de las matemáticas.
Las nuevas fundaciones ofrecen un criterio simple y económico para la admisibilidad del sistema, que no prohibe a muchos el " large" sistemas no permitidos en la teoría determinada estándar ZFC . La consistencia (del pariente) de nuevas fundaciones es un no se sabe. Una modificación de N-F, NFU, debido al R. Jensen y al Urelements de la admisión (carecen las entidades que pueden ser miembros de sistemas pero que elementos), resulta ser aritmética en relación con constante de Peano, así justificando la intuición de Quine.
. Mientras que enseñaba a un curso preliminar en el 1940, Quine descubrió que los textos existantes para los estudiantes de la filosofía no hicieron la justicia a la teoría de cuantificación o a la lógica de predicado de primer orden . Quine escribió este libro en 6 semanas como solución ad hoc a sus necesidades de la enseñanza.
métodos del
la lógica . Las cuatro ediciones de este libro resultaron del curso avanzado del estudiante en la lógica Quine enseñado del final de WWII hasta su retiro en 1978. Técnico algo anticuado (e., los cuadros analíticos son ausentes y el tratamiento de las hojas de Metalogic algo ser deseado), todavía contiene mucha penetración filosófica y lingüística.
filosofía del
la lógica . Un tratamiento sucinto e ingenioso del estudiante de un número de temas de Quinian, tales como el predominio de utilizar-mencionar las confusiones, el dubiousness de la modalidad cuantificada, y del carácter no-lógico de lógicas higher-order.
Quine también escribió dos textos avanzados en lógica, fijó teoría y las fundaciones de las matemáticas. Emplean la notación Principia Mathematica del que hace para la lectura dura:
lógica matemática del
. Demuestra que mucho de lo que tomó el Principia Mathematica del más de 1000 páginas para decir se puede decir en 250 páginas. Las pruebas son sucintas, incluso secreto, y el acercamiento total es anticuado. La teoría determinada es las nuevas fundaciones, aumentadas con las clases apropiadas el capítulo pasado, en los teoremas clásicos del estado incompleto Gödel y Tarski, se convirtió en el punto de lanzamiento para el Raymond Smullyan 's una exposición posterior y más lúcida de estos y relacionó resultados.
teoría determinada y su lógica del
. Quine propone otro más sabor de la teoría determinada axiomática, después deriva las fundaciones de las matemáticas de ahí; incluye el tratamiento definitivo de la teoría de Quine de sistemas y de relaciones virtuales. El Fraenkel, la Barra-Hillel y la recaudación (1973) hacen un mejor trabajo de la teoría determinada que examina como se colocaba en los años 50 .
.
| Random links: | Reacción de la formación de la halohidrina | Red del estilo | Alegría (cráter) | Marca II de Toyota | Leonard T. Connors |