Eliminative materialism is the thesis that our common-sense conception of psychological phenomena constitutes a radically false theory, a theory so fundamentally defective that both the principles and the ontology of that theory will eventually be displaced, rather than smoothly reduced, by completed neuroscience. Our mutual understanding and even our introspection may then be reconstituted within the conceptual framework of completed neuroscience, a theory we may expect to be more powerful by far than the common-sense psychology it displaces, and more (...) substantially integrated within physical science generally. My purpose in this paper is to explore these projections, especially as they bear on (1) the principal elements of common-sense psychology: the propositional attitudes (beliefs, desires, etc.), and (2) the conception of rationality in which these elements figure. (shrink)

John Rawls thinks republicanism is compatible with his political liberalism. Philip Pettit insists that the two conflict in important ways. In this paper, I make sense of this dispute by employing David Chalmers’s method of elimination to reveal the meaning underlying key terms in Rawls’s political liberalism and Pettit’s republicanism. This procedure of disambiguating terms will show how the two theories defend the same institutional arrangement on the same grounds. The procedure thus vindicates Rawls’s view of the two theories being (...) compatible. The reason for this compatibility is that both theories are politicized—that is, they are constructed to attract the compliance of all reasonable members of a modern, pluralistic society. (shrink)

This chapter will argue that the criminal law is most compatible with a specific theory regarding the mind/body relationship: non-eliminative reductionism. Criminal responsibility rests upon mental causation: a defendant is found criminally responsible for an act where she possesses certain culpable mental states (mens rea under the law) that are causally related to criminal harm. If we assume the widely accepted position of ontological physicalism, which holds that only one sort of thing exists in the world – physical stuff (...) – non-eliminative reductive physicalism about the mind offers the most plausible account of the full-bodied mental causation criminal responsibility requires. Other theories of the mind/body relationship, including elminativism and non-reductive physicalism, threaten criminal responsibility because they do not offer satisfactory accounts of mental causation. Eliminativism, as the name implies, eliminates the mental or is skeptical that it can do the causal work necessary to responsibility; and non-reductive theories disconnect the mental from the physical/casual world such that the mental can no longer have reliable causal effects. (shrink)

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

Early in his career Richard Rorty became well known for advocating what became known as eliminative materialism. This position depended on the radical idea that the main elements of commonsense psychology, including ordinary sensations, do not really exist. This chapter argues that on a closer reading of Rorty's relevant articles, it is clear that Rorty was not an eliminative materialist in any normal sense, but rather a more conventional materialist who made some misguided claims about what mind–brain identity (...) involves. (shrink)

Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may (...) be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions. (shrink)

Pluralisms of various sorts are popular in philosophy of science, including those that imply some scientific concept x should be eliminated from science in favour of a plurality of concepts x1, x2, … xn. This article focuses on influential and representative arguments for such eliminative pluralism about the concept species. The main conclusions are that these arguments fail, that all other extant arguments also fail, and that this reveals a quite general dilemma, one that poses a defeasible presumption against (...) many eliminative pluralisms about various scientific concepts. The article ends by outlining a novel integrative alternative in defence of species. 1) Introduction 2) The species Concept, the Category ‘Species’, and the ‘Species’ Category Problem 3) What Are Eliminative Pluralism about species, and the Arguments for It? 4) Evaluation of Arguments 4.1 Splitting? 4.2 Lumping? 4.3 The eliminative pluralist’s dilemma 5) More General Lessons6Species Cohesion: An Integrative Alternative7Conclusion. (shrink)

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

We present a cut-free sequent calculus for a class of first-order theories in negation normal form which include coherent and co-coherent theories alike. All structural rules, including cut, are admissible.

Eliminative materialism (or eliminativism) is the radical claim that our ordinary, common-sense understanding of the mind is deeply wrong and that some or all of the mental states posited by common-sense do not actually exist. Descartes famously challenged much of what we take for granted, but he insisted that, for the most part, we can be confident about the content of our own minds. Eliminative materialists go further than Descartes on this point, since they challenge of the existence (...) of various mental states that Descartes took for granted. (shrink)

Eliminative reasoning is a method that has been employed in many significant episodes in the history of science. It has also been advocated by some philosophers as an important means for justifying well-established scientific theories. Arguments for how eliminative reasoning is able to do so, however, have generally relied on a too narrow conception of evidence, and have therefore tended to lapse into merely heuristic or pragmatic justifications for their conclusions. This paper shows how a broader conception of (...) evidence not only can supply the needed justification but also illuminates the methodological significance of eliminative reasoning in a variety of contexts. (shrink)

Aggregating individuals’ consistent attitudes might produce inconsistent collective attitudes. Some groups therefore need the capacity to form attitudes that are irreducible to those of their members. Such groups, group-agent realists argue, are agents in control of their own attitude formation. In this paper, however, I show how group-agent realism overlooks the important fact that groups consist of strategically interacting agents. Only by eliminating group agency from our social explanations can we see how individuals vote strategically to gain control of their (...) groups and produce collective attitudes we cannot make sense of if we treat groups as agents. (shrink)

A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.

Ontic structural realism argues that structure is all there is. In (French, 2014) I argued for an ‘eliminativist’ version of this view, according to which the world should be conceived, metaphysically, as structure, and objects, at both the fundamental and ‘everyday’ levels, should be eliminated. This paper is a response to a number of profound concerns that have been raised, such as how we might distinguish between the kind of structure invoked by this view and mathematical structure in general, how (...) we should choose between eliminativist ontic structural realism and alternative metaphysical accounts such as dispositionalism, and how we should capture, in metaphysical terms, the relationship between structures and particles. In developing my response I shall touch on a number of broad issues, including the applicability of mathematics, the nature of representation and the relationship between metaphysics and science in general. (shrink)

Peter Lipton argues that inference to the best explanation involves the selection of a hypothesis on the basis of its loveliness. I argue that in optimal cases of IBE we may be able to eliminate all but one of the hypotheses. In such cases we have a form of eliminative induction takes place, which I call ‘Holmesian inference’. I argue that Lipton’s example in which Ignaz Semmelweis identified a cause of puerperal fever better illustrates Holmesian inference than Liptonian IBE. (...) I consider in detail the conditions under which Holmesian inference is possible and conclude by considering the epistemological relations between Holmesian inference and Liptonian IBE.Keywords: Inference to the best explanation; Peter Lipton; Abduction; Holmesian inference; Eliminative induction. (shrink)

Animalism is the view that we are animals: living, breathing, wholly material beings. Despite its considerable appeal, animalism has come under fire. Other philosophers have had much to say about objections to animalism that stem from reflection on personal identity over time. But one promising objection (the `Elimination Argument') has been overlooked. In this paper, I remedy this situation and examine the Elimination Argument in some detail. I contend that the Elimination Argument is both unsound and unmotivated.

In this paper my aim is to get clearer on what eliminative materialism actually does and does not entail. I look closely at one cluster of views that is often described as a form of eliminativism in contemporary philosophy and cognitive science and try to show that this characterization is a mistake. More specifically, I look at conceptions of eliminativism recently endorsed by writers such as Edouard Machery, Paul Griffiths, Valerie Hardcastle and others, and argue that although these views (...) do endorse the elimination of something, they offer only what I will call a sort of category dissolution, and should be treated as something altogether different from traditional eliminativism. Spelling out the main contrast between eliminative materialism proper and this alternative view, and defending the need to keep them distinct, is my primary objective. As I show, a central irony is that proponents of the problematic outlook often insist that divergent things should not be classified together under a single label. By characterizing their own views as a form of eliminativism, they commit a fundamental error that they themselves argue should not be made. While my focus here is on eliminative materialism, the error I intend to highlight appears across various discussions about alleged eliminativism of all sorts of things. (shrink)

The system GLS, which is a modal sequent calculus system for the provability logic GL, was introduced by G. Sambin and S. Valentini in Journal of Philosophical Logic, 11, 311–342,, and in 12, 471–476,, the second author presented a syntactic cut-elimination proof for GLS. In this paper, we will use regress trees in order to present a simpler and more intuitive syntactic cut derivability proof for GLS1, which is a variant of GLS without the cut rule.

Discussions of divine simplicity generally overlook the distinction between identity claims that are reductivist and identity claims that are eliminativist. If, for instance, the identity claim that 'the chair = a configuration of particles' is merely reductive, then there exist chairs and there exist configurations of particles and it turns out that they are identical. The identity in this case does not reduce the ontological complexity of the world. But if the identity claim is eliminativist, then it is true again (...) that chairs are configurations of particles, but chairs do not in fact exist. The illusory object that we call a chair turns out to be nothing over and above a configuration of physical particles. The chair reduces to the configuration of particles without remainder. The defense of divine simplicity in this paper argues that it is in this eliminativist sense that God's intrinsic properties are identical to God. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

We shall prove quantifier elimination theorems for neocompact formulas, which define neocompact sets and are built from atomic formulas using finite disjunctions, infinite conjunctions, existential quantifiers, and bounded universal quantifiers. The neocompact sets were first introduced to provide an easy alternative to nonstandard methods of proving existence theorems in probability theory, where they behave like compact sets. The quantifier elimination theorems in this paper can be applied in a general setting to show that the family of neocompact sets is countably (...) compact. To provide the necessary setting we introduce the notion of a law structure. This notion was motivated by the probability law of a random variable. However, in this paper we discuss a variety of model theoretic examples of the notion in the light of our quantifier elimination results. (shrink)

This article argues for the elimination of the concept of life worth living from philosophical vocabulary on three complementary grounds. First, the basic components of this concept suffer from multiple ambiguities, which hamper attempts to ground informative evaluative and classificatory judgments about the worth of life. Second, the criteria proposed to track the extension of the concept of life worth living rest on unsupported axiological assumptions and fail to identify precise and plausible referents for this concept. And third, the concept (...) of life worth living is not shown to serve any major evaluative or classificatory purpose besides those served by already available axiological concepts. By eliminating the concept of life worth living, philosophers will free themselves of the task of addressing ill-posed axiological questions and ground reflection about the worth of life on more rigorous conceptual foundations. (shrink)

Eliminative reasoning seems to play an important role in the sciences, but should it be part of our best theory of science? Statistical evidence, prevalent across the sciences, causes problems for eliminative inference, supporting the view that probabilistic theories of confirmation provide a better framework for reasoning about evidence. Here I argue that deductive elimination has an important inferential role to play in science, one that is compatible with probabilistic approaches to evidence. Eliminative inferences help frame testing (...) problems, an essential step that determines the context for evaluating statistical evidence. I illustrate this process with examples from molecular evolutionary biology. (shrink)

In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second part of the paper we carry the proof analysis further by generalizing the CERES method to CERESD . In the generalized (...) version CERESD we admit general elimination rules which are based on the mere semantical truth of sentences. We construct complete cut-free LK-derivations originating from derivations potentially containing unproven lemmas. Finally we give a comparison of reductive methods and CERESD by presenting a general simulation result. (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo's (...) results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

This paper takes up the cause of species pluralism. An argument for species pluralism is provided and standard monist objections to pluralism are answered. A new form of species pluralism is developed and shown to be an improvement over previous forms. This paper also offers a general foundation on which to base a pluralistic approach to biological classification.

Advocates of eliminative materialism (EM) assure us that our current, ordinary approach to describing the mind will eventually be eliminated, instead of reduced, by a matured neuroscience. However, once we take into account the flexibility, explanatory power, and overall sophistication of ordinary language, then the promissory note offered by eliminative materialism loses all credibility. To bolster the preceding claim, we present three original problems for EM: the accountability problem, the substitution problem, and the discourse dependence problem.

I argue, contrary to the consensus of most contemporary work in ethics, that there are no (fundamentally, distinctively) prudential reasons for action. That is to say: there is no class of reasons for action that is distinctively and fundamentally about the promotion of the agent’s own well-being. Considerations to do with the agent’s well-being can supply the agent with reasons only in virtue of her well-being mattering morally or in virtue of her caring about her own well-being. In both of (...) these cases, the way that such prudential considerations supply reasons for action is a way that the well-being of others can supply reasons for action too. (shrink)

The Buddhist no-self and no-person revisionary metaphysics aims to produce a better structure that is motivated by the normative goal of eliminating, or at least reducing, suffering. The revised structure, in turn, entails a major reconsideration of our ordinary everyday person-related concerns and practices and interpersonal attitudes, such as moral responsibility, praise and blame, compensation, and social treatment. This essay explores the extent to which we must alter and perhaps discard some of our practical commitments in light of the Buddhist (...) revisionism. I do not argue here that we should change our ordinary practices, concerns, and attitudes, or that the Buddhist metaphysics does succeed in presenting a better structure. Rather, I offer it as an alternative structure that should be considered seriously. (shrink)

Linnebo and Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They recognize that this version of structuralism is vulnerable to the well-known problem of non-rigid structures. This paper offers a solution to the problem for this version of structuralism. The solution involves expanding the languages used to describe mathematical structures. We then argue that this solution is philosophically acceptable to those who endorse mathematical structuralism based on Fregean abstraction principles.

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Practical wisdom eliminativism has recently been proposed in both philosophy and psychology, on the grounds of the alleged redundancy of practical wisdom (Miller 2021 ) and its purported developmental/psychological implausibility (Lapsley 2021 ). Here we respond to these challenges by drawing on an improved version of a view of practical wisdom, the “Aretai model”, that we have presented elsewhere (De Caro et al. 2021 ; Vaccarezza et al. 2023 ; De Caro et al. forthcoming ). According to this model, practical (...) wisdom is conceptualized: (i) as virtuousness _tout court_, i.e., as the _ratio essendi_ of the virtues, and (ii) as a form of ethical expertise. By appealing to the first thesis, we counter the charge of psychological implausibility, while we rely on the second thesis to address the accusation of redundancy. In conclusion we argue that the Aretai model implies a significant paradigm shift in virtue ethics. Practical wisdom emerges as both necessary and sufficient for virtuousness, thereby downsizing – without eliminating entirely – the role that individual virtues play in our ethical lives. (shrink)

We describe a sequent calculus, based on work of Herbelin, of which the cut-free derivations are in 1-1 correspondence with the normal natural deduction proofs of intuitionistic logic. We present a simple proof of Herbelin's strong cut-elimination theorem for the calculus, using the recursive path ordering theorem of Dershowitz.

From classical, Fraïissé-homogeneous, ($\leq \omega$)-categorical theories over finite relational languages, we construct intuitionistic theories that are complete, prove negations of classical tautologies, and admit quantifier elimination. We also determine the intuitionistic universal fragments of these theories.

Any set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise to a multi-conclusion natural deduction system and to a version of Parigot’s free deduction. The elimination rules are “general,” but can be systematically simplified. Cut-elimination and normalization hold. Restriction to a single formula in the succedent yields intuitionistic versions of these systems. The rules also yield generalized lambda calculi providing proof terms for natural (...) deduction proofs as in the Curry-Howard isomorphism. Addition of an indirect proof rule yields classical single-conclusion versions of these systems. Gentzen’s standard systems arise as special cases. (shrink)

We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically interesting, requiring (...) a deeper analysis of the derivation structures than the proofs for GL and Grz. New transformations generalising the transformations for GL and Grz are developed here. (shrink)

The twin Theses of Eliminative and Multiplicative Materialism will be analyzed and then subsumed by Occam's sword.

We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...) with and is algebraizable, with the variety of residuated lattice-ordered groupoids with unit serving as its equivalent algebraic semantics. Overcoming technical complications arising from the lack of associativity, we introduce a generalized version of a logical matrix and apply the method of quasicompletions to obtain an algebra and a quasiembedding from the matrix to the algebra. By applying the general result to specific cases, we obtain important logical and algebraic properties, including the cut elimination of and various extensions, the strong separation of , and the finite generation of the variety of residuated lattice-ordered groupoids with unit. (shrink)

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

A physicalist view of qualia labelled non-eliminative reductionism is outlined. If it is true, qualia and physicalism can co-exist without difficulty. First, qualia present no particular problem for reductionist physicalism - they are entirely physical, can be studied and explained using the standard scientific approach, and present no problem any harder than any other scientists face. Second, reductionist physicalism presents no particular problem for qualia – they can be encompassed within an entirely physicalist position without any necessity, either to (...) reduce them to non-existence, or to treat them as new fundamental properties. It is suggested that the position also has sufficient explanatory power to successfully deal with the 'why like anything – why does experience exist at all' question and to counter both Chalmers' Conceivability Argument and Jackson's Knowledge Argument. (shrink)

Problems of self-interaction arise in both classical and quantum field theories. To understand how such problems are to be addressed in a quantum theory of the Dirac and electromagnetic fields (quantum electrodynamics), we can start by analyzing a classical theory of these fields. In such a classical field theory, the electron has a spread-out distribution of charge that avoids some of the problems of self-interaction facing point charge models. However, there remains the problem that the electron will experience self-repulsion. This (...) self-repulsion cannot be eliminated within classical field theory without also losing Coulomb interactions between distinct particles. But, electron self-repulsion can be eliminated from quantum electrodynamics in the Coulomb gauge by fully normal-ordering the Coulomb term in the Hamiltonian. After normal-ordering, the Coulomb term contains pieces describing attraction and repulsion between distinct particles and also pieces describing particle creation and annihilation, but no pieces describing self-repulsion. (shrink)