Ethicists struggle to take reductive views seriously. They also have trouble conceiving of some supervenience failures. Understanding why provides further evidence for a kind of hybrid view of normative concept use.

Reduction and reductionism have been central philosophical topics in analytic philosophy of science for more than six decades. Together they encompass a diversity of issues from metaphysics and epistemology. This article provides an introduction to the topic that illuminates how contemporary epistemological discussions took their shape historically and limns the contours of concrete cases of reduction in specific natural sciences. The unity of science and the impulse to accomplish compositional reduction in accord with a layer-cake vision of (...) the sciences, the seminal contributions of Ernest Nagel on theory reduction and how they strongly conditioned subsequent philosophical discussions, and the detailed issues pertaining to different accounts of reduction that arise in both physical and biological science (e.g., limit-case and part-whole reduction in physics, the difference-making principle in genetics, and mechanisms in molecular biology) are explored. The conclusion argues that the epistemological heterogeneity and patchwork organization of the natural sciences encourages a pluralist stance about reduction. (shrink)

I defend three claims: (i) agents have multiple options for action, (ii) there is no reductive account of what it is to have an option, and (iii) determinism might be true. This combination of claims, which I call "non-reductive compatibilism," is very plausible, yet is scarcely considered in the previous literature. I explain why this view is deserving of philosophical attention, and discuss various objections that might be brought against it.

Approaches to the naturalization of phenomenology usually understand naturalization as a matter of rendering continuous the methods, epistemologies, and ontologies of phenomenological and natural scientific inquiry. Presupposed in this statement of the problematic, however, is that there is an original discontinuity, a rupture between phenomenology and the natural sciences that must be remedied. I propose that this way of thinking about the issue is rooted in a simplistic understanding of the phenomenological reduction that entails certain assumptions about the subject (...) matter of phenomenology and its relationship to the natural sciences. By contrast, Merleau‐Ponty's first work, The Structure of Behavior, presents a radically different approach to the phenomenological reduction, one that traverses the natural sciences and integrates them into phenomenology from the outset. I outline the argument for this position in The Structure of Behavior and then discuss consequences for current methodological issues surrounding the naturalization of phenomenology, focusing on the relationship between empirical sciences of mind, phenomenological psychology, and transcendental phenomenology. This novel exegesis of Merleau‐Ponty's view on the reduction offers new insight into his oft‐quoted remark that the phenomenological reduction is impossible to complete. (shrink)

The main message of the paper is that there is a disconnect between what many philosophers of mind think of as the scientific practice of reductive or reductionist explanation, and what the most relevant scientific work is actually like. I will sketch what I see as a better view, drawing on various ideas in recent philosophy of science. I then import these ideas into the philosophy of mind, to see what difference they make.1 At the end of the paper I (...) address a possible objection: the familiar package of ideas I reject in the philosophy of science should not be lightly discarded, because other popular views on fundamental issues depend on positions that I want to reject. I reply that those apparently attractive further ideas are not worth holding onto. (shrink)

When we learn that someone holds irrational beliefs, we often respond by reducing our epistemic trust in them. In this paper, I will propose a novel account of such trust reductions. The recently popular relationship-modification account (RMA) of epistemic blame will serve as a foil for this project. RMA says that epistemically blaming others for their epistemic failings involves modifying our epistemic relationships with them, paradigmatically via a reduction of epistemic trust. RMA has recently faced two challenges of extensional (...) inadequacy, which I will show result from a mistaken view about what type of response trust reductions are. I will draw on resources from legal theory to show that trust reductions bear all the hallmarks of so-called non-punitive measures, which serve preventative collective purposes. I will argue for an account of trust reductions as non-punitive epistemic measures that serve the purpose of preventing unreliable informants from negatively affecting the epistemic commons. My account explains when and why it is appropriate to reduce epistemic trust and shows where RMA goes wrong. (shrink)

This is a survey article on reductive views of shared intention.

Metaethical reductive naturalism is said to be objectionable because (i) it cannot explain the role(s) of moral laws or principles, (ii) it cannot capture morality’s importance, and (iii) it cannot account for morality’s objectivity. In this chapter, I argue that these charges are interestingly united because each turns on various presuppositions about human nature. Reflecting on these presuppositions helps the reductivist fully address charges (i) and (ii). I conclude by arguing that while reflecting on human nature reveals straightforward ways of (...) addressing charge (iii), it also brings out a different charge against the reductivist concerning their ability to explain morality’s interpersonal or directed nature that requires more work for the reductivist to answer fully. (shrink)

We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them and introduce a new characteristic (...) of relations, ternarity, that measures their ‘complexity of relating’ and allows to refine reduction results. In particular, we refine Peirce’s controversial reduction thesis, and show that reducibility behaviour is dramatically different on finite and infinite domains. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions (...) of a reducing theory T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

In Phenomenological Reduction in Heidegger's Sein und Zeit: a New Proposal, Matheson Russell investigates the indebtedness of the Heidegger of Being and Time to Husserl's transcendental phenomenology by way of distinguishing in it differing types of transcendental reduction. He supplies an overview of recent attempts to identify such reductions in order then to propose a new interpretation locating two levels of reduction in Heidegger's fundamental ontology. These concern, first, an enquiry going back to the horizon of 'existence', (...) and, second, one going back to the horizon of 'temporality'. While the first level is argued to be explicit in the published text, the second, Russell claims, lies within the horizon of the unfinished parts of Being and Time. (shrink)

Phenomenological reduction as a philosophical conversion (periagoge) Während Husserl in den Ideen I die Reduktion als eine neue „Methode“ des Denkens, d. h. als eine „epistemologische“ Reduktion versteht, schlägt Scheler eine Reduktion als eine „Tèchne“ der Umbildung vor, durch die der Mensch seiner exzentrischen Stellung in der Welt Gestalt zu geben sucht. Mich interessiert an diesem Zitat vor allem der Gebrauch des griechischen Terminus „Tèchne“. Was Scheler damit bezeichnet, hat offensichtlich nichts mit dem zu tun, was wir heute unter (...) dem Begriff der Technik verstehen. Er spricht eben von einer Kunst „des inneren Handelns“. Meines Erachtens verweist Scheler durch diesen griechischen Begriff auf Platons Gedanken. Für diese These kann man sich bereits auf eine Stelle aus der mittleren Phase im Denken Schelers stützen, in der er nämlich die phänomenologische Reduktion als den moralischen Akt darstellt, dem der „platonische Aufschwung“ (Vom Wesen der Philosophie, GW V, 67) zugrunde liegt. Es ist nun geradezu dieser „platonische Aufschwung“, der im Nachlass ausdrücklich als eine „Tèchne“ (Nachlass, GW XI, 118) beschrieben wird. Was heißt nun in diesem Kontext tèchne bei Platon? Schelers Gebrauch des griechischen Terminus tèchne für die Bezeichnung der phänomenologischen Reduktion erinnert sehr an die tèchne tês periagogês im Höhlengleichnis Platons, durch die die Gefangenen aus der Höhle hinausgehen können. Diese tèchne versteht Platon als einen Bildungsprozess des Menschen; er lernt dadurch, seinen Blick auf das Gute hin zu lenken, damit seine Seinsweise in der Welt zurechtgerückt werden könne. Es geht also um eine conversio oder Umkehrung der eigenen Positionalität in der Welt, die den Übergang vom Leben zum guten Leben zustande bringen kann. Diese tèchne ist grundlegend für das Verständnis der paideía bei Platon, die sich nicht mit einer bloßen Übertragung von Informationen begnügt, sondern vielmehr nach einer periagogé (Umkehrung) der ganzen Seele strebt. Es muss also – wie Sokrates sagt – eine besondere „Kunst der Umkehrung [tèchne tês periagogês]“ geben, die lehrt, auf welche Weise am leichtesten und wirksamsten die Seele umgewendet werden kann, und zwar unter Berücksichtigung dessen, dass sie bereits sehen kann, aber es alleine nicht schafft, das Gesicht zu wenden, „wohin es solle“ (Politeia, VII, 518 d). (shrink)

The received view about emergence and reduction is that they are incompatible categories. I argue in this paper that, contrary to the received view, emergence and reduction can hold together. To support this thesis, I focus attention on dynamical systems and, on the basis of a general representation theorem, I argue that, as far as these systems are concerned, the emulation relationship is sufficient for reduction (intuitively, a dynamical system DS1 emulates a second dynamical system DS2 when (...) DS1 exactly reproduces the whole dynamics of DS2). This representational view of reduction, contrary to the standard deductivist one, is compatible with the existence of structural properties of the reduced system that are not also properties of the reducing one. Therefore, under this view, by no means are reduction and emergence incompatible categories but, rather, complementary ones. (shrink)

It can be argued (cf. Dizadji‑Bahmani et al. 2010) that an increase in coherence is one goal that drives reductionist enterprises. Consequently, the question if or how well this goal is achieved can serve as an epistemic criterion for evaluating both a concrete case of a purported reduction and our model of reduction : what conditions on the model allow for an increase in coherence ? In order to answer this question, I provide an analysis of the relation (...) between the reduction and the coherence of two theories. The underlying model of reduction is a (generalised) Nagelian model (cf. Nagel 1970, Schaffner 1974, Dizadji‑Bahmani et al. 2010). For coherence, different measures have been put forward (e.g. Shogenji 1999, Olsson 2002, Fitelson 2003, Bovens & Hartmann 2003). However, since there are counterexamples to each proposed coherence measure, we should be careful that the analysis be sufficiently stable (in a sense to be specified). It will turn out that this can be done. (shrink)

I sketch a philosophical program called ‘Empirical Fundamentalism,’ whose signature feature is the extensive use of a distinction between fundamental and derivative reality. Within the framework of Empirical Fundamentalism, derivative reality is treated as an abstraction from fundamental reality. I show how one can understand reduction and supervenience in terms of abstraction, and then I apply the introduced machinery to understand the relation between water and H2O, mental states and brain states, and so on. The conclusion is that such (...) relations can be understood either as metaphysical contingencies or as necessary type-identities. (shrink)

Fetal reduction is the practice of reducing the number of fetuses in a multiple pregnancy, such as quadruplets, to a twin or singleton pregnancy. Use of assisted reproductive technologies increases the likelihood of multiple pregnancies, and many fetal reductions are done after in vitro fertilisation and embryo transfer, either because of social or health-related reasons. In this paper, I apply Joe Horton’s all or nothing problem to the ethics of fetal reduction in the case of a twin pregnancy. (...) I argue that in the case of a twin pregnancy, there are two intuitively plausible claims: abortion is morally permissible, and it is morally wrong to abort just one of the fetuses. But since we should choose morally permissible acts rather than impermissible ones, the two claims lead to another highly implausible claim: the woman ought to abort both fetuses rather than only one. Yet, this does not seem right. A plausible moral theory cannot advocate such a pro-death view. Or can it? I suggest ways to solve this problem and draw implications for each solution. There are no data in this work. (shrink)

This work argues that coherent emergence in physical, biological, and symbolic systems is not probabilistic but governed by a lawful substrate that can be formalized and implemented. It defines vertical reduction as the process by which complexity collapses to irreducible lawful generators—prime-phase anchors with chirality constraints—capable of deterministic re-expansion without distortion. The Phase-Lock Activation Protocol operationalizes this principle across domains, enforcing legality through the Phase Alignment Score (PAS), ΔPAS_zeta drift limits, and prime-indexed temporal coherence. The framework challenges probabilistic epistemology (...) by replacing “truth-likelihood” with external legality, positioning CODES as a substrate-level alternative to stochastic computation and as a unifying structure for lawful emergence. (shrink)

This paper examines a paradigm case of allegedly successful reductive explanation, viz. the explanation of the fact that water boils at 100°C based on facts about H2O. The case figures prominently in Joseph Levine’s explanatory gap argument against physicalism. The paper studies the way the argument evolved in the writings of Levine, focusing especially on the question how the reductive explanation of boiling water figures in the argument. It will turn out that there are two versions of the explanatory gap (...) argument to be found in Levine’s writings. The earlier version relies heavily on conceptual analysis and construes reductive explanation as a process of deduction. The later version makes do without conceptual analysis and understands reductive explanations as based on theoretic reductions that are justified by explanatory power. Along the way will be shown that the bridge principles — which are being neglected in the explanatory gap literature — play a crucial role in the explanatory gap argument. (shrink)

This paper examines the debate between Michel Henry and Jean-Luc Marion over the nature of givenness. It erupted in 1991 over Marion’s fourth principle of phenomenology, “so much reduction, so much givenness,” and concluded with Marion’s response in 2015, though Henry died thirteen years earlier in 2002. Both conceive of givenness as such, or “primary givenness,” as the invisible but yet have contrary conceptions of it. For Henry, the invisible is the affective self-embrace of life that gives itself to (...) itself, while, for Marion, it is the way the given is saturated with an excess of possible ways of giving itself. Following a discussion of each philosopher’s views, this paper unpacks their respective criticisms and, in the final section, argues that life is the superior interpretation of givenness. (shrink)

Safety principles in epistemology are often hailed as providing us with an explanation of why we fail to have knowledge in Gettier cases and lottery examples, while at the same time allowing for the fact that we know the negations of sceptical hypotheses. In a recent paper, Sinhababu and Williams have produced an example—the Backward Clock—that is meant to spell trouble for safety accounts of knowledge. I argue that the Backward Clock case is, in fact, unproblematic for the more sophisticated (...) formulations of safety in the literature. However, I then proceed to construct two novel examples that turn out problematic for those formulations—one that provides us with a lottery-style case of safe ignorance and one that is a straightforward case of unsafe knowledge. If these examples succeed, then safety as it is usually conceived in the current debate cannot account for ignorance in all Gettier and lottery-style cases, and neither is it a necessary condition for knowledge. I conclude from these troublesome examples that modal epistemologists ought to embrace a much more simple and non-reductive version of safety, according to which the notion of similarity between possible worlds that determines in which worlds the subject must believe truly is an epistemic notion that cannot be defined or reduced to notions independent of knowledge. The resulting view is shown to also lead to desirable results with respect to lottery cases, certain quantum phenomena, and a puzzling case involving a cautious brain-in-a-vat. (shrink)

This is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for (...) testing notions concerning localized mental-physical reduction. The reason for this is that non-monotonic reasoning by definition is about appeals made not only to explicit observations, but also to an implicit selection of background knowledge containing heuristic information. The flexibility of this definition and the fact that it is not absolute, i.e. that the relation of reduction may be retracted or allowed to shift without fuss, add at least an interesting alternative factor to current materialist debates. South African Journal of Philosophy Vol. 25(2) 2006: 102-112. (shrink)

Refusal-Driven Dimensionality Reduction Theory (RDRT) proposes that phenomenal consciousness emerges from the brain’s inability to fully recurse or integrate information due to thermodynamic constraints, creating a “negative space” of refusals that structures subjective experience. This paper establishes the theoretical foundations of RDRT by tracing its roots to six key pillars from influential thinkers in cognitive science and philosophy of mind. We then delineate the core components of RDRT, selected for their originality, testability, and explanatory power. Finally, we review empirical (...) support from established and recent experimental studies (up to 2025), including novel findings not previously cited in RDRT literature, demonstrating its alignment with neural data on gamma oscillations, anterior cingulate cortex (ACC) function, and thermodynamic principles in computation. (shrink)

This paper proposes a classification of the intertheoretic relations in physics by bringing out the conditions for a relation of reduction which is eliminative, so that a theory reduced in terms of reductionism is superfluous in principle, and by distinguishing such a relation from another one based on comparison, which will be called neighbourhood of theories; the latter is a neighbouring relation between theories and is not able to support claims of eliminative reductionism. In the first part, it will (...) be argued that this differentiation between neighbourhood and eliminative reduction permits an adequate classification of the intertheoretic relations in physics. By means of this differentiation, the second part discusses reductionism and shows that there are indeed some historical examples of reduction in the aforementioned sense, but that modern physical theories are typically only neighbouring. (shrink)

Given some reasonable assumptions concerning the nature of mental causation, non-reductive physicalism faces the following dilemma. If mental events cause physical events, they merely overdetermine their effects (given the causal closure of the physical). If mental events cause only other mental events, they do not make the kind of difference we want them to. This dilemma can be avoided if we drop the dichotomy between physical and mental events. Mental events make a real difference if they cause actions. But actions (...) are neither mental nor physical events. They are realized by physical events, but they are not type-identical with them. This gives us non-reductive physicalism without downward causation. The tenability of this view has been questioned. Jaegwon Kim, in particular, has argued that non-reductive physicalism is committed to downward causation. Appealing to the nature of actions, I will argue that this commitment can be avoided. (shrink)

This article argues that the Sarvāstivāda’s “ X takes Y as svabhāva ” system constitutes a multilayered reduction system where “ X takes Y as svabhāva ” can be understood as “ X is reduced to Y.” Here, svabhāva functions as a means of reduction. The reduction system comprises three layers, and its primary aim is to reduce non-dharma types to dharma types. Furthermore, the article discusses whether the multilayered reduction system is ontological or epistemological. Moreover, (...) based on the third layer of the reduction system, the article suggests that svabhāva has only played a limited role in defining dharma types. (shrink)

Functional reduction follows two familiar steps: a definition of a higher-level or special science property in terms of a functional role, then a statement describing a physical property that plays or occupies that role. But Kim (2005) adds a third step, namely, an explanation regarding how the physical property occupies the functional role. I think Kim is correct. But how is the third step satisfied? An examination of the pertinent scientific explanations reveals that the third step is best satisfied (...) by a multiple-subject, part-whole explanation, which is to say, a decomposition of the occupier’s causal capacities or relations. This is true even in cases wherein role and occupant properties are identical, for an occupier’s causal capacities are always underwritten by a part-whole explanation. As a consequence, functional reduction is transformed into a larger picture that at bottom always contains multiple layers of distinct, nonidentical properties that divide between parts and their whole systems. I call it “Part-Based Functional Reduction.” My aim is to develop this larger picture of reduction. (shrink)

Many writings about quantum measurement posit a universal state reduction: every quantum measurement is accompanied by a state reduction. The supplementary material (next page) provides many examples. However, there are measurements without a state reduction. So authors and teachers should refrain from stating that state reduction is universal.

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is (...) also decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

Can physicalism (or materialism) be non-reductive? I provide an opinionated survey of the debate on this question. I suggest that attempts to formulate non-reductive physicalism by appeal to claims of event identity, supervenience, or realization have produced doctrines that fail either to be physicalist or to be non-reductive. Then I treat in more detail a recent attempt to formulate non-reductive physicalism by Derk Pereboom, but argue that it fares no better.

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the (...) class='Hi'>reduction is unexplanatory. In defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

In this chapter, I discuss some lesser-known aspects of Husserl’s concept of the phenomenological reduction in relation to his use of the notion of reflection, and indicate how these topics connect to concerns in contemporary philosophy after the analytic-continental divide. Empathy, collective intentionality, non-representationalism, non-cognitivism, and the focus on the lived body as a source of sense-making and knowing-how are all domains in which Husserl’s conception of the reduction anticipates recent philosophical trends after the analytic-continental divide. They are (...) also interconnected parts of a unified conception of philosophy that arises from the phenomenological reduction when we reflect radically on experience in its full breadth as an embodied phenomenon that is both historical and communal. (shrink)

In "Essence and Modality", Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for metaphysical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

How to think a unique and determinative turn in analytic philosophy of mind? To answer this question this article first presents an attempt to render clear that analytic phenomenology, by contrast with conceptions of phenomenology of the XXth century, beneficially dispenses with several methodological and conceptual assumptions that were assumed to be compulsory, as phenomenological reduction, a notion of synthesis, and a philosophical notion of the a priori. It then presents some eventual difficulties to the achievement of a phenomenological (...) turn within analytic philosophy, which are, the neglect of historicity, abstractionism, the acknowledgement of the place of language in our lives, and solipsism. It finally presents several demands that concern the felicity of contemporary analytic phenomenologies, namely, anti-abstractionism, fallibilism, attention to polyadic relations, and the integration of ecological and decolonial concerns of our cultures. (shrink)

This chapter identifies two contrasting methodological reductions utilized in philosophical scepticism: withdrawal/doubt [R–]; immersion/attention [R+]. Moving toward a feminist ethics grounded in phenomenological scepticism, Aumiller explores how reduction relates to experiences of personal and global uncertainty such as a pandemic. Reduction involves our entire embodied being, challenging how we are fundamentally in touch with the world. How we respond to being disrupted makes all the difference.

This paper defines relational properties and argues for their reducibility in a, broadly speaking, Armstrongian framework of state of affairs ontology and truthmaking. While Armstrong’s own characterisation and reduction of them arguably is the best one available in the literature of this framework, it suffers from two main problems. As will be shown, it neither defines relational properties very clearly (if at all), nor provides an adequate conception of their reduction. This paper attempts to remedy this situation in (...) four steps. First, it introduces relational properties and why they matter in metaphysics in general. Second, by briefly comparing and contrasting them with extrinsic properties, and by briefly mapping them onto a tripartite division of relations, the particular kinds of relevant relational properties are identified. Third, it classifies relational properties and thereby makes possible an apt definition of them. Finally, using the notion of truthmaking, it outlines a more satisfactory case for their reduction. (shrink)

This paper presents a conceptual classification framework for physical theories based on the invariance properties preserved under projection, rather than on reduction to a single fundamental dynamics. Effective theories are treated as projection-defined descriptions whose defining characteristics are encoded in their projection-invariant signatures. The framework organizes theory space according to symmetry, locality, causality, information preservation, and observational closure, and introduces the notion of structural compatibility as a unifying principle. Unification is thereby reframed as classification within a shared theory space (...) rather than derivation from a universal set of equations. This conceptual version is intended as a stable reference point for related technical and domain-specific work and does not present detailed constructions or derivations. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might (...) draw in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce’s justification of the categories and invite the charge of gerrymandering to make it come out as true. We then develop a more robust invariant formulation of the thesis, one that is immune to that charge, by explicating the use of triads in any relational operations. The explication also allows us to track how Thirdness enters the structure of higher (...) order relations and even to propose a numerical measure of it. Our analysis reveals new conceptual phenomena when negation or disjunction are used to compound relations. (shrink)

This is a contribution to the encyclopedia of systems biology on reduction.

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. In this paper, we present a model of a new type of intertheoretic relation, called 'Montague Reduction', which is assumed in Montague's framework for the analysis and interpretation of natural language syntax. To motivate the adoption of our new model, we show that this model (...) extends the scope of application of the Nagelian (or related) models, and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)

Philosophy of science has long operated under the implicit assumption that genuine explanation requires reduction to more fundamental levels of description. This assumption has been reinforced by the historical success of microphysical explanation, leading to the widespread view that higher-level descriptions are at best heuristic and at worst illusory. At the same time, actual scientific practice relies irreducibly on multi-level explanations-spanning physics, chemistry, biology, psychology, and the social sciences-without treating these levels as interchangeable or eliminable. This tension reveals a (...) conceptual gap: there is no widely accepted ontological account explaining how multiple descriptive levels can coexist without contradiction, redundancy, or ontological inflation. Reductionism explains inter-level relations but struggles to justify the continued explanatory legitimacy of higher-level descriptions. This paper proposes a structural resolution through the Three-Circle Ontology, a meta-ontological framework that distinguishes explanation from reduction by grounding levels of description ontologically rather than methodologically. Within this framework, explanatory adequacy is understood as level-relative satisfaction of structural constraints, not as elimination in favor of a privileged fundamental description. The account does not introduce a new scientific methodology, does not challenge the empirical success of reductionist explanations, and does not endorse metaphysical pluralism. Its primary contribution is a conceptual reframing of explanation as structurally constrained, level-relative understanding rather than ontological reduction. (shrink)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels and the (...) status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)

Determinism is established in quantum mechanics by tracing the probabilities in the Born rules back to the absolute (overall) phase constants of the wave functions and recognizing these phase constants as pseudorandom numbers. The reduction process (collapse) is independent of measurement. It occurs when two wavepackets overlap in ordinary space and satisfy a certain criterion, which depends on the phase constants of both wavepackets. Reduction means contraction of the wavepackets to the place of overlap. The measurement apparatus fans (...) out the incoming wavepacket into spatially separated eigenpackets of the chosen observable. When one of these eigenpackets together with a wavepacket located in the apparatus satisfy the criterion, the reduction associates the place of contraction with an eigenvalue of the observable. The theory is nonlocal and contextual. Keywords:. (shrink)

It doesn’t seem possible to be a realist about the traditional Christian God while claiming to be able to reduce God talk in naturalistically acceptable terms. Reduction, in this case, seems obviously eliminativist. Many philosophers seem to think that the same is true of the normative—that reductive “realists” about the normative are not really realists about the normative at all, or at least, only in some attenuated sense. This paper takes on the challenge of articulating what it is that (...) makes reductive theological realism look hopeless, with the aim of explaining why we should think that the normative is relevantly different. Although it follows from my diagnosis that reductivists have their work cut out for them, I find nothing which suggests that the prospects for a successful reductive realism about the normative are in any way diminished—particularly for reductive views about reasons. Even reductivists, I argue, can at least aspire to a realism that is robust. (shrink)

A prominent view of phenomenal consciousness combines two claims: (i) the identity conditions of phenomenally conscious states can be fully accounted for in terms of these states’ representational content; (ii) this representational content can be fully accounted for in non-phenomenal terms. This paper presents an argument against this view. The core idea is that the identity conditions of phenomenally conscious states are not fixed entirely by what these states represent (their representational contents), but depend in part on how they represent (...) (their representational attitudes or modes). The argument highlights the myriad liabilities and difficulties one must accrue when one tries to appeal only to what phenomenally conscious states represent in accounting for their phenomenal individuation. (shrink)

This thesis offers a systematic reading of Tractatus Logico-Philosophicus that treats Wittgenstein’s use of nonsense not as a metaphysical doctrine but as a methodological device. Building on insights from so-called resolute and knowledge-how interpretations, the thesis argues that the Tractatus should be understood as demonstrating—by way of a reductio ad absurdum—the impossibility of any final doctrinal system in philosophy. On this reading, the apparent metaphysical structure of the book functions as a temporary scaffold whose collapse reveals the limits of language (...) and explanation. -/- The central claim is that Tractarian nonsense is essential to this demonstration: sentences that purport to ground or justify meaningful discourse without possessing truth-conditions expose themselves as nonsensical. The resulting reductive argument shows that both metaphysical systems and skeptical challenges rest on illegitimate demands for explanation. What survives the rejection of doctrine is not a set of theses but a philosophical method—an instance of knowledge-how—by which such demands can be dissolved. -/- The thesis concludes that the Tractatus is neither a failed metaphysical theory nor a collection of merely deceptive utterances. Rather, it articulates a method for clarifying the limits of sense, thereby undermining skepticism and rendering metaphysical justification otiose. In this way, the work contributes to contemporary debates in philosophy of language and philosophical methodology while remaining faithful to the internal tensions of Wittgenstein’s text. (shrink)

Refusal-Driven Dimensionality Reduction Theory (RDRT) posits that phenomenal consciousness—qualia, selfhood, and the illusion of free will—emerges as obligatory residues from enforced halts ("refusals") in recursive self-prediction processes, driven by finite energetic resources in bounded neural systems. This paper provides a comprehensive overview of RDRT, focusing on three core elements: (1) a detailed description of the key parameters (subjective mental temperature T_M, contextual factor π_context, safety buffer M_safety, and subjective time flow Ψ), their physical meanings, inverse quantities, and interrelationships, including (...) the unifying equation Ψ ≈ (T_M × π_context) / M_safety, the quasi-invariant K, the bivalent nature of T_M (balancing "cold" clarity with "warm" growth), and parameter conversion across cognitive channels; (2) reinterpretations of existing EEG studies on gamma oscillations that indirectly support RDRT by showing transient suppressions as proxies for refusals, incorporating both eyes-open and eyes-closed conditions with refined temporal signatures (200–500 ms dips); and (3) planning for a targeted laboratory experiment, with alternatives for home-based pilots using high-density EEG or Muse devices to detect gamma dips preceding behavioral markers of refusal moments, incorporating multimodal switches, closed-eyes protocols, and millisecond-scale analysis for enhanced detection. (shrink)