This is a collection of papers that helped shape the field of formal semantics in linguistics.

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

1. Formal semantics in linguistics -- 2. Generalized quantifier theory -- 3. The interface between syntax and semantics -- 4. Anaphora, discourse, and modality -- 5. Focus, presupposition, and negation -- 6. Tense -- 7. Questions -- 8. Plurals -- 9. Computational semantics -- 10. Lexical semantics -- 11. Semantics and related domains.

In ``Revising the Logic of LogicalRevision'' J. Salerno attempts to undermineCrispin Wright 's recent arguments forintuitionism, and to replace Wright andDummett's arguments with a revisionary argumentof his own. I show that Salerno's criticismsof Wright involve both attributing an inferenceto Wright that no intuitionist would make andfallaciously treating a negative universal asan existential negative. Then I show how verygeneral considerations about the nature ofwarrant undermine both Wright and Salerno'sarguments, when these arguments are applied todiscourses with defeasible warrants. WhileSalerno explicitly restricts his (...) discussion tomathematics, Wright and Dummett intend theirrevisionary arguments to have much widerscope. (shrink)

This chapter concentrates on two discussions, both of which enlist Wittgenstein's rule‐following considerations in support of radical and highly revisionary conclusions about the objectivity of meaning ‐ conclusions which may appear to entail, and have been taken to entail, consequences for the objectivity of truth and judgment which are no less radical and revisionary. There is widespread agreement that Wittgenstein advances, in the rule‐following sections of Philosophical Investigations and Remarks on the Foundations of Mathematics, considerations that are quite destructive of (...) certain conceptions of meaning, understanding, and rule‐following into which one may easily slide when attempts a general philosophical account of them. Saul Kripke interprets central sections of Philosophical Investigations as developing a 'skeptical paradox' about meaning. Kripke himself describes the skeptical conclusion as 'insane and intolerable'. (shrink)

Michael Dummett, Neil Tennant, and Crispin Wright all appeal to a priori restrictions on a philosophical explanation of linguistic competence to criticize classical logic and semantics. They also use these restrictions to defend verificationsim. In the negative part of my project I uncover interesting structural analogies between the Dummettian arguments for logical revision to show that they all require the truth of a stronger, and less plausible, form of verificationism than even the logical positivists were willing to countenance. This result, (...) I argue, genuinely is a modus tollens from which we should conclude that the explanatory demands Dummett and others place on the theory of meaning are mistaken. I then draw from the linguistic, lexicographic, and psychological literature to undermine the Dummettian view that an explanation of competence should recursively correlate dispositions necessary and sufficient for grasp of meaning with the aspects of meanings generated by a compositional semantics. Thus is eliminated the Dummettian impetus to identify such dispositions with the ability to recognize verifications. ;In the positive discussion I: characterize and defend a conception of tacit knowledge which renders the postulation of the mental reality of classical semantics both explanatory and plausible, show that many traditional philosophical questions concerning the epistemology of language can and should be recast as questions concerning how the theory of sentence meaning interacts with the theory of word meaning , and defend a roughly Davidsonian alternative to Dummett's theory of grasp of meaning. (shrink)

Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.

Michael Dummett’s realism debate is a semantic dispute about the kind of truth conditions had by a given class of sentences. According to his semantic realist, the truth conditions are potentially verification-transcendent in that they may obtain (or not) despite the fact that we may be forever unable to recognize whether they obtain. According to Dummett’s semantic anti-realist, the truth conditions are of a different sort. Essentially, for the anti-realist, that the truth conditions obtain (whenever they do) is a matter (...) that is always recognizable by us in principle. On this view, truth cannot outrun all possible human knowledge. Unsurprisingly, the outcome of the debate is sometimes said to hinge on whether all truths are knowable.1 More carefully the point of contention is the following.. (shrink)

In Chapter 7 of The Taming of the True, Neil Tennant provides a new argument from Michael Dummett's ``manifestation requirement'' to the incorrectness of classical logic and the correctness of intuitionistic logic. I show that Tennant's new argument is only valid if one interprets crucial existence claims occurring in the proof in the manner of intuitionists. If one interprets the existence claims as a classical logician would, then one can accept Tennant's premises while rejecting his conclusion of logical revision. Thus, (...) Tennant has provided no evidence that should convince anyone who is not already an intuitionist. Since his proof is a proof for the correctness of intuitionism, it begs the question. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.