A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to (...) make explicit what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry (...) derivations. I first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals (...) and conditionals. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is (...) often paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann (...) constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)

The Equation (TE) states that the probability of A → B is the probability of B given A. Lewis (1976) has shown that the acceptance of TE implies that the probability of A → B is the probability of B, which is implausible: the probability of a conditional cannot plausibly be the same as the probability of its consequent, e.g., the probability that the match will light given that is struck is not intuitively the same as the probability that it (...) will light. Here I want to counter Lewis’ claim. My aim is to argue that: (1) TE express the coherence requirements implicit in the probability distributions of a modus ponens inference (MP); (2) the triviality result is not implausible because it is a result from these requirements; (3) these coherence requirements measure MP employability, so TE significance is tied to it; (4) MP employability doesn’t provide either the acceptability or the truth conditions of conditionals, since MP employability depends on previous independent reasons to accept the conditional and some acceptable conditionals are not MP friendly. Consequently, TE doesn’t have the logical significance that is usually attributed to it. (shrink)

This paper discusses and relates two puzzles for indicative conditionals: a puzzle about indeterminacy and a puzzle about triviality. Both puzzles arise because of Ramsey's Observation, which states that the probability of a conditional is equal to the conditional probability of its consequent given its antecedent. The puzzle of indeterminacy is the problem of reconciling this fact about conditionals with the fact that they seem to lack truth values at worlds where their antecedents are false. The puzzle of triviality (...) is the problem of reconciling Ramsey's Observation with various triviality proofs which establish that Ramsey's Observation cannot hold in full generality. In the paper, I argue for a solution to the indeterminacy puzzle and then apply the resulting theory to the triviality puzzle. On the theory I defend, the truth conditions of indicative conditionals are highly context dependent and such that an indicative conditional may be indeterminate in truth value at each possible world throughout some region of logical space and yet still have a nonzero probability throughout that region. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational (...) class='Hi'>truth-predicate; that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is (...) often paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Most philosophers who study moral responsibility have done so in isolation of the concept of truth. Here, I show that thinking about the nature of truth has profound consequences for discussions of moral responsibility. In particular, by focusing on the very trivial nature of truth—that truth depends on the world and not the other way around—we can see that widely accepted counterexamples to one of the most influential incompatibilist arguments can be shown not only to (...) be false, but also impossible. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to (...) drop it altogether. Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)

Moral contextualism is the view that claims like ‘A ought to X’ are implicitly relative to some (contextually variable) standard. This leads to a problem: what are fundamental moral claims like ‘You ought to maximize happiness’ relative to? If this claim is relative to a utilitarian standard, then its truth conditions are trivial: ‘Relative to utilitarianism, you ought to maximize happiness’. But it certainly doesn’t seem trivial that you ought to maximize happiness (utilitarianism is a highly controversial (...) position). Some people believe this problem is a reason to prefer a realist or error theoretic semantics of morals. I argue two things: first, that plausible versions of all these theories are afflicted by the problem equally, and second, that any solution available to the realist and error theorist is also available to the contextualist. So the problem of triviality does not favour noncontextualist views of moral language. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of (...) responding to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

This is a reply to Alex Grzankowski’s comment on my paper, ‘To Believe is to Believe True’. I argue that one may believe a proposition to be true without possessing the concept of truth. I note that to believe the proposition P to be true is not the same as to believe the proposition ‘P is true’. This avoids the regress highlighted by Grzankowski in which the concept of truth is employed an infinite number of times in a (...) single belief. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true (...) in all possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

The weak deflationist about truth is committed to two theses: one conceptual, the other ontological. On the conceptual thesis (what might be called a ‘triviality thesis’), the content of the truth predicate is exhausted by its involvement in some version of the ‘truth-schema’. On the ontological thesis, truth is a deflated property of truth bearers. In this paper, I focus on weak deflationism’s ontological thesis, arguing that it generates an instability in its view of (...) class='Hi'>truth: the view threatens to collapse into either that of strong deflationism (i.e., truth is not a property) or that of some form of inflationism (i.e., truth is a substantial property). The instability objection to weak deflationism is sketched by way of a truth-property ascription dilemma, the two horns of which its proponent is at pains to circumvent. (shrink)

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the (...) contingent falsity of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Spinoza and the Theory of Organism HANS JONAS I CARTESIANDUALISMlanded speculation on the nature of life in an impasse: intelligible as, on principles of mechanics, the correlation of structure and function became within the res extensa, that of structure-plus-function with feeling or experience (modes of the res cogitans) was lost in the bifurcation, and thereby the fact of life itself became unintelligible at the same time that the explanation (...) of its bodily performance seemed to be assured. The impasse became manifest in Occasionalism : its tour de force of an extraneous, divine "synchronization" of the outer and the inner world (the latter denied to animals) not only suffered from its extreme artificiality, the common failing of such ad hoc constructions, but even at so high a cost failed to accomplish its theoretical purpose by its own terms. For the animal machine, like any machine, raises beyond the question of the "how" that of the "what for" of its functioning---of the purpose for which it had thus been constructed by its maker.1 Its performance, however devoid of immanent teleology, must serve an end, and that end must be someone's end. This end may (directly) be itself, as indeed Descartes had implied when declaring self-preservation to be the effect of the functioning of the organic automaton. In that case the existence as such of the machine would be its end--either terminally, or in turn to benefit something else. In the former case, the machine would have to be more than a machine, for a mere machine cannot enioy its existence. But since, by the rigorous conception of the res extensa, it cannot be more than a machine, its function and/or existence must serve something other than itself. Automata in Descartes ' time were mainly for entertainment (rather than work). But the raison d'etre of the living kingdom could not well be seen in God's indulging his mechanical abilities or in the amusement of celestial spectators--especially since mere complexity of arrangement does not create new quality and thus add something to the unrelieved sameness of the simple substratum that might enrich the spectrum of being. For quality, beyond the primitive determinations of the extended per se, is the subjective creature of sensation, the confused representation of quantity in a mind; and thus organisms cannot harbor it because as mere machines they lack mentality, and pure spirits cannot because they lack sensuality, or the privilege of confusion and thereby of illusion with its possible enjoyment. And as to their intellectual enjoyment, even that, deprived of the thrill of discovery by the same token, would pale in the contemplation of what to sufficiently large The concept of "machine," adopted for its strict confinementto efficientcause, is still a finalisticconcept,even thoughthe final cause is no longer internal to the entity, as a mode of its own operation,but external to it as antecedent design. [43] 44 HISTORY OF PHILOSOPHY intellects is nothing but the ever-repeated exemplification of the same few, elementary (and ultimately trivial) truths. There remained, then, the time-honored--Stoic as well as Christian--idea that plants and animals are for the benefit of Man. Indeed, since the existence of a living world is the necessary condition for the existence of any of its members, the self-justifying nature of at least one such member (= species) would justify the existence of the whole. In Stoicism, Man provided this end by his possession of reason, which makes him the culmination of a terrestrial scale of being that is also self-justifying throughout all its grades (the end as the best of many that are good in degrees) ; in Christianity, by his possession of an immortal soul, which makes him the sole imago Dei in creation (the end as the sole issue at stake) ; and Cartesian dualism radicalized this latter position by making man even the sole possessor of inwardness or "soul" of any kind, thus the only one of whom "end" can meaningfully be predicated as he alone can entertain ends. All other life then, the product of physical necessity, can be considered his means. However, this traditional idea, in its anthropocentric vanity never a... (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)

A linguistic convention is a principle or norm that has been adopted by a person or linguistic community about how to use, and therefore what the meaning is of, a specific term. Examples of such norms or principles are those expressed by propositions that express the laws of logic or those that express implicit definitions. Arguments about the epistemic status of linguistic conventions, very broadly, fall into two camps: the one holds that the basis of linguistic conventions is objective and (...) that, therefore, such conventions are genuinely truth-bearing. Knowledge of such conventions is therefore knowledge of the objective truth of such conventions. This camp might be labelled ‘realist’. The other holds that there is no known basis to linguistic conventions and that conventions are, to the best of our knowledge, not objective, but invented. Their truth is stipulated by the relevant speaker or linguistic community. Such truth is, consequently, trivial and knowledge of such conventions simply knowledge of the stipulation. This camp might be labelled ‘anti-realist’. These are three standard accounts of the epistemic status of linguistic conventions, which all play into the first camp: (1) knowledge by intuition, (2) inferential a priori knowledge and (3) a posteriori knowledge. I give reasons why these accounts should be rejected. I then argue that linguistic conventions, if conceived of as trivial truths, are knowable non-inferentially a priori. Such an epistemic account provides support for the second camp. In this regard, I marshal support from some recent work by Wright and Hale. (shrink)

In this essay I consider Kaplan’s challenge to Frege’s so-called dictum: “Logic (and perhaps even truth) is immune to epithetical color”. I show that if it is to challenge anything, it rather challenges the view (attributable to Frege) that logic is immune to pejorative colour. This granted, I show that Kaplan’s inference-based challenge can be set even assuming that the pejorative doesn’t make any non-trivial truth-conditional (descriptive) contribution. This goes against the general tendency to consider the (...) class='Hi'>truth-conditionally inert logically irrelevant. But I take it that Kaplan is right and take his examples to show that truth-conditional inertness need not entail inferential inertness. I end up assessing the Kaplan-Frege “debate” as giving edge to the former to the extent that clarity is achieved through Kaplanian inferences on what should be considered part of the explanandum. (shrink)

On Hume’s account of motivation, beliefs and desires are very different kinds of propositional attitudes. Beliefs are cognitive attitudes, desires emotive ones. An agent’s belief in a proposition captures the weight he or she assigns to this proposition in his or her cognitive representation of the world. An agent’s desire for a proposition captures the degree to which he or she prefers its truth, motivating him or her to act accordingly. Although beliefs and desires are sometimes entangled, they play (...) very different roles in rational agency. In two classic papers (Lewis 1988, 1996), David Lewis discusses several challenges to this Humean picture, but ultimately rejects them. We think that his discussion of a central anti-Humean alternative – the desire-as-belief thesis – is in need of refinnement. On this thesis, the desire for proposition p is given by the belief that p is desirable. Lewis claims that ‘[e]xcept in trivial cases, [this thesis] collapses into contradiction’(Lewis 1996, p. 308). The problem, he argues, is that the thesis is inconsistent with the purportedly plausible requirement that one’s desire for a proposition should not change upon learning that the proposition is true; call this the invariance requirement. In this paper, we revisit Lewis’s argument. We show that, if one carefully distinguishes between non-evaluative and evaluative propositions, the desire-asbelief thesis can be rendered consistent with the invariance requirement. Lewis’s conclusion holds only under certain conditions: the desire-as-belief thesis conflicts with the invariance requirement if and only if there are certain correlations between non-evaluative and evaluative propositions. But when there are such correlations, we suggest, the invariance requirement loses its plausibility. Thus Lewis’s argument against the desire-as-belief thesis appears to be valid only in cases in which it is unsound. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

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

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is (...) as plausible as deflationism about an arbitrary sentential relation. Second, the alleged analogy between the arguments for deflationism about truth and deflationism about consequence fails. Along the way I consider what implications the failure of the equiplausibility thesis has for deflationism about falsity. (shrink)

Theorists are divided as to whether truth is or is not a substantive property. In a nutshell, those that maintain that it is, pragmatists, coherentists, and correspondence theorists among others, oppose deflationists who claim that ascribing truth to an assertion is nothing more, or little more, than simply making the assertion. Deflationists typically refuse to grant truth a metaphysical standing, although we must recognise deflationism is not just a statement about the metaphysical status of truth. Unfortunately, (...) propertihood is elusive to define in relation to truth, but to deny it is to say that truth is not a quality bestowed on truth-bearers, one that they possess;1 or to say that truth is not the kind of philosophical entity apt for dissection into constituents and common to all true assertions; or to say that truth ascription is a mere convenience, a façon de parler that eases conversation and confers style; or to say that truth is in some sense a trivial logical fragment that all but disappears upon closer inspection. Intuitions and theories vary on the details of what it takes to be a property, but some or all of these premises are accepted in embracing deflationism. Whiteness, for example, is an uncontroversial property of snow, even if it is arguably a relational one; what deflationism rejects is the analogous property of truth-bearers. (shrink)

Abstract Impossible fictions have lessons to teach us about linguistic representation, about mental content and concepts, and about uses of conceivability in epistemology. An adequate theory of impossible fictions may require theories of meaning that can distinguish between different impossibilities; a theory of conceptual truth that allows us to make useful sense of a variety of conceptual falsehoods; and a theory of our understanding of necessity and possibility that permits impossibilities to be conceived. After discussing these questions, strategies for (...) resisting the picture of impossible fictions presented here and in Part I are discussed. Perhaps apparently impossible fictions describe possibilities after all; or perhaps impossible fictions are all trivial; or perhaps some apparently intelligible impossible fictions are unintelligible after all. (shrink)

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: (...) 421-30), no theory which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

Chalmers (2002) argues against physicalism in part using the premise that no truth about consciousness can be deduced a priori from any set of purely structural truths. Chalmers (2012) elaborates a detailed definition of what it is for a truth to be structural, which turns out to include spatiotemporal truths. But Chalmers (2012) then proposes to define spatiotemporal terms by reference to their role in causing spatial and temporal experiences. Stoljar (2015) and Ebbers (Ms) argue that this definition (...) of spatiotemporal terms allows for the trivial falsification of Chalmers (2002)’s premise about structure and consciousness. I show that this result can be avoided by tweaking the relevant premise, and moreover that this tweak is well-motivated and not ad hoc. (shrink)

ABSTRACT Wilfrid Sellars argued that Kant’s account of the conceptual structures involved in experience can be given a linguistic turn so as to provide an analytic account of the resources a language must have in order to be the bearer of empirical knowledge. In this paper I examine the methodological aspects of Kant’s transcendental philosophy that Sellars took to be fundamental to influential themes in his own philosophy. My first aim here is to clarify and argue for the plausibility of (...) what I claim is Sellars’ interpretation of Kant’s ‘analytic’ transcendental method in the first Critique, based ultimately on non-trivial analytic truths concerning the concept of an object of our possible experience. Kant’s ‘transcendental proofs’ thereby avoid a certain methodological trilemma confronting the candidate premises of any such proof, taken from Sellars’ 1970s undergraduate exam question on Kant. In part II of the essay I conclude by highlighting in general terms how Kant’s method, as interpreted in the analytic manner explained in part I, was adapted by Sellars to produce some of the more influential aspects of his own philosophy, expressed in terms of what he contends is their sustainable reformulation in light of the so-called linguistic turn in twentieth-century philosophy. (shrink)

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, (...) in which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present (...) a sound and complete three-sided sequent calculus for this expressively rich theory. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Wright’s judgement-dependent account of intention is an attempt to show that truths about a subject’s intentions can be viewed as constituted by the subject’s own best judgements about those intentions. The judgements are considered to be best if they are formed under certain cognitively optimal conditions, which mainly include the subject’s conceptual competence, attentiveness to the questions about what the intentions are, and lack of any material self-deception. Offering a substantive, non-trivial specification of the no-self-deception condition is one of (...) the main problems for Wright. His solution is to view it as a positive presumption, which is violated only if there is strong evidence to the effect that the subject is self-deceived. In this paper, I will argue that the concern about self-deception in Wright’s account is misplaced and generally unmotivated. (shrink)

Sometimes you are unreliable at fulfilling your doxastic plans: for example, if you plan to be fully confident in all truths, probably you will end up being fully confident in some falsehoods by mistake. In some cases, there is information that plays the classical role of evidence—your beliefs are perfectly discriminating with respect to some possible facts about the world—and there is a standard expected‐accuracy‐based justification for planning to conditionalize on this evidence. This planning‐oriented justification extends to some cases where (...) you do not have transparent evidence, in the sense that your beliefs are not perfectly discriminating with respect to any non‐trivial facts. In other cases, accuracy considerations do not tell you to plan to conditionalize on any information at all, but rather to plan to follow a different updating rule. Even in the absence of evidence, accuracy considerations can guide your doxastic plan. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes (...) and the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor (...) of a hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving (...) such an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

As the English word “scientism” is currently used, it is a trivial verbal truth that scientism—an inappropriately deferential attitude to science—should be avoided. But it is a substantial question when, and why, deference to the sciences is inappropriate or exaggerated. This paper tries to answer that question by articulating “six signs of scientism”: the honorific use of “science” and its cognates; using scientific trappings purely decoratively; preoccupation with demarcation; preoccupation with “scientific method”; looking to the sciences for answers (...) beyond their scope; denying the legitimacy or worth of non-scientific (e.g., legal or literary) inquiry, or of writing poetry or making art. (shrink)

The folk Psychology frames propositional attitudes as fundamental theoretical entities for the construction of a model designed to predict the behavior of a subject. A trivial, such as grasping a pen and writing reveals - something complex - about the behavior. When I take a pen and start writing I do, trivially, because I believe that a certain object in front of me is a pen and who performs a specific function that is, in fact, that of writing. When (...) I believe that the object that stands before me is a pen, I am in relation to "believe" with the propositional content: that in front of me is a pen. Philosophers of the proposition, from Frege onwards, have dedicated their studies to the analysis of what kinds of entities are the propositional attitudes. Jerry Fodor says that now, the proper prediction of the psychology of common sense, can not be questioned and that the propositional attitudes represent the most effective way to describe our behavior. What Fodor says, however, is that propositional attitudes function, but not how they work. Most philosophers interested in the issue, we are dedicated to the search for a theory that can account consistently both a semantics for propositional attitudes, both of these entities that seem to cause the behavior of a rational subject. There are two main paradigms in the theory of the proposition that contributed to the discussion of the propositional attitudes. One is the one that begins with Gottlob Frege, the other with Bertrand Russell. Defenders of Frege argue that the paradigm scrub objects and properties can not be constituents of the propositional content which have a purely conceptual. In other words, the philosophers belonging to the paradigm of Frege, but not all, mean that you can test in a rigorous way the truth conditions of propositional attitudes. Who defends the russellian’s paradigm argues that the propositional content are made by the objects and properties on which propositional attitudes relate. The purpose of this article is not to rebuild - in detail - both paradigms, nor to reconstruct one but, in a sense, my work will be a completely partial objective is to demonstrate how the paradigm is more profitable russell not only to make a coherent semantic theory for propositional attitudes2 but also to predict the behavior of a rational subject thing, completely innovative, given the repeated objections in contemporary literature3. At the end of this paper will be drafted a proposal to build a consistent model to predict the behavior,of a rational agent, based on a referential theory of propositional attitudes. (shrink)

Real-world agents do not know all consequences of what they know. But we are reluctant to say that a rational agent can fail to know some trivial consequence of what she knows. Since every consequence of what she knows can be reached via chains of trivial cot be dismissed easily, as some have attempted to do. Rather, a solution must give adequate weight to the normative requirements on rational agents’ epistemic states, without treating those agents as mathematically ideal (...) reasoners. I’ll argue that agents can fail to know trivial consequences of what they know, but never determinately. Such cases are epistemic oversights on behalf of the agent in question, and the facts about epistemic oversights are always indeterminate facts. As a result, we are never in a position to assert that such-and-such constitutes an epistemic oversight for agent i (for we may rationally assert only determinate truths). I then develop formal epistemic models according to which epistemic accessibility relations are vague. Given these models, we can show that epistemic oversights always concern indeterminate cases of knowledge. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non- (...) class='Hi'>trivial counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)