https://de.wikipedia.org/w/api.php?action=feedcontributions&feedformat=atom&user=Paraconsistent Wikipedia - Benutzerbeiträge [de] 2025-06-24T01:08:28Z Benutzerbeiträge MediaWiki 1.45.0-wmf.6 https://de.wikipedia.org/w/index.php?title=Arthur_Norman_Prior&diff=92858983 Arthur Norman Prior 2008-08-25T01:14:01Z <p>Paraconsistent: </p> <hr /> <div>{{Infobox_Philosopher |<br /> &lt;!-- Scroll down to edit this page --&gt;<br /> &lt;!-- Philosopher Category --&gt;<br /> region = Western Philosophers |<br /> era = 20th-century philosophy |<br /> color = #B0C4DE |<br /> <br /> &lt;!-- Image and Caption --&gt;<br /> image_name = |<br /> image_caption = |<br /> <br /> &lt;!-- Information --&gt;<br /> name = Arthur Norman Prior|<br /> birth = [[December 4]], [[1914]] |<br /> death = [[October 6]], [[1969]] |<br /> school_tradition = [[Logic]] |<br /> main_interests = [[Temporal Logic]], [[Modal Logic]] |<br /> influences = [[John Niemeyer Findlay]], [[Józef Maria Bocheński]], [[Jan Łukasiewicz]] |<br /> influenced = [[John Lemmon]], [[Max Cresswell]], [[Robert Bull]], [[Kit Fine]], [[Patrick Blackburn]] |<br /> }}<br /> <br /> '''Arthur Norman Prior''' ([[1914]] [[Masterton]], [[New Zealand]] – [[1969]] [[Trondheim]], [[Norway]]) was a noted [[logic|logician]]. Prior (1957) founded [[tense logic]], now also known as [[temporal logic]], and made important contributions to [[intensional logic]], particularly in Prior (1971).<br /> <br /> Prior was entirely educated in New Zealand, where he was fortunate to have come under the influence of [[John Niemeyer Findlay]]. Despite knowing only modest mathematics, he began teaching philosophy and logic at [[Canterbury University College]] in 1946, filling the vacancy created by [[Karl Popper]]'s resignation. He became Professor in 1953. Thanks to the good offices of [[Gilbert Ryle]], who had met Prior in New Zealand in 1954, Prior spent the year 1956 on leave at the [[University of Oxford]], where he gave the [[John Locke]] [[John Locke lectures|lectures]] in philosophy. These were subsequently published as &quot;Time and Modality&quot; (1957). This is a seminal contribution to the study of tense logic and the metaphysics of time, in which Prior championed the A-theorist view that the temporal modalities past, present and future are basic ontological categories of fundamental importance for our understanding of time and the world. During his time at Oxford, Prior met [[Peter Geach]] and [[William Kneale]], influenced [[John Lemmon]], and corresponded with the adolescent [[Saul Kripke]]. Logic in the United Kingdom was then in a rather low state, and Prior's enthusiasm is believed to have contributed materially to its revival. From 1959 to 1966, he was Professor of Philosophy at the [[University of Manchester]]. From 1966 until his death he was Fellow and Tutor in philosophy at [[Balliol College, Oxford]]. His students include [[Max Cresswell]], [[Kit Fine]], and [[Robert Bull]]. <br /> <br /> Almost entirely self-taught in modern formal logic, Prior published his first paper on logic in 1952, when he was already 38 years of age, shortly after discovering the work of [[Józef Maria Bocheński]] and [[Jan Łukasiewicz]], very little of whose work was then translated into English. He went on to employ [[Polish notation]] 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 defence of a tensed conception of reality in which material objects are construed as three-dimensional continuants which are wholly present at each moment of their existence. <br /> <br /> Prior stood out by virtue of his strong interest in the history of logic. He was one of the first English-speaking logicians to appreciate the nature and scope of the logical work of [[Charles Peirce]], and the distinction between ''[[de dicto]]'' and ''[[de re]]'' in [[modal logic]]. Prior taught and researched [[modal logic]] before Kripke proposed his [[Kripke semantics|possible worlds semantics]] for it, at a time when modality and intentionality commanded little interested in the English speaking world, and had even come under sharp attack by [[Willard Quine]]. <br /> <br /> He is now said to be the precursor of [[hybrid logic]]. Undertaking (in one section of his book &quot;Past, Present, and Future&quot; (1967)) the attempt to combine binary (e.g. &quot;until&quot;) and unary (e.g. &quot;will always be&quot;) temporal operators to one system of temporal logic, Prior - as an incidental result - builds a base for later hybrid languages. <br /> <br /> 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, and no one was more skilled than Prior in separating the wisdom from the confusion. He was scrupulous in setting out the views of his adversaries, and provided many constructive suggestions about the formal development of alternative views. <br /> ==References==<br /> The following books were either written by Prior, or are posthumous collections of journal articles and unpublished papers he wrote.<br /> * 1955, 1962. ''Formal Logic''. OUP.<br /> * 1957. ''Time and Modality''. OUP. based on his 1956 [[John Locke lectures]].<br /> * 1967. ''Past, Present and Future''. OUP.<br /> * 1968. ''Papers on Time and Tense''. OUP.<br /> * 1971. ''Objects of Thought''. Edited by [[P. T. Geach]] and [[A. J. P. Kenny]]. OUP.<br /> * 1976. ''The Doctrine of Propositions and Terms''. Edited by P.T. Geach and A.J.P Kenny. London: Duckworth.<br /> * 1976. ''Papers in Logic and Ethics''. Edited by P.T. Geach and A.J.P Kenny. London: Duckworth.<br /> * 1977. ''Worlds, Times and Selves''. Edited by Kit Fine. London: Duckworth. <br /> * 2003. ''Papers on Time and Tense''. New Edition by Per Hasle, Peter Øhrstrøm, Torben Braüner &amp; Jack Copeland. OUP.<br /> <br /> The nearest thing to a biography of Prior is:<br /> * Copeland, B. J., 1996, &quot;Prior's Life and Legacy,&quot; in his edited volume ''Logic and Reality: Essays on the Legacy of Arthur Prior''. OUP. Pp. 519-32 of this volume contain a complete bibliography of Prior's known writings as of date.<br /> <br /> A excellent survey of Prior's life and achievement is: <br /> * [[A._J._P._Kenny| A.J.P. Kenny]] 1970, 'Arthur Norman Prior (1914-1969)' ''Proceedings of the British Academy'' 56: 321-349<br /> <br /> ==External links==<br /> * [http://plato.stanford.edu/entries/prior/ Arthur Prior], Stanford Encyclopedia of Philosophy<br /> * [http://www.huminf.aau.dk/prior/index2.htm Foundations of Temporal Logic]<br /> * [http://hylo.loria.fr/content/papers/files/tense.pdf On Prior's Tense Logic]<br /> <br /> {{DEFAULTSORT:Prior, Arthur}}<br /> [[Category:1914 births]]<br /> [[Category:1969 deaths]]<br /> [[Category:Logicians]]<br /> [[Category:New Zealand philosophers]]<br /> [[Category:20th century philosophers]]<br /> [[Category:People from Wellington Region]]<br /> <br /> [[fi:Arthur Prior]]</div> Paraconsistent