The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should be replaced (...) by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

Over the years I’ve written many papers defending an idiosyncratic version of interest-relative epistemology. This book collects and updates the views I’ve expressed over those papers. -/- Interest-relative epistemologies all start in roughly the same way. A big part of what makes knowledge important is that it rationalises action. But for almost anything we purportedly know, there is some action that it wouldn’t rationalise. I know what I had for breakfast, but I wouldn’t take a bet at billion to one (...) odds about it. Knowledge has practical limits. The first idiosyncratic feature of my version of interest-relative epistemology is how those limits are identified. Other interest-relative philosophers typically say that the limits have to do with stakes; in high stakes situations knowledge goes away. That’s no part of my view. I think knowledge goes away in long odds situations. High stakes situations are almost always are long odds situations, for reasons to do with the declining marginal utility of money. But the converse isn’t true. On my view, knowledge often goes away in cases where it is trivial to check before action. This idea, that interests matter in long odds cases, and not just in high stakes cases, is the main constant in what I’ve written on interest-relativity over the years. -/- But there are three other respects in which the view I’m going to set out and defend in this book is very different from the view I set out in older papers. -/- I used to identify the practical limits on knowledge with cases where relying on the purported knowledge would get the wrong answer. I focused, that is, on the outputs of inquiry. Knowledge goes away if relying on it would lead one to make a mistake. I now think I was looking at the wrong end of inquiry. Knowledge goes away if the thinker starts conducting an inquiry where the purported knowledge is an inappropriate starting point, and inappropriate for the special reason that it might be false. Now one way we can tell that something is a bad starting point is that starting there will mean we end up at the wrong place. But it’s not the only way. Sometimes a bad starting point will lead to the right conclusion for the wrong reasons. As the Nyāya philosophers argued, rational inquiry starts with knowledge. If it would be irrational to start this inquiry with a particular belief, that belief isn’t knowledge. -/- Not all inquiries are practical inquiries, but many are. And practical inquiries are usually going to be at the center of attention in this book. But what is someone trying to figure out when they conduct a practical inquiry? I used to think that they were trying to figure out which option maximised expected utility, and to a first approximation identified knowledge with those things one could conditionalise on without changing the option that maximised expected utility. As noted in the previous paragraph, I no longer think that we can identify knowledge with what doesn’t change our verdicts. But more importantly, I no longer think that expected utility maximisation is as central to practical inquiry as I once did. There are some theoretical reasons from game theory that raise some doubts about expected utility maximisation. Weak dominance reasoning is part of our theory of rational choice, and can’t be modelled as expected utility maximisation. Perhaps some kinds of equilibrium seeking are parts of practical inquiry, and can’t be modelled as expected utility maximisation. But there are also very practical reasons to think that practical inquiry doesn’t aim at expected utility maximisation. When there are a lot of very similar options - think about selecting a can from a supermarket shelf - and it’s more trouble than it’s worth to figure out which of them maximises expected utility, it’s best to ignore the differences between them and just pick. As I’ll argue in Chapter 6, this makes a big difference to how interests and knowledge interact. -/- In the version of interest-relativity that I’m defending here, everything in epistemology is interest-relative. Knowledge, rational belief, and evidence are all interest-relative. But they are all interest-relative in slightly different ways. The main aim here is to defend the interest-relativity of knowledge. A common objection to interest-relative theories of knowledge is that they can’t be extended into theories of all the things we care about in epistemology. Here I try to meet that challenge. The way I do so is a little messy. It would be nice if there was some part of epistemology that’s interest-invariant, as I used to think, or if all the interest-relative notions were interest-relative in the same way, as other interest-relative epistemologists argue. For better or worse, that’s not the view I’m defending. Interests matter throughout epistemology, and we just have to go case by case to figure out how and why they matter. (shrink)

This paper presents a unified theory of the truth conditions and probability of indicative conditionals and their compounds in a trivalent framework. The semantics validates a Reduction Theorem: any compound of conditionals is semantically equivalent to a simple conditional. This allows us to validate Stalnaker's Thesis in full generality and to use Adams's notion of $p$-validity as a criterion for valid inference. Finally, this gives us an elegant account of Bayesian update with indicative conditionals, establishing that despite differences in meaning, (...) it is tantamount to learning a material conditional. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

It is tempting to think (though many deny) that epistemic agents exercise a distinctive kind of control over their belief‐like attitudes. My aim here is to sketch a “bottom‐up” model of epistemic agency, one that draws on an analogous model of practical agency, according to which an agent's conditional beliefs are reasons‐responsive planning states that initiate and sustain mental behavior so as to render controlled.

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as well as (...) certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

Keeping track of what others believe is a central part of human social cognition. However, the social relevance of those beliefs can vary a great deal. Some belief attributions mostly tell us about what a person is likely to do next. Other belief attributions tell us more about a person's social identity. In this paper, I argue that we cope with this challenge by employing two distinct concepts of belief in our everyday social interactions. The epistemic concept of belief is (...) primarily used to keep track of what other people take to be true, and this informs how we predict and interpret their behaviors. The symbolic concept of belief, in contrast, is primarily used as a means of signaling one's social identity to other members of one's community. In turn, community members closely monitor each other's symbolic beliefs as a means of enforcing social norms. (shrink)

In one of his meetings with members of the Vienna Circle, Wittgenstein discusses Hermann Weyl’s brief conversion to intuitionism and criticizes his arguments against applying the law of the excluded middle to generalizations over the natural numbers. Like Weyl, however, Wittgenstein rejects the classical model theoretic conception of generality when it comes to infinite domains. Nonetheless, he disagrees with him about the reasons for doing so. This paper provides an account of Wittgenstein’s criticism of Weyl that is based on his (...) differing understanding of what a general statement over infinite domains consists in. This difference in their conception of generality is argued to be central to the middle Wittgenstein’s overall stance on intuitionism as well. While Weyl (and other intuitionists) reject the law of the excluded middle on grounds of constructivity, Wittgenstein argues that general statements over infinite domains do not express propositions in the first place. The origin of this position as well as its consequences for contemporary debates on generality are further assessed. (shrink)

In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (...) (iv) if for all we know we are free but predetermined, then it is really possible that we are, so (v) compatibilism. We uncover how the crucial epistemic modality underlying (iv) must be understood, and contend that, understood this way, the libertarian can resist (iv). Importantly, however, resisting the argument does commit the libertarian to what has been called “flip-flopping”—but we argue that this is perfectly coherent. We conclude by articulating two crucially ways the libertarian can resist the argument, by saying that we can know that determinism is false "from the armchair". (shrink)

Ismael traces our sense that the past is fixed and the future open to what she calls ‘the practical arrow’ – ‘the sense that we can affect the future but not the past.’ In this piece I draw a sharper distinction than Ismael herself does between agents and mere observers, even self-referential observers; and I use it to argue that Ismael’s explanation of the practical arrow is incomplete. To explain our inability to affect the past we need to appeal to (...) our own temporal orientation as agents, and not merely to the ingredients from physics that allow us to predict the consequences of our actions. [This piece is a commentary on J Ismael’s ‘The Open Universe: Totality, Self-Reference and Time’, to appear in the Australasian Philosophical Review.]. (shrink)

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

Carnap was one of the first to use the term 'non-cognitivism'. His linguistic pluralism and voluntarism, and his deflationary views of ontology and semantics, are highly congenial to those of us who want to take non-cognitivism in the direction of global expressivism. In his own case, however, this move is in tension with his continued endorsement of what he calls 'the general thesis of logical empiricism', that 'there is no third kind of knowledge besides empirical and logical knowledge.’ So while (...) Carnap clears a path towards global expressivism, he doesn't seem to appreciate what it requires him to leave behind. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

In recent work Allan Gibbard claims to be both a local quasi-realist, in Blackburn’s sense, and a global expressivist. His local quasi-realism rests on an argument that for naturalistic discourse but not ethical discourse, the semantic relation of denotation and the causal relation of tracking can and should be identified; that denoting simply is tracking, for naturalistic vocabulary. I argue that Gibbard’s case for this conclusion is unconvincing, and poorly motivated by his own expressivist standards. I also argue that even (...) if it were successful, it is doubtful whether the resulting position would count as global expressivism, as Gibbard and I both use that term. (shrink)

Are the distinctions between past, present and future, and the apparent ‘passage’ of time, features of the world in itself, or manifestations of the human perspective? Questions of this kind have been at the heart of metaphysics of time since antiquity. The latter view has much in common with pragmatism, though few in these debates are aware of that connection, and few of the view’s proponents think of themselves as pragmatists. For their part, pragmatists are often unaware of this congenial (...) application of their methodology; some associate pragmatism with the other side of the old debate in the metaphysics of time. In my view, this link between time and pragmatism only scratches the surface of the deep two-way dependencies between these two topics. The human temporal perspective turns out to be deeply implicated not merely in our temporal notions themselves, but in many other conceptual categories – arguably, in fact, in all of them, and in the nature of language and thought. In this way, reflection on our own temporal character vindicates James’ famous slogan for global pragmatism: ‘The trail of the human serpent is thus over everything.’. (shrink)

This paper discusses the relation between Crispin Wright’s alethic pluralism and my global expressivism. I argue that on many topics Wright’s own view counts as expressivism in my sense, but that truth itself is a striking exception. Unlike me, Wright never seems to countenance an expressivist account of truth, though the materials needed are available to him in his approaches to other topics.

It is commonly believed that the role of context cannot be ignored in the analysis of conditionals, and counterfactuals in particular. On truth conditional accounts involving possible worlds semantics, conditionals have been analysed as expressions of relative necessity: “If A, then B” is true at some world w if B is true at all the A-worlds deemed relevant to the evaluation of the conditional at w. A drawback of this approach is that for the evaluation of conditionals with the same (...) antecedents at some world, the same worlds are deemed as relevant for all occasions of utterance. But surely this is inadequate, if shifts of contexts between occasions are to be accounted for. Both the linguistic and logical implications of this defect are discussed, and in order to overcome it a modification of David Lewis’ ordering semantics for counterfactuals is developed for a modified language. I follow Lewis by letting contexts determine comparative similarity assignments, and show that the addition of syntactic context parameters (context indices) to the language gives the freedom required to switch between sets of relevant antecedent worlds from occasion to occasion by choosing the corresponding similarity assignment accordingly. Thus an account that extends Lewis’ analysis of a language containing a single counterfactual connective > to a language containing infinitely many counterfactual connectives >_c, each indexed by a different context name c, overcomes the limitations of traditional analyses. Finally it is also shown that these traditional accounts can be recovered from the modified account if certain contextual restrictions are in place. -/- . (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

In my thesis, I develop two distinct themes. The first part of my thesis is devoted to indicative conditionals and approaching them from an empirically informed perspective. In the second part, I am developing classical topics of philosophy of science, specifically, scientific objectivity and the role of values in science, in connection to recent methodological developments, revolving around the Replication Crisis.

The chapter is devoted to the probability and acceptability of indicative conditionals. Focusing on three influential theses, the Equation, Adams’ thesis, and the qualitative version of Adams’ thesis, Sikorski argues that none of them is well supported by the available empirical evidence. In the most controversial case of the Equation, the results of many studies which support it are, at least to some degree, undermined by some recent experimental findings. Sikorski discusses the Ramsey Test, and Lewis’s triviality proof, with special (...) attention dedicated to the popular ways of blocking it. Sikorski concludes that the role of the three theses in future studies of conditionals should be re-thought, and he presents alternative proposals. (shrink)

The Ramsey Test is considered to be the default test for the acceptability of indicative conditionals. I will argue that it is incompatible with some of the recent developments in conceptualizing conditionals, namely the growing empirical evidence for the _Relevance Hypothesis_. According to the hypothesis, one of the necessary conditions of acceptability for an indicative conditional is its antecedent being positively probabilistically relevant for the consequent. The source of the idea is _Evidential Support Theory_ presented in Douven (2008). I will (...) defend the hypothesis against alleged counterexamples, and show that it is supported by growing empirical evidence. Finally, I will present a version of the Ramsey test which incorporates the relevance condition and therefore is consistent with growing empirical evidence for the relevance hypothesis. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like Aristotle, Chrysippus, and Boethius; that it was further developed by medieval logicians like Abelard, Kilwardby, and Paul of Venice; and that it was rediscovered in the 19th and twentieth century by Lewis Carroll, Hugh MacColl, Frank P. Ramsey, and Everett J. Nelson. From 1960 onwards, connexive logic was finally transformed into non-classical calculi which partly concur with (...) systems of relevance logic and paraconsistent logic. In this paper it will be argued that McCall’s historical analysis is fundamentally mistaken since it doesn’t take into account two versions of connexivism. While “humble” connexivism maintains that connexive properties only apply to “normal” antecedents, “hardcore” connexivism insists that they also hold for “abnormal” propositions. It is shown that the overwhelming majority of the forerunners of connexive logic were only “humble” connexivists. Their ideas concerning connexive implication don’t give rise, however, to anything like a non-classical logic. (shrink)

This paper aims to renew the “deflationary” interpretation of Ramsey’s theory of truth, with respect to his declared “pragmatist tendency,” which was not completely developed due to his premature death. This aim is not only historical-philosophical, but also exquisitely theoretical, since the mediation of pragmatism allowed Ramsey to achieve an original synthesis among different philosophical instances. In order to show this, I pay attention to the debate between Ramsey and some spokespeople of the leading British philosophical traditions at the beginning (...) of the twentieth century (especially Neo-idealism, Neo-empiricism, and Oxford Realism), through which it will stand out how Ramsey’s logical analysis of the truth predicate was embedded within a wider theoretical context, involving a pragmatic theory of knowledge and even a “general psychological theory.” Indeed, the truth of a belief will be defined in relation to mental factors, in so far as they involve a successful disposition to behave. (shrink)

Timothy Williamson has defended the claim that the semantics of the indicative ‘if’ is given by the material conditional. Putative counterexamples can be handled by better understanding the role played in our assessment of indicatives by a fallible cognitive heuristic, called the Suppositional Procedure. Williamson’s Suppositional Conjecture has it that the Suppositional Procedure is humans’ primary way of prospectively assessing conditionals. This paper raises some doubts on the Suppositional Procedure and Conjecture.

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

This chapter asks two questions about the ethics of expectations: one about the nature of expectations, and one about the wrongs of expectations. On the first question, expectations involve a rich constellation of attitudes ranging from beliefs to also include imaginings, hopes, fears, and dreams. As a result, sometimes expectations act like predictions, like your expectation of rain tomorrow, sometimes prescriptions, like the expectation that your students will do the reading, sometimes like proleptic reasons like the hope that your mentee (...) will flourish, and sometimes expectations are peremptory in that they carry the force of moral law. Turning to the second question, given the multiple roles played by expectations it shouldn’t be surprising that there are also multiple ways expectations can be wrong to hold. Sometimes they wrong as beliefs do, e.g., doxastic wronging, and sometimes they result in alienation because of who holds that expectation of us. The upshot of this chapter is that getting clear on these potential ways expectations can wrong not only delivers an ethics of expectations that mirrors familiar discussions of the ethics of belief, but an ethics of expectations further opens the door for taking seriously an ethics of mental attitudes more generally. (shrink)

Barristers in England are obliged to follow the ‘cab rank rule’, according to which they must take any case offered to them, as long as they have time in their.

Near the end of 'Naming the Colours', Lewis (1997) makes an interesting claim about the relationship between linguistic and mental content; we are typically unable to read the content of a belief off the content of a sentence used to express that belief or vice versa. I call this view autonomism. I motivate and defend autonomism and discuss its importance in the philosophy of mind and language. In a nutshell, I argue that the different theoretical roles that mental and linguistic (...) content play suggest these kinds of content should be understood as sensitive to different things. (shrink)

The status of laws of nature has been the locus of a lively debate in recent philosophy. Most participants have assumed laws play an important role in science and metaphysics while seeking their objective ground in the natural world, though some skeptics have questioned this assumption. So-called Humeans look to base laws on actual, particular facts such as those specified in David Lewis’s Humean mosaic. Their opponents argue that such a basis is neither necessary nor sufficient to support the independent (...) existence of scientific laws. This essentially metaphysical debate has paid scant attention to the details of scientific practice. It has mostly focused on so-called fundamental laws, assumed to take a particular form. I propose a pragmatist alternative—not as another position in the debate but as an alternative to the debate itself. This pragmatist alternative offers a view that questions the representational conception of truth presupposed by participants to the debate as well as the metaphysical import of fundamental laws. Statements of law serve many different purposes in science: I’ll look at some. But their central role is in inference, primarily to improve the epistemic state of a scientist with limited access to information. To play this role, a scientific law statement need be neither necessary, unconditionally universal nor even true. It must merely be sufficiently reliable within its domain of application. The use of laws in astrophysics and metrology will help to illustrate these points. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples of (...) valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

In this paper, I use interventionist causal models to identify some novel Newcomb problems, and subsequently use these problems to refine existing interventionist treatments of causal decision theory. The new Newcomb problems that make trouble for existing interventionist treatments involve so-called ‘exotic choice’—that is, decision-making contexts where the agent has evidence about the outcome of her choice. I argue that when choice is exotic, the interventionist can adequately capture causal decision-theoretic reasoning by introducing a new interventionist approach to updating on (...) exotic evidence. But I also argue that this new updating procedure is principled only if the interventionist trades in the typical interventionist conception of choice for an alternative Ramseyan conception. I end by arguing that the guide to exotic choice developed here may, despite its name, be useful in some everyday contexts. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

In this paper, I argue that morality might bear on belief in at least two conceptually distinct ways. The first is that morality might bear on belief by bearing on questions of justification. The claim that it does is the doctrine of moral encroachment. The second, is that morality might bear on belief given the central role belief plays in mediating and thereby constituting our relationships with one another. The claim that it does is the doctrine of doxastic wronging. Though (...) conceptually distinct, the two doctrines overlap in important ways. This paper provides clarification on the relationship between the two, providing reasons throughout that we should accept both. (shrink)

Eavesdropping judgments (judgments about truth, retraction, and consistency across contexts) about epistemic modals have been used in recent years to argue for a radical thesis: that truth is assessment-relative. We argue that judgments for 'I think that p' pattern in strikingly similar ways to judgments for 'Might p' and 'Probably p'. We argue for this by replicating three major experiments involving the latter and adding a condition with the form 'I think that p', showing that subjects respond in the same (...) way to 'thinks' as to modals. This poses a serious challenge to relativist treatments of the modal judgments, since a relativist treatment of the corresponding 'thinks' judgments is totally implausible, so if a unified account of the phenomena is to be found, it cannot be a relativist one. We briefly sketch how a unified account might look. (shrink)

The prevailing viewpoint concerning conditionals asserts two claims: (1) conditionals featuring non-assertive acts in their consequents, such as commands and promises, cannot plausibly be construed as assertions of material implication; (2) the most promising hypothesis for such sentences is conditional-assertion theory, which defines a conditional as a conditional speech act, i.e., the performance of a speech act given the assumption of the antecedent. This hypothesis carries significant and far-reaching implications, as conditional speech acts are not synonymous with a proposition possessing (...) truth conditions. This paper opposes such a view in two steps. Firstly, it presents a battery of objections against conditional-assertion theory. Secondly, it advances the argument that such examples can indeed be convincingly construed as assertions of material implication. (shrink)

There is almost a consensus among conditional experts that indicative conditionals are not material. Their thought hinges on the idea that if indicative conditionals were material, A → B could be vacuously true when A is false, even if B would be false in a context where A is true. But since this consequence is implausible, the material account is usually regarded as false. It is argued that this point of view is motivated by the grammatical form of conditional sentences (...) and the symbols used to represent their logical form, which misleadingly suggest a one-way inferential direction from A to B. That conditional sentences mislead us into a directionality bias is a phenomenon that is well-documented in the literature about conditional reasoning. It is argued that this directional appearance is deceptive and does not reflect the underlying truth conditions of conditional sentences. This directional bias is responsible for both the unpopularity of the material account of conditionals and some of the main alternative principles and themes in conditional theory, including the Ramsey’s test, the Equation, Adams’ thesis, conditional-assertion and possible world theories. The directional mindset forgets a hard- earned lesson that made classical logic possible in the first place, namely, that grammatical form of sentences can mislead us about its truth conditions. There is a case to be made for a material account of indicative conditionals when we break the domination of words over the human mind. (shrink)

Four intuitions are recurrent and influential in theories about conditionals: the Ramsey’s test, the Adams’ Thesis, the Equation, and the robustness requirement. For simplicity’s sake, I call these intuitions ‘the big four’. My aim is to show that: (1) the big four are interdependent; (2) they express our inferential dispositions to employ a conditional on a modus ponens; (3) the disposition to employ conditionals on a modus ponens doesn’t have the epistemic significance that is usually attributed to it, since the (...) acceptability or truth conditions of a conditional is not necessarily associated with its employability on a modus ponens. (shrink)

According to a standard assumption in epistemology, if one only partially believes that p , then one cannot thereby have knowledge that p. For example, if one only partially believes that that it is raining outside, one cannot know that it is raining outside; and if one only partially believes that it is likely that it will rain outside, one cannot know that it is likely that it will rain outside. Many epistemologists will agree that epistemic agents are capable of (...) partial beliefs in addition to full beliefs and that partial beliefs can be epistemically assessed along some dimensions. However, it has been generally assumed that such doxastic attitudes cannot possibly amount to knowledge. In Probabilistic Knowledge, Moss challenges this standard assumption and provides a formidable defense of the claim that probabilistic beliefs—a class of doxastic attitudes including credences and degrees of beliefs—can amount to knowledge too. Call this the probabilistic knowledge claim . Throughout the book, Moss goes to great lengths to show that probabilistic knowledge can be fruitfully applied to a variety of debates in epistemology and beyond. My goal in this essay is to explore a further application for probabilistic knowledge. I want to look at the role of probabilistic knowledge within a “knowledge-centered” psychology—a kind of psychology that assigns knowledge a central stage in explanations of intentional behavior. My suggestion is that Moss’s notion of probabilistic knowledge considerably helps further both a knowledge-centered psychology and a broadly intellectualist picture of action and know-how that naturally goes along with it. At the same time, though, it raises some interesting issues about the notion of explanation afforded by the resulting psychology. (shrink)

The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the differences between (...) indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)

According to Woodward’s influential account of explanation, explanations have a counterfactual structure, and explanatory counterfactuals are analysed in terms of causal relations and interventions. In this paper, we provide a formal semantics of explanatory counterfactuals based on a Ramsey Test semantics of conditionals. Like Woodward’s account, our account is guided by causal considerations. Unlike Woodward’s account, it makes no reference to causal graphs and it also covers cases of explanation where interventions are impossible.

In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.

This paper argues that there are notable similarities between Collingwood’s method of investigating absolute presuppositions and contemporary strands of pragmatism, focusing on two areas - the critique of realism and causation. It is first argued that there are methodological similarities between Collingwood’s argument against realism and his Kantian-inspired critique of metaphysics, and Putnam’s critique of externalism. Regarding causation, it is argued that Collingwood’s view and Price’s pragmatist approach have a common method – investigating causation in the context of specific human (...) practices. Both authors place causation in the framework of scientific inquiry as opposed to making it the subject of the inquiry itself. Thus, Collingwood’s work proves to be in line with current metaphilosophical debates, particularly in the philosophy of science. (shrink)

We identify two senses of ‘pragmatics’ and related terms that give rise to two different methods of propositional individuation. The first one is the contextualist approach that essentially acknowledges contextual information to take part in the determination of what is said by the utterance of a sentence. In this sense, Pragmatics relies on the Principle of Compositionality and interprets propositions as structured entities. It epitomises the Building-block Model of Propositional Individuation. The general approach that makes what the agents do the (...) grounding level of philosophical and linguistic analysis characterizes the second sense, Pragmatism. It finds its clearest expression in Peirce’s Pragmatist Maxim, and it relies on the Fregean Principle of Context, and supports a view of propositions as unstructured entities. This is the Organic Model of Propositional Individuation. There is a test, the Analytic Equivalence Test, that tells apart the two models. According to it, the answer to the question whether a theory makes room for different but analytically equivalent propositions determines the model the theory belongs in. A positive answer classifies the theory as belonging to the building-block model; a negative answer allocates the theory within the organic model. (shrink)