According to alethic functionalism, truth is a generic alethic property related to lower level alethic properties through the manifestation relation. The manifestation relation is reflexive; thus, a proposition’s truth-manifesting property may be a lower level property or truth itself, depending on the subject matter properties of the proposition. A true proposition whose truth-manifesting property is truth itself, rather than a lower level alethic property, is plainly true. Alethic functionalism relies on plain truth to account for the truth of propositions with (...) challenging subject matter properties, such as logically complex propositions and truth attributions. In this paper, it is argued that plain truth leads to a number of serious problems for alethic functionalism. First: Shapiro argues that plain truth threatens alethic functionalism with collapse to strong alethic monism; it is argued here that collapse is not merely threatened, but that, on pain of contradiction, collapse is immediate. Second, alethic functionalism’s commitment to alethic pluralism requires lower level alethic properties to be ways of being truth, where one property’s being a way of being the other property is irreflexive; thus, alethic functionalism is incoherent due to the conflicting commitments to a manifestation relation which is both reflexive and irreflexive. Third, it is argued that a reflexive manifestation relation leads to the contradiction that a lower level alethic property which manifests truth is both identical to and distinct from truth itself. Fourth, careful examination of the notion of a core truism shows that Objectivity and the correspondence intuition are the only core truisms. Finally, it is argued that the first and fourth problems jointly entail a collapse of alethic functionalism to strong correspondence monism. (shrink)

Recently, Paul Horwich has developed the minimalist theory of truth, according to which the truth predicate does not express a substantive property, though it may be used as a grammatical expedient. Minimalism shares these claims with Quine’s disquotationalism; it differs from disquotationalism primarily in holding that truth-bearers are propositions, rather than sentences. Despite potential ontological worries, allowing that propositions bear truth gives Horwich a prima facie response to several important objections to disquotationalism. In section I of this paper, disquotationalism is (...) given a careful exegesis, in which seven known objections are traced to the disquotational schema, and two new objections are raised. A version of disquotationalism which avoids two of the seven known objections is recommended. In section II, an examination of minimalism shows that it faces eight of the nine objections facing disquotationalism, plus a new objection. In section III, a finite formulation of minimalism proposed by Ernest Sosa is shown to meet five of the nine objections facing disquotationalism as well as the objection new to minimalism, though it faces another new objection. (shrink)

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like 'All the theorems are true', 'Everything Peter said is true', etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first-order logic, full second-order logic, and existential second-order (?11-) logic. (shrink)