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…
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.…
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…
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…
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…
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…
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,…
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.