l para el lógico matemático británico del siglo XIX de un nombre similar, considera el George Boole . El George Stephen Boolos ( el 4 de septiembre, el 1940, New York City - el 27 de mayo, 1996 ) era un filósofo y un lógico matemático que enseñaron en el Instituto de Tecnología de Massachusetts .
Vida
Boolos graduó de la Universidad de Princeton en 1961 con un A. en las matemáticas . La Universidad de Oxford le concedió el B. En 1966, él obtuvo el primer Ph. en filosofía concedida nunca por el Instituto de Tecnología de Massachusetts, bajo dirección Hilary Putnam . Después de enseñar tres años en la Universidad de Columbia, él volvió al MIT en el 1969, en donde él pasó el resto de su carrera hasta su muerte del cáncer .Un locutor carismático bien conocido para su claridad e ingenio, él entregó una vez una conferencia (1994a) que daba una cuenta del teorema del estado incompleto del segundo de Gödel, empleando solamente palabras de una sílaba. En el final de su viva, el Hilary Putnam le preguntó, " ¿Y nos decimos, Sr. Boolos, qué la jerarquía analítica tenemos que hacer con el mundo real? " Sin la vacilación Boolos contestó, " Es parte de it".
Un experto en rompecabezas de todas las clases, en Boolos 1993 alcanzado el final regional de Londres mide el tiempo de la competición del crucigrama del . Su cuenta era una del más alta registrada nunca por un americano. Él escribió un papel en " el " más duro del rompecabezas nunca de la lógica; -- uno de muchos rompecabezas creados por el Raymond Smullyan .
Trabajo
Boolos coauthored con el Richard Jeffrey las primeras tres ediciones del texto clásico de la universidad en la lógica matemática, el Computability y la lógica . El libro ahora está en su cuarta edición, la pasada actualizada por el ciudadano de Juan P.El Kurt Gödel escribió el primer papel en la lógica del Provability, que aplica el &mdash de la lógica modal ; la lógica del &mdash de la necesidad y de la posibilidad; a la teoría de la prueba matemática, pero a Gödel nunca desarrolló conforme a cualquier grado significativo. Boolos era uno de sus autores y pioneros más tempranos, y él produjo el primer tratamiento de él, de la libro-longitud el Unprovability de la consistencia, publicó en 1979. La solución de un problema sin resolver importante que algunos años más tarde llevó a un nuevo tratamiento, la lógica del Provability, publicó en 1993.
Boolos era una autoridad en el Gottlob Frege del matemático alemán y del filósofo del siglo XIX . Boolos probó una conjetura debido al Crispin Wright (y también probó, independiente, por otros), que el sistema del Grundgesetze, pensamiento largo de Frege viciado por la paradoja de Russell, se podría liberar de inconsistencia substituyendo uno de sus axiomas, la ley orgánica V notorio con el principio de Hume. El sistema resultante ha sido desde entonces el tema del trabajo intenso.
Boolos sostuvo que si uno lee las variables second-order en el Second-order plural de la lógica monádico, después la lógica second-order se puede interpretar como no teniendo ninguna comisión ontológica con las entidades con excepción de los sobre las cuales la gama de primer orden de las variables . El resultado es la cuantificación plural . El David Lewis empleó la cuantificación plural en sus piezas del de las clases para derivar un sistema en el cual la teoría determinada de Zermelo-Fraenkel y los axiomas de Peano eran todos los teoremas. Mientras que Boolos se acredita generalmente con la cuantificación plural, el Peter Simons (1982) ha sostenido que la idea esencial se puede encontrar en el trabajo Stanislaw Lesniewski .
Poco antes su muerte, Boolos eligió 30 de sus papeles que se publicarán en un libro. El resultado es quizás el suyo trabajo lo más extensamente posible mirado, su lógica póstuma del, lógica, y la lógica . Este libro reimprime mucho del trabajo de Boolos sobre la rehabilitación de Frege, así como un número de sus papeles en la teoría determinada, la lógica Second-order y el Nonfirstorderizability, la cuantificación plural, la teoría de la prueba, y tres papeles profundos cortos en el teorema del estado incompleto de Gödel. Hay también papeles en el Dedekind, el chantre, y el Russell .
Ver también
Lógica del Provabilityel rompecabezas más duro nunca de la lógica
Libros
2002 (1974) (con el Richard Jeffrey ). Computability y lógica . Cambridge: Prensa de la Universidad de Cambridge. el Unprovability de la consistencia: Un ensayo en la lógica modal . Prensa de la Universidad de Cambridge.1990 (redactor). Significado y método del : Ensayos en honor Hilary Putnam . Prensa de la Universidad de Cambridge. la lógica del Provability . Prensa de la Universidad de Cambridge. Una revisión de Boolos (1979).
1998 ( Richard Jeffrey y ciudadano de Juan P. Lógica del, lógica, y lógica . Prensa de la Universidad de Harvard.
Artículos de George Boolos
LLL = reimpreso en lógica del, lógica, y la lógica .FPM = reimpreso en Demopoulos, W. Filosofía de Frege del de las matemáticas .
1968 (con el Hilary Putnam ), " Grados de insolubilidad de sistemas construibles de los números enteros, " Diario del de la lógica simbólica 33 : 497-513.
1969, " Eficacia y languages" natural; en el gancho de Sidney, el ed., la lengua y filosofía del . Prensa de la universidad de Nueva York.
1970, " En la semántica de los niveles construibles, " ' 16: 139-148.
1970a, " Una prueba del teorema, " de Löwenheim-Skolem; Diario de Notre Dame del de la lógica formal 11: 76-78.
1971, " El concepto iterativo del sistema, " Diario de del de la filosofía 68: 215-231. Reimpreso en el Paul Benacerraf y el Hilary Putnam, eds. Filosofía de de las matemáticas: seleccionado de las lecturas, 2do ed. LLL
1973, " Una nota sobre vuelca Willem teorema de s de Beth ', " de las ciencias 2 del DES de l'Academie Polonaise del boletín de : 1-2.
1974, " Funciones y minimización aritméticas, " Zeitschrift für mathematische Logik und Grundlagen der Mathematik 20 : 353-354.
1974a, " Contestación “sistemas y clases” de los párrocos Charles a '. " Primero publicado en LLL.
1975, " El problema de 35to de Friedman tiene una solución afirmativa, " Avisos de del americano de la sociedad matemática 22: A-646.
1975a, " En la prueba de la consistencia de Kalmar y una generalización de la noción de la Omega-consistencia, " Archiv für Mathematische Logik und Grundlagenforschung 17 : 3-7.
1975a, " En la lógica Second-order, " Diario de del de la filosofía 72: 509-527.
1976, " Al decidir la verdad de ciertas declaraciones que implican la noción de la consistencia, " Diario de del de la lógica simbólica 41: 779-781.
1977, " Al decidir el provability de ciertas declaraciones del punto fijo, " Diario de del de la lógica simbólica 42: 191-193.
1979, " Principios de reflexión y aserciones iteradas de la consistencia, " Diario de del de la lógica simbólica 44: 33-35.
el an o 80, " Omega-consistencia y el diamante, " de Studia Logica 39: 237-243.
1980a, " En sistemas de la lógica modal con interpretaciones del provability, " Theoria 46 : 7-18.
1980b, " Provability en la aritmética y un esquema de Grzegorczyk, " Fundamenta Mathematicae 106 : 41-45.
1980c, " Provability, verdad, y lógica modal, " Diario de del filosófico de la lógica 9: 1-7.
¿1980d, revisión Raymond M. Smullyan, cuál es el nombre de este libro? el filosófico de la revisión 89: 467-470.
1981, " Para cada A hay un B, " lingüístico de la investigación 12 de : 465-466.
1981a, revisión Roberto M. Solovay, interpretaciones del Provability de del de la lógica modal, " Diario de del de la lógica simbólica 46: 661-662.
1982, " Oraciones extremadamente undecidable, " Diario de del de la lógica simbólica 47: 191-196.
1982a, " En la no existencia de ciertas formas normales en la lógica del provability, " Diario de del de la lógica simbólica 47: 638-640.
1984, " No eliminar el corte, " Diario de del filosófico de la lógica 13: 373-378.
1984a, " La lógica del provability, " matemático americano de la publicación mensual 91 de : 470-480.
1984b, " Nonfirstorderizability otra vez, " lingüístico de la investigación 15 de : 343.
1984c, " En “inferencia silogística”, " de la cognición 17 de : 181-182.
1984d, " Para ser es ser el valor de una variable (o de algunos valores de algunas variables), " Diario de del de la filosofía 81: 430-450.
1984e, " Árboles y satisfiability finito: Prueba de una conjetura del ciudadano, " de Juan; Diario de Notre Dame del de la lógica formal 25: 193-197.
1984f, " La justificación de la inducción matemática, " de PSA 2: 469-475.
1985, " 1-consistency y el diamante, " Diario de Notre Dame del de la lógica formal 26: 341-347.
1985a, " Platonism de Nominalist, " el filosófico de la revisión 94: 327-344.
1985b, " Lectura Begriffsschrift, " de la mente 94 de : 331-344.
1985c (con Juan Sambin), " Un sistema incompleto de lógica modal, " Diario de del filosófico de la lógica 14: 351-358.
1986, revisión de Yuri Manin, un curso en el de la lógica matemática, diario de del de la lógica simbólica 51: 829-830.
1986-87, " Ahorro Frege de la contradicción, " Procedimientos de del aristotélico de la sociedad 87: 137-151.
1987, " La consistencia de las fundaciones de Frege de Arithmetic" en J. en ser y decir: Ensayos para el del carretero de Richard. Prensa del MIT: 3-20.
1987a, " Una inferencia curiosa, " Diario de del filosófico de la lógica 16: 1-12.
1987b, " En nociones del provability en lógica del provability, " Extractos de del 8vo congreso internacional de la lógica, de la metodología y de la filosofía del de la ciencia 5: 236-238.
1987c (con el Vann McGee ), " El grado del sistema de las oraciones de la lógica que son verdades bajo cada interpretación, " del provability del predicado; Diario de del de la lógica simbólica 52: 165-171.
1988, " Orden alfabético, " Diario de Notre Dame del de la lógica formal 29: 214-215.
1988a, de la revisión de Craig Smorynski, de la autorreferencia de y de la lógica modal, diario de del de la lógica simbólica 53: 306-309.
1989, " Iteración otra vez, " filosófico de los asuntos 17 de : 5-21.
1989a, " Una nueva prueba del teorema, " del estado incompleto de Gödel; Avisos de del americano de la sociedad matemática 36: 388-390. Un afterword apareció bajo " del título; Una letra de George Boolos, " ibid.
1990, " Al “ver” la verdad de la oración de Gödel, " del comportamiento y de las ciencias de cerebro 13: 655-656.
1990a, de la revisión Jon Barwise y Juan Etchemendy, del mundo de Turing y del mundo de Tarski, diario de del de la lógica simbólica 55: 370-371.
1990b, revisión de V. Uspensky, del teorema del estado incompleto de Gödel de, diario de del de la lógica simbólica 55: 889-891.
1990c, " El estándar de la igualdad del numbers" en Boolos, el G., el significado de y el método: Ensayos en honor del de Hilary Putnam .
1991, " Enfocando abajo de la cuesta deslizadiza, " Nous 25 : 695-706.
1991a (con Juan Sambin), " Provability: La aparición de una modalidad matemática, " Studia Logica 50 : 1-23.
1993, " Lo completo analítico de las lógicas polymodal de Dzhaparidze, " Los anales del de la lógica pura y aplicada 61 : 95-111.
1993a, " ¿De dónde la contradicción? " Volumen suplementario 67 de la sociedad aristotélica del : 213-233.
1994, " ¿1879? " en P. Oxford: Blackwell: 31-48.
1994a, " Las ventajas del trabajo honesto sobre el hurto, " en A., matemáticas y mente del . Prensa de la Universidad de Oxford: 27-44.
1994a, " Teorema del estado incompleto de Gödel segundo explicado en palabras de una sílaba, " Mente 103 del : 1-3.
1995, " teorema y los postulados de Peano, " de s de Frege '; Boletín del de la lógica simbólica 1 : 317-326.
1995a, " Nota introductoria a *1951" en el Solomon Feferman y otros, eds., Kurt Gödel, trabajos recogidos, vol. Prensa de la Universidad de Oxford: 290-304. *1951 es la conferencia 1951, " de Gibbs de Gödel; Algunos teoremas básicos en las fundaciones de las matemáticas y de su implications."
1995b, " Ambiguity" de Quotational; en Leonardi, el P. Prensa de la Universidad de Cambridge: 283-296. LLL
1996, " El rompecabezas lógico más duro nunca, " Revisión de Harvard del de la filosofía 6 : 62-65. Traducción italiana de Máximo Piattelli-Palmarini, " Piu del difficile mondo, " de L'indovinello; La Repubblica (el 16 de abril de 1992) del : 36-37.
1996a, " En la prueba theorem" de s de Frege de '; en A., Paul Benacerraf del y sus críticos . Cambridge mA: Blackwell.
1997, " Construir los contraejemplos de Cantorian, " Diario del de la lógica filosófica 26 : 237-239.
1997a, " ¿Es principio de s de Hume el 'analítico? " En las puñetas de Richard G., la lengua del, el pensamiento, y la lógica: Ensayos en honor Michael Dummett .
1997b (con las puñetas de Richard), " Morir el der Arithmetik, §§82-83" de Grundlagen; en Matías Schirn, ed., filosofía del de las matemáticas hoy .
1998, " Gottlob Frege y las fundaciones de Arithmetic." Primero publicado en LLL. Traducción francesa en los eds de Mateo Marion y de Alain Voizard. Logique y philosophie . Montréal y París: L'Harmattan: 17-32.
2000, " ¿Debemos creer en la teoría determinada ? " en Gila Sher y Richard Tieszen, eds., entre la lógica e intuición: Ensayos en honor de los párrocos de Charles. Prensa de la Universidad de Cambridge.
| Random links: | Fuego (elemento clásico) | Arena de Williams | Parâmio | Mayumi Shō | RadioWorks americano |