It is widely held that there are important differences between indicative conditionals (e.g. “If the authors are linguists, they have written a linguistics paper”) and subjunctive conditionals (e.g. “If the authors had been linguists, they would have written a linguistics paper”). A central difference is that indicatives and subjunctives convey different stances towards the truth of their antecedents. Indicatives (often) convey neutrality: for example, about whether the authors in question are linguists. Subjunctives (often) convey the falsity of the antecedent: (...) for example, that the authors in question are not linguists. This paper tests prominent accounts of how these different stances are conveyed: whether by presupposition or conversational implicature. Experiment 1 tests the presupposition account by investigating whether the stances project – remain constant – when embedded under operators like negations, possibility modals, and interrogatives, a key characteristic of presuppositions. Experiment 2 tests the conversational-implicature account by investigating whether the stances can be cancelled without producing a contradiction, a key characteristic of implicatures. The results provide evidence that both stances – neutrality about the antecedent in indicatives and the falsity of the antecedent in subjunctives – are conveyed by conversational implicatures. (shrink)

Keith DeRose has argued that context shifting experiments should be designed in a specific way in order to accommodate what he calls a ‘truth/falsity asymmetry’. I explain and critique DeRose's reasons for proposing this modification to contextualist methodology, drawing on recent experimental studies of DeRose's bank cases as well as experimental findings about the verification of affirmative and negative statements. While DeRose's arguments for his particular modification to contextualist methodology fail, the lesson of his proposal is that there is (...) good reason to pay close attention to several subtle aspects of the design of context shifting experiments. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of (...) class='Hi'>falsity conditions. We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

In this paper, we propose some transfor mations based on the centroid points between single valued neutrosophic numbers. We introduce these trans formations according to truth, indeterminacy and falsity value of single valued neutrosophic numbers. We propose a new similarity measure based on falsity value between single valued neutrosophic sets. Then we prove some properties on new similarity measure based on falsity value between falsity value between single valued neutrosophic sets. Furthermore, we propose similarity measure based (...) on falsity value between single valued neutrosophic sets based on the centroid points of transformed single valued neutrosophic numbers. We also apply the proposed similarity measure between single valued neutrosophic sets to deal with pattern recognition problems. (shrink)

This paper argues that the obvious validity of certain inferences involving indirect speech reports as premises and truth or falsity ascriptions as conclusions is incompatible with Davidson's so-called "paratactic" analysis of the logical form of indirect discourse. Besides disqualifying that analysis, this problem is also claimed to indicate that the analysis is doubly in tension with Davidson's metasemantic views. Specifically, it can be reconciled neither with one of Davidson's key assumptions regarding the adequacy of the kind of semantic theory (...) he recommends nor with one of his key assumptions regarding the inadequacy of a kind of semantic theory he rejects. (shrink)

Abstract: We see, experience, and live our lives in this empirical world. We, ordinary people, perceive the world as real or sattvāvāna. But, Advaitins say, the world is false, it has no actual existence. So, questions, then, arise, do we live in a falsified universe? Or, do the things which are around us have no essential value? Such questions haunt us to look into the meaning and analysis of the Advaitins, and thus, this paper is nothing but an unraveling interpretation (...) of the meaning of falsity presented by Madhusūdana Sarasvatī in his auspicious text, Advaitasiddhi. Not a single among the five definitions given in the book is his definition of Madhusūdna. He just tried to establish the validity of those definitions. Among the five, Pancapādikākāra wrote the first one. Vivaraṇakāra gave the second and the third. Citsukhācāriya wrote the fourth definition of falsity. And the last, i.e., the fifth definition of falsity, is provided by the author of Makaranda, Ᾱnandavodhācāriya. The first definition of falsity presented in the Advaitasiddhi is sadasattvānadhikaraṇatva. That is to say; the property falsity is not the substratum of either existence (sattvā) or non-existence (asattvā). Here, existence (sattvā) means free from contradiction for all the times, i.e., trikālāvādhyatva and non-existence (asattvā) means being the absence or vyatireka of trikālāvādhyatva. In this sense, Brahman is existent as it has the property trikālāvādhyatva. Brahman is never liable to contradiction, while the hare`s horn, sky-lotus, etc. are non-existent because such things cognize nowhere as trikālāvādhyatva. It has been said in the earlier that the first definition of the falsity would be analyzed, which is discussed and explained in Advaitasiddhi. Regarding the interpretations, the opponent leveled many objections which were subdued by Madhusūdana. Hence, I intend to focus only on the validity of the first definition of falsity by rejecting the opponent’s position. (shrink)

Stereotypes are commonly alleged to be false or inaccurate views of groups. For shorthand, I call this the falsity hypothesis. The falsity hypothesis is widespread and is often one of the first reasons people cite when they explain why we shouldn’t use stereotypic views in cognition, reasoning, or speech. In this essay, I argue against the falsity hypothesis on both empirical and ameliorative grounds. In its place, I sketch a more promising view of stereotypes—which avoids the (...) class='Hi'>falsity hypothesis—that joins my earlier work on stereotypes in individual psychology with the work of Patricia Hill Collins on cultural stereotypes. According to this two-part hybrid theory, stereotypes are controlling images or ideas that enjoy both a psychological and cultural existence, which serve a regulative social function. (shrink)

This article examines several answers to the question, can lexical definitions be true or false.

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in (...) the philosophy of language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (shrink)

I present a general metaphysical framework for any formal system that works with truth-values. To establish such a framework, I start with the notion of absolute nothingness, from which I construct a nothingness which is akin to the notion of an empty set in mathematics. Then I provide a formal system that its ability to produce symbols is an integral property and an inseparable part of its metaphysics.

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's (...) paper is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional logic (...) implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

Abstract Utterances of counterfactual conditionals are typically attended by the information that their antecedents are false. But there is as yet no account of the source of this information that is both detailed and complete. This paper describes the problem of counterfactual antecedent falsity and argues that the problem can be addressed by appeal to an adequate account of the presuppositions of various competing conditional constructions. It argues that indicative conditionals presuppose that their antecedents are epistemically possible, while subjunctive (...) conditionals bear no presupposition. Given this arrangement, utterance of the counterfactual results in an antipresupposition, that is, a scalar implicature generated from the presuppositions of competing alternatives rather than from the at-issue content of competing alternatives. The content of the antipresupposition is the negation of the presupposition of the competing indicative, i.e., that the antecedent of the conditional is known to be false by the speaker. (shrink)

In the present paper I defend an interpretation of the Cartesian notion of material falsity that it would be adequate to describe as ‘epistemic’, as opposed to most other views in the literature, which could be described as ‘metaphysical’. Whereas metaphysical conceptions of material falsity consider an idea to be such because of some kind of failure in their representative properties, that is, in the relation between what they exhibit and their objects, an epistemic view considers that what (...) makes an idea materially false is some kind of opacity that precludes their representational properties to be known in the first place. In the paper the evidence for these two kinds of reading is assessed, and it is shown that epistemic views are clearly more adequate. (shrink)

This chapter contains sections titled: Truth and Falsity Truth and Belief Truth and Correspondence Truth and Coherence Defining and Testing for Truth: Correspondence and Coherence Sources.

The falsity of moral claims is commonly deduced from two tenets: that they presuppose the existence of objective values and that these values don’t exist. Hence, the error theory concludes, moral claims are false. In this article, I put pressure on the image of human morality that is presupposed in moving from the non-existence of objective values to the falsity of moral claims. I argue that, while, understood in a certain way, the two premises of the error theory (...) are correct, this does not render moral discourse false, because moral objectivity is disanalogous to objectivity in empirical sciences and as such need not be characterized in terms of mind-independency. Using Dewey, I illuminate the possibility of accommodating the guiding intuitions of the error theory in a first-order account of morality. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that (...) proposition abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several (...) patterns of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in (...) explanations of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

This paper examines the pressures leading two very different Early Modern philosophers, Descartes and Locke, to invoke two ways in which thought is directed at objects. According to both philosophers, I argue, the same idea can simultaneously count as “of” two different objects—in two different senses of the phrase ‘idea of’. One kind of intentional directedness is invoked in answering the question What is it to think that thus-and-so? The other kind is invoked in answering the question What accounts for (...) the success of our proper methods of inquiry? For Descartes as well as Locke, the two kinds of “ofness” come apart as a result of strong rationalist commitments. However, I will suggest that even if we reject such commitments, we go wrong if we assume that a single kind of intentional directedness suffices to address both questions. (shrink)

The standard view in social science and philosophy is that lying does not require the liar’s assertion to be false, only that the liar believes it to be false. We conducted three experiments to test whether lying requires falsity. Overall, the results suggest that it does. We discuss some implications for social scientists working on social judgments, research on lie detection, and public moral discourse.

When a belief is self-fulfilling, having it guarantees its truth. When a belief is self-defeating, having it guarantees its falsity. These are the cases of “self-impacting” beliefs to be examined below. Scenarios of self-defeating beliefs can yield apparently dilemmatic situations in which we seem to lack sufficient reason to have any belief whatsoever. Scenarios of self-fulfilling beliefs can yield apparently dilemmatic situations in which we seem to lack reason to have any one belief over another. Both scenarios have been (...) used independently to challenge Evidentialism, on which what we may rationally believe is all and only what fits our current evidence. Here we tie the two scenarios together and explore what a knowledge-sensitive evidentialist approach to one implies for the other. (shrink)

The use of counterfactuals for considerations of algorithmic fairness and explainability is gaining prominence within the machine learning community and industry. This paper argues for more caution with the use of counterfactuals when the facts to be considered are social categories such as race or gender. We review a broad body of papers from philosophy and social sciences on social ontology and the semantics of counterfactuals, and we conclude that the counterfactual approach in machine learning fairness and social explainability can (...) require an incoherent theory of what social categories are. Our findings suggest that most often the social categories may not admit counterfactual manipulation, and hence may not appropriately satisfy the demands for evaluating the truth or falsity of counterfactuals. This is important because the wide- spread use of counterfactuals in machine learning can lead to misleading results when applied in high-stakes domains. Accordingly, we argue that even though counterfactuals play an essential part in some causal inferences, their use for questions of algorithmic fairness and social explanations can create more problems than they resolve. Our positive result is a set of tenets about using counterfactuals for fairness and explanations in machine learning. (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)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this (...) characterization problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

There is long standing agreement both among philosophers and linguists that the term ‘counterfactual conditional’ is misleading if not a misnomer. Speakers of both non-past subjunctive (or ‘would’) conditionals and past subjunctive (or ‘would have’) conditionals need not convey counterfactuality. The relationship between the conditionals in question and the counterfactuality of their antecedents is thus not one of presupposing. It is one of conversationally implicating. This paper provides a thorough examination of the arguments against the presupposition view as applied to (...) past subjunctive conditionals and finds none of them conclusive. All the relevant linguistic data, it is shown, are compatible with the assumption that past subjunctive conditionals presuppose the falsity of their antecedents. This finding is not only interesting on its own. It is of vital importance both to whether we should consider antecedent counterfactuality to be part of the conventional meaning of the conditionals in question and to whether there is a deep difference between indicative and subjective conditionals. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue (...) that we should accept these startling conclusions, since CEM is valid. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come (...) out both necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

‘It is of the very nature of consciousness to be intentional’ said Jean-Paul Sartre, ‘and a consciousness that ceases to be a consciousness of something would ipso facto cease to exist’.1 Sartre here endorses the central doctrine of Husserl’s phenomenology, itself inspired by a famous idea of Brentano’s: that intentionality, the mind’s ‘direction upon its objects’, is what is distinctive of mental phenomena. Brentano’s originality does not lie in pointing out the existence of intentionality, or in inventing the terminology, which (...) derives from scholastic discussions of concepts or intentiones.2 Rather, his originality consists in his claim that the concept of intentionality marks out the subject matter of psychology: the mental. His view was that intentionality ‘is characteristic exclusively of mental phenomena. No physical phenomenon manifests anything like it’.3 This is Brentano’s thesis that intentionality is the mark of the mental. Despite the centrality of the concept of intentionality in contemporary philosophy of mind, and despite the customary homage paid to Brentano as the one who revived the terminology and placed the concept at the centre of philosophy, Brentano’s thesis is widely rejected by contemporary philosophers of mind. What is more, its rejection is not something which is thought to require substantial philosophical argument. Rather, the falsity of the thesis is taken as a starting-point in many contemporary discussions of intentionality, something so obvious that it only needs to be stated to be recognised as true. Consider, for instance, these remarks from the opening pages of Searle’s Intentionality: Some, not all, mental states and events have Intentionality. Beliefs, fears, hopes and desires are Intentional; but there are forms of nervousness, elation and undirected anxiety that are not Intentional.... My beliefs and desires must always be about something. But my nervousness and undirected anxiety need not in that way be about anything.4 Searle takes this as obvious, so obvious that it is not in need of further argument or elucidation. (shrink)

The past decade has seen a protracted debate over the semantics of epistemic modals. According to contextualists, epistemic modals quantify over the possibilities compatible with some contextually determined group’s information. Relativists often object that contextualism fails to do justice to the way we assess utterances containing epistemic modals for truth or falsity. However, recent empirical work seems to cast doubt on the relativist’s claim, suggesting that ordinary speakers’ judgments about epistemic modals are more closely in line with contextualism than (...) relativism (Knobe & Yalcin 2014; Khoo 2015). This paper furthers the debate by reporting new empirical research revealing a previously overlooked dimension of speakers’ truth-value judgments concerning epistemic modals. Our results show that these judgments vary systematically with the question under discussion in the conversational context in which the utterance is being assessed. We argue that this ‘QUD effect’ is difficult to explain if contextualism is true, but is readily explained by a suitably flexible form of relativism. (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)

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)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In particular, I will (...) argue that theories of positive truth are _trustworthy_, analogously to the theories of full disquotational truth. Moreover, I argue that, for a given cognitive project, _if_ the acceptance of trustworthy theories is taken to be an _epistemic norm_ of cognitive project, then one has good reasons to accept theories of positive truth over other rival theories of truth in classical logic. On the other hand, the latter theories are deemed epistemically unacceptable. (shrink)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that there (...) is a more informative answer. They say that, at the very least, propositional faith requires propositional belief. More precisely, they say that faith that p requires belief that p or that it must be partly constituted by belief that p. This view is common enough; call it the Common View. I have two main aims in this paper: (i) to exhibit the falsity of the Common View and the paucity of reasons for it, and (ii) to sketch a more accurate and comprehensive account of what propositional faith is. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the (...) identity thesis, but also the metaphysical possibility of disembodiment. (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)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

Panpsychism is an eminently sensible view of the world and its relation to mind. If God is a metaphysician, and regardless of the actual truth or falsity of panpsychism, it is certain that he regards the theory as an honest and elegant competitor on the field of ontologies. And if God didn’t create a panpsychist world, then there’s a fair chance that he wishes he had done so, or will do next time around. The difficulties panpsychism faces, then, are (...) not metaphysical ones. They are, instead, difficulties of understanding, and of acceptance by philosophers. The main difficulty of this sort the theory faces is that its ontology – with consciousness in some sense at the heart of all that exists1 – is deemed too bizarre, frankly, too humano-centric to be taken seriously. Why should anyone think that consciousness, widely held to be the preserve only of ourselves, plus the most recently evolved organisms, infuses the basement level of all existence? Such a thought seems to many – especially, to scientifically scrupled philosophers of mind – a narcissistic (or at best hopelessly anti-realist) folly, which doesn’t even deserve its day in court. Panpsychism.. (shrink)

This contribution considers whether or not it is possible to devise a coherent form of external skepticism about the normative if we ‘relax’ about normative ontology by regarding claims about the existence of normative truths and properties themselves as normative. I answer this question in the positive: A coherent form of non-normative error-theories can be developed even against a relaxed background. However, this form no longer makes any reference to the alleged falsity of normative judgments, nor the non-existence of (...) normative properties. Instead, it concerns a specifically inferentialist construal of error-theories which suggests that error-theorists should abstain from any claims about normative ontology to focus exclusively on claims about the inferential role of normative vocabulary. As I will show, this suggestion affords a number of important advantages. However, it also comes at a cost, in that it might not only change the letter, but also the spirit of traditional error-theories. (shrink)

Plato's Theaetetus rejects four explanations of how someone could falsely believe something. The Sophist accepts an explanation of how someone could falsely believe something. The problem is to fit together what Plato rejects in the Theaetetus with what he accepts in the Sophist, given the intended unity of these two dialogues. ;The traditional solution is to take the Sophist's explanation of false speech and belief to be Plato's last word on the matter, to take that explanation as somehow overreaching the (...) problems raised in the Theaetetus. I argue that this solution is unsatisfactory: Using the Cratylus, I point out a 'match-up postulate' needed for false speech, namely, that a person can 'match-up' x with y in some way or other whether or not x and y really belong together in that way. But The Theaetetus rejects this postulate. And This rejection is canonical, that is, Plato is there arguing in his own person. Now Nowhere in the Sophist is any reason given to accept this postulate, nor is it compatible with certain parts of the Sophist. Thus The Sophist's explanation does not overreach the problems raised in the Theaetetus. ;Having rejected the traditional way of fitting together the Theaetetus and Sophist, I suggest the following new way. Instead of taking the explanation of the Sophist to be Plato's last word on false speech, I take his last word to be the rejection of the various explanations in the Theaetetus. ;I motivate this suggestion by comparing Plato's peculiar style of dialogue--as found, for instance, in the Laches and Meno--with the modern, expository style of presenting philosophy. The aim of my comparison is to show that, whereas in an exposition the arguing is done in the middle followed by the conclusion at the end, in Plato's dialogue style the arguing is done in the middle followed by a denial of the conclusion at the end. (shrink)

Groups, like individuals, can communicate. They can issue statements, make promises, give advice. Sometimes, in doing so, they lie and deceive. The goal of this paper is to offer a precise characterisation of what it means for a group to make an assertion and to lie. I begin by showing that Lackey’s influential account of group assertion is unable to distinguish assertions from other speech acts, explicit statements from implicatures, and lying from misleading. I propose an alternative view, according to (...) which a group asserts a proposition only if it explicitly presents that proposition as true, thereby committing to its truth. This proposal is then put to work to define group lying. While scholars typically assume that group lying requires (i) a deceptive intent and (ii) a belief in the falsity of the asserted proposition, I offer a definition that drops condition (i) and significantly broadens condition (ii). (shrink)

In this article, I make the case for the continued relevance of Plato’s Timaeus. I begin by sketching Allan Bloom’s picture of the natural sciences today in The Closing of the American Mind, according to which the natural sciences are, objectionably, increasingly specialized and have ejected humans qua humans from their purview. I argue that Plato’s Timaeus, despite the falsity of virtually all of its scientific claims, provides a model for how we can pursue scientific questions in a comprehensive (...) way that stresses their connections to other disciplines, including the humanities, and that puts humanity qua humanity back in the picture. I then argue that being led by Plato’s philosophy to return humanity conceptually to the natural world can improve our thinking regarding climate change and other important environmental crises. (shrink)

I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, since, in their (...) context of assertion V was bivalent. This theory requires a theory of assertion that is a form of cognitive expressivism. (shrink)

A naturalistic impulse has taken speculative analytic metaphysics in its critical sights. Importantly, the claim that it is desirable or requisite to give metaphysics scientific moorings rests on underlying epistemological assumptions or principles. If the naturalistic impulse toward metaphysics is to be well-founded and its prescriptions to have normative force, those assumptions or principles should be spelled out and justified. In short, advocates of naturalized or scientific metaphysics require epistemic infrastructure. This paper begins to supply it. The author first sketches (...) her conception of suitably naturalized or scientific metaphysics. She then lays out a number of candidate epistemic principles centring around the notion of theoretical constraint. The author offers several arguments for the principles, based on statistical likeliness, agreement, falsity avoidance, and methodological efficiency and inefficiency. Finally, she shows how scientific metaphysics satisfies the epistemic principles and is therefore preferable to its traditional rivals. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

Naïve realism, often overlooked among philosophical theories of perception, has in recent years attracted a surge of interest. Broadly speaking, the central commitment of naïve realism is that mind-independent objects are essential to the fundamental analysis of perceptual experience. Since the claims of naïve realism concern the essential metaphysical structure of conscious perception, its truth or falsity is of central importance to a wide range of topics, including the explanation of semantic reference and representational content, the nature of phenomenal (...) consciousness, and the basis of perceptual justification and knowledge. One of the greatest difficulties surrounding discussions of naïve realism, however, has been lack of clarity concerning exactly what affirming or denying it entails. In particular, it is sometimes unclear how naïve realism is related to the claim that perceptual experience is in some sense direct or unmediated, and also to what extent the view is compatible with another widely discussed thesis in the philosophy of perception, the claim that perceptual experiences are states with representational content. In this essay, I discuss how recent work on these issues helps to clarify both the central commitments of naïve realism, as well as its relation to representationalist theories of perception. Along the way, I will attempt to shed light on the different ways in which each approach tries to address the various theoretical challenges facing a philosophical theory of perception, and also to assess the prospects for views that attempts to combine features of each approach. (shrink)

Researchers have debated whether there is a relationship between a statement’s truth-value and whether it counts as a lie. One view is that a statement being objectively false is essential to whether it counts as a lie; the opposing view is that a statement’s objective truth-value is inessential to whether it counts as a lie. We report five behavioral experiments that use a novel range of behavioral measures to address this issue. In each case, we found evidence of a relationship. (...) A statement’s truth-value affects how quickly people judge whether it is a lie. When people consider the matter carefully and are told that they might need to justify their answer, they are more likely to categorize a statement as a lie when it is false than when it is true. When given options that inhibit perspective-taking, people tend to not categorize deceptively motivated statements as lies when they are true, even though they still categorize them as lies when they are false. Categorizing a speaker as “lying” leads people to strongly infer that the speaker’s statement is false. People are more likely to spontaneously categorize a statement as a lie when it is false than when it is true. We discuss four different interpretations of relevant findings to date. At present, the best supported interpretation might be that the ordinary lying concept is a prototype concept, with falsity being a centrally important element of the prototypical lie. (shrink)

Classically, truth and falsehood are opposite, and so are logical truth and logical falsehood. In this paper we imagine a situation in which the opposition is so pervasive in the language we use as to threaten the very possibility of telling truth from falsehood. The example exploits a suggestion of Ramsey’s to the effect that negation can be expressed simply by writing the negated sentence upside down. The difference between ‘p’ and ‘~~p’ disappears, the principle of double negation becomes trivial, (...) and the truth/falsehood opposition is up for grabs. Our moral is that this indeterminacy undermines the idea of inferential role semantics. (shrink)