Cover
Half Title
Title Page
Copyright Page
Dedication
Table of Contents
Preface
Introduction: Logic, philosophy, analysis
1 Logical form
Concepts of logic
Logical units and reasoning chains
Deductively valid inference forms
Pragmatic formalization rationale
Formal semantics and logical metatheory
2 Monkey raisins
An expressive limitation
Surprisingly problematic quantifications
Monkeys and raisins, craisins and kmonkeys
Implications of the paradox
Classical alternatives
Intensional solution to the expressibility problem
The monkey's tale 3 The secret life of truth- functionsTruth- functions
Cornerstone of extensional logic
Truth- tables for all and sundry
Truth- function mysteries
Constant truth- functions
Counter- examples to extensionalism
Objections anticipated
Expanding the counter- example family
Formal standards of (non- )truth- functionality
Extensionalism beyond reason and repair
4 Reference and identity
Identity relata
Cognitive significance of non-trivially true identity statements
Objections to Frege's identity thesis
Self- identity and designation
What's in a name?
Idea, sense and reference Linsky's critique of FregeIdentical sense and the extensional criterion
Intentionality of meaning
Semantics as a theory of the expression of thought
Reference's debt to identity
5 Intensional versus extensional logic and semantics
Against the semantic grain
Referring and attributing properties to objects
Disguised definite descriptions
Problems in extensionalist reference models
Semantic oppositions idealized
Poverty of purely formal semantics
Davidson's T-schema
Purely formal semantics
Formalizing intentional meaning relations
Explanatory advantages of intensional semantics Slingshot arguments6 Truth
What is truth?
Truth and meaning, meaning and truth
Constitutive versus regulative truth
Frege's theory of reified truth and falsehood
Tarski's analysis of truth-conditions in formal languages
Regulative alternative to constitutive truth concepts
Positive correspondence
Truth-makers, truth-breakers
Negative states of affairs
True and false sentences
Conceivability of a null universe
7 Logical and semantic paradoxes
Why paradoxes matter
Philosophical legacy of inconsistency
Precarious logical integrity
A. Paradoxes of conditionals B. Self-non-applicationsC. Grelling's paradox contra type theory
D. Inductive paradoxes in a deductive logical framework
Conclusion: Moral lessons of logic
Notes
References
Index