It is commonly assumed that besides knowledge of facts or truths, there is also knowledge of things–for example, we say that we know people or know places. We could call this "objectual knowledge". In this paper, I raise doubts about the idea that there is a sui generis objectual knowledge that is distinct from knowledge of truths.

The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn (...) of the century, formed part of the background of views that led to standard current accounts of the objectivity of truth. It thus lends support to speculations on the role of Brentano and his heirs in contemporary logical philosophy advanced by Jan Wolenski in his masterpiece of 1989 on the Logic and philosophy in the Lvov-Warsaw School. (shrink)

It is widely believed, among philosophers of literature, that imagining contradictions is as easy as telling or reading a story with contradictory content. Italo Calvino’s The Nonexistent Knight, for instance, concerns a knight who performs many brave deeds, but who does not exist. Anything at all, they argue, can be true in a story, including contradictions and other impossibilia. While most will readily concede that we cannot objectually imagine contradictions, they nevertheless insist that we can propositionally imagine them, and regularly (...) do, simply by entertaining a text which prompts us to do so. I argue that this narrative does not bear scrutiny for two main reasons. First, because propositional imagining is beside the point, where truth in fiction is concerned; evaluating truth in fiction engages the cognitive architecture in ways that prohibit the mobilization of merely propositional imagination to that end. And second, because it is not obvious, given the strategies usually suggested, that we ever propositionally imagine contradictions in the first place—in fact, it seems we go out of our way to avoid directly imagining them. (shrink)

Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. -/- John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential proposition that some (...) perfect number is odd. Conversely, every proexample for the proposition “some perfect number is odd” is a perfect number that is odd. As trivial these remarks may seem, they can not be taken for granted, even in mathematical and logical texts designed to introduce their respective subjects. One well-reviewed book on counterexamples in analysis says that in order to demonstrate that a universal proposition is false it is necessary and sufficient to construct a counterexample. It is easy to see that it is not necessary to construct a counterexample to demonstrate that the proposition “every true proposition is known to be true” is false–necessity fails. Moreover the mere construction of an object that happens to be a counterexample does not by itself demonstrate that it is a counterexample–sufficiency fails. In order to demonstrate that a universal proposition is false it is neither necessary nor sufficient to construct a counterexample. Likewise, of course, in order to demonstrate that an existential proposition is true it is neither necessary nor sufficient to construct a proexample. This article defines the above relational concepts of counterexample and of proexample, it discusses their surprising history and philosophy, it gives many examples of uses of these and related concepts in the literature and it discusses some of the many errors that have been made as a result of overlooking the challenging subtlety of the proper use of these two basic and indispensable concepts. (shrink)

In the General Psychopathology Jaspers famously draws a distinction between the understandable and explainable. Meaningful connections between psychic events, he argues, can only be understood empathetically and cannot be explained causally. The idea behind this distinction, according to some interpreters at least, seems to be that psychic events do not fall under any general causal rules whereas ordinary events do fall under such rules. Also Jaspers distinguishes empathetic understanding of the connection between two psychic events from a mere interpretation of (...) it, which may turn out to be false. Hence, understanding seems to be able to give us the truth about the connection and is factive as well as self-evident in nature. Contemporary epistemologists, such as Linda Zagzebsky, Duncan Pritchard, and Jonathan Kvanvig, for example, distinguish three varieties: propositional, objectual or holistic, and atomistic understanding. They do not agree on factivity and transparency of understanding. What then is the difference between their views and that of Jaspers? This essay compares recent epistemological views of understanding with those of Jaspers and critiques his claims about empathetic understanding as being both factive and self-evident or transparent; to show that empathetic understanding of connections between psychic events needs a public criterion for its individuation. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. (...) Some but not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed because (...) logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

‘Judgment’ is Brentano’s terms for any mental state liable to be true or false. This includes not only the products of conceptual thought, such as belief, but also perceptual experiences, such as seeing that the window was left open. ‘Every perception counts as a judgment,’ writes Brentano (1874: II, 50/1973a: 209). Accordingly, his theory of judgment is not exactly a theory of the same phenomenon we call today ‘judgment,’ but of a larger class of phenomena one (perhaps the main) species (...) of which is what we call judgment. Even if we keep this in mind, though, the profound heterodoxy of Brentano’s theory of judgment is still striking. Brentano develops this heterodox theory in some detail already in the Psychology from Empirical Standpoint (Brentano 1874/1973a). But he continued to work out its details, and various aspects of it, until his death. Many of the relevant articles, notes, and fragments of relevance have been collected by Oskar Kraus in 1930 and published under the title Truth and Evidence (Brentano 1930/1966b). Kraus prefaces this volume with an elaborate reconstruction, of dubious plausibility, according to which Brentano’s accounts of judgment and truth have gone through four distinct stages. In reality, there is a unified underlying conviction underwriting Brentano’s work both on judgment and on truth (see CHAP. 20 on the latter). Here I present this unified core of this highly original theory of judgment, which can be captured in terms of three main theses. The first is that contrary to appearances, all judgments are existential judgments (§1). The second is that the existential force of judgment is indeed a force, or mode, or attitude – it does not come from the judgment’s content (§2). The third is that judgment is not a propositional attitude but an ‘objectual’ attitude (§3). (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of (...) logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and (...) also a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only (...) the factual content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths (...) about essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the implication. (...) What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

The objective of this paper is to raise a challenge to Ilhan Inan’s claim (2013) that an agent’s curiosity ceases when the agent is firmly certain about the object of curiosity that is of interest to him, and to supplement his account by appealing to an aspect of curiosity that Inan overlooks substantively: open-mindedness. To achieve this objective, I first provide a brief summary of Inan’s claim that an agent’s curiosity is directly proportional to his interest and uncertainty, and inversely (...) proportional to evidence and belief. Second, I discuss my objection to an aspect of Inan’s claim that firm certainty and (high) interest yields no curiosity. In ordinary enquiries or cases of propositional curiosity (e.g., whether questions), Inan’s claim that firm certainty extinguishes curiosity is convincing. However, there can be objectual curiosity cases (e.g., what questions) where Inan’s claim may not be sufficient. Moreover, in many academic enquiries, a scientist may remain motivated to expend extra epistemic and cognitive capital, despite his firm certainty about his once imaginable aspects of the object of curiosity, for the sake of unimaginable possibilities. Fueled by his continued curiosity, it is not uncommon for a scientist to take self-initiatives and reconsider propositions he was once certain about. Based on his past experiences, he might have learned that certainty is generally impermanent and does not always last forever, which could keep his curiosity and hence the possibility of discovering more truths alive. Third, I present a number of rebuttals to my objection and show how they fall short of supporting Inan’s account including the role of other feelings such as fear and anxiety about losing face, and knowing but being subjectively uncertain, which may motivate continued curiosity even when the agent is firmly certain. Fourth, I suggest an alternative view by adding open-mindedness to Inan’s curiosity formulation that could help exculpate my objection. Instead of Inan’s proposition, I suggest that one can remain curious about an objective he is interested in, despite being certain about it, when he is open-minded. (Baehr, 2012) Open-mindedness is a facilitating virtue and an activity that is a cognitive moving beyond or transcending of the person’s doxastic commitments, thus facilitating curiosity. Open-mindedness assists in keeping the agent’s interest and uncertainty alive, and helps freeing the mind beyond default beliefs and binds of certainty. (shrink)

The paper argues that an account of understanding should take the form of a Carnapian explication and acknowledge that understanding comes in degrees. An explication of objectual understanding is defended, which helps to make sense of the cognitive achievements and goals of science. The explication combines a necessary condition with three evaluative dimensions: An epistemic agent understands a subject matter by means of a theory only if the agent commits herself sufficiently to the theory of the subject matter, and (...) to the degree that the agent grasps the theory (i.e., is able to make use of it), the theory answers to the facts and the agent’s commitment to the theory is justified. The threshold for outright attributions of understanding is determined contextually. The explication has descriptive as well as normative facets and allows for the possibility of understanding by means of non-explanatory (e.g., purely classificatory) theories. (shrink)

Propositionalism is the view that all intentional states are propositional states, which are states with a propositional content, while objectualism is the view that at least some intentional states are objectual states, which are states with objectual contents, such as objects, properties, and kinds. This paper argues that there are two distinct ways of understanding propositionalism and objectualism: (1) as views about the deep nature of the contents of intentional states, and (2) as views about the superficial character (...) of the contents of intentional states. I argue that we should understand the views in the second way. I also argue that the propositionalism debate is fairly independent from debates over the deep nature of intentionality, and that this has implications for arguments for propositionalism and objectualism from claims about the nature of intentional content. I close with a short discussion of how related points apply to the debate over singular content. (shrink)

Duncan Pritchard (2008, 2009, 2010, forthcoming) has argued for an elegant solution to what have been called the value problems for knowledge at the forefront of recent literature on epistemic value. As Pritchard sees it, these problems dissolve once it is recognized that that it is understanding-why, not knowledge, that bears the distinctive epistemic value often (mistakenly) attributed to knowledge. A key element of Pritchard’s revisionist argument is the claim that understanding-why always involves what he calls strong cognitive achievement—viz., cognitive (...) achievement that consists always in either (i) the overcoming of a significant obstacle or (ii) the exercise of a significant level of cognitive ability. After outlining Pritchard’s argument, we show (contra Pritchard) that understanding-why does not essentially involve strong cognitive achievement. Interestingly, in the cases in which understanding-why is distinctively valuable, it is (we argue) only because there is sufficiently rich objectual understanding in the background. If that’s right, then a plausible revisionist solution to the value problems must be sensitive to different kinds of understanding and what makes them valuable, respectively. (shrink)

Analytic Philosophy, Volume 62, Issue 1, Page 33-56, March 2021.

Vaidya has recently argued that while Husserl’s method for acquiring knowledge of essence through use of our imagination is subject to a vicious epistemic circle, we can still use the method to successfully attain objectual understanding of essence. In this paper, I argue that the Husserlian objectual understanding-based epistemology envisaged by Vaidya suffers from a similar epistemic circularity as its knowledge-based foil. I argue that there is a straight-forward solution to this problem, but then raise three serious problems (...) for an amended version of Vaidya’s proposal and any similar Husserlian epistemology of essence. The paper closes with some general reflections on applying the Husserlian method to the contemporary notion of essence and on the idea of refocusing the epistemology of essence on understanding instead of knowledge. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is (...) mainly on selected systematic issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Jonathan Kvanvig has argued that “objectual” understanding, i.e. the understanding we have of a large body of information, cannot be reduced to explanatory concepts. In this paper, I show that Kvanvig fails to establish this point, and then propose a framework for reducing objectual understanding to explanatory understanding.

It is argued that if we take grounding to be univocal, then there is a serious tension between truth-grounding and one commonly assumed structural principle for grounding, namely transitivity. The primary claim of the article is that truth-grounding cannot be transitive. Accordingly, it is either the case that grounding is not transitive or that truth-grounding is not grounding, or both.

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the existence (...) of things is grasped. (shrink)

Conceptual engineering is to be explained by appeal to the externalist distinction between concepts and conceptions. If concepts are determined by non-conceptual relations to objective properties rather than by associated conceptions (whether individual or communal), then topic preservation through semantic change will be possible. The requisite level of objectivity is guaranteed by the possibility of collective error and does not depend on a stronger level of objectivity, such as mind-independence or independence from linguistic or social practice more generally. This means (...) that the requisite level of objectivity is exhibited not only by natural kinds, but also by a wide range of philosophical kinds, social kinds and artefactual kinds. The alternative externalist accounts of conceptual engineering offered by Herman Cappelen and Derek Ball fall back into a kind of descriptivism which is antithetical to externalism and fails to recognise this basic level of objectivity. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

David Papineau’s _The Metaphysics of Sensory Experience_ is deep, insightful, refreshingly brisk, and very readable. In it, Papineau argues that sensory experiences are intrinsic and non-relational states of subjects; that they do not essentially involve relations to worldly facts, properties, or other items (though they do happen to correlate with worldly items); and that they do not have truth conditions simply in virtue of their conscious (i.e., phenomenal) features. I am in enthusiastic agreement with the picture as described so (...) far. But Papineau also argues that sensory experiences are in no interesting sense essentially representational and that what is responsible for their truth conditions is their correlations with the environment. Here, I disagree. Indeed, I think Papineau does not follow his arguments to their proper conclusions. For if sensory experiences are intrinsic, non-relational, and only contingently correlated with worldly conditions (as Papineau and I agree they are), then the phenomenal features of sensory states are representational in an important sense: they constitute what we think, perceptually experience, or otherwise entertain, making up how things seem to us from a first-person perspective. Because of this, the truth conditions of perceptual experiences cannot be entirely independent of their phenomenal features. They cannot merely be a matter of environmental correlations. If we follow Papineau’s arguments to their proper conclusions, we end up with a view much closer to a version of representationalism that Papineau dismisses, a view he calls “pure phenomenal intentionalism”. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability (...) to token propositional thoughts. I explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

Two currently much discussed views about truth, truth pluralism and truth relativism, are found in Sellars’s writings. I show that his motivations for adoping these views are interestingly different from those shared by most of their recent advocates. First, I explain how Sellars comes to embrace a version of truth pluralism. I argue that his version overcomes a difficulty confronting pluralists, albeit at a serious cost. Then I argue that Sellars’s truth pluralism isn’t motivated by (...) his interest in domains of discourse beyond the “matter-of-factual.” Rather, the key to his truth pluralism, his analysis of truth as “semantical assertibility,” is motivated by the same consideration that leads him to adopt truth relativism. This is his interest in applying semantic notions to discourse that embodies conceptual structures other than ours. Despite their common motivation, I conclude that Sellars’s relativism is independent of, and indeed stands in tension with, the analysis of truth that underlies his pluralism. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the (...) questions: (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the (...) nature of sparse properties. I then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

Transient Truths: An Essay in the Metaphysics of Propositions provides the first book-length exposition and defense of semantic temporalism, the view that propositions are contents or semantic values that can change their truth-values across time.

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it should (...) be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (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)

Philosopher’s judgements on the philosophical value of Tarski’s contributions to the theory of truth have varied. For example Karl Popper, Rudolf Carnap, and Donald Davidson have, in their different ways, celebrated Tarski’s achievements and have been enthusiastic about their philosophical relevance. Hilary Putnam, on the other hand, pronounces that “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Putnam has several alleged reasons for his dissatisfaction,1 but one (...) of them, the one I call the modal objection (cf. Raatikainen 2003), has been particularly influential. In fact, very similar objections have been presented over and over again in the literature. Already in 1954, Arthur Pap had criticized Tarski’s account with a similar argument (Pap 1954). Moreover, both Scott Soames (1984) and John Etchemendy (1988) use, with an explicit reference to Putnam, similar modal arguments in relation to Tarski. Richard Heck (1997), too, shows some sympathy for such considerations. Simon Blackburn (1984, Ch. 8) has put forward a related argument against Tarski. Recently, Marian David has criticized Tarski’s truth definition with an analogous argument as well (David 2004, p. 389-390).2 This line of argument is thus apparently one of the most influential critiques of Tarski. It is certainly worthy of serious attention. Nevertheless, I shall argue that, given closer scrutiny, it does not present such an acute problem for the Tarskian approach to truth as many philosophers think. But I also believe that it is important to understand clearly why this is so. Moreover, I think that a careful consideration of the issue illuminates certain important but somewhat neglected aspects of the Tarskian approach. (shrink)

Conceptual engineers are always on the lookout for concepts that can be improved upon or replaced. Kevin Scharp has argued that the concept truth is inconsistent, and that this inconsistency thwarts its ability to serve in philosophical and scientific explanatory projects, such as developing linguistic theories of meaning. In this paper I present Scharp’s view about what makes a concept inconsistent, and why he believes that truth in particular is inconsistent. Then I examine the concepts that he suggests (...) should replace truth for various explanatory and expressive duties. I argue that those concepts are not up to the tasks for which they are posited, and so Scharp’s replacement methodology itself needs to be reengineered. (shrink)

Deflationists about truth generally regard the contribution that ‘true’ makes to utterances to be purely logical or expressive: it exists to facilitate communication, and remedy our expressive deficiencies that are due to ignorance or finitude. This paper presents a challenge to that view by considering alethic desires. Alethic desires are desires for one’s beliefs to be true. Such desires, I argue, do not admit of any deflationarily acceptable analysis, and so challenge the deflationist’s austere view about the semantic role (...) of ‘true’. I consider a number of deflationist proposals for analyzing alethic desires, and find them all problematic. (shrink)

This paper provides an account of truth in interactive fiction. Interactive fiction allows the audience to make choices, resulting in many different possible fictions within each interactive fiction, unlike in literary fiction where there is just one. Adequately capturing this feature of interactive fiction requires us to address familiar issues regarding impossible fiction and the nature of time in fiction. Truth in interactive fiction thus requires a complex account to capture its multitude of fictions. It is argued that (...) a full account of truth in interactive fiction requires distinguishing two works for each interactive fiction, which contain distinct fictional truths. The actual work encompasses what is in fact represented as fictional (hence mistakes can be fictionally true in this work), whilst in the implied work, truth in fiction is governed by authorial intention, hence mistakes are not fictionally true. This dual account best captures our aesthetic evaluation of interactive fictions, for which we often need to distinguish how the work actually is from how it was intended to be. (shrink)

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted (...) for in terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Post-truth politics has been diagnosed as harmful to both knowledge and democracy. I argue that it can also fundamentally undermine epistemic autonomy in a way that is similar to the manipulative technique known as gaslighting. Using examples from contemporary politics, I identify three categories of post-truth rhetoric: the introduction of counternarratives, the discrediting of critics, and the denial of more or less plain facts. These strategies tend to isolate people epistemically, leaving them disoriented and unable to distinguish between (...) reliable and unreliable sources. Like gaslighting, post-truth politics aims to undermine epistemic autonomy by eroding someone’s self-trust, in order to consolidate power. Shifting the focus to the effects on the victim allows for new insights into the specific harms of post-truth politics. Applying the concept of gaslighting to this domain may also help people recognize a pernicious dynamic that was invisible to them before, giving them an important tool to resist it. (shrink)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary (...) thinking about truth, according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the (...) propositions of Russell and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Spinoza’s claims about true ideas are central to the Treatise on the Emendation of the Intellect. It is therefore worth trying to reconstruct what he means when he says that an idea is true. I argue that the three leading interpretations – correspondence, coherence, and causal – don’t explain key passages. I then propose a new interpretation. Roughly, I propose that an idea is true if and only if it represents an essence and was derived in the right kind of (...) way by the intellect from an innate idea of one’s own essence. In the final section I sketch why I believe this interpretation extends to his claims about truth and adequacy in the Ethics. (shrink)

Functionalism about truth, or alethic functionalism, is one of our most promising approaches to the study of truth. In this chapter, I chart a course for functionalist inquiry that centrally involves the empirical study of ordinary thought about truth. In doing so, I review some existing empirical data on the ways in which we think about truth and offer suggestions for future work on this issue. I also argue that some of our data lend support to (...) two kinds of pluralism regarding ordinary thought about truth. These pluralist views, as I show, can be straightforwardly integrated into the broader functionalist framework. The main result of this integration is that some unexplored metaphysical views about truth become visible. To close the chapter, I briefly respond to one of the most serious objections to functionalism, due to Cory Wright. (shrink)

Answers to the questions of what justifies conscientious objection in medicine in general and which specific objections should be respected have proven to be elusive. In this paper, I develop a new framework for conscientious objection in medicine that is based on the idea that conscience can express true moral claims. I draw on one of the historical roots, found in Adam Smith’s impartial spectator account, of the idea that an agent’s conscience can determine the correct moral norms, even if (...) the agent’s society has endorsed different norms. In particular, I argue that when a medical professional is reasoning from the standpoint of an impartial spectator, his or her claims of conscience are true, or at least approximate moral truth to the greatest degree possible for creatures like us, and should thus be respected. In addition to providing a justification for conscientious objection in medicine by appealing to the potential truth of the objection, the account advances the debate regarding the integrity and toleration justifications for conscientious objection, since the standard of the impartial spectator specifies the boundaries of legitimate appeals to moral integrity and toleration. The impartial spectator also provides a standpoint of shared deliberation and public reasons, from which a conscientious objector can make their case in terms that other people who adopt this standpoint can and should accept, thus offering a standard fitting to liberal democracies. (shrink)

Conceptual primitivism is the view that truth is among our most basic and fundamental concepts. It cannot be defined, analyzed, or reduced into concepts that are more fundamental. Primitivism is opposed to both traditional attempts at defining truth (in terms of correspondence, coherence, or utility) and deflationary theories that argue that the notion of truth is exhausted by means of the truth schema. Though primitivism might be thought of as a view of last resort, I believe (...) that the view is independently attractive, and can be argued for directly. In this paper I offer what I take to be the strongest argument in favor of conceptual primitivism, which relies upon the Fregean doctrine of the omnipresence of truth. (shrink)

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

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or false. (...) A Tarski-style truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.