Alasdair Urquhart

Alasdair Urquhart

Alasdair Ian Fenton Urquhart, born December 20, 1945, is Professor of Philosophy at the University of Toronto. He has made notable contributions to the field of logic, especially non-classical logic. One of his most notable achievements is proving the undecidability of the relevance logic R.

A native of Great Britain, Urquhart received his Ph.D. from the University of Pittsburgh in 1973 under the supervision of Alan Ross Anderson and Nuel Belnap.

Selected publications

* "The Undecidability of Entailment and Relevant Implication." "Journal of Symbolic Logic" 49(4): 1059-1073 (1984).


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Alasdair and Hetty Tayler — Alexander Norwich Tayler (11 July 1870–8 November 1937) and his sister Helen Agnes Henrietta Tayler (24 March 1869–10 April 1951) were British historical writers, specializing in 17th and 18th century Scottish and English history.Helen Agnes… …   Wikipedia

  • Thomas Urquhart — Sir Thomas Urquhart of Cromarty (or Urchard, 1611 c. 1660) was a Scottish writer and translator, most famous for his translation of Rabelais.LifeUrquhart was born to an old landholding family in Cromarty in northern Scotland. At the age of eleven …   Wikipedia

  • Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Alan Ross Anderson — Alan Ross Anderson, born 1925, was an American logician and professor of philosophy at Yale University and the University of Pittsburgh. A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and …   Wikipedia

  • Metatheorem — In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory …   Wikipedia

  • Research Materials: Max Planck Society Archive — At the end of World War II, the Kaiser Wilhelm Society was renamed as the Max Planck Society, and the institutes associated with the Kaiser Wilhelm Society were renamed as Max Planck institutes. The records that were archived under the former… …   Wikipedia

  • Temporallogik — Temporal|logik,   Zeitlogik, chronologische Logik, ein auf die Arbeiten von Arthur N. Prior, N. Rescher und Alasdair Urquhart zurückgehendes Gebiet der philosophischen Logik, in dem temporale Modalitäten, der Faktor »Zeit«, Gegenstand… …   Universal-Lexikon

  • Clan Macdonald of Clanranald — Crest badge …   Wikipedia

  • Clan Macdonald of Clanranald — Wappen: Burg mit drei Türmen, aus dem mittleren Turm ragt ein angewinkelter geharnischter rechter Arm ein Schwert haltend in Silber Wahlspruch: My hope is constant in thee („Meine Hoffnung in Dich ist beständig“, gemeint ist Gott) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”