David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan..
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Timothy Williamson (forthcoming). Objects, Properties and Contingent Existence. In W. K. Essler (ed.), Themes from Barcan Marcus.
Timothy Williamson (2010). Barcan Formulas in Second-Order Modal Logic. In Themes From Barcan Marcus. Ontos Verlag.
Sonia Roca-Royes (2011). Essentialism Vis-à-Vis Possibilia, Modal Logic, and Necessitism. Philosophy Compass 6 (1):54-64.
Phillip Bricker (2004). McGinn on Non-Existent Objects and Reducing Modality. [REVIEW] Philosophical Studies 118 (3):439-451.
Peter Loptson (1980). Logic and Contingent Existence. History and Philosophy of Logic 1 (1-2):171-185.
Dale Jacquette (2006). Crossroads of Logic and Ontology: A Modal-Combinatorial Analysis of Why There is Something Rather Than Nothing. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):17-46.
Reina Hayaki (2006). Contingent Objects and the Barcan Formula. Erkenntnis 64 (1):75 - 83.
Ian Hinckfuss (1988). Absolutism and Relationism in Space and Time: A False Dichotomy. British Journal for the Philosophy of Science 39 (2):183-192.
Alvin Plantinga (2003). Essays in the Metaphysics of Modality. Oxford University Press.
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Harry Deutsch (1994). Logic for Contigent Beings. Journal of Philosophical Research 19:273-329.
Melvin Fitting (2012). Barcan Both Ways. Journal of Applied Non-Classical Logics 9 (2-3):329-344.
Michael Kremer (2004). How Not to Argue for Incompatibilism. Erkenntnis 60 (1):1-26.
Richard Patterson (1995). Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press.
Jaakko Hintikka (2009). A Proof of Nominalism: An Exercise in Successful Reduction in Logic. In A. Hieke & H. Leitgeb (eds.), Reduction - Abstraction - Analysis. Ontos.
Added to index2010-12-22
Total downloads83 ( #15,038 of 1,098,984 )
Recent downloads (6 months)4 ( #79,853 of 1,098,984 )
How can I increase my downloads?