I present a challenge to epistemological pragmatic encroachment theories from epistemic injustice. The challenge invokes the idea that a knowing subject may be wronged by being regarded as lacking knowledge due to social identity prejudices. However, in an important class of such cases, pragmatic encroachers appear to be committed to the view that the subject does not know. Hence, pragmatic encroachment theories appear to be incapable of accounting for an important type of injustice – namely, discriminatory epistemic injustice. Consequently, pragmatic (...) encroachment theories run the risk of obscuring or even sanctioning epistemically unjust judgments that arise due to problematic social stereotypes or unjust folk epistemological biases. In contrast, the epistemological view that rejects pragmatic encroachment – namely, strict purist invariantism – is capable of straightforwardly diagnosing the cases of discriminatory epistemic injustice as such. While the challenge is not a conclusive one, it calls for a response. Moreover, it illuminates very different conceptions of epistemology’s role in mitigating epistemic injustice. (shrink)

Pragmatic encroachment theories of knowledge may be characterized as views according to which practical factors may partly determine the truth-value of ascriptions that S knows that p – even though these factors do not partly determine S’s belief that p or p itself. The pros and cons of variations of pragmatic encroachment are widely discussed in epistemology. But despite a long pragmatist tradition in the philosophy of science, few efforts have been devoted to relate this particular view to issues in (...) philosophy of science. Consequently, a central aim of the present paper is to consider how the contemporary debates over pragmatic encroachment connect to philosophy of science. More specifically, I will set forth some arguments against the idea of pragmatic encroachment on scientific knowledge. Moreover, I will argue that it is not plausible to respond to these arguments by embedding pragmatic encroachment in the anti-realist framework of constructive empiricism. So, I conclude that there are good reasons to reject pragmatic encroachment theories of scientific knowledge. (shrink)

This chapter addresses concerns that pragmatic encroachers are committed to problematic knowledge variance. It first replies to Charity Anderson and John Hawthorne’s new putative problem cases, which purport to show that pragmatic encroachment is committed to problematic variations in knowledge depending on what choices are available to the potential knower. It argues that the new cases do not provide any new reasons to be concerned about the pragmatic encroacher’s commitment to knowledge-variance. The chapter further argues that concerns about knowledge-variance are (...) not limited to the pragmatic encroacher, but come up for traditional purist invariantism as well. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I (...) argue that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

I develop an epistemic focal bias account of certain patterns of judgments about knowledge ascriptions by integrating it with a general dual process framework of human cognition. According to the focal bias account, judgments about knowledge ascriptions are generally reliable but systematically fallible because the cognitive processes that generate them are affected by what is in focus. I begin by considering some puzzling patters of judgments about knowledge ascriptions and sketch how a basic focal bias account seeks to account for (...) them. In doing so, I argue that the basic focal bias account should be integrated in a more general framework of human cognition. Consequently, I present some central aspects of a prominent general dual process theory of human cognition and discuss how focal bias may figure at various levels of processing. On the basis of this discussion, I attempt to categorize the relevant judgments about knowledge ascriptions. Given this categorization, I argue that the basic epistemic focal bias account of certain contrast effects and salient alternatives effects can be plausibly integrated with the dual process framework. Likewise, I try to explain the absence of strong intuitions in cases of far-fetched salient alternatives. As a manner of conclusion, I consider some methodological issues concerning the relationship between cognitive psychology, experimental data and epistemological theorizing. -/- . (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

In this paper I consider the prospects for a skeptical version of infallibilism. For the reasons given above, I think skeptical invariantism has a lot going for it. However, a satisfactory theory of knowledge must account for all of our desiderata, including that our ordinary knowledge attributions are appropriate. This last part will not be easy for the infallibilist invariantist. Indeed, I will argue that it is much more difficult than those sympathetic to skepticism have acknowledged, as there are (...) serious problems with regarding paradigmatic, typical knowledge attributions as loose talk, exaggerations, or otherwise practical uses of language. So, I do not think the pragmatic story that skeptical invariantism needs is one that works without a supplemental error theory of the sort left aside by purely pragmatic accounts of knowledge attributions. In its place, I will offer a compromise pragmatic and error view that I think delivers everything that skeptics can reasonably hope to get. (shrink)

Epistemic invariantism, or invariantism for short, is the position that the proposition expressed by knowledge sentences does not vary with the epistemic standard of the context in which these sentences can be used. At least one of the major challenges for invariantism is to explain our intuitions about scenarios such as the so-called bank cases. These cases elicit intuitions to the effect that the truth-value of knowledge sentences varies with the epistemic standard of the context in which (...) these sentences can be used. In this paper, I will defend invariantism against this challenge by advocating the following, somewhat deflationary account of the bank case intuitions: Readers of the bank cases assign different truth-values to the knowledge claims in the bank cases because they interpret these scenarios such that the epistemic position of the subject in question differs between the high and the low standards case. To substantiate this account, I will argue, first, that the bank cases are underspecified even with respect to features that should uncontroversially be relevant for the epistemic position of the subject in question. Second, I will argue that readers of the bank cases will fill in these features differently in the low and the high standards case. In particular, I will argue that there is a variety of reasons to think that the fact that an error-possibility is mentioned in the high standards case will lead readers to assume that this error-possibility is supposed to be likely in the high standards case. (shrink)

In this paper, I explore a range of existent and possible ameliorative semantic theories of gender terms: invariantism, according to which gender terms are not context-sensitive, contextualism, according to which the meaning of gender terms is established in the context of use, and relativism, according to which the meaning of gender terms is established in the context of assessment. I show that none of these views is adequate with respect to the plight of trans people to use their term (...) of choice to self-identify and be referred to accordingly. I then consider an invariantist view based on self-identification and explore some of its challenges. (shrink)

Do we apply higher epistemic standards to subjects with high stakes? This paper argues that we expect different outward behavior from high-stakes subjects—for example, we expect them to collect more evidence than their low-stakes counterparts—but not because of any change in epistemic standards. Rather, we naturally expect subjects in any condition to think in a roughly adaptive manner, balancing the expected costs of additional evidence collection against the expected value of gains in accuracy. The paper reviews a body of empirical (...) work on the automatic regulation of cognitive effort in response to stakes, and argues that we naturally see high- and low-stakes subjects as experiencing different levels of ‘epistemic anxiety’, and anticipate different levels of cognitive effort from them for this reason. If unresolved epistemic anxiety always bars an ascription of knowledge, then we can explain our responses to cases involving shifting stakes without positing any variation in the standards of intuitive knowledge ascription. (shrink)

A certain number of cases suggest that our willingness to ascribe “knowledge” can be influenced by practical factors. For revisionary proposals, they indicate that the truth‐values of “knowledge” ascriptions vary with practical factors. For conservative proposals, on the contrary, nothing surprising is happening. Standard pragmatic approaches appeal to pragmatic implicatures and psychological approaches to the idea that belief formation is influenced by practical factors. Conservative proposals have not yet offered a fully satisfactory explanation, though. In this article, I introduce and (...) defend a third conservative proposal which I call “Refined Invariantism”. The two main claims of this proposal are that (1) we should distinguish between high stakes cases in which the subject does not believe (that he knows) the target proposition and those in which he believes (that he knows) the target proposition and that (2) we should adopt a psychological treatment for the first kind of case and a pragmatic treatment based on the epistemic standards for appropriate assertion and action for the second kind of case. I argue that this new combined approach avoids the main pitfalls of its two conservative rivals and that it gives new life to the generality objection levelled against revisionary views. (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

An intuitive conception of objectivity involves an ideal of neutrality—if we’re to engage in objective inquiry, we must try to sideline our prejudices, values, and politics, lest these factors taint inquiry and unduly influence our results. This intuition underlies various “purist” epistemological frameworks, which grant epistemic significance only to “epistemic factors” like evidence or the truth of a belief. Feminist epistemologists typically condemn purist frameworks as inimical to feminist aims. They argue that purist epistemology is divorced from (...) the ineliminably social and value-laden nature of our epistemic practices, and, moreover, that it abstracts away precisely those features that are needed to explain how power shapes knowledge. As they see it, purist frameworks simply lack the conceptual space needed to ask the right kinds of questions. Thus, they go in for “impurist” frameworks, which grant epistemic significance to “non-epistemic” factors, and so shed the confining constraints of purism. I turn the tables on the impurists—where they have connected purist norms with perniciously disengaged epistemology, I connect impurist norms with a creeping anxiety that is diminishing feminist epistemology’s political possibilities. First, I demonstrate that it’s increasingly common for impurist epistemologists to use moral considerations as a means to bypass the evidence, which betrays a lack of faith that the evidence will bear out feminist commitments. Second, I demonstrate that there is needless pessimism about our capacity to understand, as evidenced by the increasingly widespread idea that privileged social positions place robust limits on what people can know about oppression that they don’t personally experience. In both cases, moral and political considerations are invoked to give the illusion of being socially engaged, while in fact they allow people to give up on the difficult project of figuring things out. An extended case study on rape culture illustrates the stakes of doing inquiry that is only superficially socially engaged; I show that the two anxious traps I’ve identified have prevented contemporary feminist theorists from detecting and rooting out racist distortion in their accounts of rape culture because both traps interfere with a genuinely intersectional approach to feminist theorizing. (shrink)

In this paper, I will discuss what I will call “skeptical pragmatic invariantism” as a potential response to the intuitions we have about scenarios such as the so-called bank cases. SPI, very roughly, is a form of epistemic invariantism that says the following: The subject in the bank cases doesn’t know that the bank will be open. The knowledge ascription in the low standards case seems appropriate nevertheless because it has a true implicature. The goal of this paper (...) is to show that SPI is mistaken. In particular, I will show that SPI is incompatible with reasonable assumptions about how we are aware of the presence of implicatures. Such objections are not new, but extant formulations are wanting for reasons I will point out below. One may worry that refuting SPI is not a worthwhile project given that this view is an implausible minority position anyway. To respond, I will argue that, contrary to common opinion, other familiar objections to SPI fail and, thus, that SPI is a promising position to begin with. (shrink)

In Knowledge and its Limits (KAIL), Timothy Williamson argues for the view that “only knowledge warrants assertion” (2000, 243). Call this the knowledge norm of assertion. Several philosophers including DeRose, Hawthorne, and Stanley, agree that if the knowledge norm is true, then knowledge itself depends on stakes, since warranted assertability seems to change with what is at stake if the proposition in question is true (1992; 2003; 2005). This brings us to the question: stakes for whom? DeRose maintains that knowledge (...) depends on the stakes for the speaker of the knowledge attribution, arguing for Epistemic Contextualism (2002, 187). However, Hawthorne and Stanley disagree, contending that it is the stakes for the subject of the knowledge attribution which is relevant, arguing for Subject Sensitive Invariantism (2003, 157; 2005, 85). While the Contextualist and the Invariantist are armed with responses against each other’s view, I suspect that Russell’s and Doris’ indifference cases might break the impasse in favor of the Contextualist (2008, 432). This paper will thus attempt to show that the knowledge norm of assertion leads us to Contextualism rather than Subject Sensitive Invariantism, by comparing how Contextualism and Subject Sensitive Invariantism fare against Russell’s and Doris’ Indifference Cases. (shrink)

I defend interest-relative invariantism from a number of recent attacks. One common thread to my response is that interest-relative invariantism is a muchweaker thesis than is often acknowledged, and a number of the attacks only challenge very specific, and I think implausible, versions of it. Another is that a number of the attacks fail to acknowledge how many things we have independent reason to believe knowledge is sensitive to. Whether there is a defeater for someone's knowledge can be (...) sensitive to all manner of features of their environment, as the host of examples from the post-Gettier literature shows. Adding in interest-sensitive defeaters is a much less radical move than most critics claim it is. (shrink)

Moderate Pragmatic Invariantism has been criticized in the literature for postulating implicatures that are not straightforwardly cancellable. Defenders of MPI have responded that the data are not as clear-cut as one might wish. This paper grants the defenders of MPI, for the sake of argument, that the implicatures in question are cancellable and then turns this admission against them. In particular, the paper offers Bank Case variants in which the conversational implicatures postulated by MPI are contextually suspended – and (...) thus cancelled. Since our intuitions do not vary between the original Bank Case and these novel types of cases, the explanation offered by MPI must be mistaken. Our varying truth-value intuitions in the Bank Cases cannot be accounted for by means of conversational implicatures. (shrink)

I present an argument for a sophisticated version of sceptical invariantism that has so far gone unnoticed: Bifurcated Sceptical Invariantism (BSI). I argue that it can, on the one hand, (dis)solve the Gettier problem, address the dogmatism paradox and, on the other hand, show some due respect to the Moorean methodological incentive of ‘saving epistemic appearances’. A fortiori, BSI promises to reap some other important explanatory fruit that I go on to adduce (e.g. account for concessive knowledge attributions). (...) BSI can achieve this much because it distinguishes between two distinct but closely interrelated (sub)concepts of (propositional) knowledge, fallible-but-safe knowledge and infallible-and-sensitive knowledge, and explains how the pragmatics and the semantics of knowledge discourse operate at the interface of these two (sub)concepts of knowledge. I conclude that BSI is a novel theory of knowledge discourse that merits serious investigation. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

Surányi (2006) observed that Hungarian has a hybrid (strict + non-strict) negative concord system. This paper proposes a uniform analysis of that system within the general framework of Zeijlstra (2004, 2008) and, especially, Chierchia (2013), with the following new ingredients. Sentential negation NEM is the same full negation in the presence of both strict and non-strict concord items. Preverbal SENKI `n-one’ type negative concord items occupy the specifier position of either NEM `not' or SEM `nor'. The (...) latter, SEM spells out IS `too, even’ in the immediate scope of negation; it is a focus-sensitive head on the clausal spine. SEM can be seen as an overt counterpart of the phonetically null head that Chierchia dubs NEG; it is capable of invoking an abstract (disembodied) negation at the edge of its projection. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

Skeptical invariantism isn’t a popular view about the semantics of knowledge attributions. But what, exactly, is wrong with it? The basic problem is that it seems to run foul of the fact that we know quite a lot of things. I agree that it is a key desideratum for an account of knowledge that it accommodate the fact that we know a lot of things. But what sorts of things should a plausible theory of knowledge say that we know? (...) In this paper I sketch an answer to this question and then apply it to skeptical invariantism. I start by distinguishing between a “radical” skeptical invariantist position (on which the standards for knowing are so high that we rarely if ever satisfy them) and a more “moderate” skeptical invariantist position (on which the standards are very hard, but not impossible, to satisfy). I then argue that, while radical forms of skeptical invariantism are clearly not going to do a good job of satisfying the key desideratum, more moderate forms can do quite well with respect to it. In particular, I argue the version of moderate skeptical invariantism defended by Davide Fassio can plausibly satisfy it. (shrink)

A type of argument occasionally made in metaethics, epistemology and philosophy of science notes that most ordinary uses of some expression fail to satisfy the strictest interpretation of the expression, and concludes that the ordinary assertions are false. This requires there to be a presumption in favour of a strict interpretation of expressions that admit of interpretations at different levels of strictness. We argue that this presumption is unmotivated, and thus the arguments fail.

Keith DeRose has argued that the two main problems facing subject-sensitive invariantism come from the appropriateness of certain third-person denials of knowledge and the inappropriateness of now you know it, now you don't claims. I argue that proponents of SSI can adequately address both problems. First, I argue that the debate between contextualism and SSI has failed to account for an important pragmatic feature of third-person denials of knowledge. Appealing to these pragmatic features, I show that straightforward third-person denials (...) are inappropriate in the relevant cases. And while there are certain denials that are appropriate, they pose no problems for SSI. Next, I offer an explanation, compatible with SSI, of the oddity of now you know it, now you don't claims. To conclude, I discuss the intuitiveness of purism, whose rejection is the source of many problems for SSI. I propose to explain away the intuitiveness of purism as a side-effect of the narrow focus of previous epistemological inquiries. (shrink)

What can we infer from numerical cognition about mathematical realism? In this paper, I will consider one aspect of numerical cognition that has received little attention in the literature: the remarkable similarities of numerical cognitive capacities across many animal species. This Invariantism in Numerical Cognition (INC) indicates that mathematics and morality are disanalogous in an important respect: proto-moral beliefs differ substantially between animal species, whereas proto-mathematical beliefs (at least in the animals studied) seem to show more similarities. This makes (...) moral beliefs more susceptible to a contingency challenge from evolution compared to mathematical beliefs, and indicates that mathematical beliefs might be less vulnerable to evolutionary debunking arguments. I will then examine to what extent INC can be used to flesh out a positive case for mathematical realism. Finally, I will review two forms of mathematical realism that are promising in the light of the evolutionary evidence about numerical cognition, ante rem structuralism and Millean empiricism. (shrink)

Contextualists and Subject Sensitive Invariantists often cite the knowledge norm of assertion as part of their argument. They claim that the knowledge norms in conjunction with our intuitions about when a subject is properly asserting in low or high stakes contexts provides strong evidence that what counts as knowledge depends on practical factors. In this paper, I present new data to suggest they are mistaken in the way they think about cases involving high and low stakes and I show how (...) insensitive invariantists can explain the data. I exploit recent work done on the distinction between flouting a norm and being blamed for that violation to formulate a rigorous theory of rational expected blameworthiness that allows insensitive invariantists to explain the data cited. (shrink)

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

The possibility of knowledge attributions across contexts (where attributor and subject find themselves in different epistemic contexts) can create serious problems for certain views of knowledge. Amongst such views is subject—sensitive invariantism—the view that knowledge is determined not only by epistemic factors (belief, truth, evidence, etc.) but also by non—epistemic factors (practical interests, etc.). I argue that subject—sensitive invariantism either runs into a contradiction or has to make very implausible assumptions. The problem has been very much neglected but (...) is so serious that one should look for alternative accounts of knowledge. (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the small (...) amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (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.

Some philosophers, like David Chalmers, have either shown their sympathy for, or explicitly endorsed, the following two principles: Panpsychism—roughly the thesis that the mind is ubiquitous throughout the universe—and Organizational Invariantism—the principle that holds that two systems with the same fine-grained functional organization will have qualitatively identical experiences. The purpose of this paper is to show the tension between the arguments that back up both principles. This tension should lead, or so I will argue, defenders of one of the (...) principles to give up on the other. (shrink)

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

Epistemic invariantism is the view that the truth conditions of knowledge ascriptions don’t vary across contexts. Epistemic purism is the view that purely practical factors can’t directly affect the strength of your epistemic position. The combination of purism and invariantism, pure invariantism, is the received view in contemporary epistemology. It has lately been criticized by contextualists, who deny invariantism, and impurists, who deny purism. A central charge against pure invariantism is that it poorly accommodates linguistic (...) intuitions about certain cases. In this paper I develop a new response to this charge. I propose that pure invariantists can explain the relevant linguistic intuitions on the grounds that they track the propriety of indirect speech acts, in particular indirect requests and denials. [Note: this paper was written in 2010-11.]. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and (...) complete, and it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

This is a critical notice of Christos Kyriacou and Kevin Wallbridge (eds.), Skeptical Invariantism Reconsidered. New York and London: Routledge, 2021. Pp. x + 324. ISBN 978-0-367-37018-3. It discusses in some detail contributions by Nevin Climenhaga, Christos Kyriacou, Michael Hannon, Kevin Wallbridge, Annalisa Coliva, and Genia Schönbaumsfeld.

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 (...) explain how the view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

As a philosophy of mathematics, strict finitism has been traditionally concerned with the notion of feasibility, defended mostly by appealing to the physicality of mathematical practice. This has led the strict finitists to influence and be influenced by the field of computational complexity theory, under the widely held belief that this branch of mathematics is concerned with the study of what is “feasible in practice”. In this paper, I survey these ideas and contend that, contrary to popular belief, (...) complexity theory is not what the ultrafinitists think it is, and that it does not provide a theoretical framework in which to formalize their ideas —at least not while defending the material grounds for feasibility. I conclude that the subject matter of complexity theory is not proving physical resource bounds in computation, but rather proving the absence of exploitable properties in a search space. (shrink)

This paper shows that strict evidentialism about normative reasons for belief is inconsistent with taking truth to be the source of normative reasons for belief. It does so by showing that there are circumstances in which one can know what truth requires one to believe, yet still lack evidence for the contents of that belief.

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict conditional view (...) and defends it from some foreseeable objections. (shrink)

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

I argue that physicians can save women from life-threatening pregnancies by performing a craniotomy, placentectomy, or salpingotomy without intending death or harm. To support this conclusion, I defend the relevance thesis about intentions (a person intends X only if X explains the action). I then criticize the identity thesis (if a person intends X and knows X is Y then the person intends Y) and three mistakenly strict moral principles: (1) one may not intend something that is a serious (...) harm for an innocent person, (2) one may not intend to terminate pregnancy before viability, which would prohibit, and (3) one may not act on a person’s body in a harmful way in order to benefit another person. (1) would prohibit procuring organs from living donors, (2) would prohibit treating hepatic pregnancies and other ectopic pregnancies, and (3) would prohibit procuring organs from living donors and performing many prenatal surgeries. (shrink)

In this article, I argue that sensibility‐invariantism about ‘funny’ is defensible, not just as a descriptive hypothesis, but, as a normative position as well. What I aim to do is to make the realist commitments of the sensibility‐invariantist out to be much more tenable than one might initially think them to be. I do so by addressing the two major sources of discontent with sensibility‐invariantism: the observation that discourse about comedy exhibits significant divergence in judgment, and the fact (...) that disagreements about comedy, unlike disagreements about, say, geography, often strike us as fundamentally intractable. (shrink)

The rich connections between metaphysics and natural philosophy in the early modern period have been widely acknowledged and productively mined, thanks in no small part to the work of Margaret Wilson, whose book, Descartes, served as an inspirational example for a generation of scholars. The task of this paper is to investigate one particular such connection, namely, the relation between occasionalist metaphysics and strict mechanism. My focus will be on the work of Nicholas Malebranche, the most influential Cartesian philosopher (...) after Descartes himself. I begin with two crucial facts about Malebranche’s philosophy: (1) Malebranche was an occasionalist, that is, he held that God was the only true cause, that all modifications of bodies and of minds can be produced by God alone. (2) Malebranche adhered firmly to strict mechanism. By strict mechanism, I mean the view, found most prominently in Descartes and in Boyle’s more ideological writings, that the qualities of bodies are exhausted by a very short list (size, shape, motion, and perhaps solidity) and that, most importantly, bodies interact only at contact by impact. Another way of describing this “contact action” requirement is as the thesis that the only fundamental laws of physics are laws of inertial motion and laws of the communication of motion at impact. In.. (shrink)

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no (...) clear philosophical significance of meta-inferences above the first level. (shrink)

Strict finitism is the position that only those natural numbers exist that we can represent in practice. Michael Dummett, in a paper called Wang’s Paradox, famously tried to show that strict finitism is an incoherent position. By using the Sorites paradox, he claimed that certain predicates the strict finitist is committed to are incoherent. More recently, Ofra Magidor objected to Dummett’s claims, arguing that Dummett fails to show the incoherence of strict finitism. In this paper, I (...) shall investigate whether Magidor is successful in preventing Dummett from proving the incoherence of strict finitism. Though not all the counterarguments Magidor presents are successful, she does in the end manages to corner Dummett. There remains a small opportunity for Dummett to insist on the incoherence of strict finitism, but this is a very small opening. The final conclusion of this paper is that Dummett cannot logically prove the incoherence of strict finitism, even though not all hope is lost. (shrink)

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading of Suárez. (...) Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

Efforts to ban Autonomous Weapon Systems were both unsuccessful and controversial. Simultaneously the need to address the detrimental aspects of AWS development and proliferation continues to grow in scope and urgency. The article presents several regulatory solutions capable of addressing the issue while simultaneously respecting the requirements of military necessity and so attracting a broad consensus. Two much stricter solutions – regional AWS bans and adoption of a no first use policy – are also presented as fallback strategies in case (...) achieving AWS’ compliance with the Laws of Armed Conflict proved elusive. Together, the solutions presented form an outline of a flexible regulatory strategy able to adjust to different technological outcomes and providing a sensible compromise to solve the current deadlock on the AWS issue. (shrink)