What is Gandhi’s Satya? How does truth entail peace? Satya or truth, for Gandhi, is experiential. The experiential truth of Gandhi does not exclude epistemological, metaphysical, or moral facets of truth, but is an unequivocal acknowledgement of the subjective basis of the pursuit of objectivity. In admitting my truth, your truth, our truth, their truth, etc., Gandhi brought into clear focus the reality of I and we—the subjects (or viewpoints) of subjective experiences (...) (views). The totality of these subjective viewpoints, along with their mutual relationships, constitutes an objective frame of reference for reconciling or putting together seemingly irreconcilable perceptions into a unitary whole of mutual understanding and an ever more refined comprehension of reality, thereby engendering peace. Considering the generality of the basic tenet—viewpoint dependence of views—of Gandhi’s satyagraha and in view of the kinship between positive conception of peace and unity, I put forward ‘satyagraha for science’ as a method to address numerous foundational problems in various branches of science centered on unity such as the binding problem in neuroscience. (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)

Despite recent controversies surrounding the principle that knowledge entails truth (KT), this paper aims to prove that the principle is true. It offers a proof of (KT) in the following sense. It advances a deductively valid argument for (KT), whose premises are, by most lights, obviously true. Moreover, each premise is buttressed by at least two supporting arguments. And finally, all premises and supporting arguments can be rationally accepted by people who don’t already accept (KT).

Let ‘warrant’ denote whatever precisely it is that makes the difference between knowledge and mere true belief. A current debate in epistemology asks whether warrant entails truth, i.e., whether (Infallibilism) S’s belief that p is warranted only if p is true. The arguments for infallibilism have come under considerable and, as of yet, unanswered objections. In this paper, I will defend infallibilism. In Part I, I advance a new argument for infallibilism; the basic outline is as follows. Suppose fallibilism (...) is true. An implication of fallibilism is that the property that makes the difference between knowledge and mere belief (which I dub ‘warrant*’) is the conjunctive property being warranted and true . I show that this implication of fallibilism conflicts with an uncontroversial thesis we have learned from reflection on Gettier cases: that nonaccidental truth is a constituent of warrant*. It follows that infallibilism is true. In the second part of the paper, I present and criticize a new argument against infallibilism. The argument states that there are plausible cases where, intuitively, the only thing that is keeping a belief from counting as knowledge is the falsity of that belief. Furthermore, it is plausible that such a belief is warranted and false. So, the argument goes, infallibilism is false. I show that this argument fails. (shrink)

The main objection to pragmatism about knowledge is that it entails that truth-irrelevant factors can make a difference to knowledge. Blake Roeber (2018) has recently argued that this objection fails. I agree with Roeber. But in this paper, I present another way of thinking about the dispute between purists and pragmatists about knowledge. I do so by formulating a new objection to pragmatism about knowledge. This is that pragmatism about knowledge entails that factors irrelevant to both truth and (...) “cognitive agency” can make a difference to knowledge. An interesting additional upshot of my argument is the connection revealed between the debate between pragmatists and purists about knowledge, and the debate between “alethists” and pragmatists about reasons for belief. (shrink)

Several philosophers have recently claimed that if a proposition is cancellable from an uttered sentence then that proposition is not entailed by that uttered sentence. The claim should be a familiar one. It has become a standard device in the philosopher's tool-kit. I argue that this claim is false. There is a kind of entailment—which I call “modal entailment”—that is context-sensitive and, because of this, cancellable. So cancellability does not show that a proposition is not entailed by an (...) uttered sentence. I close the paper by describing an implication this has for a disagreement between J. L. Austin and Grice concerning the relation between felicity and truth. (shrink)

Robert Audi’s Seeing, Knowing, and Doing argues that knowledge does not entail justification, given a broadly externalist conception of knowledge and an access internalist conception of justification, where justification requires the ability to cite one’s grounds or reasons. On this view, animals and small children can have knowledge while lacking justification. About cases like these and others, Audi concludes that knowledge does not entail justification. But the access internalist sense of “justification” is but one of at least two ordinary senses (...) of the term. On a broader or looser sense, “justification” means “being in the right” where that involves meeting a standard or norm. I argue that the beliefs of animals and small children can then meet standards or norms associated with truth and knowledge such that their beliefs may count as justified in this broader or looser sense. I then question whether knowledge fails to entail justification on this broader sense. (shrink)

17th-century Iberian and Italian scholastics had a concept of a truthmaker [verificativum] similar to that found in contemporary metaphysical debates. I argue that the 17th-century notion of a truthmaker can be illuminated by a prevalent 17th-century theory of truth according to which the truth of a proposition is the mereological sum of that proposition and its intentional object. I explain this theory of truth and then spell out the account of truthmaking it entails.

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...) of entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

I argue that the Standard View of ignorance is at odds with the claim that knowledge entails truth. In particular, if knowledge entails truth then we cannot explain away some apparent absurdities that arise from the Standard View of ignorance. I then discuss a modified version of the Standard View, which simply adds a truth requirement to the original Standard View. I show that the two main arguments for the original Standard View fail to support this modified (...) view. (shrink)

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...) entail each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to (...) indicative conditionals. I conclude that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

If the defenders of typical postmodern accounts of science (and their less extreme social-constructivist partners) are at one end of the scale in current philosophy of science, who shall we place at the other end? Old-style metaphysical realists? Neo-neo-positivists? ... Are the choices concerning realist issues as simple as being centered around either, on the one hand, whether it is the way reality is “constructed” in accordance with some contingent language game that determines scientific “truth”; or, on the other (...) hand, whether it is the way things are in an independent reality that makes our theories true or false? If, in terms of realism, “strong” implies “metaphysical” in the traditional sense, and “weak” implies “non-absolutist” or “non-unique”, what – if anything – could realism after Rorty's shattering of the mirror of nature still entail? In accordance with my position as a model-theoretic realist, I shall show in this article the relevance of the assumption of an independent reality for postmodern (philosophy of) science – against Lyotard's dismissal of the necessity of this assumption for science which he interprets as a non-privileged game among many others. I shall imply that science is neither the “child” of positivist philosophy who has outgrown her mother, freeing herself from metaphysics and epistemology, nor is science, at the other end of the scale, foundationless and up for grabs. S. Afr. J. Philos. Vol.22(3) 2003: 220–235. (shrink)

The chapter distinguishes between a weak and a strong form of ontological naturalism. Strong ontological naturalism is the view that all truths can be deduced, at least in principle, from truths about physical entities at the lowest level of organization, for example, truths about the elementary particles and forces. Weak ontological naturalism is the view that only physical properties can be causally efficacious. Strong ontological naturalism entails weak ontological naturalism but not vice versa. I then argue that the existence of (...) a truth property is consistent with weak ontological naturalism, as truth is not causally efficacious. After considering several prominent theories of truth, I argue that the only theories of truth that are consistent with strong ontological naturalism are deflationary doctrines that deny that there is a substantial truth property but these theories are not suitable adjoints to strong naturalism, as folks with strong naturalist inclinations normally want to posit the existence of substantial natural properties. Yet if the truth property itself is insubstantial, so are claims about the existence of substantial natural properties. I conclude by arguing that the result that there cannot be a naturalistic theory of truth is unsurprising, as there are independent reasons for thinking that the basic semantic notions must be treated an irreducible, primitive properties. (shrink)

Pragmatists are usually very antagonistic toward the correspondence theory of truth. They contend that the evidence-transcendent standard entailed by the theory is antithetical to the pragmatist methodology of elucidating concepts by exposing their practical bearings. What use could truth be to us if it offers a target we cannot even see? After judging the correspondence theory to be in violation of the Pragmatic Maxim, the pragmatist is prone to banishing it to the wastelands of empty metaphysics, where nothing (...) of practical importance could ever grow. This article makes the case that this unjust condemnation must be appealed and overturned. The ground for my case is an argument to the effect that the correspondence conception of truth can be practically advantageous, which provides proof of the fact that, contrary to popular pragmatist belief, the correspondence theory does comply with the Pragmatic Maxim. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a (...) logical truth in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

It is often taken for granted that truth is mind-independent, i.e. that, necessarily, if the world is objectively speaking in a certain way, then it is true that it is that way, independently of anyone thinking that it is that way. I argue that proponents of correspondence-truth, in particular immanent realists, should not take the mind-independence of truth for granted. The assumption that the mind-independent features of the world, i.e. ‘facts’, determine the truth of propositions, does (...) not entail that truth is independent of minds. This follows only on the further assumption that there exist propositions about every feature of reality independent of minds, which is something the immanent realist can and should deny. (shrink)

Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteration to be central to the explanatory role of essentialist truths. An important consequence that is not explicitly noted by them is that the (...) falsity of Iteration would entail that metaphysical necessity is not reducible to essence in the manner suggested by Fine (1994). This paper defends Iteration against these challenges, drawing attention to some features of the collective essences of properties, propositions, and logical operations that have been largely neglected in discussions about essence. (shrink)

All that philosophical “theories” of truth do is to demonstrate what is entailed by assuming our common uses and common understandings of the concept of truth. But our common understanding of what truth is is only a part of how truth functions. If we only look at that, we are missing the rest of the picture, namely how truth functions as the foundation for all human communication. I propose that truth functions a lot like (...) morality, in the sense that both truth and morality are normative systems that regulate human behaviour. To best understand this we need to imagine why truth was needed in the first place, and what role it plays in human communication as a whole. Here the philosophical approach of defining the “State of Nature” comes into play, and we obtain an account starting with drawing the relevant distinction between humans and non-human animals, and then showing how a crisis could have arisen from the initial development of language and how collective acknowledgement of truth as a default notion could have solved it, in the same way that collective acknowledgement of a moral system solved the problem of cheats and free riders. To do this, I utilize the idea of common pool resource management, as outlined in the work of the Institutional Economist Elinor Ostrom. (shrink)

This reply provides further grounds to doubt Mizrahi’s argument for an infallibilist theory of knowledge. It is pointed out that the fact that knowledge requires both truth and justification does not entail that the level of justification required for knowledge be sufficient to guarantee truth. In addition, an argument presented by Mizrahi appears to equivocate with respect to the interpretation of the phrase “p cannot be false”.

In spite of the intuitiveness of epistemic closure, there has been a stubborn stalemate regarding whether it is true, largely because some of the “Moorean” things we seem to know easily seem clearly to entail “heavyweight” philosophical things that we apparently cannot know easily—or perhaps even at all. In this paper, I will show that two widely accepted facts about what we do and don’t know—facts with which any minimally acceptable understanding of knowledge must comport—are jointly inconsistent with the (...) class='Hi'>truth of CLR. The proof works by supposing the truth of “Categorialism,” a thesis about the relation between basic categories and common nouns and predicates, which is itself a heavyweight claim that cannot be easily known to be either true or false. (shrink)

Molnar argues that the problem of truthmakers for negative truths arises because we tend to accept four metaphysical principles that entail that all negative truths have positive truthmakers. This conclusion, however, already follows from only three of Molnar´s metaphysical principles. One purpose of this note is to set the record straight. I provide an alternative reading of two of Molnar´s principles on which they are all needed to derive the desired conclusion. Furthermore, according to Molnar, the four principles may be (...) inconsistent. By themselves, however, they are not. The other purpose of this note is to propose some plausible further principles that, when added to the four metaphysical theses, entail a contradiction. (shrink)

Two strong contenders for scalar implicature (SI) computation are the pragmatic and the grammatical theories. While the former sustains that context plays a major role, the latter suggests context is required but is lexically and monotonically constrained (Chierchia 2012). In particular, this paper discusses a processing account for SIs that is dependent on the satisfaction of the Strawsonian presupposition of existence, necessary for the realization of the asymmetric entailment pattern among relevant alternatives. This observation complies with the principles of (...) the grammatical view, for it predicts SIs in the presence of contextually empty domains, unlike the pragmatic account whose necessary access to contextual information will cause propositions with empty domains to always return a truth value false, hence blocking any inference. I present online experimental evidence of an acceptability judgment task and recorded response times of both existential and universal sentences containing entities of three kinds: existent (type-a), non-existent but conceivable (type-b), and non-existent and inconceivable (type-c). The data of 25 Colombian Spanish speaking participants were collected using PsychoPy, powered by Pavlovia. The results suggest SIs are computed in types a and b but relatively unsuccessful in type-c. I conclude that the relevant entailment pattern for implicature computation is the Strawson-entailment relation which, combined with the grammatical account, correctly predicts SIs with non-existent but conceivable entities but avoids inference with inconceivable terms. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should (...) be rejected. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a (...) calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Spinoza distinguishes between causation that is external, as in A causing B where A is external to B, and causation that is internal, where C causes itself (causa sui), without any involvement of anything external to C. External causation is easy to understand, but self causation is not. This note explores an approach to self-causation based upon Gödelian undecidability and draws upon ideas from an earlier study of Gödel’s proof and the quantum measurement problem (Zwick, 1978).

In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three (...) entailment relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

There is a traditional conception of knowledge but it is not the Justified True Belief analysis Gettier attacked. On the traditional view, knowledge consists in having a belief that bears a discernible mark of truth. A mark of truth is a truth-entailing property: a property that only true beliefs can have. It is discernible if one can always tell that a belief has it, that is, a sufficiently attentive subject believes that a belief has it if and (...) only if it has it. Requiring a mark of truth makes the view infallibilist. Requiring it to be discernible makes the view internalist. I call the view Classical Infallibilism. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can (...) be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, (...) strong pluralists cannot find any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified, i.e., justified in a way that is truth-entailing. In this paper, I examine the second thesis of rationalist infallibilism, what might be called ‘synthetic a priori infallibilism’. Exploring the seemingly only potentially plausible species of synthetic a priori infallibility, I reject the infallible justification of so-called self-justifying propositions.

In contrast to a stereotypical account of Indian philosophy that are entailments of the interpreter’s beliefs (an approach that violates basic standards of reason), an approach to Indian philosophy grounded on the constraints of formal reason reveals not only a wide spread disagreement on dharma (THE RIGHT OR THE GOOD), but also a pervasive commitment to the practical foundation of life’s challenges. The flip side of this practical orientation is the criticism of ordinary experience as erroneous and reducible to the (...) agent’s mental states. If we ignore the background practical orientation in Indian philosophy, this seems not like an error theory, that I call Ironic Idealism, but as a defense of idealism. I consider salient candidates for Indian Idealism (Advaita Vedānta, Yogācāra Buddhism, Kāśmīra Śaivism and the Yogavāsiṣṭha) and note that these positions continue a theme in Indian philosophy of articulating Ironic Idealism. Ironic Idealism depends upon the very Indian distinction between ultimate and provisional truth, and Ironic Idealism criticizes the mundane, provisional sort of "truth" as psychological and mental --- and ultimately false. Interpretation, the common approach to the study of Indian philosophy, is an example of what Ironic Idealism criticizes. This explains why authors incorrectly find Idealism everywhere in Indian thought. (shrink)

The minimalist view of truth endorsed by Paul Horwich denies that truth has any underlying nature. According to minimalism, the truth predicate ‘exists solely for the sake of a certain logical need’; ‘the function of the truth predicate is to enable the explicit formulation of schematic generalizations’. Horwich proposes that all there really is to truth follows from the equivalence schema: The proposition that p is true iff p, or, using Horwich’s notation, ·pÒ is true (...) ´ p. The (unproblematic) instances of the schema form ‘the minimal theory of truth’. Horwich claims that all the facts involving truth can be explained on the basis of the minimal theory. However, it has been pointed out, e.g. by Gupta (1993), that the minimal theory is too weak to entail any general facts about truth, e.g. the fact that.. (shrink)

In epistemology and philosophy of science, there has been substantial debate about truth’s relation to understanding. “Non-factivists” hold that radical departures from the truth are not always barriers to understanding; “quasi-factivists” demur. The most discussed example concerns scientists’ use of idealizations in certain derivations of the ideal gas law from statistical mechanics. Yet, these discussions have suffered from confusions about the relevant science, as well as conceptual confusions. Addressing this example, we shall argue that the ideal gas law (...) is best interpreted as favoring non-factivism about understanding, but only after delving a bit deeper into the statistical mechanics that has informed these arguments and stating more precisely what non-factivism entails. Along the way, we indicate where earlier discussions have gone astray, and highlight how a naturalistic approach furnishes more nuanced normative theses about the interaction of rationality, understanding, and epistemic value. (shrink)

Since 2016, there has been an explosion of academic work and journalism that fixes its subject matter using the terms ‘fake news’ and ‘post-truth’. In this paper, I argue that this terminology is not up to scratch, and that academics and journalists ought to completely stop using the terms ‘fake news’ and ‘post-truth’. I set out three arguments for abandonment. First, that ‘fake news’ and ‘post-truth’ do not have stable public meanings, entailing that they are either nonsense, (...) context-sensitive, or contested. Secondly, that these terms are unnecessary, because we already have a rich vocabulary for thinking about epistemic dysfunction. Thirdly, I observe that ‘fake news’ and ‘post-truth’ have propagandistic uses, meaning that using them legitimates anti-democratic propaganda, and runs the risk of smuggling bad ideology into conversations. (shrink)

I defend the claim that physicalism is not committed to the view that non-phenomenal macrophysical truths are a priori entailed by the conjunction of microphysical truths , basic indexical facts , and a 'that's all' claim . I do so by showing that Chalmers and Jackson's most popular and influential argument in support of the claim that PIT ⊃ M is a priori, where 'M' stands for any ordinary, non-phenomenal, macroscopic truth, falls short of establishing its conclusion. My objection (...) to Chalmers and Jackson's argument takes the form of a nested dilemma. Let 'Conceptual Competence Principle ' stand for the following claim: for any complete microphysical description D of a world w, a subject who is in possession of and competent with a macrophysical concept C is capable of determining a priori the extension of C. Either Jackson and Chalmers accept CCP or not. If the latter, then they cannot demonstrate that the conditional PIT ⊃ M is a priori. If the former, then they have a choice: they can either cite reasons that support the principle or argue that the principle should be taken for granted since it is entailed by the very notion of conceptual competence. But both alternatives are problematic. In regard to the first horn of this latter dilemma, I show not only that there are no good reasons to support the principle, but that there are also reasons to reject it. In regard to the second horn, I show that it cannot be the case that CCP is part of the very notion of conceptual competence. The conceptual capacity expressed by CCP requires that certain bridge principles or conditionals, which link the microphysical level to the macroscopic level, are either implicitly or explicitly given to the subject. But, as I argue, Chalmers and Jackson have no way of accounting for these bridge principles or conditionals in a manner that does not trivialize their position. (shrink)

The first degree entailment (FDE) family is a group of logics, a many-valued semantics for each system of which is obtained from classical logic by adding to the classical truth-values true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose many-valued semantics lack (...) indeterminate to star semantics for logics whose many-valued semantics include indeterminate. The equivalence of the many-valued semantics and star semantics is established by way of a soundness and completeness proof. The upshot of the novel semantics in terms of the applied semantics of these logics, and specifically infectiousness, is explored, settling on the idea that infectiousness concerns ineffability. (shrink)

In his recent book Constructing the World, David Chalmers defends A Priori Scrutability, the thesis that there is a compact class of truths such that for any truth p, a Laplacian intellect could know a priori that if the truths in that class hold, then p. In this paper, I develop an objection to Chalmers’ thesis that focuses on his treatment of a so-called that’s-all truth. My objection draws on Theodore Sider’s discussion of border-sensitive properties, and also on (...) the causal phenomenon of double prevention. (shrink)

On the few occasions that Kant addresses the subject of truth, he usually does so in relation to the problems involved in the nominal definition of truth and in the search for a truth criterion. The aim of this paper is to provide a synoptic view of the way in which Kant poses these two issues. In the first section of the paper I address the topic of the definition of truth. I begin by explaining what (...) a definition is and what does this entail for the definition of truth. I then present the consequences and problems that Kant draws from this. In the second section of the paper I develop the topic of the criterion of truth. First, I set out Kant's expectations for such criterion and show the limits he encounters. Then I provide a classification and an explanation of the truth criteria that he mentions throughout his work. -/- En las pocas ocasiones en que Kant aborda el tema de la verdad, lo suele hacer en función de los problemas implicados en la definición nominal de verdad y en la búsqueda de un criterio de verdad. El objetivo de este trabajo es ofrecer una visión sinóptica del modo en que Kant plantea estas dos cuestiones. En la primera sección del trabajo se aborda el tema de la definición de la verdad. Primero explico qué es una definición y qué implica esto para el caso de la verdad. Tras esto, expongo las consecuencias y problemas que Kant extrae al respecto. En la segunda sección del trabajo se desarrolla el tema del criterio de verdad. Para comenzar expongo las expectativas de Kant respecto de dicho criterio y los límites con que se encuentra. Tras esto ofrezco una clasificación y explicación de los criterios de verdad que menciona a lo largo de su obra. (shrink)

According to Anscombe, acting intentionally entails knowledge in ac- tion. This thesis has been near-universally rejected due to a well-known counter- example by Davidson: a man intending to make ten legible carbon copies might not believe with confidence, and hence not know, that he will succeed. If he does, however, his action surely counts as intentional. Damaging as it seems, an even more powerful objection can be levelled against Anscombe: while act- ing, there is as yet no fact of the (...) matter as to whether the agent will succeed. Since his belief that he will is not yet true while his action is in progress, he can- not possibly know that he is indeed bringing about the intended goal. Knowl- edge in action is not only unnecessary for intentional action, it seems, but–at least as regards success-bound types of action–impossible to attain in the first place. -/- In this paper I argue that traditional strategies to counter these objections are unsatisfactory and propose a new account of knowledge in action which has two core features: (i) It invokes an externalist conception of justification which not only meets Davidson’s challenge, but also casts doubts on the tacit internalist premise on which his example relies. (ii) Drawing on recent work about by John MacFarlane, the proposed account conceives of claims to in action as assessment-sensitive so as to overcome the factivity objection. From a retrospective point of evaluation, previous claims about future events and actions can not only be deemed as having been true, but also as having been known. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. (...) In the vector models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has (...) an operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

The paper discusses the Inconsistency Theory of Truth (IT), the view that “true” is inconsistent in the sense that its meaning-constitutive principles include all instances of the truth-schema (T). It argues that (IT) entails that anyone using “true” in its ordinary sense is committed to all the (T)-instances and that any theory in which “true” is used in that sense entails the (T)-instances (which, given classical logic, entail contradictions). More specifically, I argue that theorists are committed to the (...) meaning-constitutive principles of logical constants, relative to the interpretation they intend thereof (e.g., classical), and that theories containing logical constants entail those principles. Further, I argue, since there is no relevant difference from the case of “true”, inconsistency theorists’ uses of “true” commit them to the (T)-instances. Adherents of (IT) are recommended, as a consequence, to eschew the truth-predicate. I also criticise Matti Eklund’s account of how the semantic value of “true” is determined, which can be taken as an attempt to show how “true” can be consistently used, despite being inconsistent. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, had (...) it been included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

Hilary Putnam spent much of his career criticizing the fact/value dichotomy, and this became apparent already during the phase when he defended internal realism. He later changed his epistemological and metaphysical view by endorsing natural realism, with the consequence of embracing alethic pluralism, the idea that truth works differently in various discourse domains. Despite these changes of mind in epistemology and in theory of truth, Putnam went on criticizing the fact/value dichotomy. However, alethic pluralism entails drawing distinctions among (...) discourse domains, especially between factual and nonfactual domains, and these distinctions are in tension with the rejection of the fact/value dichotomy, as this would in principle hinder factual domains as genuine. This issue raises, prima facie, some doubts about the effective compatibility of these views. (shrink)

Expressivists traditionally explain normative supervenience by saying it is a conceptual truth. I argue against this tradition in two steps. First, I show the modal claim that stands in need of explanation has been stated imprecisely. Classic arguments in metaethics for normative supervenience and those that rely on it as a premise presuppose a constraint on the supervenience base that is rarely (if ever) made explicit: the repeatability of the non-normative properties on which the normative supervenes. Non-normative properties are (...) repeatable when it is possible for numerically distinct individuals to share them. Second, I show if the modal truth that stands in need of explanation entails that there are individuals exactly alike in repeatable non-normative respects that cannot normatively differ, then standard expressivist accounts of normative supervenience as a conceptual truth are unsuccessful. Expressivist metasemantics for normative terms, together with constitutive facts about the non-cognitive attitudes essentially involved in normative thought, strongly suggest that repeatable supervenience could not be a conceptual truth. I argue, finally, that although repeatable supervenience bears the marks of a conceptual truth, expressivists should be content to treat it as an ordinary normative truth, and to explain it the same way they explain other normative truths. (shrink)