HOME

TheInfoList



OR:

Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born
logician 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 ...
and philosopher. Prior (1957) founded
tense logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
, now also known as
temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
, and made important contributions to
intensional logic Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (''extensions''), by additional quantifiers that range over terms that may have such individuals ...
, particularly in Prior (1971).


Biography

Prior was born in Masterton,
New Zealand New Zealand ( mi, Aotearoa ) is an island country in the southwestern Pacific Ocean. It consists of two main landmasses—the North Island () and the South Island ()—and over 700 smaller islands. It is the sixth-largest island count ...
, on 4 December 1914, the only child of Australian-born parents: Norman Henry Prior (1882–1967) and his wife born Elizabeth Munton Rothesay Teague (1889–1914). His mother died less than three weeks after his birth and he was cared for by his father's sister. His father, a medical practitioner in general practice, after war service at Gallipoli and in Francewhere he was awarded the
Military Cross The Military Cross (MC) is the third-level (second-level pre-1993) military decoration awarded to officers and (since 1993) other ranks of the British Armed Forces, and formerly awarded to officers of other Commonwealth countries. The MC ...
remarried in 1920. There were three more children, the first: epidemiologist, Ian Prior. Arthur Prior grew up in a prominent
Methodist Methodism, also called the Methodist movement, is a group of historically related denominations of Protestant Christianity whose origins, doctrine and practice derive from the life and teachings of John Wesley. George Whitefield and John's ...
household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henwood Teague, were sent from
England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...
to
South Australia South Australia (commonly abbreviated as SA) is a state in the southern central part of Australia. It covers some of the most arid parts of the country. With a total land area of , it is the fourth-largest of Australia's states and territories ...
as missionaries in 1875. The Prior family first moved to New Zealand in 1893. While studying for his B.A. degree at the
University of Otago , image_name = University of Otago Registry Building2.jpg , image_size = , caption = University clock tower , motto = la, Sapere aude , mottoeng = Dare to be wise , established = 1869; 152 years ago , type = Public research collegiate ...
, Prior attended the seminary at Dunedin's Knox Theological Hall but decided against entering the
Presbyterian Presbyterianism is a part of the Reformed tradition within Protestantism that broke from the Roman Catholic Church in Scotland by John Knox, who was a priest at St. Giles Cathedral (Church of Scotland). Presbyterian churches derive their nam ...
ministry and began to focus on
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 premise ...
. He married Clare Hunter, a freelance journalist, in 1936, and they spent several years in Europe, during which they tried to earn a living as writers. Daunted by the prospect of an invasion of Britain, he and Clare returned to New Zealand in 1940. At this point in his life he was a devout Presbyterian, though he became an atheist later in life. After divorce from his first wife, he remarried in 1943 to Mary Wilkinson, with whom he would have two children. He served in the Royal New Zealand Air Force from 1943 to 1945 before embarking on an academic career at
Canterbury University College The University of Canterbury ( mi, Te Whare Wānanga o Waitaha; postnominal abbreviation ''Cantuar.'' or ''Cant.'' for ''Cantuariensis'', the Latin name for Canterbury) is a public research university based in Christchurch, New Zealand. It was f ...
in February 1946. His first position was a lectureship which had become available when Karl Popper left the university.Per Hasl
''The Life of Prior (1914-69)''
A Brief Overview, accessed 8 June 2019
After returning to New Zealand following a year at
Oxford Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...
as a visiting lecturer he took up a professorship in 1959 at
Manchester University , mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Univer ...
where he remained until he was elected a
Fellow A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...
of Balliol College, Oxford in 1966 and appointed a
Reader A reader is a person who reads. It may also refer to: Computing and technology * Adobe Reader (now Adobe Acrobat), a PDF reader * Bible Reader for Palm, a discontinued PDA application * A card reader, for extracting data from various forms of ...
. He continued his Manchester practice of accepting visiting professorships. Arthur Prior went to give lectures at Norwegian universities in September 1969 and on 6 October 1969, the night before he was to deliver a lecture there, he died from a heart attack at
Trondheim, Norway Trondheim ( , , ; sma, Tråante), historically Kaupangen, Nidaros and Trondhjem (), is a city and List of municipalities of Norway, municipality in Trøndelag county, Norway. As of 2020, it had a population of 205,332, was the third most pop ...
.


Professional life

Prior was educated entirely in New Zealand, where he was fortunate to have come under the influence of J. N. Findlay, under whom he wrote his M.A. thesis on 'The Nature of Logic'.David Jakobsen (2019): A.N. Prior and ‘The Nature of Logic’, History and Philosophy of Logic, DOI: 10.1080/01445340.2019.1605479 While Prior was very fond of the theology of Karl Barth, his early criticism of Barth's adherence to Philosophical Idealism, is a mark of Findlay's influence on Prior. He began teaching philosophy and logic at
Canterbury University College The University of Canterbury ( mi, Te Whare Wānanga o Waitaha; postnominal abbreviation ''Cantuar.'' or ''Cant.'' for ''Cantuariensis'', the Latin name for Canterbury) is a public research university based in Christchurch, New Zealand. It was f ...
in February 1946, filling the vacancy created by Karl Popper's resignation. In 1951 Prior met J. J. C. Smart, also known as "Jack" Smart, at a philosophical conference in Australia and the two developed a life-long friendship. Their correspondence was influential on Prior's development of
tense logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
. Smart adhered to the tenseless theory of time and was never persuaded by Prior's arguments, though Prior was influential in making Smart skeptical about
Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrians, Austrian-British people, British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy o ...
's view on pseudo-relations. He became Professor in 1953. Thanks to the good offices of
Gilbert Ryle Gilbert Ryle (19 August 1900 – 6 October 1976) was a British philosopher, principally known for his critique of Cartesian dualism, for which he coined the phrase "ghost in the machine." He was a representative of the generation of British ord ...
, who had met Prior in New Zealand in 1954, Prior spent the year 1956 on leave at the
University of Oxford , mottoeng = The Lord is my light , established = , endowment = £6.1 billion (including colleges) (2019) , budget = £2.145 billion (2019–20) , chancellor ...
, where he gave the
John Locke lectures The John Locke Lectures are a series of annual lectures in philosophy given at the University of Oxford. Named for British philosopher John Locke, the Locke Lectures are the world's most prestigious lectures in philosophy, and are among the worl ...
in philosophy. These were subsequently published as ''Time and Modality'' (1957). This is a seminal contribution to the study of tense logic and the
metaphysics Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of conscio ...
of time, in which Prior championed the A-theorist view that the temporal modalities of past, present and future are basic
ontological In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exi ...
categories of fundamental importance for our understanding of time and the world. Prior was several times warned by J. J. C. Smart against making tense-logic the topic of his
John Locke lectures The John Locke Lectures are a series of annual lectures in philosophy given at the University of Oxford. Named for British philosopher John Locke, the Locke Lectures are the world's most prestigious lectures in philosophy, and are among the worl ...
. Smart feared that tense-logic would get Prior "involved in side issues, even straight philosophy, and not in the stuff that will do Oxford most good." Prior was however convinced that tense-logic had the potential to benefit logic, as well as philosophy, and thus he considered his lectures an "expression of a conviction that formal logic and general philosophy have more to bring to one another than is sometimes supposed". During his time at Oxford, Prior met Peter Geach and
William Kneale William Calvert Kneale (22 June 1906 – 24 June 1990) was an English logician best known for his 1962 book ''The Development of Logic'', a history of logic from its beginnings in Ancient Greece written with his wife Martha. Kneale was also ...
, influenced
John Lemmon Edward John Lemmon (1 June 1930 – 29 July 1966) was a British logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemm ...
, and corresponded with the adolescent
Saul Kripke Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and em ...
. Logic in the United Kingdom was then in a rather low state, being "deeply out of fashion and its practitioners were isolated and somewhat demoralized." Prior arranged Logical a Colloquium which brought together such Logicians as
John Lemmon Edward John Lemmon (1 June 1930 – 29 July 1966) was a British logician and philosopher born in Sheffield, England. He is most well known for his work on modal logic, particularly his joint text with Dana Scott published posthumously (Lemm ...
, Peter Geach, Czesław Lejewski and more.Copeland, J (1996), Prior's Life and Legacy, p. 6. The colloquiums were a great success and, together with Prior's John Locke lecture and his visits around the country, he helped revitalize British logic. From 1959 to 1966, he was Professor of Philosophy at the
University of Manchester , mottoeng = Knowledge, Wisdom, Humanity , established = 2004 – University of Manchester Predecessor institutions: 1956 – UMIST (as university college; university 1994) 1904 – Victoria University of Manchester 1880 – Victoria Univ ...
, having taught Osmund Lewry. From 1966 until his death he was Fellow and Tutor in philosophy at Balliol College, Oxford. His students include
Max Cresswell Maxwell John Cresswell (born 19 November 1939) is a New Zealand philosopher and logician, known for his work in modal logic.''Festschrift for Max Cresswell on the occasion of his 65th birthday.'' In: ''Logique et Analyse.'' Number 181, March 2 ...
, Kit Fine, and Robert Bull. Almost entirely self-taught in modern
formal 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 premis ...
, Prior published four major papers on logic in 1952, when he was 38 years of age, shortly after discovering the work of
Józef Maria Bocheński Józef Maria Bocheński or Innocentius Bochenski ( Czuszów, Congress Poland, Russian Empire, 30 August 1902 – 8 February 1995, Fribourg, Switzerland) was a Polish Dominican, logician and philosopher. Biography Born on 30 August 1902 in Cz ...
and
Jan Łukasiewicz Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. ...
, despite very little of Łukasiewicz's work being translated into English. He went so far as to read untranslated Polish texts without being able to speak Polish claiming "the symbols are so illuminating that the fact that the text is incomprehensible doesn’t much matter". He went on to employ
Polish notation Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation or simply prefix notation, is a mathematical notation in which operators ''precede'' their operands, in contrast ...
throughout his career. Prior (1955) distills much of his early teaching of logic in New Zealand. Prior's work on tense logic provides a systematic and extended defense of a tensed conception of
reality Reality is the sum or aggregate of all that is real or existent within a system, as opposed to that which is only imaginary. The term is also used to refer to the ontological status of things, indicating their existence. In physical terms, r ...
in which propositional statements can change truth value over time. Prior stood out by virtue of his strong interest in the
history of logic The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found ...
. He was one of the first English-speaking logicians to appreciate the nature and scope of the logical work of
Charles Sanders Peirce Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for t ...
, and the distinction between ''
de dicto ''De dicto'' and ''de re'' are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in metaphysics and in philosophy of language. T ...
'' and ''
de re ''De dicto'' and ''de re'' are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in metaphysics and in philosophy of language. T ...
'' in modal logic. Prior taught and researched modal logic before Kripke proposed his possible worlds semantics for it, at a time when modality and intentionality commanded little interest in the English speaking world, and had even come under sharp attack by
Willard Van Orman Quine Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century" ...
. He is now said to be the precursor of
hybrid logic Hybrid logic refers to a number of extensions to propositional modal logic with more expressive power, though still less than first-order logic. In formal logic, there; is a trade-off between expressiveness and computational tractability. The hist ...
. Undertaking (in one section of his book ''Past, Present, and Future'' (1967)) the attempt to combine binary (e.g., "until") and unary (e.g., "will always be") temporal operators to one system of
temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
, Prior—as an incidental result—builds a base for later hybrid languages. His work ''Time and Modality'' explored the use of a
many-valued logic Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false ...
to explain the problem of non-referring names. Prior's work was both philosophical and formal and provides a productive synergy between formal innovation and linguistic analysis. Natural language, he remarked, can embody folly and confusion as well as the wisdom of our ancestors. He was scrupulous in setting out the views of his adversaries, and provided many constructive suggestions about the formal development of alternative views.


Publications

The following books were either written by Prior, or are posthumous collections of journal articles and unpublished papers that he wrote: * 1949. ''Logic and the Basis of Ethics''.
Oxford University Press Oxford University Press (OUP) is the university press of the University of Oxford. It is the largest university press in the world, and its printing history dates back to the 1480s. Having been officially granted the legal right to print books ...
() * 1955, 1962. ''Formal Logic''. Oxford University Press. * 1957. ''Time and Modality''. Oxford University Press. Based on his 1956
John Locke lectures The John Locke Lectures are a series of annual lectures in philosophy given at the University of Oxford. Named for British philosopher John Locke, the Locke Lectures are the world's most prestigious lectures in philosophy, and are among the worl ...
. * 1962. "Changes in Events and Changes in Things". University of Kansas. * 1967. ''Past, Present and Future''. Oxford University Press. * 1968. ''Papers on Time and Tense''. Oxford University Press. * 1971. ''Objects of Thought''. Edited by P. T. Geach and A. J. P. Kenny. Oxford University Press. * 1976. ''The Doctrine of Propositions and Terms''. Edited by P. T. Geach and A. J. P. Kenny. London:
Duckworth Duckworth may refer to: * Duckworth (surname), people with the surname ''Duckworth'' * Duckworth (''DuckTales''), fictional butler from the television series ''DuckTales'' * Duckworth Books, a British publishing house * , a frigate * Duckworth, W ...
. * 1976. ''Papers in Logic and Ethics''. Edited by P. T. Geach and A. J. P. Kenny. London: Duckworth. * 1977. ''Worlds, Times and Selves''. Edited by Kit Fine. London: Duckworth. * 2003. ''Papers on Time and Tense''. Second expanded edition by Per Hasle, Peter Øhrstrøm, Torben Braüner &
Jack Copeland Brian John Copeland (born 1950) is Professor of Philosophy at the University of Canterbury, Christchurch, New Zealand, and author of books on the computing pioneer Alan Turing. Education Copeland was educated at the University of Oxford, obta ...
. Oxford University Press.


References


Further reading

The nearest thing to a biography of Prior is: * Copeland, B. J., 1996, "Prior's Life and Legacy," in his edited volume ''Logic and Reality: Essays on the Legacy of Arthur Prior'', New York: Oxford University Press (pp. 519–32 of this volume contain a complete bibliography of Prior's known writings as of date). An excellent survey of Prior's life and achievement is: * A. J. P. Kenny 1970
"Arthur Norman Prior (1914–1969),"
''Proceedings of the British Academy'' 56: 321–349.
Dr. Mary Prior's (1922–2011) recollection of Arthur Prior's life and work
Ongoing research on the importance of Prior's philosophy and logic:
''Logic and Philosophy of Time: Themes from Prior''


External links

*
Foundations of Temporal Logic The WWW-site for Prior-studies

On Prior's Tense Logic
by Patrick Blackburn
Arthur Prior Centenary Conference, Balliol College, Oxford, 21 – 22 August, 2014

Prior's Nachlass
{{DEFAULTSORT:Prior, Arthur 1914 births 1969 deaths 20th-century essayists 20th-century New Zealand mathematicians 20th-century philosophers Academics of the University of Manchester Analytic philosophers Atheist philosophers Epistemologists Ethicists Fellows of Balliol College, Oxford Lecturers Mathematical logicians Metaphysicians Moral philosophers New Zealand atheists New Zealand emigrants to the United Kingdom New Zealand essayists New Zealand logicians New Zealand philosophers Ontologists People from Masterton Philosophers of ethics and morality Philosophers of logic Philosophers of mathematics Philosophy academics Philosophers of time Philosophy writers University of Canterbury faculty University of Otago alumni