In Jc Beall (ed.), Liars and Heaps. Oxford University Press (2003)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Christopher Menzel (1998). Logical Form. In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge.
John MacFarlane, Logical Constants. Stanford Encyclopedia of Philosophy.
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 downloads16 ( #81,717 of 722,774 )
Recent downloads (6 months)1 ( #60,541 of 722,774 )
How can I increase my downloads?