Soundness Arguments for the consistency of a (mathematical) theory S aim to show that S is consistent by first showing or employing the fact that S is sound, i.e., that all theorems of S are true. Although soundness arguments are virtually unanimously accepted as valid and sound for most of our accepted theories, philosophers disagree about their epistemic value, i.e., about whether such arguments can be employed to improve our epistemic situation concerning questions of consistency. This article provides a (partial) (...) negative answer to this question and argues that soundness arguments cannot be employed to justify their conclusion. Additionally, soundness arguments are unconvincing; they cannot be employed to overcome reasonable open-mindedness about their conclusion. (shrink)

In this paper, I propose that 'true’ is polysemous, and thus ambiguous. I suggest that the semantic paradoxes both motivates taking 'true’ to be polysemous and shows that the concept truth is indefinitely extensible. In doing so, I explain that 'true’ is polysemous between the meanings corresponding to the subconcepts of the concept truth generated by such indefinite extensibility. I conclude that the proposal provides satisfying solutions to the semantic paradoxes.

Truth pluralists say that the nature of truth varies between domains of discourse: while ordinary descriptive claims or those of the hard sciences might be true in virtue of corresponding to reality, those concerning ethics, mathematics, institutions might be true in some non-representational or “anti-realist” sense. Despite pluralism attracting increasing amounts of attention, the motivations for the view remain underdeveloped. This paper investigates whether pluralism is well-motivated on ontological grounds: that is, on the basis that different discourses are concerned with (...) different kinds of entities. Arguments that draw on six different ontological contrasts are examined: concrete versus abstract entities; mind-independent versus mind-dependent entities; sparse versus merely abundant properties; objective versus projected entities; natural versus non-natural entities; and ontological pluralism. I argue that the additional premises needed to move from such contrasts to truth pluralism are either implausible or unmotivated, often doing little more than to bifurcate the nature of truth when a more theoretically conservative option is available. If there is a compelling motivation for pluralism, I suggest, it’s likely to lie elsewhere. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

Hartry Field distinguished two concepts of type‐free truth: scientific truth and disquotational truth. We argue that scientific type‐free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non‐classical logical treatment.