This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

There are, by now, many rival, sophisticated philosophical accounts of causation that qualify as ‘metaphysically reductive’. This is a good thing: these collective efforts have vastly improved our understanding of causation over the last 30 years or so. They also put us in an excellent position to reflect on some central methodological questions: What exactly is the point of offering a metaphysical reduction of causation? What philosophical scruples ought to guide the pursuit of such a reduction? Finally, how (...) should answers to these latter questions affect one’s assessment of the main contemporary approaches? That’s what we investigate in this essay. Section 1 lays out our presuppositions. Section 2 reviews a sample of philosophical accounts. Then comes the main event: Section 3 looks in detail at the foregoing methodological questions, closing with a reconsideration of our sample accounts, in light of what we’ve found. (shrink)

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)

This chapter notes that reduction and reductionism in the sciences and in medicine mean a number of different things, and provides a typology of those different senses, including those of the most relevance to psychiatry. Alternatives to reductionism are discussed, including antireductionism and different forms of emergence. Specific examples of reductionist and emergentist programs tied to a range of psychiatric disorders are presented, including autism, depression, and schizophrenia. These programs are also related to ongoing attempts of psychiatry to secure (...) the validity of disorders by appealing to genetics and neuroscience. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

Research on natural and artificial brains is proceeding at a rapid pace. However, the understanding of the essence of consciousness has changed slightly over the millennia, and only the last decade has brought some progress to the area. Scientific ideas emerged that the soul could be a product of the material body and that calculating machines could imitate brain processes. However, the authors of this book reject the previously common dualism—the view that the material and spiritual-psychic processes are separate and (...) require a completely different substance as their foundation. -/- Reductive Model of the Conscious Mind is a forward-thinking book wherein the authors identify processes that are the essence of conscious thinking and place them in the imagined, simplified structure of cells able to memorize and transmit information in the form of impulses, which they call neurons. The purpose of the study is to explain the essence of consciousness to the degree of development of natural sciences, because only the latter can find a way to embed the concept of the conscious mind in material brains. The book is divided into three parts. Part 1 works to convince readers that the emergence of consciousness does not require detailed knowledge of the structure and morphology of the brain, with the exception of some specific properties of the neural network structure that the authors attempt to point out. Part 2 proves that the biological structure of many natural brains fulfills the necessary conditions for consciousness and intelligent thinking. Similarly, Part 3 shows the ways in which artificial creatures imitating natural brains can meet these conditions, which gives great hopes for building artificially intelligent beings endowed with consciousness. Covering topics that include cognitive architecture, the embodied mind, and machine learning, this book is ideal for cognitive scientists, philosophers of mind, neuroscientists, psychologists, researchers, academicians, and advanced-level students. The book can also help to focus the research of linguists, neurologists, and biophysicists on the biophysical basis of postulated information processing into knowledge structures. (shrink)

I attribute to Aristotle a theory of sensible qualities that straddles the modern debate between reductive physicalist and primitivist theories of color. On the interpretation I defend, Aristotle identifies sensible qualities with the physical properties of sensibly qualified bodies in virtue of which they move and affect perceivers and sense media. Nevertheless, I argue, Aristotle thinks that the essential nature of these qualities is revealed in ordinary sense experience. From a modern perspective, the resulting picture of sensible qualities as simultaneously (...) causes and manifest features of sense experience appears naive. But as I hope to show, it is in fact the product of an explanatorily sophisticated scientific theory, one which Aristotle finds necessary to meet the complex demands that, for him, make sensible qualities an ontological problem. (shrink)

There are a number of different versions of Reductive Nominalism, versions distinguished by the way in which each accounts for facts about having and sharing properties. This chapter discusses three broad varieties of Reductive Nominalism: Predicate Nominalism, Class Nominalism, and Resemblance Nominalism. Class Nominalism identifies properties with classes or sets. Resemblance Nominalists come in two sub‐varieties, depending on whether they take the resemblance relation to hold between particular properties (called 'tropes') or particular things that have properties (ordinary particulars). Trope Theory (...) comes in two varieties depending on whether one plumps for universals. It should not be difficult to see that Extreme Resemblance Nominalism is faced with Class Nominalism's extensionality problems, both the problem of contingent predication and the co‐extensive property problem. Resemblance Nominalists can reply by insisting on a distinction between a priori or conceptual equivalence and metaphysical equivalence. The chapter focuses on the extensionality problems for Class Nominalism. (shrink)

Collectivist accounts of the ethics of war have traditionally dominated just war theory (Kutz 2005; Walzer 1977; Zohar 1993). These state-based accounts have also heavily influenced the parts of international law pertaining to armed conflict. But over the past ten years, reductive individualism has emerged as a powerful rival to this dominant account of the ethics of war. Reductivists believe that the morality of war is reducible to the morality of ordinary life. War is not a special moral sphere with (...) its own special moral rules. Reductivists typically reject a collectivist approach to the morality of war in favor of an individualist view, according to which individuals (rather than states or other collectives) are the proper focus of moral guidance and evaluation. This view holds that the rules governing killing in war are simply the rules governing killing between individuals, most obviously the rules of self-defense and other-defense (Fabre 2009; Frowe 2014; McMahan 2009; Tadros 2014). -/- This chapter defends reductive individualism against the claim that it is unable to sanction wars of national defense that seek to protect non-vital interests. These non-vital interests include political goods such as the defense of sovereignty—that is, of political and territorial integrity. (shrink)

I argue that an adequate account of non-reductive realization must guarantee satisfaction of a certain condition on the token causal powers associated with (instances of) realized and realizing entities---namely, what I call the 'Subset Condition on Causal Powers' (first introduced in Wilson 1999). In terms of states, the condition requires that the token powers had by a realized state on a given occasion be a proper subset of the token powers had by the state that realizes it on that occasion. (...) Accounts of non-reductive realization conforming to this condition are implementing what I call 'the powers-based subset strategy'. I focus on the crucial case involving mental and brain states; the results may be generalized, as appropriate. I first situate and motivate the strategy by attention to the problem of mental causation; I make the case, in schematic terms, that implementation of the strategy makes room (contra Kim 1989, 1993, 1998, and elsewhere) for mental states to be ontologically and causally autonomous from their realizing physical states, without inducing problematic causal overdetermination, and compatible with both Physicalism and Non-reduction; and I show that several contemporary accounts of non-reductive realization (in terms of functional realization, parthood, and the determinable/determinate relation) are plausibly seen as implementing the strategy. As I also show, implementation of the powers-based strategy does not require endorsement of any particular accounts of either properties or causation---indeed, a categoricalist contingentist Humean can implement the strategy. The schematic location of the strategy in the space of available responses to the problem of mental (more generally, higher-level) causation, as well as the fact that the schema may be metaphysically instantiated, strongly suggests that the strategy is, appropriately generalized and instantiated, sufficient and moreover necessary for non-reductive realization. I go on to defend the sufficiency and necessity claims against a variety of objections, considering, along the way, how the powers-based subset strategy fares against competing accounts of purportedly non-reductive realization in terms of supervenience, token identity, and constitution. (shrink)

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.

Some claim that Non- reductive Physicalism is an unstable position, on grounds that NRP either collapses into reductive physicalism, or expands into emergentism of a robust or ‘strong’ variety. I argue that this claim is unfounded, by attention to the notion of a degree of freedom—roughly, an independent parameter needed to characterize an entity as being in a state functionally relevant to its law-governed properties and behavior. I start by distinguishing three relations that may hold between the degrees of freedom (...) needed to characterize certain special science entities, and those needed to characterize their composing physical entities; these correspond to what I call ‘reductions’, ‘restrictions’, and ‘eliminations’ in degrees of freedom. I then argue that eliminations in degrees of freedom, in particular—when strictly fewer degrees of freedom are required to characterize certain special science entities than are required to characterize their composing physical entities—provide a basis for making sense of how certain special science entities can be both physically acceptable and ontologically irreducible to physical entities. (shrink)

Philosophers of neuroscience have traditionally described interfield integration using reduction models. Such models describe formal inferential relations between theories at different levels. I argue against reduction and for a mechanistic model of interfield integration. According to the mechanistic model, different fields integrate their research by adding constraints on a multilevel description of a mechanism. Mechanistic integration may occur at a given level or in the effort to build a theory that oscillates among several levels. I develop this alternative (...) model using a putative exemplar of reduction in contemporary neuroscience: the relationship between the psychological phenomena of learning and memory and the electrophysiological phenomenon known as Long-Term Potentiation. A new look at this historical episode reveals the relative virtues of the mechanistic model over reduction as an account of interfield integration. (shrink)

Most philosophical accounts of emergence are incompatible with reduction. Most scientists regard a system property as emergent relative to properties of the system's parts if it depends upon their mode of organization--a view consistent with reduction. Emergence can be analyzed as a failure of aggregativity--a state in which "the whole is nothing more than the sum of its parts." Aggregativity requires four conditions, giving tools for analyzing modes of organization. Differently met for different decompositions of the system, and (...) in different degrees, these conditions provide powerful evaluation criteria for choosing decompositions, and heuristics for detecting biases of vulgar reductionisms. This analysis of emergence is compatible with reduction. (shrink)

One of the central problems in the philosophy of psychology is an updated version of the old mind-body problem: how levels of theories in the behavioral and brain sciences relate to one another. Many contemporary philosophers of mind believe that cognitive-psychological theories are not reducible to neurological theories. However, this antireductionism has not spawned a revival of dualism. Instead, most nonreductive physicalists prefer the idea of a one-way dependence of the mental on the physical.In Psychoneural Reduction, John Bickle presents (...) a new type of reductionism, one that is stronger than one-way dependency yet sidesteps the arguments that sank classical reductionism. Although he makes some concessions to classical antireductionism, he argues for a relationship between psychology and neurobiology that shares some of the key aims, features, and consequences of classical reductionism. Parts of Bickle's "new wave" reductionism have emerged piecemeal over the past two decades; this is his first comprehensive statement and defense of it to appear. (shrink)

This chapter considers the arguments for and against reductionism and then considers its main rival: emergence. A large part of the reductionist program is generally considered a failure. Philosophers of science have been chipping away at reductionist claims for a couple of decades now. Philosopher Jaegwon Kim has been a central figure in matters of reduction, supervenience, and emergence. He presents three related puzzles for the antireductionist: causal redundancy; downward causation and causal drainage. According to the author, reduction (...) and emergence have earned a place in science and the philosophy of science. The chapter finally presents the diagnosis of the controversy between reductionists and their foes and then briefly considers some theological ramifications. (shrink)

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker (...) "local" form of reduction, which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (shrink)

The paper explores the potential of Byzantine diagrams in syllogistic logic. Byzantine diagrams are originated by Byzantine scholars in the early modern period to use as tools for teaching and studying Aristotelian logic. This paper presents pioneering work on employing Byzantine diagrams for checking syllogistic validity through reduction.

Though most contemporary philosophers and scientists accept a physicalist view of mind, the recent surge of interest in the problem of consciousness has put the mind /body problem back into play. The physicalists' lack of success in dispelling the air of residual mystery that surrounds the question of how consciousness might be physically explained has led to a proliferation of options. Some offer alternative formulations of physicalism, but others forgo physicalism in favour of views that are more dualistic or that (...) bring in mentalistic features at the ground- floor level of reality as in pan-proto-psychism. My aim here is to give an overview of the recent philosophic discussion to serve as a map in locating issues and options. I will not offer a comprehensive survey of the debate or mark every important variant to be found in the recent literature. I will mark the principal features of the philosophic landscape that one might use as general orientation points in navigating the terrain. I will focus in particular on three central and interrelated ideas: those of emergence, reduction, and nonreductive physicalism. The third of these, which has emerged as more or less the majority view among current philosophers of mind, combines a pluralist view about the diversity of what needs to be explained by science with an underlying metaphysical commitment to the physical as the ultimate basis of all that is real. The view has been challenged from both left and right, on one side from dualists and on the other from hard core reductive materialists. Despite their differences, those critics agree in finding nonreductive physicalism an unacceptable and perhaps even incoherent position. They agree as well in treating reducibility as the essential criterion for physicality; they differ only about whether the criterion can be met. Reductive physicalists argue that it can, and dualists deny it. (shrink)

Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. The validity problem (...) in the meet-combination is proved to be decidable whenever the validity problem for the components are decidable. Several examples are discussed, namely, involving modal and intuitionistic logics, as well as the meet-combination of modal logic and intuitionistic logic. (shrink)

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)

Grand debates over reduction and emergence are playing out across the sciences, but these debates have reached a stalemate, with both sides declaring victory on empirical grounds. In this book, Carl Gillett provides new theoretical frameworks with which to understand these debates, illuminating both the novel positions of scientific reductionists and emergentists and the recent empirical advances that drive these new views. Gillett also highlights the flaws in existing philosophical frameworks and reorients the discussion to reflect the new scientific (...) advances and issues, including the nature of 'parts' and 'wholes', the character of aggregation, and thus the continuity of nature itself. Most importantly, Gillett shows how disputes about concrete scientific cases are empirically resolvable and hence how we can break the scientific stalemate. Including a detailed glossary of key terms, this volume will be valuable for researchers and advanced students of the philosophy of science and metaphysics, and scientific researchers working in the area. (shrink)

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)

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)

Nagel’s official model of theory-reduction and the way it is represented in the literature are shown to be incompatible with the careful remarks on the notion of reduction Nagel gave while developing his model. Based on these remarks, an alternative model is outlined which does not face some of the problems the official model faces. Taking the context in which Nagel developed his model into account, it is shown that the way Nagel shaped his model and, thus, its (...) well-known deficiencies, are best conceived of as a mere by-product of his philosophical background. (shrink)

This chapter contains sections titled: Introduction: The Problem of Emergence and Reduction The Varieties of Reductionism: Ontological and Epistemological The Reduction and Emergence Debate Today: Specific Cases Seeming to Warrant the Label of Ontological or Epistemological Emergence Questions for Future Research.

In a recent critique of the doctrine of emergentism championed by its classic advocates up to C. D. Broad, Jaegwon Kim (Philosophical Studies 63:31–47, 1999) challenges their view about its applicability to the sciences and proposes a new account of how the opposing notion of reduction should be understood. Kim is critical of the classic conception advanced by Nagel and uses his new account in his criticism of emergentism. I question his claims about the successful reduction achieved in (...) the sciences and argue that his new account has not improved on Nagel’s and that the critique of emergentism he bases on it is question-begging in important respects. (shrink)

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

The entropy-reduction hypothesis claims that the cognitive processing difficulty on a word in sentence context is determined by the word's effect on the uncertainty about the sentence. Here, this hypothesis is tested more thoroughly than has been done before, using a recurrent neural network for estimating entropy and self-paced reading for obtaining measures of cognitive processing load. Results show a positive relation between reading time on a word and the reduction in entropy due to processing that word, supporting (...) the entropy-reduction hypothesis. Although this effect is independent from the effect of word surprisal, we find no evidence that these two measures correspond to cognitively distinct processes. (shrink)

Back cover: This book develops a philosophical account that reveals the major characteristics that make an explanation in the life sciences reductive and distinguish them from non-reductive explanations. Understanding what reductive explanations are enables one to assess the conditions under which reductive explanations are adequate and thus enhances debates about explanatory reductionism. The account of reductive explanation presented in this book has three major characteristics. First, it emerges from a critical reconstruction of the explanatory practice of the life sciences itself. (...) Second, the account is monistic since it specifies one set of criteria that apply to explanations in the life sciences in general. Finally, the account is ontic in that it traces the reductivity of an explanation back to certain relations that exist between objects in the world (such as part-whole relations and level relations), rather than to the logical relations between sentences. Beginning with a disclosure of the meta-philosophical assumptions that underlie the author’s analysis of reductive explanation, the book leads into the debate about reduction(ism) in the philosophy of biology and continues with a discussion on the two perspectives on explanatory reduction that have been proposed in the philosophy of biology so far. The author scrutinizes how the issue of reduction becomes entangled with explanation and analyzes two concepts, the concept of a biological part and the concept of a level of organization. The results of these five chapters constitute the ground on which the author bases her final chapter, developing her ontic account of reductive explanation. (shrink)

Selective reduction and abortion both involve the termination of fetal life, but they are classified by different designations to underscore the notion that they are regarded as fundamentally different medical procedures: the two are performed using distinct techniques by different types of physicians, upon women under very different circumstances, in order to further dramatically different objectives. Hence, the two procedures appear to call for a distinct moral calculus, and they have traditionally evoked contradictory reactions from society. This essay posits (...) that despite their different appellations, selective reduction and abortion are essentially equivalent. (shrink)

본 논문은 다원화 사회의 정치적 갈등이 초래되는 가치관의 차이를 환원론적 방법을 통해 분석한다. 정치적 갈등의 근본 원인은 무엇보다 바람직한 사회에 대한 가치관의 무게추가 개인에 맞추어져 있느냐 아니면 공동체 쪽으로 기우느냐에 따라 첨예한 대립적 이념구도가 형성된다. 우선 개인을 우선적 가치로 삼을 경우 정치, 사회 시스템의 구성은 개체주의 형태로 나타나며 이런 형태는 전형적으로 자유주의 모형이라고 볼 수 있다. 반면 전체 집단이 개인보다 중시되면 이는 집단주의적인 성향을 띠는 공동체주의나 사회주의 형태가 된다. 따라서 본 논문은 이러한 구도를 준거틀로 삼아 정치 이념의 차이와 갈등이라는 거대 (...) 담론에 대해 집합론적 요소로 환원시켜 그 갈등의 심층구조를 드러내고자 한다. 다시 말해 이는 세계나 사회와 같은 거대-현상을 단위 요소로 환원하여 이를 미시적으로 분석하는 것을 뜻한다. 분석 결과 부분과 전체 담론에 대한 환원 방식에 있어 동양과 서양이 차이를 보이고 있으며, 서양철학 내에서도 이념에 따라 차이가 발생하는 것을 보여줄 것이다. 또한 이러한 분석을 통해 가치관의 무게 중심축이 전체에서 개체로 이동하고 있음을 밝히고자 한다. (shrink)

The claim that reduction entails grounding (but not vice versa) – called ‘the grounding-reduction link’ – is potentially very important but not clearly correct. After working through a fruitful debate between Gideon Rosen (who maintains the link) and Paul Audi (who maintains its impossibility), I distinguish between what I call ‘strict’ and ‘broad’ reduction. Strict reduction is incompatible with grounding, but broad reduction is not. Thus the link is possible, at least for broad reduction. (...) However, neither strict nor broad reduction entails grounding. Ultimately, there may be a link between grounding and some highly qualified form of reduction. However, the philosophical traction that one might hope to gain for grounding via such a link is considerably diminished if not outright lost. (shrink)

Le premier volume des Idées directrices pour une phénoménologie pure et une philosophie phénoménologique est le traité fondamental de la phénoménologie de Husserl. Il s'y propose d'introduire le lecteur à la nouvelle attitude méthodique de la phénoménologie-la réduction transcendantale-pour révéler la subjectivité comme vie intentionnelle constituant en soi toute réalité objective sans exception: comme subjectivité transcendantale. La réduction apparaît ainsi liée d'emblée à une thèse métaphysique, l'idéalisme transcendantal, que Husserl revendiquera dans les Méditations cartésiennes comme l'«unique interprétation possible» du sens (...) du monde. Fonder la phénoménologie sur cet idéalisme de la subjectivité absolue implique un passage continu de l'attitude d'esprit naturelle à l'attitude transcendantale. Mais comment valider l'idéalisme transcendantal à partir de l'attitude naturelle sans la reconduire au cœur même de l'attitude phénoménologique? Et si, à l'inverse, la réduction se présuppose elle-même, que vaut l'idée d'un «accès» au transcendantal? Qu'est-ce alors que ce «transcendantal», auquel on prétend ainsi accéder? (shrink)

My aim here is threefold: to show that conceptual facts play a more significant role in justifying explanatory reductions than most of the contributors to the current debate realize; to furnish an account of that role, and to trace the consequences of this account for conceivability arguments about the mind.

Reduction between theories in physics is often approached as an a priori relation in the sense that reduction is often taken to depend only on a comparison of the mathematical structures of two theories. I argue that such approaches fail to capture one crucial sense of “reduction,” whereby one theory encompasses the set of real behaviors that are well-modeled by the other. Reduction in this sense depends not only on the mathematical structures of the theories, but (...) also on empirical facts about where our theories succeed at describing real systems, and is therefore an a posteriori relation. (shrink)

In this paper, I propose two theses, and then examine what the consequences of those theses are for discussions of reduction and emergence. The first thesis is that what have traditionally been seen as robust, reductions of one theory or one branch of science by another more fundamental one are a largely a myth. Although there are such reductions in the physical sciences, they are quite rare, and depend on special requirements. In the biological sciences, these prima facie sweeping (...) reductions fade away, like the body of the famous Cheshire cat, leaving only a smile.... The second thesis is that the "smiles" are fragmentary patchy explanations, and though patchy and fragmentary, they are very important, potentially Nobel-prize winning advances. To get the best grasp of these "smiles," I want to argue that, we need to return to the roots of discussions and analyses of scientific explanation more generally, and not focus mainly on reduction models, though three conditions based on earlier reduction models are retained in the present analysis. I briefly review the scientific explanation literature as it relates to reduction, and then offer my account of explanation. The account of scientific explanation I present is one I have discussed before, but in this paper I try to simplify it, and characterize it as involving field elements and a preferred causal model system abbreviated as FE and PCMS. In an important sense, this FE and PCMS analysis locates an "explanation" in a typical scientific research article. This FE and PCMS account is illustrated using a recent set of neurogenetic papers on two kinds of worm foraging behaviors: solitary and social feeding. One of the preferred model systems from a 2002 Nature article in this set is used to exemplify the FE and PCMS analysis, which is shown to have both reductive and nonreductive aspects. The paper closes with a brief discussion of how this FE and PCMS approach differs from and is congruent with Bickle's "ruthless reductionism" and the recently revived mechanistic philosophy of science of Machamer, Darden, and Craver. (shrink)

In this paper I examine Chalmers and Jackson’s defence of the a priori entailment thesis, that is, the claim that microphysical truths a priori entail ordinary non-phenomenal truths such as ‘water covers 60% of the Earth surface’, which they use as a premise for an argument against the possibility of a reductive explanation of consciousness. Their argument relies on a certain view about the possession conditions of macroscopic concepts such as WATER, known as ascriptivism. In the paper I distinguish two (...) versions of ascriptivism: reductive versus non-reductive ascriptivism. According to reductive ascriptivism, competent users of a concept have the ability to infer truths involving such concept from lower-level truths, whereas according to non-reductive ascriptivism, all that is required in order to be a competent user of a concept is to be able to infer truths involving that concept from other truths, which need not be lower-level truths. I argue, first, that the a priori entailment thesis is committed to reductive ascriptivism, and secondly, that reductive ascriptivism is problematic because it trivializes the notion of a priori knowledge. Therefore, I conclude that Chalmers and Jackson have not presented a convincing case for the claim that microphysical truths entail ordinary non-phenomenal truths a priori, especially when we understand this claim in the sense that is relevant for their argument against the possibility of a reductive explanation of consciousness. (shrink)

Is conceptual analysis required for reductive explanation? If there is no a priori entailment from microphysical truths to phenomenal truths, does reductive explanation of the phenomenal fail? We say yes . Ned Block and Robert Stalnaker say no.

Reduction has long been a favourite method of analysis in all areas of philosophy, but in recent years there has been a reaction against it. The contributors to this volume examine the motivations for such anti-reductionist views and assess their coherence and success in a number of fields.

Some claim that Non-reductive Physicalism is an unstable position, on grounds that NRP either collapses into reductive physicalism, or expands into emergentism of a robust or ‘strong’ variety. I argue that this claim is unfounded, by attention to the notion of a degree of freedom—roughly, an independent parameter needed to characterize an entity as being in a state functionally relevant to its law-governed properties and behavior. I start by distinguishing three relations that may hold between the degrees of freedom needed (...) to characterize certain special science entities, and those needed to characterize their composing physical entities; these correspond to what I call ‘reductions’, ‘restrictions’, and ‘eliminations’ in degrees of freedom. I then argue that eliminations in degrees of freedom, in particular—when strictly fewer degrees of freedom are required to characterize certain special science entities than are required to characterize their composing physical entities—provide a basis for making sense of how certain special science entities can be both physically acceptable and ontologically irreducible to physical entities. (shrink)