La demostración de la indecidibilidad de la lógica de relevancia R sigue siendo una contribución definitoria de Alasdair Urquhart al campo de la lógica no clásica. Nacido en Escocia el 20 de diciembre de 1945, consolidó una carrera que abarca tanto la filosofía como la lógica matemática, centrando su investigación en temas de informática teórica y en la complejidad de los procedimientos de decisión dentro de los sistemas formales.
Fundamentos académicos
Alasdair Ian Fenton Urquhart comenzó su educación formal en su Escocia natal, y se graduó con una maestría en artes en filosofía por la Universidad de Edimburgo en 1967. Posteriormente cursó estudios avanzados en el extranjero, donde completó tanto una maestría como un doctorado en 1973. Su investigación doctoral se llevó a cabo bajo la supervisión de Nuel Belnap y Alan Ross Anderson.
Trayectoria profesional en Toronto
Su carrera académica principal se desarrolló en la Universidad de Toronto. Comenzó como profesor asistente en Erindale College, ahora conocido como Universidad de Toronto Mississauga, en 1973. Dos años más tarde, fue ascendido a profesor asociado. Hacia 1986, pasó a la Facultad de Artes y Ciencias de la Universidad de Toronto, donde ejerció como profesor de filosofía.
Funciones editoriales y consultivas
Además de su labor docente e investigadora, Urquhart desempeñó importantes responsabilidades editoriales en la comunidad matemática. Entre 1983 y 1989, fue editor consultor del Journal of Symbolic Logic. Asimismo, editó Canadian Philosophical Monographs y asumió el cargo de editor gerente de reseñas de The Bulletin of Symbolic Logic en 2003. Actualmente forma parte del Consejo de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Investigación y publicaciones clave
La producción de Urquhart incluye la obra de 1971 Temporal Logic, escrita en coautoría con Nicholas Rescher. Su investigación sobre los aspectos técnicos de la lógica de relevancia se evidencia en artículos como The Undecidability of Entailment and Relevant Implication, publicado en 1984. Su colaboración con Stephen A. Cook, titulada Functional Interpretations of Feasibly Constructive Arithmetic, exploró las intersecciones entre la lógica y la aritmética constructiva.
Datos rápidos
- Nacimiento: 20 de diciembre de 1945 - Nacionalidad: Reino Unido - Campo: Matemáticas y filosofía - Alma mater: Universidad de Edimburgo, Universidad de Pittsburgh - Principal empleador académico: Universidad de Toronto - Miembro: Logicians Liberation League - Idioma: Inglés
Preguntas frecuentes de los lectores
### ¿Cuál es el logro lógico más notable de Alasdair Urquhart?
Es reconocido por aportar la demostración de la indecidibilidad de la lógica de relevancia R.
### ¿Dónde obtuvo Urquhart su doctorado?
Obtuvo su doctorado en 1973 en la Universidad de Pittsburgh.
