Alasdair Urquhart - Alasdair Urquhart

Nesmí být zaměňována s Alistair Urquhart.

Alasdair Urquhart v Sdružení pro symbolickou logiku, Pittsburgh, květen 2004

Alasdair Ian Fenton Urquhart (/ˈ…ləsd.rˈ.rk.rt/; (narozen 20. prosince 1945) je skotský filozof a emeritní Profesor z Filozofie na University of Toronto. Přispěl do oblasti logika, zvláště neklasická logika. Jedním z jeho nápadů je prokázání nerozhodnutelnost z logika relevance R. Publikoval také příspěvky v teoretická informatika místa, většinou na matematická logika témata význam pro informatiku.

Rodák ze Skotska,[1] Urquhart přijal jeho MA ve filozofii od University of Edinburgh v roce 1967, a jeho PhD z University of Pittsburgh v roce 1973 pod dohledem Alan Ross Anderson a Nuel Belnap. V současné době působí v Radě divize pro logiku, metodiku a filozofii vědy a technologie EU Mezinárodní unie historie a filozofie vědy a techniky (2020–2023).[2]

Vybrané publikace

  • s Nicholas Rescher, Časová logikaSpringer Verlag New York and Vienna, 1971
  • „Nerozhodnutelnost obohacení a příslušné důsledky.“ Journal of Symbolic Logic 49(4): 1059–1073 (1984).
  • s Stephen A. Cook „Funkční interpretace proveditelné konstruktivní aritmetiky“, Annals of Pure and Applied Logic, 1993; předběžná verze na STOC '89
  • "Složitost rozhodovacích postupů v logice relevance II", Journal of Symbolic Logic, Svazek 64, číslo 4 (1999), 1774–1802.

Reference

  1. ^ „Alasdair Urquhart se narodil ve Skotsku v roce 1945“. Katedra počítačů - University of Toronto. Citováno 2. dubna 2010.
  2. ^ „Web DLMPST: Rada 2020–2023“. Citováno 16. dubna 2020.

externí odkazy