References
Bennett J. (1955) Iterated modalities. The Philosophical Quarterly 5(18): 45–56
Bocheński I., (1948). On the categorical syllogism. Dominican Studies, I, 35–57.
Bocheński, I. (1949). Précis de Logique Mathématique. Bussum, Netherlands: F.G. Kroonder.
Church A. (1940) Review: M. Lazerowitz, self-contradictory propositions. Journal of Symbolic Logic 5: 81–82
Feys R. (1950) Les systèmes formalisés des modalités aristotéliciennes. Revue Philosophique de Louvain 48: 478–509
Henle P. (1937) Review: Morris Lazerowitz, tautologies and the matrix method. Journal of Symbolic Logic 2: 141–142
Lejewski C. (1954) Logic and existence. British Journal for the Philosophy of Science 5: 104–119
Łukasiewicz J. (1948) The shortest axiom of the implicational calculus of propositions. Proceedings of the Royal Irish Academy 52 A: 25–33
Łukasiewicz J. (1951) Aristotle’s syllogistic from the standpoint of modern formal logic. Clarendon Press, Oxford
Łukasiewicz, J. (1951b). On variable functions of propositional arguments. Proceedings of the Royal Irish Academy, Section A: Mathematical and Physical Sciences, Vol. 54, (1951/1952), pp. 25–35.
Łukasiewicz, J. (1953a). The principle of individuation. Aristotelian Society Supplementary, 27, 77 ff.
Łukasiewicz J. (1953b) A system of modal logic. Journal of Computing Systems 1: 111–149
Melville H. (1851) Moby Dick. Oxford University Press, Oxford
Meredith C. (1951) On an extended system of propositional calculus. Proceedings of the Royal Irish Academy 54: 37–47
Nagel E. (1944) Review: Alice Ambrose, self-contradictory suppositions. Journal of Symbolic Logic 9: 46–47
Peirce, C. (1933). In C. Hartshorne & P. Weiss (Eds.), Collected Papers (Vol. 4). Cambridge, MA: Harvard University Press.
Prior A. (1955a) English and ontology. British Journal for the Philosophy of Science 6: 64–65
Prior A. (1955b) Formal logic. Clarendon Press, Oxford
Prior A. (1956) Modality and quantification in S5. The Journal of Symbolic Logic 21: 60–62
Prior A. (1962) Formal logic (2nd ed.). Clarendon Press, Oxford
Sobociński B. (1949a) ‘L’Analyse de l’Antinomie Russellienne par Leśniewski’. Methodos 1: 99–104
Sobociński B. (1949b) ‘L’Analyse de l’Antinomie Russellienne par Leśniewski’. Methodos 1: 220–228
Sobociński B. (1949c) ‘L’Analyse de l’Antinomie Russellienne par Leśniewski’. Methodos 1: 308–316
Sobociński B. (1950) ‘L’Analyse de l’Antinomie Russellienne par Leśniewski’. Methodos 2: 237–257
Sobociński B. (1953) On a modal system of Feys-von Wright. Journal of Computing Systems 1: 171–178
Suszko R. (1948) Review: Jerzy Slupecki, Uwagi o Sylogistyce Arystotelesa (Les Remarques sur la Syllogistique d’Aristote). Journal of Symbolic Logic 13: 166
Thomas I. (1951) Farrago Logica. Dominican Studies 4: 69–79
von Wright G. (1951) An essay in modal logic. North-Holland Publishing Company, Amsterdam
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper was written by A. N. Prior (1914–69). It is hitherto unpublished. The original is undated and kept in the Prior collection at Bodleian Library, Oxford. It is edited by Anne Kathrine Kjær, Jörg Zeller, and Peter Øhrstrøm.
Rights and permissions
About this article
Cite this article
Prior, A.N. The logic of obligation and the obligations of the logician. Synthese 188, 423–448 (2012). https://doi.org/10.1007/s11229-011-9935-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-011-9935-3