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)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear (...) on what domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish (...) between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

Adrian Heathcote has proposed a truth-making account of knowledge that combines traditional conditions of justified true belief with the truth-making condition, which would jointly provide us with the sufficient condition of knowledge, and this truth-maker account of knowledge in turn explains why a gettiered justified true belief fails to be regarded as a genuine instance of knowledge. In this paper, by the comparison of two different casual models that are illustrated by the thermometer and the clock respectively, (...) however, it will be argued that Heathcote’s truth-making account of knowledge fails to cope with the Gettier case of the stopped clock and therefore is called for some further remedy. (shrink)

I offer an analysis of the Principle of Sufficient Reason and its relevancy for the scientific endeavour. I submit that the world is not, and cannot be, rational—only some brained beings are. The Principle of Sufficient Reason is not a necessary truth nor a physical law. It is just a guiding metanomological hypothesis justified a posteriori by its success in helping us to unveil the mechanisms that operate in Nature.

Here, I explore a modernist aesthetics of death metal. First, I briefly describe a few themes that characterize some modern art, without any claim that they are necessary, sufficient, or exhaustive. The goal is to obtain a set of themes that might be set against similar themes characteristic of death metal. This is the task in the second half of the paper. In particular, I argue that (some) modernist art and death metal share themes centered on transgressively breaking with the (...) past, pursue their conception of the truth, eliminate elements in their art form to purity them, and attack the art/non-art or music/non-music distinction. I contend that centering on death metal vocals reflects these themes. Death metal growls, like some modernist art, transgresses on past vocal traditions, tells us important truths, eliminates traditional concepts/techniques of signing, and undermines the singing/noise distinction. (shrink)

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for (...) the conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

Recent attempts to legislate climate science out of existence raises the question of whether citizens are obliged to obey such laws. The authority of democratic law is rooted in both truth and popular consent, but neither is sufficient and they may conflict. These are reconciled in theory and, more importantly, in practice once we incorporate insights from the pragmatist theory of inquiry.

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring (...) commitment is not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

An old philosophical problem of delineating science from pseudoscience has in today’s world far superseded the task of unearthing sufficient and necessary conditions which science should be able to satisfy and on which pseudoscience would fall short. Our interests have shifted from the search for the rigorous criteria of demarcation, to describing various scientific and pseudoscientific activities – as well as bringing the psychological backgrounds of beliefs in numerous pseudoscientific theories to light. We aim to pinpoint some of the key (...) characteristics of said activities and the strategies they employ. Also, we attempt to answer the question of why are individuals prone to believing various conspiracy theories, alternative historical explanations and other pseudoscientific theories. (shrink)

The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

According to attributor virtue epistemology (the view defended by Ernest Sosa, John Greco, and others), S knows that p only if her true belief that p is attributable to some intellectual virtue, competence, or ability that she possesses. Attributor virtue epistemology captures a wide range of our intuitions about the nature and value of knowledge, and it has many able defenders. Unfortunately, it has an unrecognized consequence that many epistemologists will think is sufficient for rejecting it: namely, it makes knowledge (...) depend on factors that aren't truth-relevant, even in the broadest sense of this term, and it also makes knowledge depend in counterintuitive ways on factors that are truth-relevant in the more common narrow sense of this term. As I show in this paper, the primary objection to interest-relative views in the pragmatic encroachment debate can be raised even more effectively against attributor virtue epistemology. (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”.

The aim of this paper is to show that introspective beliefs about one’s own current visual experiences are not immediate in the sense that what justifies them does not include other beliefs that the subject in question might possess. The argument will take the following course. First, the author explains the notions of immediacy and truth-sufficiency as they are used here. Second, the author suggests a test to determine whether a given belief lacks immediacy. Third, the author applies (...) this test to a standard case of formation of an introspective belief about one’s own current visual experiences and concludes that the belief in question is neither immediate nor truth-sufficient. Fourth, the author rebuts several objections that might be raised against the argument. (shrink)

Charles Sanders Peirce has commonly been interpreted as a proponent of an epistemic theory of truth. Such a theory has the apparent advantage of directly undercutting radical skepticism, but the disadvantage of implausibly entailing that there are no truths concerning irretrievably lost facts. Recently Andrew Howat has defended Peirce’s epistemic constraint on truth by recasting Peirce’s claim that all truths would be believed following sufficient inquiry, not as constitutive of truth, but as a Wittgensteinian hinge proposition. I (...) begin with a twofold historical reply to Howat: first, Peirce can at least plausibly be read as claiming that the claim in question is analytic of the concept <truth>; and second, while Peirce did think we must accept without evidence the further claim that there are any truths (so characterized), he regarded this further claim not as a Wittgensteinian hinge but as a reasonable hope. I then substantively defend the latter Peircean proposal, arguing that hopes, as against beliefs, are chiefly warranted pragmatically, and so can be warranted even to a sufficient level to render them properly action-guiding in cases where belief in the same proposition would remain unjustified. I conclude by suggesting, first, that this proposal is superior to Wittgenstein’s own epistemology in evading psychologism, and second, that it attractively vindicates the reasonableness of inquiry on Peircean grounds that don’t require an appeal to an implausible epistemic theory of truth. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

The infinitary function of the truth predicate consists in its ability to express infinite conjunctions and disjunctions. A transparency principle for truth states the equivalence between a sentence and its truth predication; it requires an introduction principle—which allows the inference from “snow is white” to “the sentence ‘snow is white’ is true”—and an elimination principle—which allows the inference from “the sentence ‘snow is white’ is true” to “snow is white”. It is commonly assumed that a theory of (...) truth needs to satisfy a transparency principle to fulfil the infinitary function. Picollo and Schindler (Erkenntnis 83:899–928, 2017) argue against this idea. They prove that, given certain assumptions, an elimination principle is sufficient for the purpose. Then, they pose a challenge: to show why we should incorporate introduction principles to our theory of truth. In this essay I take on the challenge. I show that, given the authors’ assumptions, an introduction principle is also sufficient to perform the infinitary function. (shrink)

A survey of Bayle's skeptical arguments regarding Descartes' criterion of truth, which Bayle refers to as "evidence." Bayle's arguments for degrees of evidence, as well as for the necessity and sufficiency of possessing a high degree of evidence in order to form virtuous beliefs, are surveyed as well.

Social epistemology should be truth-centred, argues Goldman. Social epistemology should capture the ‘logic of everyday practices’ and describe socially ‘situated’ reasoning, says Fuller. Starting from Goldman’s vision of epistemology, this paper aims to argue for Fuller’s contention. Social epistemology cannot focus solely on the truth because the truth can be got in lucky ways. The same too could be said for reliability. Adding a second layer of epistemic evaluation helps only insofar as the reasons thus specified are (...) appropriately connected to reliability. These claims are first made in abstract, and then developed with regard to our practice of trusting testimony, where an epistemological investigation into the grounds of reliability must inevitably detail the ‘logic of everyday practices’. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I (...) argue that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of (...) the meaning of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

This article defends the principle of sufficient reason (PSR) from a simple and direct valid argument according to which PSR implies that there is a truth that explains every truth, namely an omni-explainer. Many proponents of PSR may be willing to bite the bullet and maintain that, if PSR is true, then there is an omni-explainer. I object to this strategy by defending the principle that explanation is irreflexive. Then I argue that proponents of PSR can resist the (...) conclusion that there is an omni-explainer by denying that explanation distributes over conjunction. In the final section, I consider a plausible revision of this assumption. I argue there that, given the revised assumption, PSR seems to yield a striking picture of the explanatory structure of the universe. I explain why the resulting model does not appear utterly implausible to me. (shrink)

In his presidential address to the APA, Alvin Plantinga argues that the only sensible way to be an anti-realist is to be a theist. Anti-realism (AR) in this context is the epistemic analysis of truth that says, "(AR) necessarily, a statement is true if and only if it would be believed by an ideally [or sufficiently] rational agent/community in ideal [or sufficiently good] epistemic circumstances." Plantinga demonstrates, with modest modal resources, that AR entails that necessarily, ideal epistemic circumstances obtain. (...) As it is a contingent matter whether ideal epistemic circumstances obtain, Plantinga concludes that an anti-realist should be a theist. In this paper, we show that counterfactual analyses of truth as epistemic are instances of a more general problem of philosophical analysis. More specifically, without a radical revision of the logic, counterfactual analyses of truth as epistemic cannot avoid perpetrating some version of the conditional fallacy. Even so, we argue, anti-realists are not committed to the necessary existence of ideal epistemic circumstances and therefore need not be theists. (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

Brentano’s introduction of the concept of intentionality into contemporary philosophy was indebted to scholastic sources. Among these, Suárez has not been sufficiently addressed, even though his idea of transcendental relation is relied upon by Brentano to describe the intentional relation. In addition, in his examination of being as truth in Suárez, Brentano manifests his assumption of the principle of immanence. Finally, this article argues that, even in his reist period, Brentano continued to understand knowledge as a relation.

Is A & C sufficient for the truth of ‘if A were the case, C would be the case’? Jonathan Bennett thinks not, although the counterexample he gives is inconsistent with his own account of counterfactuals. In any case, I argue that anyone who accepts the case of Morgenbesser's coin, as Bennett does, should reject Bennett’s counterexample. Moreover, I show that the principle underlying his counterexample is unmotivated and indeed false. More generally, I argue that Morgenbesser’s coin commits us (...) to the sufficiency of A & C for the truth of the corresponding counterfactual. (shrink)

In his book On What Matters, Derek Parfit defends a version of moral non-naturalism, a view according to which there are objective normative truths, some of which are moral truths, and we have a reliable way of discovering them. These moral truths do not exist, however, as parts of the natural universe nor in Plato’s heaven. While explaining in what way these truths exist and how we discover them, Parfit makes analogies between morality on the one hand, and mathematics and (...) logic on the other. Moral truths “exist” in a way that numbers exist, and we discover these truths in a similar way as we discover truths about numbers. By the end of the second volume, Parfit also responds to a powerful objection against his view, an objection based on the phenomenon of moral disagreement. If people widely and deeply disagree about what is the moral truth, it is doubtful whether we have a reliable way of discovering it. In his reply, he claims that in ideal conditions for thinking about moral questions, we would all have sufficiently similar moral beliefs. However, we often find ourselves in less-than-ideal conditions due to various factors that distort our ability to agree. Therefore, differences in moral opinion can be expected. In this paper, I draw a connection between these parts of Parfit’s theory and comment on them. Firstly, I argue that Parfit’s analogy with mathematics and logic and his answer to the disagreement objection are in tension because there are important epistemic differences between morality and these fields. If one would try to account for the differences, one would have to sacrifice some measure of similarity between morality and them. Secondly, I comment on Parfit’s reply to the disagreement objection itself. I believe that, although his description of ideal conditions has some potential for reaching moral agreement, it may be difficult to tell if ideal conditions prevail. This obscurity spells further trouble for Parfit’s overall theory. (shrink)

Early Modern German Philosophy (1690-1750) makes some of the key texts of early German thought available in English, in most cases for the first time. The translations range from texts by the most important figures of the period, including Christian Thomasius, Christian Wolff, Christian August Crusius, and Georg Friedrich Meier, as well as texts by consequential but less familiar thinkers such as Dorothea Christiane Erxleben, Theodor Ludwig Lau, Friedrich Wilhelm Stosch, and Joachim Lange. The topics covered range across a number (...) of areas of theoretical philosophy, including metaphysics (the immortality of the soul, materialism and its refutation, the pre-established harmony), epistemology (the principle of sufficient reason, the limits of reason with respect to matters of faith), and logic (the role of prejudices in cognition and the doctrine of truth). (shrink)

There are two main interpretive positions on Davidson’s project in the theory of meaning. The Replacement Theory holds that Davidson aimed to replace the theory of meaning with the theory of truth on the grounds that meaning is too unclear a notion for systematic theorizing. The Traditional Pursuit Theory, in contrast, holds that Davidson aimed to pursue the traditional project with a clever bit of indirection, exploiting the recursive structure of a truth theory to reveal compositional semantic structure (...) and placing constraints on it sufficient for its canonical assignments of truth conditions to be used for interpretation. This paper responds to a recent defense of a sophisticated version of the Replacement Theory by Gary Ebbs according to which Davidson was engaged in a Carnapian explication of meaning, intending to preserve only aspects of the usage of ‘means’ most important to us. I argue the Explication Interpretation cannot be sustained in the face of a detailed look at the passages that principally motivate it in “Truth and Meaning” when we take into account their local context, their context in the paper as a whole, and the context of that paper in Davidson’s contemporaneous work, and later work which tries to improve the formulations which he advanced in his early papers. (shrink)

Contigency is a definition for which is noted for not having the principle of contradiction in itself, for which gives a different truths from what we are used to derive from geometry as an essential field for knowledge of creating strong logics. Leibniz clearly states one of his ideas for God, and why there must be contigent truths and necessary truths.

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

How is the burden of proof to be distributed among individuals who are involved in resolving a particular issue? Under what conditions should the burden of proof be distributed unevenly? We distinguish attitudinal from dialectical burdens and argue that these questions should be answered differently, depending on which is in play. One has an attitudinal burden with respect to some proposition when one is required to possess sufficient evidence for it. One has a dialectical burden with respect to some proposition (...) when one is required to provide supporting arguments for it as part of a deliberative process. We show that the attitudinal burden with respect to certain propositions is unevenly distributed in some deliberative contexts, but in all of these contexts, establishing the degree of support for the proposition is merely a means to some other deliberative end, such as action guidance, or persuasion. By contrast, uneven distributions of the dialectical burden regularly further the aims of deliberation, even in contexts where the quest for truth is the sole deliberative aim, rather than merely a means to some different deliberative end. We argue that our distinction between these two burdens resolves puzzles about unevenness that have been raised in the literature. (shrink)

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of (...) conditions, according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

Some philosophers (including Urmson, Humberstone, Shah, and Velleman) hold that believing that p distinctively involves applying a norm according to which the truth of p is a criterion for the success or correctness of the attitude. On this view, imagining and assuming differ from believing in that no such norm is applied. I argue against this view with counterexamples showing that applying the norm of truth is neither necessary nor sufficient for distinguishing believing from imagining and assuming. Then (...) I argue that the different functional properties of these mental states are enough to distinguish them, and that norm-application doesn't help us draw the functional distinctions. (shrink)

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of this principle (...) is a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (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)

In this paper I present an argument for the claim that you ought to do something only if you may believe that you ought to do it. More exactly, I defend the following principle about normative reasons: An agent A has decisive reason to φ only if she also has sufficient reason to believe that she has decisive reason to φ. I argue that this principle follows from the plausible assumption that it must be possible for an agent to respond (...) correctly to her reasons. In conclusion, I discuss some implications of this argument (given that some other standard assumptions about reasons hold). One such implication is that we are always in a position to be justified in believing all truths about what we have decisive reason (or ought) to do. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances (...) of Cut involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Naturalism in theoretical philosophy comes in three kinds: metaphysical, scientific and semantical. Metaphysical naturalism holds that only natural things exist, scientific (or methodological) naturalism holds that the methods of natural science provide the only avenue to truth, semantic (or analytic) naturalism tries to provide sufficient nonintentional conditions for intentional phenomena. The paper argues that analytic naturalism does not render metaphysical or scientific naturalism obsolete, but can be understood as a further step in elaborating upon these programmes. The intentional idiom (...) of belief-desire psychology is the main obstacle for a scientific view of the world. It is hard to see how human beings and their abilities could get integrated into the natural order if intentional phenomena defy analysis in naturalistically acceptable terms. Against this view, Stephen Stich has argued that the search for a naturalistic criterion of acceptable predicates is misguided, since there is no way of identifying naturalistically acceptable predicates in advance. All that counts, Stich claims, is that the predicates in question are applied in “successful scientific theories”. A naturalist, however, must be able to indicate what he takes to be successful science and why. Perhaps analytic naturalism is without prospect of success. This would be bad news for the naturalist, which he cannot sidestep by claiming hat scientific naturalism must have had something different in mind. (shrink)

For Kant, knowledge involves certainty. If “certainty” requires that the grounds for a given propositional attitude guarantee its truth, then this is an infallibilist view of epistemic justification. Such a view says you can’t have epistemic justification for an attitude unless the attitude is also true. Here I want to defend an alternative fallibilist interpretation. Even if a subject has grounds that would be sufficient for knowledge if the proposition were true, the proposition might not be true. And so (...) there is sometimes still rational room for doubt. The goal of this paper is to present four different models of what “certainty” amounts to, for Kant, each of which is compatible with fallibilism. (shrink)

Recent work on Natural Kind Essentialism has taken a deflationary turn. The assumptions about the grounds of essentialist truths concerning natural kinds familiar from the Kripke-Putnam framework are now considered questionable. The source of the problem, however, has not been sufficiently explicated. The paper focuses on the Twin Earth scenario, and it will be demonstrated that the essentialist principle at its core (which I call IDENT)—that necessarily, a sample of a chemical substance, A, is of the same kind as another (...) sample, B, if and only if A and B have the same microstructure—must be re-evaluated. The Twin Earth scenario also assumes the falsity of another essentialist principle (which I call INST): necessarily, there is a 1:1 correlation between (all of ) the chemical properties of a chemical substance and the microstructure of that substance. This assumption will be questioned, and it will be argued that, in fact, the best strategy for defending IDENT is to establish INST. The prospects for Natural Kind Essentialism and microstructural essentialism regarding chemical substances will be assessed with reference to recent work in the philosophy of chemistry. Finally, a weakened form of INST will be presented. (shrink)

According to the argument from moral disagreement, the existence of widespread or persistent moral disagreement is best explained by, and thus supports, the view that there are no objective moral truths. One of the most common charges against this argument is that it “overgeneralises”: it implausibly forces its proponents to also deny the existence of objective truths about certain matters of physics, history, philosophy, etc. (“companions in guilt” objections) or even about the argument’s own conclusion or its own soundness (“self-defeat” (...) objections). My aim in this article is to provide a detailed clarification and assessment of this overgeneralisation charge. Various (mostly empirical) issues relevant to assessing the above objections have so far not been sufficiently investigated. Nevertheless, there are good reasons to believe that realists have exaggerated the significance of their overgeneralisation charge. Both its companions in guilt and its self-defeat versions likely fail. (shrink)

Most scientists would hold that science has not established that the cosmos is physically comprehensible – i.e. such that there is some as-yet undiscovered true physical theory of everything that is unified. This is an empirically untestable, or metaphysical thesis. It thus lies beyond the scope of science. Only when physics has formulated a testable unified theory of everything which has been amply corroborated empirically will science be in a position to declare that it has established that the cosmos is (...) physically comprehensible. But this argument presupposes a widely accepted but untenable conception of science which I shall call standard empiricism. According to standard empiricism, in science theories are accepted solely on the basis of evidence. Choice of theory may be influenced for a time by considerations of simplicity, unity, or explanatory capacity, but not in such a way that the universe itself is permanently assumed to be simple, unified or physically comprehensible. In science, no thesis about the universe can be accepted permanently as a part of scientific knowledge independently of evidence. Granted this view, it is clear that science cannot have established that the universe is physically comprehensible. Standard empiricism is, however, as I have indicated, untenable. Any fundamental physical theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy two criteria. It must be (1) sufficiently empirically successful, and (2) sufficiently unified. Given any accepted theory of physics, endlessly many empirically more successful disunified rivals can always be concocted – disunified because they assert that different dynamical laws govern the diverse phenomena to which the theory applies. These disunified rivals are not considered for a moment in physics, despite their greater empirical success. This persistent rejection of empirically more successful but disunified rival theories means, I argue, that a big, highly problematic, implicit assumption is made by science about the cosmos, to the effect, at least, that the cosmos is such that all seriously disunified theories are false. Once this point is recognized, it becomes clear, I argue, that we need a new conception of science which makes explicit, and so criticizable and improvable the big, influential, and problematic assumption that is at present implicit in physics in the persistent preference for unified theories. This conception of science, which I call aim-oriented empiricism, represents the assumption of physics in the form of a hierarchy of assumptions. As one goes up the hierarchy, the assumptions become less and less substantial, and more and more nearly such that their truth is required for science, or the pursuit of knowledge, to be possible at all. At each level, that assumption is accepted which (a) best accords with the next one up, and (b) has, associated with it the most empirically progressive research programme in physics, or holds out the greatest hope of leading to such an empirically progressive research programme. In this way a framework of relatively insubstantial, unproblematic, fixed assumptions and associated methods is created, high up in the hierarchy, within which much more substantial and problematic assumptions and associated methods, low down in the hierarchy, can be changed, and indeed improved, as scientific knowledge improves. One assumption in this hierarchy of assumptions, I argue, is that the cosmos is physically comprehensible – that is, such that some yet-to-be-discovered unified theory of everything is true. Hence the conclusion: improve our ideas about the nature of science and it becomes apparent that science has already established that the cosmos is physically comprehensible – in so far as science can ever establish anything theoretical. (shrink)

Generics are sentences such as Birds fly, which express generalizations. They are prevalent in speech, and as far as is known, no human language lacks generics. Yet, it is very far from clear what they mean. After all, not all birds fly—penguins don’t! -/- There are two general views about the meaning of generics in the literature, and each view encompasses many specific theories. According to the inductivist view, a generic states that a sufficient number of individuals satisfy a certain (...) property—in the example above, it says that sufficiently many birds fly. This view faces the complicated problem of spelling out exactly how many is “sufficiently many” in a way that correctly captures the intuitive truth conditions of generics. -/- An alternative, the rules and regulations view, despairs from this project and proposes instead that generics directly express rules in the world. Rules are taken to be abstract objects, which are not related to the properties of specific individuals. This view faces the difficult problem of explaining how people come to know of such rules when judging the truth of falsity of generics, and accounting for the strong intuition that a sentence such as Birds fly talks about birds, not abstract objects. -/- What seems to be beyond dispute is that generics, even if they do not express rules, are lawlike: they state non-accidental generalizations. Many scholars have taken this fact to indicate that generics are parametric on possible worlds: they refer to worlds other than the actual world. This, again, raises the problem of how people come to know about what happens in these other worlds. However, a rigorous application of standard tests for intensionality shows that generics are not, in fact, parametric on possible worlds, but only on time. This unusual property may explain much of the mystery surrounding generics. -/- Another mysterious property of generics is that although there is no language without them, there is no linguistic construction that is devoted to the expression of genericity. Rather, generics can be expressed in a variety of ways, each of which can also express nongenerics. Yet, each manifestation of generics differs subtly (or sometimes not so subtly) in its meaning from the others. -/- Even when these and other puzzles of genericity are solved, one mystery would remain: Why are generics, which are so easy to produce and understand in conversation, so difficult to analyze? (shrink)

This chapter introduces a novel account of fake news and explains how it differs from other definitions on the market. The account locates the fakeness of an alleged news report in two main aspects related to its production, namely that its creators do not think to have sufficient evidence in favor of what they divulge and they fail to display the appropriate attitude towards the truth of the information they share. A key feature of our analysis is that it (...) does not require that fake news must be circulated with the intention to deceive one’s audience. In this way, our account overcomes a potential limitation of the current philosophical discussion about fake news, which appears to individuate the main problem with this phenomenon in the fact that fake news consumers are misled and misinformed. In contrast, the proposed analysis shows that an additional (and perhaps equally fundamental) problem uncovered by the spread of fake news is a widespread pathological relationship with information, one on which we consume information not to satisfy our interest in the truth but to strengthen our social identities and quench our hunger for social recognition. (shrink)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

Plato argues, at Theaetetus 170e-171c, that Protagoras’ relativism is self-refuting. This argument, known as the ‘exquisite argument’, and its merits have been the subject of much controversy over the past few decades. Burnyeat (1976b) has argued in defense of Plato’s argument, but his reconstruction of the argument has been criticized as question-begging. After offering an interpretation of Protagoras’ relativism, I argue that the exquisite argument is successful, for reasons that Burnyeat hints at but fails to develop sufficiently. I consider Protagorean (...) relativism under both of the two possible readings with respect to its scope: global relativism, according to which all truths are only relatively true, and qualified relativism, according to which the relativistic thesis itself is excepted. Taking into consideration some contemporary work on relativism and self-refutation, I show that Plato’s argument succeeds on both of these readings. Given that Protagoras could avoid self-contradiction simply by denying that an enduring subject exists, I argue that the exquisite argument is best understood as confronting Protagoras with a dilemma between self-contradiction and self-defeat of various sorts, all of which lead to the same result, that Protagoras violates the requirements of rational discourse in such a way that he becomes an absurd figure who has nothing to say to us. (shrink)

In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. Our findings (...) have implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)