Benjamin Schnieder has argued that several traditional definitions of truth-functionality fail to capture a central intuition informal characterizations of the notion often capture. The intuition is that the truth-value of a sentence that employs a truth-functional operator depends upon the truth-values of the sentences upon which the operator operates. Schnieder proposes an alternative definition of truth-functionality that is designed to accommodate this intuition. We argue that one traditional definition of ‘truth-functionality’ is (...) immune from the counterexamples that Schnieder proposes and is preferable to Schnieder’s alternative. (shrink)
This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, (...) the analyticity thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)
It is shown that the standard definitions of truth-functionality, though useful for their purposes, ignore some aspects of the usual informal characterisations of truth-functionality. An alternative definition is given that results in a stronger notion which pays attention to those aspects.
Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends (...) that result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)
In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not (...) class='Hi'>truthfunctionality as such that is the problem, but the philosophical foundation of modern logic. (shrink)
In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truthfunctionality and the material conditional. All approaches that (...) try to treat conditionals as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)
What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be (...) drawn between logics characterizable through: (1) genuinely finite-valued truth-tabular semantics; (2) no finite-valued but only an infinite-valued truthtabular semantics; (3) no truth-tabular semantics at all. Any of those logics, however, can in principle be characterized through non-truth-functional valuation semantics, at least as soon as their associated consequence relations respect the usual tarskian postulates. So, paradoxical as that might seem at first, it turns out that truth-functional logics may be adequately characterized by non-truth-functional semantics . Now, what feature of a given logic would guarantee it to dwell in class (1) or in class (2), irrespective of its circumstantial semantic characterization? (shrink)
The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken (...) to be orthomodular latticesP L, then bivalent mappings which preserve the operations and relations of aP L must be truth-functional . Then as suggested by von Neumann and Jauch-Piron and as proven in this paper, the mere presence of incompatible elements in aP L is sufficient to rule out any semantical or hidden-variable proposal which imposes this strong condition, for anytwo-or-higher dimensional Hilbert spaceP L structure. Thus from the orthomodular lattice perspective, the peculiarly non-classical feature of quantum mechanics and the peculiarly non-Boolean feature of the quantum propositional structures is the existence of incompatible magnitudes and propositions. However, the weaker truth-functionality condition can instead be imposed upon the semantic or hidden-variable mappings on theP L structures, although such mappings ignore the lattice meets and joins of incompatibles and preserve only the partial-Boolean algebra structural features of theP L structures. Or alternatively, the quantum propositional structures can be taken to be partial-Boolean algebrasP A, where bivalent mappings which preserve the operations and relations of aP A need only be truth-functional (c). In either case, the Gleason, Kochen-Specker proofs show that any semantical or hidden variable proposal which imposes this truth-functionality (c) condition is impossible for anythree-or-higher dimensional Hilbert spaceP A orP L structures. But such semantical or hidden-variable proposals are possible for any two dimensional Hilbert spaceP A orP L structures, in spite of the presence of incompatibles in these structures, in spite of the fact that Heisenberg's Uncertainty Principle applies to the incompatible elements in these structures, and in spite of the fact that these structures are non-Boolean in the Piron sense. (shrink)
This comment piece examines the distinction between negation of a statement and denial of its truth (assertion of its falsity), in the context of an early examination of Quine's related views. Where P is "Jones is ill," the author maintains, in contrast to Quine, that the negation of P is "Jones is ill" is false.
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective.
A plausible and popular rule governing the scope of truth-functional logic is shown to be indequate. The argument appeals to the existence of truth-functional paraphrases which are logically independent of their natural language counterparts. A more adequate rule is proposed.
I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.
Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that thisextended notion of fibring preserves completeness under certain reasonableconditions. This (...) completeness transfer result, the second main contributionof the paper, generalizes the one established in Zanardo et al. (2001) butis obtained using new techniques that explore the properties of a suitablemeta-logic (conditional equational logic) where the (possibly)non-truth-functional valuations are specified. The modal paraconsistentlogic of da Costa and Carnielli (1988) is studied in the context of this novel notionof fibring and its completeness is so established. (shrink)
Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of {T (true), F (false), U (undefined)}. As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth-function over {T, F, U} which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic (...) properties, called -isotonic, –-isotonic, hereditarily guarded, and hereditarily guard-using, and that a function satisfies these properties iff it is explicitly definable (in a certain normal form) from if..then..else..fi, binary choice, and constants. (shrink)
As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ?or? or ?if ? then? propositions. Simple rules make the converse, add or remove negations, and resolve propositions.
Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions (...) often stems from inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)
The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to (...) be completely redundant because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)
One of Frege's most characteristic ideas is his conception of truth-values as objects. On his account (from 1891 onwards), concepts are functions that map objects onto one of the two truth-values, the True and the False. These two truth-values are also seen as objects, an implication of Frege's sharp distinction between objects and functions. Crucial to this account is his use of function-argument analysis, and in this paper I explore the relationship between this use and his introduction (...) of truth-values as objects.In the first section I look at Frege's use of function-argument analysis in his first work, the Begriffsschrift, and stress the importance of the idea that such a use permits alternative analyses. In the second section I examine his early notion of conceptual content, and argue that there is a problem in understanding that notion once alternative analyses are allowed. In the third section I turn to his key 1891 paper, 'Function and Concept', where the idea of truth-values as objects first appears, and consider its motivation. In the concluding section I comment on Frege's general philosophical approach, which allowed objects to be readily 'analyzed out' in transforming one sentence into another. (shrink)
Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.
The idea that science aspires to and routinely achieves truths about the world has been challenged in recent writings. Rather than beginning with a theory of scientific development, or of scientific explanation, we begin with a consideration of truth claims in ordinary discourse, particularly with Davidson's truth-functional semantics. Next we consider the way in which some framework features of ordinary language discourse are extended to and modified in scientific discourse. Two areas are treated in more detail: quantum theory, (...) and the peculiar problem of semantic entailment it involves; and quantum field theory. These supply a basis for criticizing some historicist and logicist treatments of the truth of scientific claims. (shrink)
When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.
This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.
In this paper, I take issue with an idea that has emerged from recent relativist proposals, and, in particular, from Lasersohn (Linguistics and Philosophy 28: 643–686, 2005), according to which the correct semantics for taste predicates must use contents that are functions of a judge parameter (in addition to a possible world parameter) rather than implicit arguments lexically associated with such predicates. I argue that the relativist account and the contextualist implicit argument-account are, from the viewpoint of semantics, not much (...) more than notational variants of one another. In other words, given any sentence containing a taste predicate, and given any assignment of values to the relevant parameters, the two accounts predict the same truth value and are, in that sense, equivalent. I also look at possible reasons for preferring one account over the other. The phenomenon of “faultless disagreement” (cf. Kölbel, Truth without objectivity, 2002) is often believed to be one such reason. I argue, against Kölbel and Lasersohn, that disagreement is never faultless: either the two parties genuinely disagree, hence if the one is right then the other is wrong, or the two parties are both right, but their apparent disagreement boils down to a misunderstanding. What is more, even if there were faultless disagreement, I argue that relativism would fail to account for it. The upshot of my paper, then, is to show that there is not much disagreement between a contextualist account that models the judge parameter as an implicit argument to the taste predicate, and a relativist account that models it as a parameter of the circumstances of evaluation. The choice between the two accounts, at least when talking about taste, is thus, to a large extent, a matter of taste. (shrink)
Common-sense allows that talk about moral truths makes perfect sense. If you object to the United States’ Declaration of Independence’s assertion that it is a truth that ‘all men’ are ‘endowed by their Creator with certain unalienable Rights’, you are more likely to object that these rights are not unalienable or that they are not endowed by the Creator, or even that its wording ignores the fact that women have rights too, than that this is not the sort of (...) thing which could be a truth. Whether it is a truth or not seems beside the point, anyway; the writers of the Declaration could just have well written, ‘We hold it to be self-evident that all men are created equal, and also that it is self-evident that all men are endowed by their Creator with certain unalienable Rights,’ save only that its cadence would lack some of the poetic resonance of the version which garnered Hancock’s signature. Yet famously, ethical noncognitivists have proclaimed that moral sentences can’t be true or false – that, like ‘Hooray!’ or ‘dammit!’, they are not even the kinds of things to be true or false. Noncognitivism is sometimes even defined as the view that this is so, but even philosophers who define ‘noncognitivism’ more broadly, as consistent with the idea that moral sentences may be true or false, have believed that they needed to do important philosophical spadework in order to make sense of how moral sentences could be true or false. In this article we’ll look at the puzzle about moral truth as it is faced by early noncognitivists and by metaethical expressivists, the early noncognitivists’ contemporary cousins. We’ll look at what it would take for expressivists to ‘earn the right’ to talk about moral truths at all, and in particular at what it would take for them to earn the right to claim that moral truths behave in the ways that we should expect – including that meaningful moral sentences which lack presuppositions are true or false, and that classically valid arguments are truth-preserving.. (shrink)
Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms (...) play in discourse. We undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)
What is truth? Michael Lynch defends a bold new answer to this question. Traditional theories of truth hold that truth has only a single uniform nature. All truths are true in the same way. More recent deflationary theories claim that truth has no nature at all; the concept of truth is of no real philosophical importance. In this concise and clearly written book, Lynch argues that we should reject both these extremes and hold that (...) class='Hi'>truth is a functional property. To understand truth we must understand what it does, its function in our cognitive economy. Once we understand that, we'll see that this function can be performed in more than one way. And that in turn opens the door to an appealing pluralism: beliefs about the concrete physical world needn't be true in the same way as our thoughts about matters -- like morality -- where the human stain is deepest. (shrink)
Prosentential theorists claim that sentences such as “That’s true” are prosentences that function analogously to their better known cousins–pronouns. For example, just as we might use the pronoun ‘he’ in place of ‘James’ to transform “James went to the supermarket” into “He went to the supermarket,” so we might use the prosentenceforming operator ‘is true’ to transform “Snow is white” into “‘Snow is white’ is true.” According to the prosentential theory of truth, whenever a referring expression (for example, a (...) definite description or a quote-name) is joined to the truth predicate, the resulting statement contains no more content than the sentence(s) picked out by the referring expression. To assert that a sentence is true is simply to assert or reassert that sentence; it is not to ascribe the property of truth to that sentence. The prosentential theory is one kind of deflationary theory of truth. Like all deflationary theories, it provides an alternative to explanations of truth that analyze truth in terms of reference, predicate satisfaction or a correspondence relation. (shrink)
ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic (...) basic principles of propositional logic; 4. Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)
(i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories of (...)truth; truth correspondence. (xvii), (xviii) and (xix) and (xx) Implications for the principle of bivalence, the law of excluded middle, and the principle of non-contradiction. (xxi) Recapitulation. (xxii) ‘That’ and entailment. (xxiii) Propositions not entities, subsistent or otherwise. Footnotes1 This article was stimulated by some remarks by J. J. C. Smart in criticism of a piece of work (God, Freedom and Immortality, Ashgate, 1999) that he was kind enough to read for me. I am greatly indebted to my friend David Rees for correcting the manuscript, and making some valuable suggestions concerning its content. (shrink)
One of the most influential men of his time, philosopher, psychologist, educator, and author William James (1842-1910) helped lead the transition from a predominantly European-centered nineteenth-century philosophy to a new "pragmatic" American philosophy. Helping to pave the way was his seminal book Pragmatism (1907), in which he included a chapter on "Truth," an essay which provoked severe criticism. In response, he wrote the present work, an attempt to bring together all he had ever written on the theory of knowledge, (...) including an article on the function of cognition, later polemic and expository contributions, and some replies to previous criticism. The result was a full and definitive expression of the pragmatist "epistemology" from James' point of view. In the book, he urges the reader to "turn away from abstractions, verbal solutions, fixed principles, and pretended absolutes and look for concreteness and facts, action and power," arguing that "the ultimate test for us of what a truth means is the conduct it dictates or inspires." For students, scholars--anyone interested in William James or the history of American philosophical thought--this book offers an in-depth exposition of the influential ideas of one of the greatest American thinkers. Unabridged republication of the edition originally published by Longmans, Green and Co., New York and London, 1909. (shrink)
In The Crane's Walk, Jeremy Barris seeks to show that we can conceive and live with a pluralism of standpoints with conflicting standards for truth--with the truth of each being entirely unaffected by the truth of the others. He argues that Plato's work expresses this kind of pluralism, and that this pluralism is important in its own right, whether or not we agree about what Plato's standpoint is.The longest tradition of Plato scholarship identifies crucial faults in Plato's (...) theory of Ideas. Barris argues that Plato deliberately displayed those faults, because he wanted to demonstrate that basic kinds of error or illogic have dimensions that are crucial to the establishing of truth. These dimensions legitimate a paradoxical coordination of logically incompatible conceptions of truth. Connecting this idea with emerging currents of Plato scholarship, he emphasizes, in addition to the dialogues' arguments, the importance of their nonargumentative features, including drama, myths, fictions, anecdotes, and humor. These unanalyzed nonargumentative features function rigorously, as a lever with which to examine the enterprise of rational argument itself, without presupposing its standards or illegitimately assimilating any position to the standards of another.Today, communities are torn apart by conflicts within and between a host of different pluralist and absolutist commitments. The possibility developed in this book-a coordination of absolute and relative truth that allows an understanding of some relativist and some absolutist positions as being fully legitimate and as capable of existing in a relation to their opposites-may contribute to perspectives for resolving these conflicts. (shrink)
This paper defends a key aspect of the Peircean conception of truth—the idea that truth is in some sense epistemically-constrained. It does so by exploring parallels between Peirce’s epistemology of inquiry and that of Wittgenstein in On Certainty. The central argument defends a Peircean claim about truth by appeal to a view shared by Peirce and Wittgenstein about the structure of reasons. This view relies on the idea that certain claims have a special epistemic status, or function (...) as what are popularly called ‘hinge propositions’. (shrink)
Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (...) (T) requires. (shrink)
We say that a sentence A is a permissive consequence of a set of premises Gamma whenever, if all the premises of Gamma hold up to some standard, then A holds to some weaker stan- dard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a uni ed treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for (...) class='Hi'>truth, it supports the requisit of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. . (shrink)
There are two different ways to introduce the notion of truthin constructive mathematics. The first one is to use a Tarskian definition of truth in aconstructive (meta)language. According to some authors, (Kreisel, van Dalen, Troelstra ... ),this definition is entirely similar to the Tarskian definition of classical truth (thesis A).The second one, due essentially to Heyting and Kolmogorov, and known as theBrouwer–Heyting–Kolmogorov interpretation, is to explain informally what it means fora mathematical proposition to be constructively proved. According to (...) other authors (Martin-Löfand Shapiro), this interpretation and the Tarskian definition of truth amount to thesame (thesis B). My aim in this paper is to show that thesis A is only reasonable, that thesis Bis false and to answer the following question: what is defined by the Tarskian definition ofconstructive truth? (shrink)
The revisionary approach to semantic paradox is commonly thought to have a somewhat uncomfortable corollary, viz. that, on pain of triviality, we cannot affirm that all valid arguments preserve truth (Beall2007, Beall2009, Field2008, Field2009). We show that the standard arguments for this conclusion all break down once (i) the structural rule of contraction is restricted and (ii) how the premises can be aggregated---so that they can be said to jointly entail a given conclusion---is appropriately understood. In addition, we briefly (...) rehearse some reasons for restricting structural contraction. (shrink)
This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic (...) class='Hi'>truth and its notion’s indispensable substantive explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)
Machine generated contents note: -- Preface -- Introduction: Truth in Trouble -- The Linguistic Conception of Truth -- The Functions Truth Serves -- Truth in Action -- Acting Truly -- The Genesis of Representations -- Acts of Assertion -- The Truth of Statements -- The Challenge of Sceptical Relativism -- Truth as Faithfulness -- Bibliography -- Index.
We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the (...) hand of Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)
Although it is eommon to attribute to Wittgenstein in the Tractatus a treatment of general propositions as equivalent to eonjunctions and disjunctions of instance propositions, the evidence for this is not perfeetly clear. This article considers Wittgenstein’s comments in 5.521, which can be read as rejecting such a treatment. It argues that properly situating the Tractatus historically allows for a revised reading of 5.521 and other parts of the Tractatus relevant to Wittgenstein’s theory of generality. The result is that 5.521 (...) does not conflict with the view that general propositions are truth-functions of instance propositions. Common problems with such a view are to some extent obviated by the fact that Wittgenstein, following Russell and Moore, was not concerned with a syntactically defined language, but with propositions conceived as independent of a fixed language. (shrink)
Two of the main intuitions that underlie the phenomenon of vagueness are the truth-functional and the penumbral intuitions. After presenting and contrasting them, I will put forward Tappenden's gappy approach to vagueness (which takes into account the truth-functional intuition). I will contrast Tappenden'sview with another of the theories of vagueness that see it as a semantic phenomenon: Supervaluationism (which takes into account the penumbral intuition). Then I will analyze some objections to Tappenden's approach and some objections to Supervaluationism. (...) Finally, I will present my own worries about Tappenden's account. (shrink)
Although the truth value (falsity) of "Henry knows that (dogs live in trees and beavers chew wood)" remains unchanged no matter what sentence is substituted in it for "beavers chew wood", we want not to regard the second as a truth functional component (tfc) of the first. Many definitions of "tfc" (e.g., Quine's) fail to insure satisfaction of the following principle: if p is a component of r which is in turn a component of q, then p is (...) a tfc of q if and only if 1) p is also a tfc of r, and 2) r is also a tfc of q. (shrink)
I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, (...) since, in their context of assertion V was bivalent. This theory requires a theory of assertion that is a form of cognitive expressivism. (shrink)
Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth (according to which truth is a transparent concept but not a property). I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and stability, and (...) draw some lessons for the soundness of its conception of truth. (shrink)
My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some (...) feature to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)
Fiction is often characterized by way of a contrast with truth, as, for example, in the familiar couplet “Truth is always strange/ Stranger than fiction" (Byron 1824). And yet, those who would maintain that “we will always learn more about human life and human personality from novels than from scientific psychology” (Chomsky 1988: 159) hold that some truth is best encountered via fiction. The scrupulous novelist points out that her work depicts no actual person, either living or (...) dead; nonetheless, we use names from fiction in ways that suggest that we take these names to refer. Philosophers who investigate fiction aim to reconcile such apparently incompatible phenomena, and, in general, to account for the myriad ways that we talk, think, and feel about fiction. (shrink)
Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, (...) linguists, and psychologists. (shrink)
This paper is a reply to Michael Lynch's "Truth, Value and Epistemic Expressivism" in Philosophy and Phenomenological Research for 2009. It argues that Lynch's argument against expressivism fails because of an ambiguity in the employed notion of an 'epistemically disengaged standpoint'.
Relativism has dominated many intellectual circles, past and present, but the twentieth century saw it banished to the fringes of mainstream analytic philosophy. Of late, however, it is making something of a comeback within that loosely configured tradition, a comeback that attempts to capitalize on some important ideas in foundational semantics. Relativism and Monadic Truth aims not merely to combat analytic relativism but also to combat the foundational ideas in semantics that led to its revival. Doing so requires a (...) proper understanding of the significance of possible worlds semantics, an examination of the relation between truth and the flow of time, an account of putatively relevant data from attitude and speech act reporting, and a careful treatment of various operators. Throughout, Herman Cappelen and John Hawthorne contrast relativism with a view according to which the contents of thought and talk are propositions that instantiate the fundamental monadic properties of truth simpliciter and falsity simpliciter. Such propositions, they argue, are the semantic values of sentences (relative to context), the objects of illocutionary acts, and, unsurprisingly, the objects of propositional attitudes. (shrink)
What is truth? -- Varieties of deflationism -- A defense of minimalism -- The value of truth -- A minimalist critique of Tarski -- Kripke's paradox of meaning -- Regularities, rules, meanings, truth conditions, and epistemic norms -- Semantics : what's truth got to do with it? -- The motive power of evaluative concepts -- Ungrounded reason -- The nature of paradox -- A world without 'isms' -- The quest for reality -- Being and truth (...) -- Provenance of chapters. (shrink)
Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, (...) modal truths, truths about the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)
Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and enjoy here.
Paul Horwich (2005). Truth. In Frank Jackson & Michael Smith (eds.), The Oxford Handbook of Contemporary Philosophy. Oxford University Press.score: 18.0
What is truth. Paul Horwich advocates the controversial theory of minimalism, that is that the nature of truth is entirely captured in the trivial fact that each proposition specifies its own condition for being true, and that truth is therefore an entirely mundane and unpuzzling concept. The first edition of Truth, published in 1980, established itself as the best account of minimalism and as an excellent introduction to the debate for students. For this new edition, Horwich (...) has refined and developed his treatment of the subject in the light of subsequent discussions, while preserving the distinctive format that made the earlier edition so successful. (shrink)
Postmodernists claim that there is no truth. However, the statement 'there is no truth' is self-contradictory. This essay shows the following: One cannot state the idea 'there is no truth' universally without creating a paradox. In contrast, the statement 'there is truth' does not produce such a paradox. Therefore, it is more logical that truth exists.
We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)
This paper presents an account of the manner in which a proposition’s immediate structural features are related to its core truth-conditional features. The leading idea is that for a proposition to have a certain immediate structure is just for certain entities to play certain roles in the correct theory of the brute facts regarding that proposition’s truth conditions. The paper explains how this account addresses certain worries and questions recently raised by Jeffery King and Scott Soames.
A popular account of epistemic justification holds that justification, in essence, aims at truth. An influential objection against this account points out that it is committed to holding that only true beliefs could be justified, which most epistemologists regard as sufficient reason to reject the account. In this paper I defend the view that epistemic justification aims at truth, not by denying that it is committed to epistemic justification being factive, but by showing that, when we focus on (...) the relevant sense of ‘justification’, it isn’t in fact possible for a belief to be at once justified and false. To this end, I consider and reject three popular intuitions speaking in favor of the possibility of justified false beliefs, and show that a factive account of epistemic justification is less detrimental to our normal belief forming practices than often supposed. (shrink)
It is common to hear talk of the aim of belief and to find philosophers appealing to that aim for numerous explanatory purposes. What belief's aim explains depends, of course, on what that aim is. Many hold that it is somehow related to truth, but there are various ways in which one might specify belief's aim using the notion of truth. In this article, by considering whether they can account for belief's standard of correctness and the epistemic norms (...) governing belief, I argue against certain prominent specifications of belief's aim given in terms of truth, and advance a neglected alternative. (shrink)
That truth provides the standard for believing appears to be a platitude, one which dovetails with the idea that in some sense belief aims only at the truth. In recent years, however, an increasing number of prominent philosophers have suggested that knowledge provides the standard for believing, and so that belief aims only at knowledge. In this paper, I examine the considerations which have been put forward in support of this suggestion, considerations relating to lottery beliefs, Moorean beliefs, (...) the criticism and defence of belief, and the value of knowledge. I argue that those considerations do not give us reason to give up the truth view in favour of the knowledge view and, moreover, that reflection on those considerations gives us some reason to reject the knowledge view. Thus, I conclude, we can continue to the take the apparent platitude at face value. (shrink)
In recent work on contextdependency, it has been argued that certain types of sentences give rise to a notion of relative truth. In particular, sentences containing predicates of personal taste and moral or aesthetic evaluation as well as epistemic modals are held to express a proposition (relative to a context of use) which is true or false not only relative to a world of evaluation, but other parameters as well, such as standards of taste or knowledge or an agent. (...) Thus, a sentence like chocolate tastes good would express a proposition p that is true or false not only at a world of evaluation, but relative to the additional parameter as well, such as a parameter of taste or an agent. I will argue that the sentences that apparently give rise to relative truth should be understood by relating them in a certain way to the first person. More precisely, such sentences express what I will call firstpersonbased genericity, a form of generalization that is based on or directed toward an essential firstperson application of the predicate. The account differs from standard relative truth account in crucial respects: it is not the truth of the proposition expressed that is relative to the first person; the proposition expressed by a sentence with a predicate of taste rather has absolute truth conditions. Instead it is the propositional content itself that requires a firstpersonal cognitive access whenever it is entertained. This account, I will argue, avoids a range of problems that standard relative truth theories of the sentences in question face and explains a number of further peculiarities that such sentences display. (shrink)
I argue that conventional implicatures embed in logical compounds, and are non-truth-conditional contributors to sentence meaning. This, I argue has significant implications for how we understand truth, truth-conditional content, and truth-bearers.
In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.
Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. (...) Kant's claim is not a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)
Epithets and attitudes -- When truth gives out -- What the emotivists should have said -- What's the matter with relativism? -- Matters of taste -- Appendix 1 : what can be said? -- Appendix 2 : relativism and contextualism about knowledge.
In the Pre-Qin time, pursuing “Dao” was the main task in the scholarship of most of the ancient Chinese philosophers, while the Ancient Greek philosophers considered pursuing “Truth” as their ultimate goal. While the “Dao” in ancient Chinese texts and the “Truth” in ancient Greek philosophic literature do share or cross-cover certain connotations, there are subtle and important differences between the two comparable philosophic concepts. These differences have deep and profound impact on the later development of Chinese and (...) Western philosophy and culture respectively. Interestingly, while the modern Chinese philosophy has gradually accepted and established the Western conception of “Truth” on its way towards modernization, the “post-modern” Western philosophy is just undergoing a process of deconstructing its traditional concept of “Truth”, thus, in a certain sense, going closer to the traditional Chinese “Dao”. From a comparative, relative and dynamic perspective, there could possibly be a fusion of horizon between the Chinese “Dao” and the Western “Truth”. (shrink)
Constructive empiricists claim to offer a reconstruction of the aim and practice of science without adopting all the metaphysical commitments of scientific realism. Deflationists about truth boast of the ability to offer a full account of the nature of truth without adopting the metaphysical commitments accompanying substantive accounts. Though the two views would form an attractive package, I argue that the pairing is not possible: constructive empiricism requires a substantive account of truth. I articulate what sort of (...) account of truth and empirical adequacy the constructive empiricist must offer and then show why deflationists cannot uphold such an account. (shrink)
Draft for Martinich and Hoekstra (ed.), Oxford Handbook of Hobbes. -/- Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means (...) anything more by 'absurd' than 'false'. And it pays particular attention to Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (shrink)
In this paper, we defend Davidson's program in truth-theoretical semantics against recent criticisms by Scott Soames. We argue that Soames has misunderstood Davidson's project, that in consequence his criticisms miss the mark, that appeal to meanings as entities in the alternative approach that Soames favors does no work, and that the approach is no advance over truth-theoretic semantics.
I want to discuss a puzzle about the semantics of epistemic modals, like “It might be the case that” as it occurs in “It might be the case that Goldbach’s conjecture is false.”1 I’ll argue that the puzzle cannot be adequately explained on standard accounts of the semantics of epistemic modals, and that a proper solution requires relativizing utterance truth to a context of assessment, a semantic device whose utility and coherence I have defended elsewhere for future contingents (MacFarlane..
The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., (...) collective truth. A semantics is developed (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)
It is almost universally presumed that knowledge is factive: in order to know that p it must be the case that p is true. This idea is often justified by appealing to knowledge ascriptions and related linguistic phenomena; i.e., an utterance of the form ‘S knows that p, but not-p’ sounds contradictory. In a recent article, Allan Hazlett argues that our ordinary concept of knowledge is not factive. From this it seems to follow that epistemologists cannot appeal to ordinary language (...) to justify the truth condition of knowledge. More significantly, Hazlett claims that epistemologists theorizing about knowledge should not concern themselves with the ordinary concept of knowledge as revealed by knowledge ascriptions and related linguistic phenomena. My paper has two goals: first, to defend the orthodox view that the ordinary concept of knowledge is factive; second, to undermine Hazlett’s claim that epistemologists should not theorize about knowledge on the basis of how ‘knows’ is used in everyday speech. (shrink)
In this paper I will be concerned with the question as to whether expressivist theories of meaning can coherently be combined with deflationist theories of truth. After outlining what I take expressivism to be and what I take deflationism about truth to be, I’ll explain why I don’t take the general version of this question to be very hard, and why the answer is ‘yes’. Having settled that, I’ll move on to what I take to be a more (...) pressing and interesting version of the question, arising from a prima facie tension between deflationism about truth and the motivations underlying expressivism for what I take to be two of its most promising applications: to indicative conditionals and epistemic modals. Here I’ll argue that the challenge is substantive, but that there is no conceptual obstacle to its being met, provided that one’s expressivism takes the right form. (shrink)
"Much truth is spoken, that more may be concealed," wrote Mr. Justice Darling in 1879. Opening with an articulation of the distinction between truth (the concept) and truths (particular true propositions), this paper is largely devoted to: -/- (1) developing an account of the dual meaning of "partially true" - "true-in-part" vs. "part of the truth"; and -/- (2) understanding the reasons for, and the dangers of, the very common tendency to tell only part of the relevant (...)truth. (shrink)
Friedrich Nietzsche haunts the modern world. His elusive writings with their characteristic combination of trenchant analysis of the modern predicament and suggestive but ambiguous proposals for dealing with it have fascinated generations of artists, scholars, critics, philosophers, and ordinary readers. Maudemarie Clark's highly original study gives a lucid and penetrating analytical account of all the central topics of Nietzsche's epistemology and metaphysics, including his views on truth and language, his perspectivism, and his doctrines of the will-to-power and the eternal (...) recurrence. The Nietzsche who emerges from these pages is a subtle and sophisticated philosopher, whose highly articulated views are of continuing interest as contributions to a whole range of philosphical issues. This remarkable reading of Nietzsche will interest not only philosophers, but also readers in neighboring disciplines such as literature and intellectual history. (shrink)
I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse (non-abundant) property, regardless of how one understands (...) the nature of sparse properties (as universals, tropes, or natural classes). I then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful (though primitive) concept. (shrink)
Abstract. The aim of this paper is first to defend the intuition that truth is grounded in how things are and, second, to argue that this fact is consistent with Minimalism. After having cashed out that intuition in terms of explanatory claims of the form ‘if it is true that p, it is true that p because p’, I set out an argument against Minimalism which is based on the same intuition, and I argue that a strategy the minimalist (...) could adopt to resist the argument, i.e. to deny the correctness of the intuition, is flawed. Then I explain why the intuition is correct and I make some claims concerning the kind of explanations which are involved in it. Now the stage is set up to present the right way for the minimalist to resist the argument. I finally answer some objections. (shrink)
Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual object.
Bernard Williams has argued that, because belief aims at getting the truth right, it is a conceptual truth that we cannot directly will to believe. Manyothers have adopted Williams claim that believers necessarily respect truth-conducive reasons and evidence. By presenting increasingly stronger cases, I argue that, on the contrary, believers can quite consciously disregard the demand for truth-conducive reasons and evidence. The irrationality of those who would directly will to believe is not any greater than that (...) displayed by some actual believers. So, our inability to directly will to believe is a contingent truth (at best). (shrink)
Marian David defends the correspondence theory of truth against the disquotational theory of truth, its current major rival. The correspondence theory asserts that truth is a philosophically rich and profound notion in need of serious explanation. Disquotationalists offer a radically deflationary account inspired by Tarski and propagated by Quine and others. They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is essentially a collection of platitudes: "Snow is white" (...) is true if and only if snow is white; "Grass is green" is true if and only if grass is green. According to disquotationalists the only profound insight about truth is that it lacks profundity. David contrasts the correspondence theory with disquotationalism and then develops the latter position in rich detail--more than has been available in previous literature--to show its faults. He demonstrates that disquotationalism is not a tenable theory of truth, as it has too many absurd consequences. (shrink)
Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.
" Barry Allen shows what truth has come to mean in the philosophical tradition, what is wrong with many of the ways of conceiving truth, and why philosophers ...
This work presents a version of the correspondence theory of truth based on Wittgenstein's Tractatus and Russell's theory of truth and discusses related metaphysical issues such as predication, facts, and propositions. Like Russell and one prominent interpretation of the Tractatus it assumes a realist view of universals. Part of the aim is to avoid Platonic propositions, and although sympathy with facts is maintained in the early chapters, the book argues that facts as real entities are not (...) needed. It includes discussion of contemporary philosophers such as David Armstrong, William Alston, and Paul Horwich, as well as those who write about propositions and facts, and a number of recent students of Bertrand Russell. It will interest teachers and advanced students of philosophy who are interested in the realistic conception of truth and in issues in metaphysics related to the correspondence theory of truth, and those interested in Russell and the Tractatus. (shrink)
: This paper explores how consideration of the notions of naturalness and eligibility, which have played an increasingly significant role in contemporary metaphysics, might impact on the study of truth. In particular, it aims to demonstrate how taking such notions seriously may be of benefit to ‘representational’ theories of truth by showing how the naturalness of truth on a representational account provides a response to the ‘Scope Problem’ presented by Lynch (2009).
According to Frege, judgement is the ‘logically primitive activity’. So what is judgement? In his mature work, he characterizes judging as ‘acknowledging the truth’ (‘Anerkennen der Wahrheit’). Frege’s remarks about judging as acknowledging the truth of a thought require further elaboration and development. I will argue that the development that best suits his argumentative purposes takes acknowledging the truth of a thought to be a non-propositional attitude like seeing an object; it is a mental relation between a (...) thinker, a thought, and an object, namely a truth-value. (shrink)
This major new study of Heidegger is the first to examine in detail the concept of existential truth that Heidegger developed in the 1920s. Daniel Dahlstrom offers a critical focus on the genesis, nature, and viability of Heidegger's radical reconceptualisation. The book has several distinctive and innovative features. First, it is the only study that attempts to understand the logical dimension of Heidegger's thought in its historical context. Second, no other book-length treatment explores the breadth and depth of Heidegger's (...) confrontation with Husserl, his erstwhile mentor. Third, the book demonstrates that Heidegger's deconstruction of Western thinking occurs on three interconnected fronts: truth, being, and time. Dealing with a crucial aspect of the philosophy of one of the great thinkers of the twentieth century, this book will be important to all scholars and students of Heidegger, be they in philosophy, theology, or literary studies. (shrink)
Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.
This volume is designed to set out some of the central issues in the theory of truth. It draws together, for the first time, the debates between philosophers who favor 'robust' or 'substantive' theories of truth, and those other, 'deflationist' or minimalists, who deny that such theories can be given. The editors provide a substantial introduction, in which they look at how the debates relate to further issues, such as the Liar paradox and formal truth theories.
The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who (...) take propositions as primary, and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)
Barry Taylor's book mounts a major new argument against one of the fundamental tenets of much contemporary philosophy, the idea that we can make sense of reality as existing objectively, independently of our capacities to come to know it. He concludes that there is no defensible notion of truth which preserves the theses of traditional realism, nor any extant position sufficiently true to the ideals of that doctrine to inherit its title. In presenting his case Taylor engages with many (...) key works of contemporary metaphysics, semantics, and philosophical logic, so his book will be of interest to a broad spectrum of scholars and students. (shrink)
