Synthese 193 (11) (2016)

“The Craft of Formal Logic” is Arthur Prior’s unpublished textbook, written in 1950–51, in which he developed a theory of modality as quantification over possible worlds-like objects. This theory predates most of the prominent pioneering texts in possible worlds semantics and anticipates the significance of its basic concept in modal logic. Prior explicitly defines modal operators as quantifiers of ‘entities’ with modal character. Although he talks about these ‘entities’ only informally, and hesitates how to name them, using alternately the phrases ‘possible states of affairs’, ‘chances’, ‘cases’ or ‘peculiar objects’, he is nevertheless very clear that they should be the fundamental concept of any theory of modality as a form of quantity. Without the assumption that modal operators quantify over such modal objects, the modal system will be incapable of distinguishing an actually true proposition from a necessarily true one. Due to the fact that Prior never made any direct reference to this theory in his subsequently published papers, it remained largely unknown. The comparison of “The Craft” with some of his papers on tense logic suggests that this early theory of modality underlies his later work on temporality
Keywords Arthur Prior’s unpublished manuscript  The Craft of Formal Logic  Arthur Prior’s early modal logic  Theory of modality  Possible worlds  History of possible world semantics
Categories (categorize this paper)
Reprint years 2016
DOI 10.1007/s11229-015-0912-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,242
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford University Press.
The Genesis of Possible Worlds Semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
The Syntax of Time-Distinctions.A. N. Prior - 1958 - Franciscan Studies 18 (2):105-120.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Is Modal Logic Logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Modal Intensionalism.Craig Warmke - 2015 - Journal of Philosophy 112 (6):309-334.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
The Fundamental Theorem of World Theory.Christopher Menzel & Edward N. Zalta - 2014 - Journal of Philosophical Logic 43:333-363.
The Ersatz Pluriverse.Theodore Sider - 2002 - Journal of Philosophy 99 (6):279-315.
Primitive Worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.


Added to PP index

Total views
38 ( #281,505 of 2,444,763 )

Recent downloads (6 months)
1 ( #457,287 of 2,444,763 )

How can I increase my downloads?


My notes