Browse Items (246 total)
Sort by:
Interview with Jim Wilson
Audio recording and transcript of the interview with Arthur Prior's student, colleague and friend Jim Wilson, conducted in March 2018
Stanislaw Lesniewski [photograph]
Stanisław Leśniewski (1886–1939) was a Polish logician who is regarded, together with Jan Łukasiewicz, as the founder of the Polish school of logic. He was the originator of an unorthodox system of the foundations of mathematics, based on three…
Arthur Prior's High School Academic Achievement
During his secondary education, Artur Prior was a student at Wairarapa College in Masterton. The 75th Jubilee Book of Wairarapa College, published in 1998, reveals his high academic achievements in high school. On p. 92 of the Jubilee Book, A.N.…
A.N. Prior, Logic notes III: "Predicates, quantifiers and descriptions" [lecture notes]
Logic lecture notes mimeographed at the Philosophy Department of the Canterbury University College/University of Canterbury. The notes are presented in 200 sections, divided in 5 topical parts. Each part has a separate title, separate pagination and…
A.N. Prior, Logic notes IV: "Modal logic" [lecture notes]
Logic lecture notes mimeographed at the Philosophy Department of the Canterbury University College/University of Canterbury. The notes are presented in 200 sections, divided in 5 topical parts. Each part has a separate title, separate pagination and…
A.N. Prior, Logic notes V: "Intuitionistic systems" [lecture notes]
Logic lecture notes mimeographed at the Philosophy Department of the Canterbury University College/University of Canterbury. The notes are presented in 200 sections divided in 5 topical parts. Each part has a separate title, separate pagination and…
A.N. Prior, "Some new systems of modal logic (1957-8)" [lecture notes]
Two pages of logic lecture notes mimeographed at the Philosophy Department of the Canterbury University College/University of Canterbury. The notes are titled 'Some new systems of modal logic (1957-8)' and were obviously meant to serve as an appendix…
A.N. Prior, "Systems of propositional calculus" [lecture notes]
Three pages of logic lecture notes mimeographed at the Philosophy Department of the University of Canterbury. The notes represent 8 sections of various propositional systems, meant obviously as an appendix to Logic notes III. The date is not given,…
A.N. Prior, "Some extensions of the system Q of Time and modality" [lecture notes]
Instructions and exercises for advanced logic course, on some extensions of the system Q that Prior developed in his book Time and modality. The paper is dated from November 1957.
A.N. Prior, "Tarski's concept of truth" [lecture notes]
Lecture paper on Tarski's theory of truth