Geoffrey Basil Bailey Hunter (14 December 1925 – 8 June 2000) was a British

professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who pr ...

philosopher A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...

, and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

ian. Hunter was Professor Emeritus of the

University College of Wales, Bangor , former_names = University College of North Wales (1884–1996) University of Wales, Bangor (1996–2007) , image = File:Arms_of_Bangor_University.svg , image_size = 250px , caption = Arms ...

where he was professor from 1978 until he retired in 1992. He also taught at

Queen's University Queen's or Queens University may refer to: *Queen's University at Kingston, Ontario, Canada *Queen's University Belfast, Northern Ireland, UK **Queen's University of Belfast (UK Parliament constituency) (1918–1950) **Queen's University of Belfast ...

Kingston, Ontario Kingston is a city in Ontario, Canada. It is located on the north-eastern end of Lake Ontario, at the beginning of the St. Lawrence River and at the mouth of the Cataraqui River (south end of the Rideau Canal). The city is midway between Toro ...

(1950–1952) and was a

lecturer Lecturer is an List of academic ranks, academic rank within many universities, though the meaning of the term varies somewhat from country to country. It generally denotes an academic expert who is hired to teach on a full- or part-time basis. T ...

in Philosophy at the

University of Leeds , mottoeng = And knowledge will be increased , established = 1831 – Leeds School of Medicine1874 – Yorkshire College of Science1884 - Yorkshire College1887 – affiliated to the federal Victoria University1904 – University of Leeds , ...

(1952–1965), and reader in Logic at

University of St Andrews (Aien aristeuein) , motto_lang = grc , mottoeng = Ever to ExcelorEver to be the Best , established = , type = Public research university Ancient university , endowment ...

(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.

Published work

*Hunter, Geoffrey (1971). "Metalogic: An Introduction to the Metatheory of Standard

First Order Logic First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...

Macmillan MacMillan, Macmillan, McMillen or McMillan may refer to: People * McMillan (surname) * Clan MacMillan, a Highland Scottish clan * Harold Macmillan, British statesman and politician * James MacMillan, Scottish composer * William Duncan MacMillan ...

*Hunter, Geoffrey (1973). "Not Both P and not Q, therefore if P then Q" is not a valid form of argument

Mind The mind is the set of faculties responsible for all mental phenomena. Often the term is also identified with the phenomena themselves. These faculties include thought, imagination, memory, will, and sensation. They are responsible for various m ...

vol LXXXII:280-280 *Hunter, Geoffrey (1974). "Concepts and Meaning." in Hume and the Enlightenment: essays presented to

Ernest Campbell Mossner Ernest Campbell Mossner (October 22, 1907 – August 5, 1986) professor of English at the University of Texas at Austin and biographer of the Scottish philosopher, essayist and historian David Hume (1711–1776). He was a specialist also on Hume's f ...

/ edited by William B. Todd *Hunter, Geoffrey (1980). "What do the Consistency Proofs for Non-Euclidean Geometry Prove?"

Analysis Analysis ( : analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (38 ...

:40:79-83. *Hunter, Geoffrey (1988). "What Computers Can't Do"

Philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...

:63:175-189. *Hunter, Geoffrey (1994). "Platonist Manifesto"

:69:151-62. *Hunter, Geoffrey (1995). "The Churchland's Eliminative Materialism : or the Result of Impatience."

Philosophical Investigations ''Philosophical Investigations'' (german: Philosophische Untersuchungen) is a work by the philosopher Ludwig Wittgenstein, published posthumously in 1953. ''Philosophical Investigations'' is divided into two parts, consisting of what Wittgens ...

:18(1):13-30. *Hunter, Geoffrey (1995). "Quine's

Two Dogmas of Empiricism "Two Dogmas of Empiricism" is a paper by analytic philosopher Willard Van Orman Quine published in 1951. According to University of Sydney professor of philosophy Peter Godfrey-Smith, this "paper ssometimes regarded as the most important in all ...

'."

18(4): 305-328.

References

{{DEFAULTSORT:Hunter, Geoffrey 1925 births 2000 deaths 20th-century British philosophers Academics of Bangor University Academics of the University of Leeds Academics of the University of St Andrews British logicians Queen's University at Kingston faculty

Published work

See also

References