Geoffrey Hunter (logician)

Geoffrey Basil Bailey Hunter (14 December 1925 – 8 June 2000) was a British professor, philosopher, and logician. Hunter was Professor Emeritus of the University College of Wales, Bangor where he was professor from 1978 until he retired in 1992. He also taught at Queen's University Kingston, Ontario (1950–1952) and was a lecturer in Philosophy at University of Leeds (1952–1965), and reader in Logic at University of St Andrews (1965–1978). Geoffrey was probably most known for his work titled 'Metalogic: An Introduction to the Metatheory of Standard First-Order Logic' published in 1971.

Geoffrey Hunter
Born(1925-12-14)14 December 1925[1]
Leeds, West Yorkshire, England[1]
Died8 June 2000(2000-06-08) (aged 74)[1]
Ysbyty Gwynedd, Bangor, Caernarfonshire, Wales[1]
Notable work
Metalogic: An Introduction to the Metatheory of Standard First-Order Logic
SchoolAnalytic philosophy
InstitutionsUniversity College of Wales, Bangor, Queen's University, University of Leeds, University of St Andrews
Main interests
Logic, metalogic

Published work
  • Hunter, Geoffrey (1971). "Metalogic: An Introduction to the Metatheory of Standard First Order Logic". Macmillan
  • Hunter, Geoffrey (1973). "Not Both P and not Q, therefore if P then Q" is not a valid form of argument Mind vol LXXXII:280-280
  • Hunter, Geoffrey (1974). "Concepts and Meaning." in Hume and the Enlightenment: essays presented to Ernest Campbell Mossner / edited by William B. Todd
  • Hunter, Geoffrey (1980). "What do the Consistency Proofs for Non-Euclidean Geometry Prove?" Analysis:40:79-83.
  • Hunter, Geoffrey (1988). "What Computers Can't Do"Philosophy:63:175-189.
  • Hunter, Geoffrey (1994). "Platonist Manifesto" Philosophy:69:151-62.
  • Hunter, Geoffrey (1995). "The Churchland's Eliminative Materialism : or the Result of Impatience." Philosophical Investigations:18(1):13-30.
  • Hunter, Geoffrey (1995). "Quine's Two Dogmas of Empiricism'." Philosophical Investigations 18(4): 305-328.
gollark: ```lualocal a,b,c,d,e={peripheral.find"modem"},rednet.CHANNEL_REPEAT,{},{}e=function(f)for g,h in pairs(a)do f(h)end end;e(function(h)h.open(b)end)while true do local i,j,k,l,m=os.pullEvent()if i=="modem_message"then if k==b and type(m)=="table"then local n=m.nMessageID;local o=m.nRecipient;if n and o and(type(n)=="number"or type(n)=="string")and type(o)=="number"and o>=0 and o<=65535 then if not c[n]then c[n]=true;d[os.startTimer(30)]=n;e(function(h)h.transmit(b,l,m)h.transmit(o,l,m)end)end end end elseif i=="timer"then local p=j;local n=d[p]if n then d[p]=nil;c[p]=nil end end end```Really small rednet repeater.
gollark: Fixed potatIMAGE:
gollark: This potatIMAGE is somehow smaller than actual potatOS.
gollark: PotatOS!
gollark: Skynet theoretically *could* work in OC, I just haven't bothered to work on it.

See also

References
  1. Red1st
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.