Knowledge

Arthur Prior

Source 📝

33: 1094:
Studies and Exercises in Formal Logic and then (in his own phrase) he got stuck into Principia Mathematica. He learned a lot about the history of the subject from Peirce, whom he found 'unexpectedly magnificent'. An important discovery, in 1950, was Bochenski's Précis de Logique Mathematique (Bochenski 1949). Prior was fascinated by the 'very neat symbolic notation' due to Ɓukasiewicz, and before long he turned his back completely on the more usual Peano-Russell notation
1125:
Langford's Symbolic Logic, Bochenski's chapter 'La Logique de la Modalité' in his La Logique de Théophraste, and Feys' article 'Les SystÚmes Formalisés des Modalités Aristotéliciennes'...An important discovery, in 1950, was Bochenski's Précis de Logique Mathematique (Bochenski 1949). Prior was fascinated by the 'very neat symbolic notation' due to Ɓukasiewicz, and before long he turned his back completely on the more usual Peano-Russell notation.
478:. 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". 306:, 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 1248:
This idea that tensed propositions are liable to be true at one time and false at another became central to Prior's philosophy. In a summary of his views, composed nearly two decades later, he wrote: Certainly there are unchanging truths, but there are changing truths also, and it is a pity if logic
974:
He was influenced for several years by the theologian Arthur Miller, who combined a strict adherence to Presbyterian doctrine with an equally strong support for socialism and opposition to nationalism. But Prior's pacifism weakened, and he served from 1942 to 1945 in the New Zealand air force. And
935:
He was, at this stage of his life, obsessed with religion. He believed in the virgin birth and the voice of the devil, and was a devout Presbyterian (Prior 1940)...In later life, however, he described himself as having 'no religious beliefs' (Prior c.1967). In 1961, when Max Cresswell—then a logic
1124:
This paper was the curtain raiser to Prior's extensive study of Ɓukasiewicz's work on modality, and thereafter he read Ɓukasiewicz widely...To judge by his references in The Craft, his first encounters with modern symbolic modal logic must have been the pioneering explorations by Lewis in his and
349:
for Prior. In 1936, Prior married Clare Hunter, a freelance journalist, 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
1093:
Of the four technical papers that marked the explosive beginning of Prior's career as a formal logician in 1952 (1952a-d), two concerned modal logic...His one recourse in the face of isolation was to read, and read he did. In logic he began by returning to W.E. Johnson. Next came J.N. Keynes's
545:, 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 1217:
Prior was fascinated by the 'very neat symbolic notation' due to Ɓukasiewicz, and before long he turned his back completely on the more usual Peano-Russell notation...Formal Logic is steeped in Polish notation and the axiomatic method, and typifies Prior's mature
1158:
This paper was the curtain raiser to Prior's extensive study of Ɓukasiewicz's work on modality, and thereafter he read Ɓukasiewicz widely—even material in Polish, saying 'the symbols are so illuminating that the fact that the text is incomprehensible doesn't much
633:, 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. 1018:
Jakobsen, D. (2017) The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic. In: Hasle, P., Blackburn, P. and ØhrstrÞm, P.(eds.): Logic and Philosophy of Time: Themes from Prior. Aalborg University Press: pp. 63-82.
1034:
Jakobsen, D. (2017) The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic. In: Hasle, P., Blackburn, P. and ØhrstrÞm, P.(eds.): Logic and Philosophy of Time: Themes from Prior. Aalborg University Press: p 78.
497:. 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 509:
and more. 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
549:
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
395:
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
434:, 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 1553: 1498: 438:. 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 1448: 1315: 588:
for it, at a time when modality and intensionality commanded little interest in the English speaking world, and had even come under sharp attack by
1438: 333:
As the son of a doctor, Prior at first considered becoming a biologist, but ended up focusing on theology and philosophy, graduating from the
1303:, New York: Oxford University Press (pp. 519–32 of this volume contain a complete bibliography of Prior's known writings as of date). 1249:
ignores these, and leaves it 
 to comparatively informal 'dialecticians' to study the more 'dynamic' aspects of reality. (Prior 1996a: 46)
641:
The following books were either written by Prior, or are posthumous collections of journal articles and unpublished papers that he wrote:
1473: 936:
student aged 21—met him for the first time, in Manchester, Prior announced: 'Mr Cresswell, isn't it a pity that God does not exist'.
975:
the central focus of his interests gradually shifted - helped by an occasional bout of atheism - from theology to ethics and logic.
357:
After divorce from his first wife, he remarried in 1943 to Mary Wilkinson, with whom he would have two children. He served in the
1376: 891: 1009:
David Jakobsen (2019): A.N. Prior and ‘The Nature of Logic’, History and Philosophy of Logic, DOI: 10.1080/01445340.2019.1605479
1272: 603:(1967)) the attempt to combine binary (e.g., "until") and unary (e.g., "will always be") temporal operators to one system of 1533: 1053:
Copeland, J., (1996) Prior's Life and Legacy, In Logic and Reality, Edited by Copeland, J. Oxford University Press, pp. 6)
1020: 1558: 1360: 835: 537:, Prior published four major papers on logic in 1952, when he was 38 years of age, shortly after discovering the work of 1443: 887: 1299: 1513: 959: 658: 470:
categories of fundamental importance for our understanding of time and the world. Prior was several times warned by
322:
household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henwood Teague, were sent from
1334: 1483: 1433: 415:, his early criticism of Barth's adherence to Philosophical Idealism, is a mark of Findlay's influence on Prior. 1528: 1523: 1508: 1503: 1453: 1180: 560:. He was one of the first English-speaking logicians to appreciate the nature and scope of the logical work of 180: 1543: 1538: 1493: 1458: 1389: 808:
Andrew Bacon, John Hawthorne & Gabriel Uzquiano, "Higher-order free logic and the Prior-Kaplan paradox",
423: 411:, under whom he wrote his M.A. thesis on 'The Nature of Logic'. While Prior was very fond of the theology of 362: 142: 127: 1187:...It must have stood high in the author's own estimation, for in 1995 he began translating it into English. 435: 721: 1548: 358: 337:
in 1935 with a B.A. in philosophy. While studying for his B.A., Prior attended the seminary at Dunedin's
538: 407:
Prior was educated entirely in New Zealand, where he was fortunate to have come under the influence of
32: 701: 1463: 511: 1488: 650: 589: 519: 385: 1404: 561: 389: 1262: 1231: 1200: 1141: 1107: 1076: 918: 463: 377: 1518: 1428: 1423: 447: 373: 8: 676: 619: 475: 451: 338: 334: 199: 132: 87: 506: 442:'s view on pseudo-relations. He became Professor in 1953. Thanks to the good offices of 1478: 1468: 381: 365:
in February 1946. His first position was a lectureship which had become available when
345:
ministry. John Findlay, Professor of Philosophy at Otago, first opened up the study of
315: 115: 1373: 542: 446:, who had met Prior in New Zealand in 1954, Prior spent the year 1956 on leave at the 1268: 1176: 965: 955: 654: 615: 396: 287: 232: 954:. Donald M. Borchert (2nd ed.). Detroit: Thomson Gale/Macmillan Reference USA. 826: 792: 630: 585: 557: 1393: 1380: 1355: 830: 546: 327: 242: 184: 176: 1387:
Arthur Prior Centenary Conference, Balliol College, Oxford, 21 – 22 August, 2014
1035:
aauforlag.dk/UserFiles/file/Logic_and_Philosophy_of_Themes_from_Prior_ONLINE.pdf
1311: 710: 604: 486: 471: 431: 314:—remarried in 1920. There were three more children: Elaine, the epidemiologist 311: 283: 237: 1324: 1175:(2nd ed.). USA: Thomas Gale & MacMillan Reference. pp. 605–609. 330:
as missionaries in 1875. The Prior family first moved to New Zealand in 1893.
1417: 1294: 746: 745:. Second expanded edition by Per Hasle, Peter ØhrstrĂžm, Torben BraĂŒner & 523: 408: 392:. He continued his Manchester practice of accepting visiting professorships. 162: 152: 1351: 969: 895: 773: 596: 534: 515: 458:(1957). This is a seminal contribution to the study of tense logic and the 443: 439: 342: 227: 607:, Prior—as an incidental result—builds a base for later hybrid languages. 1325:
Dr. Mary Prior's (1922–2011) recollection of Arthur Prior's life and work
949: 706: 625:
Prior's work was both philosophical and formal and provides a productive
581: 577: 502: 498: 494: 490: 482: 467: 459: 427: 366: 303: 279: 275: 222: 204: 466:
view that the temporal modalities of past, present and future are basic
419: 412: 1044:
Prior, A.N., (1957) Time and Modality, Oxford University Press, p. vii
682:
1962. "Changes in Events and Changes in Things". University of Kansas.
1238:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 1207:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 1148:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 1114:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 1083:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 925:(Spring 2020 ed.), Metaphysics Research Lab, Stanford University 518:. From 1966 until his death he was Fellow and Tutor in philosophy at 319: 307: 299: 75: 56: 1330:
Ongoing research on the importance of Prior's philosophy and logic:
796: 553:
in which propositional statements can change truth value over time.
566: 527: 271: 166: 1386: 626: 550: 351: 323: 1398: 731:. Edited by P. T. Geach and A. J. P. Kenny. London: Duckworth. 1260: 572: 376:
as a visiting lecturer he took up a professorship in 1959 at
346: 1369:
Foundations of Temporal Logic The WWW-site for Prior-studies
361:
from 1943 to 1945 before embarking on an academic career at
1368: 992: 886:
Copeland, B. Jack. Zalta, Edward N.; Nodelman, Uri (eds.).
853: 1307:
An excellent survey of Prior's life and achievement is:
1297:, 1996, "Prior's Life and Legacy," in his edited volume 1061: 1059: 556:
Prior stood out by virtue of his strong interest in the
1300:
Logic and Reality: Essays on the Legacy of Arthur Prior
1005: 1003: 1056: 266:(4 December 1914 – 6 October 1969), usually cited as 720:. Edited by P. T. Geach and A. J. P. Kenny. London: 454:
in philosophy. These were subsequently published as
1000: 629:between formal innovation and linguistic analysis. 372:After returning to New Zealand following a year at 1254: 1065:Copeland, J (1996), Prior's Life and Legacy, p. 6. 774:Arthur Prior (Stanford Encyclopedia of Philosophy) 1405:"Some Problems of Self-Reference in John Buridan" 426:in February 1946, filling the vacancy created by 1415: 1135: 1133: 318:, and Owen. Arthur Prior grew up in a prominent 1336:Logic and Philosophy of Time: Themes from Prior 1022:Logic and Philosophy of Time: Themes from Prior 784:Mary Prior and Arthur Prior, "Erotetic Logic", 1554:Academic staff of the University of Canterbury 1290:The nearest thing to a biography of Prior is: 1130: 675:. Oxford University Press. Based on his 1956 1171:Lejewski, C. (2006). Borchert, David (ed.). 474:against making tense-logic the topic of his 1499:New Zealand emigrants to the United Kingdom 1408:Proceedings of the British Academy 48, 1962 599:. Undertaking (in one section of his book 31: 1449:Academics of the University of Manchester 380:where he remained until he was elected a 350:devout Presbyterian, though he became an 1261:Walter Carnielli; Claudio Pizzi (2008). 1229: 1198: 1170: 1139: 1105: 1074: 997:. A Brief Overview, accessed 8 June 2019 916: 738:. Edited by Kit Fine. London: Duckworth. 1439:20th-century New Zealand mathematicians 1236:The Stanford Encyclopedia of Philosophy 1205:The Stanford Encyclopedia of Philosophy 1146:The Stanford Encyclopedia of Philosophy 1112:The Stanford Encyclopedia of Philosophy 1081:The Stanford Encyclopedia of Philosophy 923:The Stanford Encyclopedia of Philosophy 892:The Stanford Encyclopedia of Philosophy 493:, and corresponded with the adolescent 462:of time, in which Prior championed the 310:and in France—where he was awarded the 1416: 718:The Doctrine of Propositions and Terms 595:He is now said to be the precursor of 533:Almost entirely self-taught in modern 286:, and made important contributions to 987: 985: 983: 947: 894:(Winter 2022 Edition). Archived from 769: 767: 765: 763: 481:During his time at Oxford, Prior met 250:Prior's paradox of derived obligation 1349: 885: 848: 846: 824: 402: 16:Logician and philosopher (1914–1969) 1361:Stanford Encyclopedia of Philosophy 836:Stanford Encyclopedia of Philosophy 13: 1474:Fellows of Balliol College, Oxford 1319:Proceedings of the British Academy 1316:"Arthur Norman Prior (1914–1969)," 1285: 980: 760: 430:'s resignation. In 1951 Prior met 14: 1570: 1343: 843: 341:but decided against entering the 290:, particularly in Prior (1971). 1223: 1192: 1164: 1099: 1068: 1047: 1038: 1028: 1012: 636: 1264:Modalities and Multimodalities 941: 910: 879: 867: 818: 810:Canadian Journal of Philosophy 802: 778: 580:. Prior taught and researched 564:, and the distinction between 1: 1234:, in Zalta, Edward N. (ed.), 1203:, in Zalta, Edward N. (ed.), 1144:, in Zalta, Edward N. (ed.), 1110:, in Zalta, Edward N. (ed.), 1079:, in Zalta, Edward N. (ed.), 921:, in Zalta, Edward N. (ed.), 753: 647:Logic and the Basis of Ethics 424:Canterbury University College 363:Canterbury University College 143:Canterbury University College 293: 7: 1534:Philosophers of mathematics 994:The Life of Prior (1914-69) 791:(1) (1955): pp. 43–59 584:before Kripke proposed his 359:Royal New Zealand Air Force 247:Prior's intensional paradox 173:Other notable students 10: 1575: 1559:University of Otago alumni 1230:Copeland, B. Jack (2020), 1199:Copeland, B. Jack (2020), 1173:Encyclopedia of Philosophy 1140:Copeland, B. Jack (2020), 1106:Copeland, B. Jack (2020), 1075:Copeland, B. Jack (2020), 951:Encyclopedia of philosophy 917:Copeland, B. Jack (2020), 749:. Oxford University Press. 729:Papers in Logic and Ethics 713:. Oxford University Press. 696:. Oxford University Press. 689:. Oxford University Press. 668:. Oxford University Press. 618:to explain the problem of 1444:20th-century philosophers 1267:. Springer. p. 181. 601:Past, Present, and Future 586:possible worlds semantics 270:, was a New Zealand–born 257: 213: 190: 172: 158: 148: 138: 126: 122: 111: 94: 83: 64: 42: 30: 23: 1514:New Zealand philosophers 1392:14 February 2015 at the 786:The Philosophical Review 743:Papers on Time and Tense 736:Worlds, Times and Selves 694:Papers on Time and Tense 687:Past, Present and Future 512:University of Manchester 472:J. J. C. Smart 432:J. J. C. Smart 388:in 1966 and appointed a 90:(B.A., 1935; M.A., 1937) 876:, 28 August 1875, p. 7. 854:"Tree – David Chalmers" 651:Oxford University Press 590:Willard Van Orman Quine 522:. His students include 520:Balliol College, Oxford 386:Balliol College, Oxford 278:. Prior (1957) founded 1484:Mathematical logicians 1434:20th-century essayists 1379:31 August 2013 at the 1374:On Prior's Tense Logic 815:(4–5): 493–541 (2016). 614:explored the use of a 562:Charles Sanders Peirce 1529:Philosophers of logic 1524:People from Masterton 1509:New Zealand logicians 1504:New Zealand essayists 1454:Analytic philosophers 539:JĂłzef Maria BocheƄski 378:Manchester University 369:left the university. 339:Knox Theological Hall 1544:Philosophers of time 1539:Philosophy academics 1494:New Zealand atheists 1459:Atheist philosophers 1383:by Patrick Blackburn 948:Cohen, L.J. (2006). 450:, where he gave the 448:University of Oxford 282:, now also known as 1350:Copeland, B. Jack. 677:John Locke lectures 620:non-referring names 530:, and Robert Bull. 476:John Locke lectures 452:John Locke lectures 335:University of Otago 264:Arthur Norman Prior 200:Philosophical logic 133:Analytic philosophy 88:University of Otago 25:Arthur Norman Prior 1549:Philosophy writers 702:Objects of Thought 418:He began teaching 409:J. N. Findlay 298:Prior was born in 1274:978-1-4020-8589-5 874:Adelaide Observer 673:Time and Modality 616:many-valued logic 612:Time and Modality 456:Time and Modality 403:Professional life 397:Trondheim, Norway 288:intensional logic 261: 260: 233:intensional logic 159:Doctoral students 149:Academic advisors 1566: 1399:Prior's Nachlass 1365: 1356:Zalta, Edward N. 1279: 1278: 1258: 1252: 1251: 1245: 1243: 1227: 1221: 1220: 1214: 1212: 1196: 1190: 1189: 1168: 1162: 1161: 1155: 1153: 1137: 1128: 1127: 1121: 1119: 1103: 1097: 1096: 1090: 1088: 1072: 1066: 1063: 1054: 1051: 1045: 1042: 1036: 1032: 1026: 1016: 1010: 1007: 998: 989: 978: 977: 945: 939: 938: 932: 930: 914: 908: 907: 905: 903: 883: 877: 871: 865: 864: 862: 860: 850: 841: 840: 831:Zalta, Edward N. 825:McNamara, Paul. 822: 816: 806: 800: 782: 776: 771: 631:Natural language 558:history of logic 514:, having taught 507:CzesƂaw Lejewski 268:A. N. Prior 181:Jonathan Bennett 71: 52: 50: 35: 21: 20: 1574: 1573: 1569: 1568: 1567: 1565: 1564: 1563: 1464:Epistemologists 1414: 1413: 1394:Wayback Machine 1381:Wayback Machine 1346: 1295:Copeland, B. J. 1288: 1286:Further reading 1283: 1282: 1275: 1259: 1255: 1241: 1239: 1228: 1224: 1210: 1208: 1197: 1193: 1183: 1169: 1165: 1151: 1149: 1138: 1131: 1117: 1115: 1104: 1100: 1086: 1084: 1073: 1069: 1064: 1057: 1052: 1048: 1043: 1039: 1033: 1029: 1017: 1013: 1008: 1001: 990: 981: 962: 946: 942: 928: 926: 915: 911: 901: 899: 898:on 6 March 2023 884: 880: 872: 868: 858: 856: 852: 851: 844: 827:"Deontic Logic" 823: 819: 807: 803: 797:10.2307/2182232 783: 779: 772: 761: 756: 639: 547:Polish notation 543:Jan Ɓukasiewicz 405: 354:later in life. 328:South Australia 296: 253: 216: 209: 193: 185:Richard Routley 183: 179: 177:Genevieve Lloyd 165: 107: 79: 73: 69: 60: 54: 53:4 December 1914 48: 46: 38: 26: 17: 12: 11: 5: 1572: 1562: 1561: 1556: 1551: 1546: 1541: 1536: 1531: 1526: 1521: 1516: 1511: 1506: 1501: 1496: 1491: 1489:Metaphysicians 1486: 1481: 1476: 1471: 1466: 1461: 1456: 1451: 1446: 1441: 1436: 1431: 1426: 1412: 1411: 1401: 1396: 1384: 1371: 1366: 1352:"Arthur Prior" 1345: 1344:External links 1342: 1341: 1340: 1328: 1327: 1322: 1312:A. J. P. Kenny 1305: 1304: 1287: 1284: 1281: 1280: 1273: 1253: 1232:"Arthur Prior" 1222: 1201:"Arthur Prior" 1191: 1181: 1163: 1142:"Arthur Prior" 1129: 1108:"Arthur Prior" 1098: 1077:"Arthur Prior" 1067: 1055: 1046: 1037: 1027: 1011: 999: 979: 960: 940: 919:"Arthur Prior" 909: 888:"Arthur Prior" 878: 866: 842: 817: 801: 777: 758: 757: 755: 752: 751: 750: 739: 732: 725: 714: 711:A. J. P. Kenny 697: 690: 683: 680: 669: 662: 638: 635: 605:temporal logic 487:William Kneale 404: 401: 312:Military Cross 295: 292: 284:temporal logic 259: 258: 255: 254: 252: 251: 248: 245: 240: 238:erotetic logic 235: 230: 225: 219: 217: 214: 211: 210: 208: 207: 202: 196: 194: 192:Main interests 191: 188: 187: 174: 170: 169: 160: 156: 155: 150: 146: 145: 140: 136: 135: 130: 124: 123: 120: 119: 118:(half-brother) 113: 109: 108: 106: 105: 104:Mary Wilkinson 102: 98: 96: 92: 91: 85: 81: 80: 74: 72:(aged 54) 68:6 October 1969 66: 62: 61: 55: 44: 40: 39: 36: 28: 27: 24: 15: 9: 6: 4: 3: 2: 1571: 1560: 1557: 1555: 1552: 1550: 1547: 1545: 1542: 1540: 1537: 1535: 1532: 1530: 1527: 1525: 1522: 1520: 1517: 1515: 1512: 1510: 1507: 1505: 1502: 1500: 1497: 1495: 1492: 1490: 1487: 1485: 1482: 1480: 1477: 1475: 1472: 1470: 1467: 1465: 1462: 1460: 1457: 1455: 1452: 1450: 1447: 1445: 1442: 1440: 1437: 1435: 1432: 1430: 1427: 1425: 1422: 1421: 1419: 1409: 1406: 1402: 1400: 1397: 1395: 1391: 1388: 1385: 1382: 1378: 1375: 1372: 1370: 1367: 1363: 1362: 1357: 1353: 1348: 1347: 1338: 1337: 1333: 1332: 1331: 1326: 1323: 1320: 1317: 1313: 1310: 1309: 1308: 1302: 1301: 1296: 1293: 1292: 1291: 1276: 1270: 1266: 1265: 1257: 1250: 1237: 1233: 1226: 1219: 1206: 1202: 1195: 1188: 1184: 1178: 1174: 1167: 1160: 1147: 1143: 1136: 1134: 1126: 1113: 1109: 1102: 1095: 1082: 1078: 1071: 1062: 1060: 1050: 1041: 1031: 1024: 1023: 1015: 1006: 1004: 996: 995: 988: 986: 984: 976: 971: 967: 963: 961:0-02-865780-2 957: 953: 952: 944: 937: 924: 920: 913: 897: 893: 889: 882: 875: 870: 855: 849: 847: 838: 837: 832: 828: 821: 814: 811: 805: 798: 794: 790: 787: 781: 775: 770: 768: 766: 764: 759: 748: 747:Jack Copeland 744: 740: 737: 733: 730: 726: 723: 719: 715: 712: 708: 704: 703: 698: 695: 691: 688: 684: 681: 678: 674: 670: 667: 663: 660: 659:0-19-824157-7 656: 652: 648: 644: 643: 642: 634: 632: 628: 623: 621: 617: 613: 608: 606: 602: 598: 593: 591: 587: 583: 579: 575: 574: 569: 568: 563: 559: 554: 552: 548: 544: 540: 536: 531: 529: 525: 524:Max Cresswell 521: 517: 513: 508: 504: 500: 496: 492: 489:, influenced 488: 484: 479: 477: 473: 469: 465: 461: 457: 453: 449: 445: 441: 437: 433: 429: 425: 422:and logic at 421: 416: 414: 410: 400: 398: 393: 391: 387: 383: 379: 375: 370: 368: 364: 360: 355: 353: 348: 344: 340: 336: 331: 329: 325: 321: 317: 313: 309: 305: 301: 291: 289: 285: 281: 277: 273: 269: 265: 256: 249: 246: 244: 241: 239: 236: 234: 231: 229: 226: 224: 221: 220: 218: 215:Notable ideas 212: 206: 203: 201: 198: 197: 195: 189: 186: 182: 178: 175: 171: 168: 164: 163:Max Cresswell 161: 157: 154: 153:J. N. Findlay 151: 147: 144: 141: 137: 134: 131: 129: 125: 121: 117: 114: 110: 103: 100: 99: 97: 93: 89: 86: 82: 77: 67: 63: 59:, New Zealand 58: 45: 41: 37:Prior in 1959 34: 29: 22: 19: 1407: 1359: 1335: 1329: 1321:56: 321–349. 1318: 1306: 1298: 1289: 1263: 1256: 1247: 1240:, retrieved 1235: 1225: 1216: 1209:, retrieved 1204: 1194: 1186: 1172: 1166: 1157: 1150:, retrieved 1145: 1123: 1116:, retrieved 1111: 1101: 1092: 1085:, retrieved 1080: 1070: 1049: 1040: 1030: 1021: 1014: 993: 973: 950: 943: 934: 927:, retrieved 922: 912: 900:. Retrieved 896:the original 881: 873: 869: 857:. Retrieved 834: 820: 812: 809: 804: 788: 785: 780: 742: 735: 728: 717: 705:. Edited by 700: 693: 686: 672: 666:Formal Logic 665: 664:1955, 1962. 646: 640: 637:Publications 624: 611: 609: 600: 597:hybrid logic 594: 571: 565: 555: 535:formal logic 532: 516:Osmund Lewry 480: 455: 444:Gilbert Ryle 440:Wittgenstein 417: 406: 394: 371: 356: 343:Presbyterian 332: 297: 267: 263: 262: 243:Prior's tonk 228:hybrid logic 139:Institutions 101:Clare Hunter 70:(1969-10-06) 18: 1519:Ontologists 1429:1969 deaths 1424:1914 births 1403:A.N. Prior 707:P. T. Geach 582:modal logic 578:modal logic 503:Peter Geach 499:John Lemmon 495:Saul Kripke 491:John Lemmon 483:Peter Geach 468:ontological 460:metaphysics 436:tense logic 428:Karl Popper 367:Karl Popper 304:New Zealand 280:tense logic 276:philosopher 223:Tense logic 205:modal logic 1418:Categories 1182:0028657853 991:Per Hasle 754:References 464:A-theorist 420:philosophy 413:Karl Barth 49:1914-12-04 1479:Lecturers 1469:Ethicists 722:Duckworth 610:His work 320:Methodist 316:Ian Prior 308:Gallipoli 300:Masterton 294:Biography 116:Ian Prior 112:Relatives 84:Education 76:Trondheim 57:Masterton 1390:Archived 1377:Archived 1159:matter'. 970:61151356 929:10 March 902:16 March 567:de dicto 528:Kit Fine 272:logician 167:Kit Fine 78:, Norway 1358:(ed.). 1242:9 March 1211:9 March 1152:9 March 1118:9 March 1087:9 March 859:22 July 833:(ed.). 627:synergy 551:reality 352:atheist 324:England 95:Spouses 1410:(1963) 1314:1970, 1271:  1179:  968:  958:  741:2003. 734:1977. 727:1976. 716:1976. 699:1971. 692:1968. 685:1967. 671:1957. 657:  645:1949. 390:Reader 382:Fellow 374:Oxford 128:School 1354:. In 1218:work. 829:. In 573:de re 347:logic 1269:ISBN 1244:2021 1213:2021 1177:ISBN 1154:2021 1120:2021 1089:2021 966:OCLC 956:ISBN 931:2021 904:2023 861:2020 709:and 655:ISBN 570:and 541:and 485:and 274:and 65:Died 43:Born 793:doi 576:in 384:of 326:to 1420:: 1246:, 1215:, 1185:. 1156:, 1132:^ 1122:, 1091:, 1058:^ 1002:^ 982:^ 972:. 964:. 933:, 890:. 845:^ 813:46 789:64 762:^ 649:. 622:. 592:. 526:, 505:, 501:, 399:. 302:, 1364:. 1339:. 1277:. 1025:. 1019:( 906:. 863:. 839:. 799:. 795:: 724:. 679:. 661:) 653:( 51:) 47:(

Index

Arthur Prior in Wakefield 1959
Masterton
Trondheim
University of Otago
Ian Prior
School
Analytic philosophy
Canterbury University College
J. N. Findlay
Max Cresswell
Kit Fine
Genevieve Lloyd
Jonathan Bennett
Richard Routley
Philosophical logic
modal logic
Tense logic
hybrid logic
intensional logic
erotetic logic
Prior's tonk
logician
philosopher
tense logic
temporal logic
intensional logic
Masterton
New Zealand
Gallipoli
Military Cross

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑