Two concepts of validity and completeness
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
A formula is (materially) valid iff all its instances are true sentences; and an axiomatic system is called (materially) sound and complete iff it proves all and only valid formulas. These are 'natural' concepts of validity and completeness, which were, however, in the course of the history of modern logic, stealthily replaced by their formal descendants: formal validity and completeness. A formula is formally valid iff it is true under all interpretations in all universes; and an axiomatic system is called formally sound and complete iff it proves all and only formulas valid in this sense. Though the step from material to formal validity and completeness may seem to be merely an unproblematic case of explication, I argue that it is not; and that mistaking the latter concepts for the former ones may lead to serious conceptual confusions.
|Keywords||No keywords specified (fix it)|
|Categories||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
Theodora Achourioti & Michiel van Lambalgen (2011). A Formalization of Kant's Transcendental Logic. Review of Symbolic Logic 4 (2):254-289.
H. C. M. Swart & C. J. Posy (1981). Validity and Quantification in Intuitionism. Journal of Philosophical Logic 10 (1):117 - 126.
Wolfgang Stegmüller (1964). Remarks on the Completeness of Logical Systems Relative to the Validity-Concepts of P. Lorenzen and K. Lorenz. Notre Dame Journal of Formal Logic 5 (2):81-112.
Max A. Freund (2000). A Complete and Consistent Formal System for Sortals. Studia Logica 65 (3):367-381.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Gerard Allwein & Wendy MacCaull (2001). A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68 (2):173-228.
Susanne Bobzien (1996). Stoic Syllogistic. Oxford Studies in Ancient Philosophy 14:133-92.
Yannis Stephanou (2000). Model Theory and Validity. Synthese 123 (2):165-193.
William H. Hanson & James Hawthorne (1985). Validity in Intensional Languages: A New Approach. Notre Dame Journal of Formal Logic 26 (1):9-35.
Max A. Freund (2001). A Temporal Logic for Sortals. Studia Logica 69 (3):351-380.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #779,538 of 1,907,063 )
Recent downloads (6 months)0
How can I increase my downloads?