David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
In Jc Beall (ed.), Liars and Heaps. Oxford University Press (2003)
Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, treated as variables. A constituent of a sentence is logical just if it is formal in meaning, in the sense roughly that its application is invariant under permutations of individuals.1 Thus ‘=’ is a logical constant because no permutation maps two individuals to one or one to two; ‘∈’ is not a logical constant because some permutations interchange the null set and its singleton. Truth functions, the usual quantifiers and bound variables also count as logical constants. An argument is logically valid if and only if the conclusion is true under every assignment of semantic values to variables (including all non-logical expressions) under which all its premises are true. A sentence is logically true if and only if the argument with no premises of which it is the conclusion is logically valid, that is, if and only if the sentence is true under every assignment of semantic values to variables. An interpretation assigns values to all variables.
|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
Andrew Bacon (2013). Non-Classical Metatheory for Non-Classical Logics. Journal of Philosophical Logic 42 (2):335-355.
Timothy Williamson (2013). Logic, Metalogic and Neutrality. Erkenntnis (S2):1-21.
Timothy Williamson (2006). Indicative Versus Subjunctive Conditionals, Congruential Versus Non-Hyperintensional Contexts. Philosophical Issues 16 (1):310–333.
Salvatore Florio (2014). Unrestricted Quantification. Philosophy Compass 9 (7):441-454.
Agustín Rayo (2007). Plurals. Philosophy Compass 2 (3):411–427.
Similar books and articles
Christopher Menzel (1998). Logical Form. In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge
Mark T. Nelson (1995). Is It Always Fallacious to Derive Values From Facts? Argumentation 9 (4):553-562.
M. McKeon (2005). A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic. Journal of Philosophical Logic 34 (3):305 - 326.
Harold T. Hodes (2004). On The Sense and Reference of A Logical Constant. Philosophical Quarterly 54 (214):134-165.
Added to index2009-01-28
Total downloads41 ( #115,761 of 1,941,072 )
Recent downloads (6 months)6 ( #149,740 of 1,941,072 )
How can I increase my downloads?