Graduate studies at Western
Synthese 123 (2):165-193 (2000)
|Abstract||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|
Similar books and articles
John P. Burgess (2011). Kripke Models. In Alan Berger (ed.), Saul Kripke. Cambridge University Press.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
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.
William H. Hanson & James Hawthorne (1985). Validity in Intensional Languages: A New Approach. Notre Dame Journal of Formal Logic 26 (1):9-35.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163-187.
Tomis Kapitan (1982). On the Concept of Material Consequence. History and Philosophy of Logic 3 (2):193-211.
Mario Gómez-Torrente (2000). A Note on Formality and Logical Consequence. Journal of Philosophical Logic 29 (5):529-539.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Timothy J. Carlson (2003). Ranked Partial Structures. Journal of Symbolic Logic 68 (4):1109-1144.
Added to index2009-01-28
Total downloads21 ( #65,479 of 739,473 )
Recent downloads (6 months)1 ( #61,778 of 739,473 )
How can I increase my downloads?