Geoffrey Hunter (logician)
   HOME

TheInfoList



OR:

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 tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...
,
philosopher Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
, and
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
ian. 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 Kingston is a city in Ontario, Canada, on the northeastern end of Lake Ontario. It is at the beginning of the St. Lawrence River and at the mouth of the Cataraqui River, the south end of the Rideau Canal. Kingston is near the Thousand Islands, ...
(1950–1952) and was a
lecturer Lecturer is an 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. They may also conduct re ...
in Philosophy at the
University of Leeds The University of Leeds is a public research university in Leeds, West Yorkshire, England. It was established in 1874 as the Yorkshire College of Science. In 1884, it merged with the Leeds School of Medicine (established 1831) and was renamed Y ...
(1952–1965), and reader in Logic at the
University of St Andrews The University of St Andrews (, ; abbreviated as St And in post-nominals) is a public university in St Andrews, Scotland. It is the List of oldest universities in continuous operation, oldest of the four ancient universities of Scotland and, f ...
(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 called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...
". 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 that which thinks, feels, perceives, imagines, remembers, and wills. It covers the totality of mental phenomena, including both conscious processes, through which an individual is aware of external and internal circumstances ...
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 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 ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
:63:175-189. *Hunter, Geoffrey (1994). "Platonist Manifesto"
Philosophy Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
:69:151-62. *Hunter, Geoffrey (1995). "The Churchland's Eliminative Materialism : or the Result of Impatience."
Philosophical Investigations ''Philosophical Investigations'' () is a work by the philosopher Ludwig Wittgenstein, published posthumously in 1953. ''Philosophical Investigations'' is divided into two parts, consisting of what Wittgenstein calls, in the preface, ''Bemer ...
:18(1):13-30. *Hunter, Geoffrey (1995). "Quine's
Two Dogmas of Empiricism "Two Dogmas of Empiricism" is a canonical essay 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 impor ...
'."
Philosophical Investigations ''Philosophical Investigations'' () is a work by the philosopher Ludwig Wittgenstein, published posthumously in 1953. ''Philosophical Investigations'' is divided into two parts, consisting of what Wittgenstein calls, in the preface, ''Bemer ...
18(4): 305–328.


See also

*
Metalogic Metalogic is 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. Logic concerns the truths that may be derived using a lo ...


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 Academic staff of Queen's University at Kingston