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"
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 ...
: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 ...
'."
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(4): 305-328.
See also
*
Metalogic
Metalogic is the study of the metatheory of logic. Whereas ''logic'' studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems.Harry GenslerIntroduction to Logic Routledge, ...
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