Jump to content

Geoffrey Hunter (logician): Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m top: Merging {{Other people2}} to {{other people}} per Wikipedia:Templates for discussion/Log/2016 July 11#Template:Other people2 using AWB
No edit summary
 
(21 intermediate revisions by 17 users not shown)
Line 1: Line 1:
{{Short description|British logician and academic}}
{{other people||Geoffrey Hunter (disambiguation)}}
{{Use dmy dates|date=April 2022}}
{{Multiple issues|
{{One source|date=August 2020}}
{{Unreliable sources|date=August 2020}}
}}
{{Infobox philosopher
{{Infobox philosopher
| name = Geoffrey Hunter
| name = Geoffrey Hunter
| birth_date = {{birth date|1925|12|14}}<ref name="red1st">[http://www.red1st.com/axholme/getperson.php?personID=I3500312764&tree=Axholme Red1st]</ref>
| birth_date = {{birth date|1925|12|14|df=y}}<ref name="red1st">[http://www.red1st.com/axholme/getperson.php?personID=I3500312764&tree=Axholme Red1st]</ref>
| birth_place = [[Leeds]], [[West Yorkshire]], [[England]]<ref name="red1st"/>
| birth_place = [[Leeds]], [[West Yorkshire]], [[England]]<ref name="red1st"/>
| death_date = {{death date and age|2000|06|08|1925|12|14}}<ref name="red1st"/>
| death_date = {{death date and age|2000|06|08|1925|12|14|df=y}}<ref name="red1st"/>
| death_place = [[Bangor, Gwynedd|Ysbyty Gwynedd, Bangor]], [[Caernarfonshire]], [[Wales]]<ref name="red1st"/>
| death_place = [[Bangor, Gwynedd|Ysbyty Gwynedd, Bangor]], [[Gwynedd]], [[Wales]]<ref name="red1st"/>


| school_tradition = [[Analytic philosophy]]
| school_tradition = [[Analytic philosophy]]
Line 11: Line 16:
| books =''Metalogic: An Introduction to the Metatheory of Standard First-Order Logic''
| books =''Metalogic: An Introduction to the Metatheory of Standard First-Order Logic''
| alma_mater =
| alma_mater =
| institutions =[[Bangor University|University College of Wales, Bangor]], [[Queen's University]], [[University of Leeds]], [[University of St Andrews]]
| institutions =[[Bangor University|University College of Wales, Bangor]], [[Queen's University at Kingston|Queen's University]], [[University of Leeds]], [[University of St Andrews]]
}}
}}


'''Geoffrey Basil Bailey Hunter''' (December 14, 1925 – June 8, 2000) was a [[professor]], [[philosophy|philosopher]], and [[logic]]ian. Hunter was Professor Emeritus of the [[Bangor University|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 Basil Bailey Hunter''' (14 December 1925 – 8 June 2000) was a British [[professor]], [[philosophy|philosopher]], and [[logic]]ian. Hunter was Professor Emeritus of the [[Bangor University|University College of Wales, Bangor]], where he was professor from 1978 until he retired in 1992. He also taught at [[Queen's University at Kingston|Queen's University]] [[Kingston, Ontario]] (1950–1952) and was a [[lecturer]] in Philosophy at the [[University of Leeds]] (1952–1965), and reader in Logic at the [[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.


== Published work ==
== Published work ==
*Hunter, Geoffrey (1971). "Metalogic: An Introduction to the Metatheory of Standard [[First Order Logic]]". [[Macmillan Publishers|Macmillan]]
*Hunter, Geoffrey (1973). “Not Both P and not Q, therefore if P then Q” is not a valid form of argument [[Mind (journal)|Mind]] vol LXXXII:280-280
*Hunter, Geoffrey (1973). "Not Both P and not Q, therefore if P then Q" is not a valid form of argument [[Mind (journal)|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 (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 (journal)|Analysis]]:40:79-83.
*Hunter, Geoffrey (1980). "What do the Consistency Proofs for Non-Euclidean Geometry Prove?" [[Analysis (journal)|Analysis]]:40:79-83.
*Hunter, Geoffrey (1988). "What Computers Can't Do"[[Philosophy (journal)|Philosophy]]:63:175-189.
*Hunter, Geoffrey (1988). "What Computers Can't Do" [[Philosophy (journal)|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 (journal)|Philosophy]]:69:151-62.
*Hunter, Geoffrey (1994). "Platonist Manifesto" [[Philosophy (journal)|Philosophy]]:69:151-62.
*Hunter, Geoffrey (1995). "The Churchland's Eliminative Materialism : or the Result of Impatience." [[Philosophical Investigations (journal)|Philosophical Investigations]]:18(1):13-30.
*Hunter, Geoffrey (1995). "The Churchland's Eliminative Materialism : or the Result of Impatience." [[Philosophical Investigations (journal)|Philosophical Investigations]]:18(1):13-30.
*Hunter, Geoffrey (1995). "Quine's [[Two Dogmas of Empiricism]]'." [[Philosophical Investigations (journal)|Philosophical Investigations]] 18(4): 305-328.
*Hunter, Geoffrey (1995). "Quine's [[Two Dogmas of Empiricism]]'." [[Philosophical Investigations (journal)|Philosophical Investigations]] 18(4): 305–328.


== See also ==
== See also ==
Line 30: Line 35:


== References ==
== References ==
{{reflist}}
{{Reflist}}


{{Authority control}}


{{DEFAULTSORT:Hunter, Geoffrey}}
{{DEFAULTSORT:Hunter, Geoffrey}}
[[Category:1925 births]]
[[Category:1925 births]]
[[Category:2000 deaths]]
[[Category:2000 deaths]]
[[Category:20th-century philosophers]]
[[Category:20th-century British philosophers]]
[[Category:Academics of Bangor University]]
[[Category:Academics of Bangor University]]
[[Category:Academics of the University of Leeds]]
[[Category:Academics of the University of Leeds]]
[[Category:Academics of the University of St Andrews]]
[[Category:Academics of the University of St Andrews]]
[[Category:British logicians]]
[[Category:British logicians]]
[[Category:British philosophers]]
[[Category:Academic staff of Queen's University at Kingston]]
[[Category:People from Leeds (district)]]

[[Category:Queen's University faculty]]

Latest revision as of 13:57, 16 October 2023

Geoffrey Hunter
Born(1925-12-14)14 December 1925[1]
Died8 June 2000(2000-06-08) (aged 74)[1]
Notable workMetalogic: 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

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 the University of Leeds (1952–1965), and reader in Logic at the 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.

Published work

[edit]
  • 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.

See also

[edit]

References

[edit]
  1. ^ a b c d Red1st