A prova da indcidibilidade da lógica da relevância R continua sendo uma contribuição marcante de Alasdair Urquhart para o campo da lógica não clássica. Nascido na Escócia em 20 de dezembro de 1945, ele construiu uma carreira que abrange tanto a filosofia quanto a lógica matemática, concentrando suas pesquisas em tópicos de ciência da computação teórica e na complexidade de procedimentos de decisão em sistemas formais.
Fundamentos acadêmicos
Alasdair Ian Fenton Urquhart iniciou sua educação formal em sua Escócia natal, graduando-se com um Mestrado em Artes em filosofia pela Universidade de Edimburgo em 1967. Posteriormente, prosseguiu com estudos avançados no exterior, concluindo um mestrado e um doutorado em 1973. Sua pesquisa de doutorado foi realizada sob a supervisão de Nuel Belnap e Alan Ross Anderson.
Carreira profissional em Toronto
Sua principal carreira acadêmica desenvolveu-se na Universidade de Toronto. Ele começou como professor assistente no Erindale College, hoje conhecido como Universidade de Toronto Mississauga, em 1973. Dois anos depois, foi promovido a professor associado. Em 1986, transferiu-se para a Faculdade de Artes e Ciências da Universidade de Toronto, onde atuou como professor de filosofia.
Cargos editoriais e consultivos
Além de seu ensino e pesquisa, Urquhart manteve importantes responsabilidades editoriais dentro da comunidade matemática. Entre 1983 e 1989, atuou como editor consultor do Journal of Symbolic Logic. Além disso, editou Canadian Philosophical Monographs e assumiu o cargo de editor gerente de resenhas de The Bulletin of Symbolic Logic em 2003. Atualmente, ocupa um cargo no Conselho da Divisão de Lógica, Metodologia e Filosofia da Ciência e da Tecnologia.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Pesquisa e principais publicações
A produção de Urquhart inclui a obra de 1971 Temporal Logic, co-escrita com Nicholas Rescher. Sua pesquisa sobre os aspectos técnicos da lógica da relevância é evidenciada por artigos como The Undecidability of Entailment and Relevant Implication, publicado em 1984. Sua colaboração com Stephen A. Cook, intitulada Functional Interpretations of Feasibly Constructive Arithmetic, explorou interseções entre lógica e aritmética construtiva.
Dados rápidos
- Nascimento: 20 de dezembro de 1945 - Nacionalidade: Reino Unido - Campo: Matemática e filosofia - Alma Mater: Universidade de Edimburgo, Universidade de Pittsburgh - Principal empregador acadêmico: Universidade de Toronto - Membro: Logicians Liberation League - Idioma: Inglês
Perguntas frequentes dos leitores
### Qual é a conquista lógica mais notável de Alasdair Urquhart?
Ele é reconhecido por fornecer a prova da indcidibilidade da lógica da relevância R.
### Onde Urquhart obteve seu doutorado?
Ele recebeu seu Ph.D. em 1973 pela Universidade de Pittsburgh.
