David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 123 (2):165-193 (2000)
Take a formula of first-order logic which is a logical consequence of some other formulae according to model theory, and in all those formulae replace schematic letters with English expressions. Is the argument resulting from the replacement valid in the sense that the premisses could not have been true without the conclusion also being true? Can we reason from the model-theoretic concept of logical consequence to the modal concept of validity? Yes, if the model theory is the standard one for sentential logic; no, if it is the standard one for the predicate calculus; and yes, if it is a certain model theory for free logic. These conclusions rely inter alia on some assumptions about possible worlds, which are mapped into the models of model theory. Plural quantification is used in the last section, while part of the reasoning is relegated to an appendix that includes a proof of completeness for a version of free logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
John P. Burgess (2011). Kripke Models. In Alan Berger (ed.), Saul Kripke. Cambridge University Press.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Mario Gómez-Torrente (2000). A Note on Formality and Logical Consequence. Journal of Philosophical Logic 29 (5):529-539.
Tomis Kapitan (1982). On the Concept of Material Consequence. History and Philosophy of Logic 3 (2):193-211.
Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163-187.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
William H. Hanson & James Hawthorne (1985). Validity in Intensional Languages: A New Approach. Notre Dame Journal of Formal Logic 26 (1):9-35.
Eli Dresner (2010). Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. Notre Dame Journal of Formal Logic 52 (1):75-93.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
Timothy J. Carlson (2003). Ranked Partial Structures. Journal of Symbolic Logic 68 (4):1109-1144.
Added to index2009-01-28
Total downloads21 ( #68,698 of 1,088,601 )
Recent downloads (6 months)1 ( #69,601 of 1,088,601 )
How can I increase my downloads?