Richmond Thomason

Richmond Hunt Thomason (nacido en 1939) es un filósofo , lógico e informático estadounidense . Es profesor emérito de filosofía, lingüística e ingeniería eléctrica e informática en la Universidad de Michigan , donde anteriormente ocupó la cátedra James B. y Grace J. Nelson. ^{[ 1 ] [ 2 ]}

Thomason es conocido por su trabajo sobre lógica modal y temporal, la semántica del lenguaje natural, la lógica deóntica y los fundamentos lógicos de la representación del conocimiento en inteligencia artificial . ^{[ 3 ] [ 4 ]} Editó la influyente colección Formal Philosophy: Selected Papers of Richard Montague y es autor de libros de texto ampliamente utilizados, entre ellos Symbolic Logic: An Introduction y, junto con Zoltán Gendler Szabó , el libro de texto Philosophy of Language . ^{[ 5 ] [ 6 ] [ 7 ]} Es miembro de la Association for the Advancement of Artificial Intelligence y editor jefe de Studia Logica . ^{[ 8 ] [ 7 ]}

Thomason nació en Chicago, Illinois en 1939. ^{[ 3 ] [ 8 ]} Asistió a la escuela secundaria en Hinsdale, Illinois, y luego estudió en la Universidad Wesleyana en Middletown, Connecticut, donde se especializó en matemáticas y filosofía y recibió su licenciatura en 1961. ^{[ 3 ]}

Realizó estudios de posgrado en filosofía en la Universidad de Yale , obteniendo una maestría en 1963 y un doctorado en 1965 con la tesis titulada Estudios sobre la lógica formal de la cuantificación . ^{[ 1 ] [ 8 ] [ 9 ]} Tras completar su doctorado, permaneció en Yale como instructor, profesor asistente y, desde 1969, profesor asociado titular de filosofía. ^{[ 8 ]}

En 1973, Thomason se trasladó a la Universidad de Pittsburgh , inicialmente como profesor asociado y posteriormente como profesor de filosofía y lingüística. ^{[ 3 ] [ 8 ]} Durante la década de 1980, se involucró cada vez más en la informática, colaborando con investigadores de la Universidad Carnegie Mellon y la Universidad de Maryland en proyectos de inteligencia artificial y comprensión del lenguaje natural. ^{[ 3 ] [ 8 ]} Fue fundador del Programa Interdisciplinario de Sistemas Inteligentes de Pittsburgh y se desempeñó como su codirector de 1987 a 1994. ^{[ 3 ]}

Thomason se unió a la facultad de la Universidad de Michigan en 1999 como profesor de filosofía, informática y lingüística. ^{[ 3 ] [ 8 ]} En Michigan, fue titular de la beca James B. y Grace J. Nelson en filosofía y trabajó en la intersección de la filosofía, la lingüística, la ingeniería eléctrica y la informática. ^{[ 2 ]} Se retiró de la docencia activa el 31 de diciembre de 2021 y fue nombrado profesor emérito de filosofía, profesor emérito de lingüística y profesor emérito de ingeniería eléctrica e informática. ^{[ 1 ]}

Thomason ha desempeñado un papel destacado en varias revistas de lógica y lingüística. Fue editor jefe del Journal of Philosophical Logic durante más de una década y ha formado parte de los consejos editoriales de Theoretical Linguistics , Linguistics and Philosophy , Synthese , Journal of Logic, Language and Information y otras revistas. ^{[ 3 ] [ 8 ]} Desde 2011 es editor gerente de Studia Logica . ^{[ 8 ] [ 7 ]}

La investigación de Thomason abarca la lógica filosófica, la filosofía del lenguaje, la semántica formal y la pragmática, así como los fundamentos lógicos de la inteligencia artificial. En su página web se enumeran sus intereses, entre los que se incluyen la lógica filosófica, la herencia y el razonamiento no monótono, la representación del conocimiento y el razonamiento de sentido común, la semántica del lenguaje natural, la teoría del discurso y los modelos computacionales del discurso. ^{[ 4 ]} También ha estado asociado con el grupo de investigación de Sintaxis y Semántica en lingüística de Michigan, trabajando en semántica, pragmática y lingüística computacional. ^{[ 10 ]}

En lógica modal y temporal, Thomason es conocido por su trabajo sobre modelos indeterministas del tiempo y la semántica de contingentes futuros. En su artículo «Tiempo indeterminista y brechas de valor de verdad», desarrolló una semántica de tiempo ramificado en la que las oraciones en tiempo futuro sobre posibilidades genuinamente abiertas pueden no ser ni verdaderas ni falsas. ^{[ 11 ]} Trabajos posteriores, incluido el ensayo ampliamente citado «Combinaciones de tiempo y modalidad» en el Manual de lógica filosófica , elaboraron una familia de las llamadas estructuras T×W que combinan relaciones de accesibilidad temporal y modal para el análisis del discurso temporal y modal. ^{[ 12 ]}

Thomason también ha contribuido a la lógica deóntica y a la lógica de la acción, explorando las relaciones entre obligación, capacidad y estructura temporal. Trabajos como «La lógica deóntica fundamentada en la lógica temporal» desarrollan sistemas en los que los operadores deónticos se analizan en un contexto de tiempo ramificado, con aplicaciones al razonamiento sobre la agencia y la deliberación práctica. ^{[ 13 ] [ 14 ]}

En la filosofía del lenguaje y la semántica formal, Thomason fue uno de los primeros defensores de la gramática de Montague y ayudó a difundir la obra de Richard Montague mediante la edición de Formal Philosophy: Selected Papers of Richard Montague . ^{[ 5 ] [ 15 ]} Ha escrito artículos influyentes sobre semántica intensional y actitudes proposicionales, incluyendo "A model theory for propositional attitudes" en Linguistics and Philosophy . ^{[ 16 ]} Junto con Robert Stalnaker, fue coautor de "A semantic theory of adverbs", que aplicó estas herramientas a las construcciones adverbiales del lenguaje natural. ^{[ 17 ]}

Thomason ha participado activamente en el desarrollo de modelos lógicos y computacionales del discurso, la presuposición y la pragmática. Su ensayo «Acomodación, significado e implicatura: fundamentos interdisciplinarios para la pragmática» examina y amplía el trabajo sobre la acomodación de presuposiciones y la inferencia conversacional. ^{[ 18 ]} Junto con Matthew Stone, ha propuesto arquitecturas computacionales que tratan las presuposiciones como compromisos privados en el diálogo y vinculan las teorías semánticas dinámicas con el razonamiento conversacional. ^{[ 19 ]}

En inteligencia artificial, el trabajo de Thomason se ha centrado en el razonamiento no monótono, los sistemas de herencia y los fundamentos lógicos de la representación del conocimiento. Fue elegido miembro de la Asociación para el Avance de la Inteligencia Artificial en 1993 por sus contribuciones en la intersección de la lógica y la IA. ^{[ 8 ]} Su volumen editado, Lógica filosófica e inteligencia artificial, reunió a lógicos e investigadores de IA para explorar aplicaciones de lógicas modales, temporales y no monótonas en IA. ^{[ 20 ]} Trabajos posteriores, como «Representación del conocimiento para filósofos», ofrecen una visión general del campo de la representación del conocimiento y el razonamiento para un público filosófico, destacando la planificación, las lógicas de descripción y las lógicas no monótonas. ^{[ 21 ]}

Thomason también ha escrito sobre contexto e indexicalidad, la lógica del razonamiento práctico y modelos formales de creencias y deseos de los agentes, a menudo con el objetivo de integrar ideas de la filosofía, la lingüística y la informática. ^{[ 8 ] [ 7 ]}

• Lógica simbólica: Una introducción (Macmillan, 1970). ^{[ 6 ]}
• "Tiempo indeterminista y brechas de valor de verdad", Theoria 36 (1970): 264–281.
• Con Robert C. Stalnaker, "Una teoría semántica de los adverbios", Linguistic Inquiry 4 (1973): 195–220.
• Editor, Filosofía formal: Artículos seleccionados de Richard Montague (Yale University Press, 1974). ^{[ 5 ]}
• "Una teoría modelo para las actitudes proposicionales", Lingüística y Filosofía 4 (1980): 47–70.
• "Combinaciones de tiempo y modalidad", en DM Gabbay y F. Guenthner (eds.), Manual de lógica filosófica , vol. 2 (Reidel, 1984), 135–165.
• Editor de Lógica filosófica e inteligencia artificial (Kluwer Academic Publishers, 1988).
• "Acomodación, significado e implicatura: fundamentos interdisciplinarios para la pragmática", en PR Cohen, J. Morgan y M. Pollack (eds.), Intentions in Communication (MIT Press, 1990), 325–363.
• "Representación del conocimiento para filósofos", en SO Hansson y VF Hendricks (eds.), Introducción a la filosofía formal (Springer, 2012), 371–385.
• Con Zoltán Gendler Szabó, Filosofía del lenguaje (Cambridge University Press, 2017). ^{[ 7 ]}

• filosofía estadounidense
• Lista de filósofos estadounidenses
• Lógica filosófica
• Lógica modal

• Sitio web oficial
• Breve biografía en la Universidad de Michigan
• Lógica simbólica: Una introducción (edición en línea)
• Richmond Thomason en PhilPeople