Geoffrey Hunter (logician)
December 14, 1925|
Leeds, West Yorkshire, England
|Died||June 8, 2000
Ysbyty Gwynedd, Bangor, Caernarfonshire, Wales
|Notable work(s)||Metalogic: An Introduction to the Metatheory of Standard First-Order Logic|
|Institutions||University College of Wales, Bangor, Queens University, University of Leeds, University of St Andrews|
|Main interests||Logic, metalogic|
Geoffrey Basil Bailey Hunter (December 14, 1925 — June 8, 2000) was a 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 Queens 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.
- 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 (1992). "Metalogic: An Introduction to the Metatheory of Standard First Order Logic". University of California Press
- 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.