Graduate studies at Western
|Abstract||This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the semantic types of its primitive terms and their mode of combination determine the logical form of a sentence as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by a (canonical) proof of its T-sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that of identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well grounded.|
|Keywords||Logical Form Truth Theories Donald Davidson|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
John MacFarlane, Logical Constants. Stanford Encyclopedia of Philosophy.
Christopher Menzel (1998). Logical Form. In Edward Craig (ed.), Routledge Encyclopedia of Philosophy. Routledge.
Agustín Rayo & Timothy Williamson (2003). A Completeness Theorem for Unrestricted First-Order Languages. In Jc Beall (ed.), Liars and Heaps. Oxford University Press.
Ken Warmbrōd (1999). Logical Constants. Mind 108 (431):503 - 538.
Christopher Gauker (1990). Semantics Without Reference. Notre Dame Journal of Formal Logic 31 (3):437-461.
Added to index2009-01-28
Total downloads62 ( #18,296 of 734,603 )
Recent downloads (6 months)3 ( #26,098 of 734,603 )
How can I increase my downloads?