Neil Tennant

This paper addresses an objection raised by Timothy Williamson to the ‘restriction strategy’ that I proposed, in The Taming of The True, in order to deal with the Fitch paradox. Williamson provides a new version of a Fitch-style argument that purports to show that even the restricted principle of knowability suffers the same fate as the unrestricted one. I show here that the new argument is fallacious. The source of the fallacy is a misunderstanding of the condition used in stating the restricted knowability principle. I also rebut Williamson’s criticism of my argument for the claim that any proposition of the form ‘it is known that ϕ’ is decidable if ϕ is decidable.

The Taming of the True continues the project Neil Tennant began in Anti-realism and Logic of investigating and defending anti-realism. Tennant’s earlier book anticipated a second volume, in which issues related to empirical discourse would be addressed in greater detail. The Taming of the True provides this sequel. It also attempts a ground-clearing project, by addressing challenges to some of the presuppositions and implications of Tennant’s anti-realist position. Finally, it takes an opportunity to revisit some of the issues examined in the earlier book, in light of the evolving debate over realism and anti-realism.

1. This paper is an informal exposition of a model-theoretic semantics for knowledge and belief set out in full detail else where. Considerations of space and simplicity prevent any recapitulation of tracts of formal definitions. My aim is simply to inform the reader of the alleged existence of one “new direction” in semantics, and to direct him to the original source for its detailed development. I shall explain certain self-imposed limitations on the scope and adequacy conditions of this treatment. Then, in subsequent discussion of the semantical problems which I claim to have treated, I shall try to impart the flavour of the technical methods involved.

I clarify how the requirement of conservative extension features in the thinking of various deflationists, and how this relates to another litmus claim, that the truth-predicate stands for a real, substantial property. I discuss how the deflationist can accommodate the result, to which Cieslinski draws attention, that non-conservativeness attends even the generalization that all logical theorems in the language of arithmetic are true. Finally I provide a four-fold categorization of various forms of deflationism, by reference to the two claims of conservativeness and substantiality. This helps to clarify the various possible positions in the deflationism debate

Written for any readers interested in better harnessing philosophy’s real value, this book covers a broad range of fundamental philosophical problems and certain intellectual techniques for addressing those problems. In Introducing Philosophy: God, Mind, World, and Logic , Neil Tennant helps any student in pursuit of a ‘big picture’ to think independently, question received dogma, and analyse problems incisively. It also connects philosophy to other areas of study at the university, enabling all students to employ the concepts and techniques of this millennia-old discipline throughout their college careers – and beyond. KEY FEATURES AND BENEFITS: -- Investigates the philosophy of various subjects , helping students contextualize philosophy and view it as an interdisciplinary pursuit; also helps students with majors outside of philosophy to see the relationship between philosophy and their own focused academic pursuits -- Author comes from a distinguished background in Logic and Philosophy of Language, which gives the book a level of rigor, balance, and analytic focus sometimes missing from primers to philosophy -- Introduces students to various important philosophical distinctions providing skills that are important for undergraduates to develop in order to inform their study at higher levels. They are essential for further work in philosophy but they are also very beneficial for students pursuing most other disciplines -- Is much more methodologically comprehensive than competing introductions, giving the student the ability to address a wide range of philosophical problems – and not just the ones reviewed in the book -- Offers a companion website with links to apt primary sources, organized chapter-by-chapter, making unnecessary a separate Reader/Anthology of primary sources – thus providing students with all reading material necessary for the course -- Provides five to ten discussion questions for each chapter, helping instructors and students better interact with the ideas and concepts in the text

ABSTRACT The well-known AGM-theory-contraction and theory-revision, due to Alchourrón, Gärdenfors and Makinson, relies heavily on the so-called postulate of recovery. This postulate is supposed to capture the requirement of “minimum mutilation”; but it does not. Recovery can be satisfied even when there is more mutilation than is necessary. Recovery also ensures that very often too little is given up in a contraction, in this paper I bring out clearly the deficiencies of the AGM-theory in these two regards, showing how it is doubly off-beam. I show that some of the most serious inadequacies of the AGM-theory derive from early claims in some of its founding contributions, claims that have not been seriously questioned within the tradition since. The upshot of these investigations is that recovery cannot, and should not, be recovered. Theory contraction is hysteretic. Whether the AGM-theory can now recover is a good question.

The naive anti-realist holds the following principle: (◊K) All truths are knowable. This unrestricted generalization (◊K), as is now well known, falls prey to Fitch’s Paradox (Fitch 1963: 38, Theorem 1). It can be used as the only suspect principle, alongside others that cannot be impugned, to prove quite generally, and constructively, that the set {p, ¬Kp} is inconsistent (Tennant 1997: 261). From this it would follow, intuitionistically, that any proposition that is never actually known to be true (by anyone, at any time) is false; and it would follow, classically, that every truth is known (by someone, at some time).

The over-arching theme is that we can redeem Frege's key philosophical insights concerning (natural and real) numbers and our knowledge of them, despite Russell's famous discovery of paradox in Frege's own theory of classes. That paradox notwithstanding, numbers are still logical objects, in some sense created or generated by methods or principles of abstraction— which of course cannot be as ambitious as Frege's Basic Law U. These principles not only bring numbers into existence, as it were, but also afford a distinctive form of epistemic access to them. The usual mathematical axioms governing the two kinds of numbers are to be derived as results in (higher-order) logic. These derivations will exploit appropriate definitions of the primitive constants, functions, and predicates of the brand of number theory concerned. (For example: 0, 1; s, +, x; (; N(z); R(z).) No supplementation by intuition or sensory experience will be needed in the derivations of these axioms. The trains of reasoning involved will depend only on our grasp of logical validities, supplemented by appropriate definitions. Result: logicism is vindicated; and the mathematical knowledge derived in this way is revealed to be analytic, not synthetic

We present a logically detailed case-study of Darwinian evolutionary explanation. Special features of Darwin’s explanatory schema made it an unusual theoretical breakthrough, from the point of view of the philosophy of science. The schema employs no theoretical terms, and puts forward no theoretical hypotheses. Instead, it uses three observational generalizations—Variability, Heritability and Differential Reproduction—along with an innocuous assumption of Causal Efficacy, to derive Adaptive Evolution as a necessary consequence. Adaptive Evolution in turn, with one assumption of scale (‘Deep Time’), implies the observational generalization of Adaptation. It is a fascinating methodological task to regiment the premises and make the reasoning both rigorous and clear. Doing so reveals how surprisingly small an amount of mathematics is needed in order to carry out the argument. The investigation also reveals the crucial role played by heritability, and how heritability itself admits of Darwinian explanation

Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate. We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning an unrestricted Cut rule. The proof exploits the fact that in the relevantized logic, which abandons the unrestricted rule of Cut, any failure of the transitivity of deduction is offset by the epistemic gain involved in learning that a stronger-than-expected result holds

I present a general theory of abstraction operators which treats them as variable-binding term- forming operators, and provides a reasonably uniform treatment for definite descriptions, set abstracts, natural number abstraction, and real number abstraction. This minimizing, extensional and relational theory reveals a striking similarity between definite descriptions and set abstracts, and provides a clear rationale for the claim that there is a logic of sets (which is ontologically non- committal). The theory also treats both natural and real numbers as answering to a two-fold process of abstraction. The first step, of conceptual abstraction, yields the object occupying a particular position within an ordering of a certain kind. The second step, of objectual abstraction, yields the number sui generis, as the position itself within any ordering of the kind in question.