This paper focuses on the phenomenology of awareness and the second reduction.

The paper sets forth an argument against Kim's distinction between levels and orders.

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)

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)

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)

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)

Both biodegradable and non-biodegradable solid wastes are found in religious or worship places. Biodegradable waste consists of fruits, flowers, leaves, prepared food items, plantations, sweets and non-biodegradable waste consists of plastic covers, plastic plates, plastic cups, metal pieces, flags and so on. These were found during festivals, functions, yatras, urus, massive gatherings, and weddings in religious places. Large gatherings led to huge dumping of solid wastes in and around the religious places. The vendors and street hawkers after selling their goods (...) used to dump the leftover wastes near these places during the pre-pandemic period. During the pandemic outbreak from April 2020 to August 2020, the religious places were shut to the public leading to minimal or zero solid waste production. During lockdown relaxation from September 2020, these places were sanitized; people were restricted with minimal gatherings and instructed to follow COVID appropriate behaviour. Similarly during the second wave lockdown from May 2021 to August 2021, people were not allowed to visit these places which led to the reduction of solid waste production in religious places leading to reduction of air, water and soil pollution. (shrink)

Non-reductive physicalism is committed to two theses: first, that mental properties are ontologically autonomous, and second, that physicalism is true. Jaegwon Kim has argued that this view is unstable – to honor one thesis, one must abandon the other. In this paper, I present an account of property realization that addresses Kim’s criticism and that explains how the two theses are indeed comfortably compatible.

Can the second law of thermodynamics explain our mental experience of the direction of time? According to an influential approach, the past hypothesis of universal low entropy also explains how the psychological arrow comes about. We argue that although this approach has many attractive features, it cannot explain the psychological arrow after all. In particular, we show that the past hypothesis is neither necessary nor sufficient to explain the psychological arrow on the basis of current physics. We propose two (...) necessary conditions on the workings of the brain that any account of the psychological arrow of time must satisfy. And we propose a new reductive physical account of the psychological arrow of time compatible with time-symmetric physics, according to which these two conditions are also sufficient. Our proposal has some radical implications, for example, that the psychological arrow of time is fundamental, whereas the temporal direction of entropy increase in the second law of thermodynamics and the past hypothesis is derived from it, rather than the other way around. 1Introduction2A Physical Account of the Psychological Arrow of Time3Necessary Conditions for the Psychological Arrow of Time4The Psychological Arrow of Time via the Second Law of Thermodynamics and the Past Hypothesis5Why the Past Hypothesis Is Insufficient for the Psychological Arrow of Time5.1Stage 1, Version 1: From the past hypothesis to the psychological arrow via typicality5.2Stage 1, Version 2: From the past hypothesis to the psychological arrow via dynamical or causal considerations5.3Stage 2: From entropy gradient in the brain to the psychological arrow of time6Why the Past Hypothesis Is Unnecessary for the Psychological Arrow of Time7A New Reductive Account of the Psychological Arrow of Time. (shrink)

I critically evaluate Bickle’s version of scientific theory reduction. I press three main points. First, a small point, Bickle modifies the new wave account of reduction developed by Paul Churchland and Clifford Hooker by treating theories as set-theoretic structures. But that structuralist gloss seems to lose what was distinctive about the Churchland-Hooker account, namely, that a corrected theory must be specified entirely by terms and concepts drawn from the basic reducing theory. Set-theoretic structures are not terms or concepts (...) but the structures that they describe. Second, and more serious, a familiar problem for classical positivist account of reduction resurfaces within this newest wave of thinking, namely, commitment to property identities and inter-theoretic bridge laws (a problem I discussed at more length in "Collapse of the New Wave"). Indeed, this problem is exacerbated by Bickle’s conciliatory treatment of property plasticity, since he is willing to grant that a large number of special science terms denote multiply realized properties, at least if realistically construed. Still, in the end, Bickle sidesteps the reduction of properties by appealing to Hooker’s "function-to-structure token reduction." This is an interesting move with an intriguing concept of reduction. But problems remain. For, third, Bickle and Hooker's function-to-structure token reduction is actually a guised form of eliminative materialism. But that should be unacceptable since the position extends well beyond any modest revisionism for suspect items from a folk theory, say, in folk psychology or folk biology. Instead, it applies to functional terms and concepts employed throughout well-developed and explanatorily successful sciences. (shrink)

This paper reveals errors within Norwich et al.’s Entropy Theory of Perception, errors that have broad implications for our understanding of perception. What Norwich and coauthors dubbed their “informational theory of neural coding” is based on cybernetics, that is, control and communication in man and machine. The Entropy Theory uses information theory to interpret human performance in absolute judgments. There, the continuum of the intensity of a sensory stimulus is cut into categories and the subject is shown exemplar stimuli of (...) each category. The subject must then identify individual exemplars by category. The identifications are recorded in the Garner-Hake version of the Shannon “confusion matrix”. The matrix yields “H”, the entropy (degree of uncertainty) about what stimulus was presented. Hypothetically, uncertainty drops as a stimulus lengthens, i.e. a plot of H vs. stimulus duration should fall monotonically. Such “adaptation” is known for both sensation and firing rate. Hence, because “the physiological adaptation curve has the same general shape as the psychophysical adaptation curve”, Norwich et al. assumed that both have the same time course; sensation and firing rate were thus both declared proportional to H. However, a closer look reveals insurmountable contradictions. First, the peripheral neuron hypothetically cannot fire in response to a stimulus of a given intensity until after somehow computing H from its responses to stimuli of various intensities. Thus no sensation occurs until firing rate adapts, i.e. attains its spontaneous rate. But hypothetically, once adaptation is complete, certainty is reached and perception ends. Altogether, then, perception cannot occur until perception is over. Secondly, sensations, firing rates, and H’s are empirically not synchronous, contrary to assumption. In sum, the core concept of the cybernetics-based Entropy Theory of Perception, that is, that uncertainty reduction is the basis for perception, is irrational. (shrink)

Background: how mind functions is subject to continuing scientific discussion. A simplistic approach says that, since no convincing way has been found to model subjective experience, mind cannot exist. A second holds that, since mind cannot be described by classical physics, it must be described by quantum physics. Another perspective concerns mind's hypothesized ability to interact with the world of quanta: it should be responsible for reduction of quantum wave packets; physics producing 'Objective Reduction' is postulated to (...) form the basis for mind-matter interactions. This presentation describes results derived from a new approach to these problems. It is based on well-established biology involving physics not previously applied to the fields of mind, or consciousness studies, that of critical feedback instability. -/- Methods: 'self-organized criticality' in complexity biology places system loci of control at critical instabilities, physical properties of which, including information properties, are presented. Their elucidation shows that they can model hitherto unexplained properties of experience. -/- Results: All results depend on physical properties of critical instabilities. First, at least one feed-back or feed-forward loop must have feedback gain, g = 1: information flows round the loop impress perfect images of system states back on themselves: they represent processes of perfect self-observation. This annihilates system quanta: system excitations are instability fluctuations, which cannot be quantized. Major results follow: -/- 1. Information vectors representing criticality states must include at least one attached information loop denoting self-observation. -/- 2. Such loop structures are attributed a function, 'registering the state's own existence', explaining -/- a. Subjective 'awareness of one's own presence' -/- b. How content-free states of awareness can be remembered (Jon Shear) -/- c. Subjective experience of time duration (Immanuel Kant) -/- d. The 'witness' property of experience – often mentioned by athletes 'in the zone' -/- e. The natural association between consciousness and intelligence -/- This novel, physically and biologically sound approach seems to satisfactorily model subjectivity. -/- Further significant results follow: -/- 1. Registration of external information in excited states of systems at criticality reduces external wave-packets: the new model exhibits 'Objective Reduction' of wave packets. -/- 2. High internal coherence (postulated by Domash & Penrose) leading to a. Non-separable information vector bundles. b. Non-reductive states (Chalmers's criterion for experience). -/- 3. Information that is: a. encoded in coherence negentropy; b. non-digitizable, and therefore c. computationally without digital equivalent (posited by Penrose). -/- Discussion and Conclusions: instability physics implies anharmonic motion, preventing excitation quantization, and totally different from the quantum physics of simple harmonic motion at stability. Instability excitations are different from anything hitherto conceived in information science. They can model aspects of mind never previously treated, including genuine subjectivity, objective reduction of wave-packets, and inter alia all properties given above. (shrink)

Convincing disputes about explanatory reductionism in the philosophy of biology require a clear and precise understanding of what a reductive explanation in biology is. The central aim of this book is to provide such an account by revealing the features that determine the reductive character of a biological explanation. Chapters I-IV provide the ground, on which I can then, in Chapter V, develop my own account of explanatory reduction in biology: Chapter I reveals the meta-philosophical assumptions that underlie my (...) analysis of reduction, Chapter II introduces the previous debate about reduction in the philosophy of biology by pointing out the most crucial lessons one should learn from this debate, Chapter III critically discusses the two perspectives on explanatory reduction that have been proposed in the philosophy of biology so far, and Chapter IV clarifies in what ways the issue of reduction is entangled with the issue of explanation. In Chapter V I present my own account of explanatory reduction. My main claim is that reductive explanations in the biological sciences possess three main characteristics: they explain the behavior of a biological system S, first, exclusively in terms of factors that are located on a lower level of organization than S, second, by focusing on factors that are internal to S , and third, by describing the genuine parts of S only as “parts in isolation”. This account is ontic because it traces the reductivity of an explanation back to certain relations that exist in the world. (shrink)

So far, the value dimension underlying affectivity disorders has remained out of focus in phenomenological psychopathology. As early as at the beginning of the 20th century, however, German phenomenologist Max Scheler examined in depth the relationship between affectivity and value dimension through the concept of valueception (Wertnehmung). In this sense, a recent noteworthy contribution has been provided by John Cutting, who has drawn attention to the importance of Scheler’s analyses for psychiatry. In this work I take into consideration only two (...) aspects of Cutting’s proposal: 1) the relationship between the impairments of valueception and the perception of certain value classes; and 2) the interpretation of Scheler’s phenomenological reduction and its juxtaposition with the modus vivendi of schizophrenia. According to Cutting, in the modus vivendi of schizophrenia the valueception impairment entails putting vital values in brackets and focusing on personal values, with a process that recalls Scheler’s phenomenological reduction. Regarding the first aspect, I share Cutting’s starting point, but then shift the focus on how important the valueception is for the intersubjective dimension. In particular, I maintain that rather than compromising the perception of vital values, valueception impairments in the modus vivendi of schizophrenia interfere with the intersubjective dimension and are interwoven with a process of disembodiment. My thesis is that the modus vivendi of schizophrenia involves a disturbance of the intersubjective dimension that arises from the level of valueception and that determines the person’s self-referential closure. With regard to the second point, by analyzing Scheler’s phenomenological reduction, I sustain that its main objective is to increase both the interaction with otherness and the openness to the world (Weltoffenheit). As a consequence, the modus vivendi of schizophrenia, in my opinion, is not comparable, as Cutting claims, with Scheler’s phenomenological reduction, but goes in a different direction. (shrink)

Jeagwon Kim's exclusion argument is a well-known argument against non-reductive physicalism in the contemporary debate on mental causation. In this essay, we will first discuss two versions of the exclusion argument: the simple version and the sophisticated version. Secondly, we will take a conservative strategy to defend the kind of non-reductive physicalism initiated by Donald Davidson: the Token Identity Theory. Namely, we will explain where Kim failed to appropriately understand Davidson's work and argue that the simple version and the sophisticated (...) version of the exclusion argument won't work against the clarified token identity theory at all. Lastly, Since much of Kim's inappropriate interpretation of Davidson's work is rooted in their difference in metaphysics, there is reason to believe the proper understanding and evaluation on contemplation as such on mental causation, non-reductive physicalism, and other related problems can't be achieved without finding an appropriate metaphysical frame. (shrink)

This paper elaborates upon various responses to the Problem of the One over the Many, in the service of two central goals. The first is to situate Huayan's mereology within the context of Buddhism's historical development, showing its continuity with a broader tradition of philosophizing about part-whole relations. The second goal is to highlight the way in which Huayan's mereology combines the virtues of the Nyāya-Vaisheshika and Indian Buddhist solutions to the Problem of the One over the Many while (...) avoiding their vices. (shrink)

Leibniz, it seems, wishes to reduce statements involving relations or extrinsic denominations to ones solely in terms of individual accidents or, respectively, intrinsic denominations. His reasons for this appear to be that relations are merely mental things (since they cannot be individual accidents) and that extrinsic denominations do not represent substances as they are on their own. Three interpretations of Leibniz''s reductionism may be distinguished: First, he allowed only monadic predicates in reducing statements (hard reductionism); second, he allowed also (...) `implicitly relational predicates'' such as `loves somebody'' (soft reductionism); third, he allowed also `explicitly relational predicates'' such as `loves Helen'' (nonreductionism). Hard reductionism is problematic with respect to Leibniz''s doctrines of universal expression and incompossibility (among other things). Nonreductionism, in turn, faces insurmountable problems with Leibniz''s doctrine of self-sufficiency and internal identification of substances, as well as with that of individual accidents. The remaining option, soft reductionism, standing between the other two interpretations, arguably avoids at least some of their problems. (shrink)

Concurring to information from the Centresfor Illness Control and Anticipation, instruction and religion are both capable indicators of lasting or dissolving unions. The chance of a marriage finishing in separate was lower for individuals with more knowledge, with over half of relational unions of those who did not complete high school having finished in separate compared with roughly 30 percent of relational unions of college graduates. With this overview, the divorce rate dataset from UCI dataset repository is used for predicting (...) the divorce class target with the following contributions. Firstly, the Divorce rate dataset is subjected with the data cleaning and exploratory data analysis. Secondly, the data set is settled with different classifiers to look at the classification before and after feature scaling. Thirdly, the dataset is processed with various cross validation of training and testing dataset i.e 80:20, 30:70, 40:60, 50:50 to improve the accuracy of all the classifiers. Fourth, the dataset is processed with 15, 20 and 30 components of principal component analysis and then applied with all classifier algorithm to analyze the accuracy of divorce rate prediction. Fifth, the performance analysis is done with precision, recall, accuracy, fscore and running time to infer the classification before and after feature scaling. Experimental results show that the Random Forest classifier is found to have the accuracy of 98% for all PCA reduced dataset with 15, 20 and 30 components. The result showsthat Random Forest classifier is found to have the accuracy of 98% for 40:60, 50:50 of training and testing dataset. (shrink)

Let propositionalism be the thesis that all mental attitudes are propositional. Anti-propositionalists typically point at apparently non-propositional attitudes, such as fearing a dog and loving a spouse, and play defense against attempts at propositional analysis of such attitudes. Here I explore the anti-propositionalist’s prospects for going on the offensive, trying to show that some apparently propositional attitudes, notably belief and judgment, can be given non-propositional analysis. Although the notion that belief is a non-propositional attitude may seem ludicrous at first, it (...) is admirably defended by Franz Brentano, whose analysis I propose to expound, update, and deepen here. The basic strategy can be thought of as follows. First, although the grammar of belief-that reports clearly suggests a propositional attitude, the grammar of belief-in reports suggests instead an ‘objectual’ attitude. Second, with some ingenuity all belief-that reports can be paraphrased into belief-in reports. Third, given certain general considerations, this paraphraseability recommends the view that the psychological reality of belief states is objectual rather than propositional. Nonetheless, I will argue, there are two very real costs associated with this non-propositional analysis of belie. (shrink)

In this paper, we prove that Neutrosophic Statistics is more general than Interval Statistics, since it may deal with all types of indeterminacies (with respect to the data, inferential procedures, probability distributions, graphical representations, etc.), it allows the reduction of indeterminacy, and it uses the neutrosophic probability that is more general than imprecise and classical probabilities and has more detailed corresponding probability density functions. While Interval Statistics only deals with indeterminacy that can be represented by intervals. And we respond (...) to the arguments by Woodall et al. [1]. We show that not all indeterminacies (uncertainties) may be represented by intervals. Also, in some cases, we should better use hesitant sets (that have less indeterminacy) instead of intervals. We redirect the authors to the Plithogenic Probability and Plithogenic Statistics which are the most general forms of MultiVariate Probability and Multivariate Statistics respectively (including, of course, the Imprecise Probability and Interval Statistics as subclasses). (shrink)

Lays out the problem of sentience in a physical world and the solution based on the event ontology of Russell and Whitehead. The second edition includes the construction of physics from arrow diagrams, stemming from the discovery that the arrows of time form frequency ratios, which serve to define energy ratios and the quantum.

I critically evaluate the influential new wave account of theory reduction in science developed by Paul Churchland and Clifford Hooker. First, I cast doubt on claims that the new wave account enjoys a number of theoretical virtues over its competitors, such as the ability to represent how false theories are reduced by true theories. Second, I argue that the genuinely novel claim that a corrected theory must be specified entirely by terms from the basic reducing theory is in (...) fact too restrictive for scientific practice and should be rejected. Basic theories co-evolve with nonbasic theories in a mutually interactive way, and thus the basic theories incorporate the concepts and concerns of nonbasic theories. Third, I show that once its ontological consequences are duly noted, the reductive part the new wave account collapses into the classical theory developed within the logical empiricist tradition. As such, it still falls prey to standard anti-reductionist argument based upon multiple realizability and the cross-classification of special science and physical science terms. (shrink)

Functionalism is the view that being x is to play the role of x. This paper defends a functionalist account of three-dimensional entities in the context of Wave Function Realism (WFR), that can explain in detail how we can recover three-dimensional entities out of the wavefunction. In particular, the essay advocates for a novel version of WFR in terms of a functional reductionist approach in the style of David Lewis. This account entails reduction of the upper entities to the (...) bottom ones, when the latter behave appropriately. As applied to WFR, it shows how the wavefunction can turn out to be identical to three-dimensional objects, provided certain conditions. The first major goal of the paper is thus to put forward an improved and more rigorous version of WFR, which dissolves several extant issues about the theory, and can serve as a starting point for future literature on the topic. Moreover, the second major goal of the article is to take WFR as a case study to demonstrate the pros of functional reductionism, especially in the form defended here, thereby helping to bring this view back in the philosophy of science debate. The positive upshots of this paper suggest a possible application of functional reductionism also to other contexts. (shrink)

Reductive intellectualists (e.g., Stanley & Williamson 2001; Stanley 2011a; 2011b; Brogaard 2008; 2009; 2011) hold that knowledge-how is a kind of knowledge-that. If this thesis is correct, then we should expect the defeasibility conditions for knowledge-how and knowledge-that to be uniform—viz., that the mechanisms of epistemic defeat which undermine propositional knowledge will be equally capable of imperilling knowledge-how. The goal of this paper is twofold: first, against intellectualism, we will show that knowledge-how is in fact resilient to being undermined by (...) the very kinds of traditional (propositional) epistemic defeaters which clearly defeat the items of propositional knowledge which intellectualists identify with knowledge-how. Second, we aim to fill an important lacuna in the contemporary debate, which is to develop an alternative way in which epistemic defeat for knowledge-how could be modelled within an anti-intellectualist framework. (shrink)

In the contemporary life sciences more and more researchers emphasize the “limits of reductionism” (e.g. Ahn et al. 2006a, 709; Mazzocchi 2008, 10) or they call for a move “beyond reductionism” (Gallagher/Appenzeller 1999, 79). However, it is far from clear what exactly they argue for and what the envisioned limits of reductionism are. In this paper I claim that the current discussions about reductionism in the life sciences, which focus on methodological and explanatory issues, leave the concepts of a reductive (...) method and a reductive explanation too unspecified. In order to fill this gap and to clarify what the limits of reductionism are I identify three reductive methods that are crucial in the current practice of the life sciences: decomposition, focusing on internal factors, and studying parts in isolation. Furthermore, I argue that reductive explanations in the life sciences exhibit three characteristics: first, they refer only to factors at a lower level than the phenomenon at issue, second, they focus on internal factors and thus ignore or simplify the environment of a system, and, third, they cite only the parts of a system in isolation. (shrink)

Investigo la relación filosófica entre Avenarius y Husserl en los años del curso Problemas fundamentales de la fenomenología en relación especial con el concepto natural de mundo. Primero, expongo brevemente los temas fenomenológicos fundamentales: el concepto natural de mundo, la reducción fenomenológica y la unidad del yo. En segundo lugar, sintetizo las ideas básicas de la obra Der menschliche Weltbegriff de Avenarius. En tercer lugar, discuto la coincidencia entre Avenarius y Husserl, poniendo énfasis en la reducción primordial, y planteo las (...) críticas de Husserl a Avenarius, destacando la postura unívoca de Avenarius en contraste con la postura fenomenológica de Husserl. I study the philosophical relationship between Avenarius and Husserl during the years where the later held the lectures The Basic Problems of Phenomenology, taking especially into account the natural concept of the world. First, I expound briefly the basic phenomenological topics of the lectures: the natural concept of the world, the phenomenological reduction and the ego's unity. Second, I tackle the basic ideas of Avenarius' Der menschliche Weltbegriff . Third, I discuss the coincidence between Avenarius and Husserl, paying special attention to the primordial reduction, and also the objections that Husserl made to Avenarius, making a contrast between Avenarius' univocal approach to being and Husserl's phenomenological account. (shrink)

My topic is two-fold: a reductive account of expertise as an epistemic phenomenon, and applying the reductive account to the question of whether or not philosophers enjoy expertise. I conclude, on the basis of the reductive account, that even though philosophers enjoy something akin to second-order expertise (i.e. they are often experts on the positions of other philosophers, current trends in the philosophical literature, the history of philosophy, conceptual analysis and so on), they nevertheless lack first-order philosophical expertise (i.e. (...) expertise on philosophical positions themselves such as the nature of mind, causality, normativity and so forth). Throughout the paper, I respond to potential objections. (shrink)

Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we (...) acknowledge the presence of a deep standoff between the two views. (shrink)

This article examines the time duration of individual occasions in the light of the discovery that temporal succession produces frequency ratios. The frequency ratios are used to define energy ratios and the quantum. The manifold and the common particles are constructed graphically using the arrows of time, with the mass-ratios of the particles derivable from the graphs. The formal reduction of physics to time compels us to adopt Whitehead's conception of the physical universe as occasions of experience engaged in (...) temporal/causal succession. The relative duration of the constituent occasions of the particles are determined by their graphs. In the final section, a refined account of the mind-brain interaction sequence confirms the duration of a human occasion as one tenth of a second. (shrink)

For over 20 years, Jaegwon Kim’s Causal Exclusion Argument has stood as the major hurdle for non-reductive physicalism. If successful, Kim’s argument would show that the high-level properties posited by non-reductive physicalists must either be identical with lower-level physical properties, or else must be causally inert. The most prominent objection to the Causal Exclusion Argument—the so-called Overdetermination Objection—points out that there are some notions of causation that are left untouched by the argument. If causation is simply counterfactual dependence, for example, (...) then the Causal Exclusion Argument fails. Thus, much of the existing debate turns on the issue of which account of causation is appropriate. In this paper, however, I take a bolder approach and argue that Kim’s preferred version of the Causal Exclusion Argument fails no matter what account one gives of causation. Any notion of causation that is strong enough to support the premises of the argument is too strong to play the role required in the logic of the argument. I also consider a second version of the Causal Exclusion Argument, and suggest that although it may avoid the problems of the first version, it begs the question against a particular form of non-reductive physicalism, namely emergentism. (shrink)

This chapter analyzes several key themes in Kant’s views about modality. We begin with the pre-critical Only Possible Argument in Support of a Demonstration of the Existence of God, in which Kant distinguishes between formal and material elements of possibility, claims that all possibility requires an actual ground, and argues for the existence of a single necessary being. We then briefly consider how Kant’s views change in his mature period, especially concerning the role of form and thought in defining modality. (...) Kant’s mature views, however, present two difficult interpretive puzzles. The first puzzle concerns whether Kant has a generally reductive view of modality. While Kant’s views on logical modality, the role of actuality in grounding possibility, and the relation of modality to cognition all suggest reduction, we argue that the categorial status of modal concepts and the difficulty in even identifying amodal grounds for modal facts all suggest a non-reductive view. The second puzzle concerns whether Kant accepts modal facts or properties at the noumenal level. While Kant’s appeal to noumenal necessary connections, the contingency of noumenal willing, and the idea of a necessary noumenal being suggest that he endorses noumenal modality, his claims that modal concepts express only relations to the faculty of cognition and his claim that modal concepts arise from our distinctive psychological structures, we argue, suggest that he rejects noumenal modality. We conclude by considering potential solutions to these puzzles. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Stephen Finlay’s Confusion of Tongues is a bold and sophisticated book. The overarching goal is metaphysical: to reductively analyze normative facts, properties, and relations in terms of non-normative facts, properties, and relations. But the method is linguistic: to first provide a reductive analysis of the corresponding bits of normative language, with a particular focus on ‘good’, ‘ought’, and ‘reason’. The gap between language and reality is then bridged by taking linguistic analysis as a guide to conceptual analysis, and conceptual analysis (...) as a guide to metaphysical analysis. In this review, I consider three challenges to Finlay’s project that deserve more attention than they receive in the book. The first concerns Finlay’s claim to have provided a *reductive* theory of normative language, the second concerns his claim to have provided a *unified* theory of normative language, and the third concerns his claim to have provided a *correct* theory of normative language. (shrink)

This paper examines the second geometrical problem in the Meno. Its purpose is to explore the implication of Cook Wilson’s interpretation, which has been most widely accepted by scholars, in relation to the nature of hypothesis. I argue that (a) the geometrical hypothesis in question is a tentative answer to a more basic problem, which could not be solved by available methods at that time, and that (b) despite the temporary nature of a hypothesis, there is a rational process (...) for formulating it. The paper also contains discussion of the method of analysis, problem reduction and a diorism, which have often been ambiguously explained in relation to the geometrical problem in question. (shrink)

The purpose of this paper is to bring to the light what difficulties or burden the English Adverbial Clauses have for foreign language learners (FLLs) or second language learners (SLLs) In this context, the syntactic structure of such grammatical category has been examined. This has been done by examining the syntactic properties of adverbial clauses as grammatical unity by emphasising their structures. The most important books that are available in the English speaking world have been inquired. This corpus analysis (...) has depicted that steadily changing of some adverbial clauses as subordinates is a problem for the learners in sentence processing. The varieties of the construction have proved to be a burden for the foreign learners. Moreover, the study underlines that the adverbial constructions contradict with the typological word order (SVO) of English language i.e. the canonical word order of English is violated through these operations. Again the classifications, the reduction and the inversion of them are great challenges for the foreign learners. (shrink)

Leibniz’s mechanistic reduction of colors and other sensible qualities commits him to two theses about our knowledge of those qualities: first, that we can acquire ideas of sensible qualities apart from any direct acquaintance with the qualities themselves; second, that we can acquire distinct (i.e., non-confused) ideas of such qualities through the development of physical-theoretical accounts. According to some commentators, however, Leibniz frequently denies both claims. His views on the subject are muddled and incoherent, they say, both because (...) he is ambivalent about the nature of sensible qualities, and because he gets confused about confusion, losing sight of his own distinction between the confusion proper to perceptions and that proper to ideas. In opposition to this, I argue that the critics have misunderstood Leibniz’s views, which are both consistent over time and coherent. The key to understanding his position is to appreciate what he characterizes as a kind of redundancy in our ideas of sensible qualities, a crucial feature of his view overlooked by the critics. (shrink)

This paper looks at the critical reception of two central claims of Peter Auriol’s theory of cognition: the claim that the objects of cognition have an apparent or objective being that resists reduction to the real being of objects, and the claim that there may be natural intuitive cognitions of nonexistent objects. These claims earned Auriol the criticism of his fellow Franciscans, Walter Chatton and Adam Wodeham. According to them, the theory of apparent being was what had led Auriol (...) to allow for intuitive cognitions of nonexistents, but the intuitive cognition of nonexistents, at its turn, led to scepticism. Modern commentators have offered similar readings of Auriol, but this paper argues, first, that the apparent being provides no special reason to think there could be intuitions of nonexistent objects, and second, that despite his idiosyncratic account of intuition, Auriol was no more vulnerable to scepticism than his critics. (shrink)

There are currently two robust traditions in philosophy dealing with doxastic attitudes: the tradition that is concerned primarily with all-or-nothing belief, and the tradition that is concerned primarily with degree of belief or credence. This paper concerns the relationship between belief and credence for a rational agent, and is directed at those who may have hoped that the notion of belief can either be reduced to credence or eliminated altogether when characterizing the norms governing ideally rational agents. It presents a (...) puzzle which lends support to two theses. First, that there is no formal reduction of a rational agent’s beliefs to her credences, because belief and credence are each responsive to different features of a body of evidence. Second, that if our traditional understanding of our practices of holding each other responsible is correct, then belief has a distinctive role to play, even for ideally rational agents, that cannot be played by credence. The question of which avenues remain for the credence-only theorist is considered. (shrink)

While Schelling’s anticipation of Freudian psychoanalysis is well established, it has thus far gone unnoticed that Schelling’s ideas also proved fruitful in the context of a distinctively philosophical theory of the psyche developed by a younger contemporary of Freud. During the 1920s Helmuth Plessner, a key figure of philosophical anthropology, outlined a complex conception of the psyche as an individualized, inner region of reality. Although Plessner did not present his philosophical psychology in a systematic form, its building blocks can be (...) found in The Unity of the Senses, The Limits of Community, and Levels of Organic Life and the Human, among other writings. Moreover, Plessner left a clue as to how these building blocks fit together, which suggests that Plessner viewed his philosophical psychology as structurally analogous to the model of personality outlined in Schelling’s 1809 treatise on human freedom. I propose that Plessner sought to formulate an alternative to both idealism and realism about the psyche that might reconcile the insights motivating these rival positions. Schelling provided Plessner with a workable model for such a reconciliation. After reviewing textual evidence for my hypothesis, I sketch Schelling’s predecessor theory. Based on the Schellingian template, I then reconstruct Plessner’s non-reductively naturalistic theory of the psyche, which aligns the real bodily ground of the psyche with its ideal existence. Highlighting the strengths of Plessner’s philosophical psychology against the foil of Paul Ricoeur’s and John McDowell’s relevant arguments, I argue that the theory reconstructed here deserves contemporary consideration as a plausible contender. –––– NOTE: It was only after publication of this article that I came across an important piece of biographical evidence in support of my claim about the significance of Schelling's Freiheitsschrift for Plessner's philosophical psychology. In 1923, Max Scheler claimed to be powerfully impressed by two of his recent readings, namely, Adolf von Harnack’s major study on the second-century Christian heretic Marcion and Schelling’s Freiheitsschrift (Peter Wust, “Schelers Lehre vom Menschen,” Das Neue Reich 9 [1928–29], 138, quoted in Guido Cusinato, “Schelling come precursore dell’antropologia filosofica del Novecento,” Etica & Politica / Ethics & Politics, 9/2 [2010], 64.). Given that Scheler and Plessner were in constant intense exchange during the relevant period, it seems likely that Plessner’s invocation of Marcion in the concluding passage of Levels of Organic Life and the Human reflects a familiarity with that author that was mediated by Scheler’s reading of Harnack. By the same token, Scheler’s praise for Schelling’s Freiheitsschrift in 1923, along with the textual indications noted in my paper, suggests that the Freiheitsschrift was very much present on Plessner's intellectual horizon when he referred to “the ur-ground character, or better said un-ground character of the psyche” in The Limits of Community, which was published a year later. (Whether it was Scheler who alerted Plessner to the Freiheitsschrift or the other way around is a moot question.). (shrink)

One justification for preregistering research hypotheses, methods, and analyses is that it improves the transparent evaluation of the severity of hypothesis tests. In this article, I consider two cases in which preregistration does not improve this evaluation. First, I argue that, although preregistration can facilitate the transparent evaluation of severity in Mayo’s error statistical philosophy of science, it does not facilitate this evaluation in Popper’s theory-centric approach. To illustrate, I show that associated concerns about Type I error rate inflation are (...) only relevant in the error statistical approach and not in a theory-centric approach. Second, I argue that a preregistered test procedure that allows deviations in its implementation does not provide a more transparent evaluation of Mayoian severity than a non-preregistered procedure. In particular, I argue that sample-based validity-enhancing deviations cause an unknown inflation of the test procedure’s Type I (familywise) error rate and, consequently, an unknown reduction in its capability to license inferences severely. I conclude that preregistration does not improve the transparent evaluation of severity in Popper’s philosophy of science or when deviations are allowed. (shrink)

[Working Draft — Comments are welcome! — March 2024] Reductive strong representationalists accept the Common Kind Thesis about subjectively indistinguishable sensory hallucinations, illusions, and veridical experiences. I show that this doesn’t jibe well with their declared phenomenal externalism and argue that there is no sense in which the phenomenal character of sensory experiences is constituted by the sensible properties represented by these experiences, as representationalists claim. First, I argue that, given general representationalist principles, no instances of a sensible property constitute (...) the phenomenal character of the sensory experience that represents them. Second, I argue that, with two very plausible assumptions in place, no sensible property qua universal can constitute the phenomenal character of experiences either. At the end, I offer an alternative picture that is consistent with a naturalist psychosemantics for sensory experiences without embracing phenomenal externalism. (shrink)

Sacrificial dilemmas such as the trolley problem play an important role in experimental philosophy (x-phi). But it is increasingly argued that, since we are not likely to encounter runaway trolleys in our daily life, the usefulness of such thought experiments for understanding moral judgments in more ecologically valid contexts may be limited. However, similar sacrificial dilemmas are experienced in real life by animal research decision makers. As part of their job, they must make decisions about the suffering, and often the (...) death, of many non-human animals. For this reason, a context-specific investigation of so-called “3R dilemmas” (i.e., dilemmas where there is a conflict between the principles of replacement, reduction, and refinement of the use of animals in research) is essential to improve the situation of both non-human animals and human stakeholders. An approach well suited for such investigation is experimental philosophical bioethics (“bioxphi”), which draws on methods similar to x-phi to probe more realistic, practical scenarios with an eye to informing normative debates and ethical policy. In this article, we argue for a need to investigate 3R dilemmas among professional decision-makers using the tools of bioxphi. In a first step, we define 3R dilemmas and discuss previous investigations of professionals’ attitudes in such cases. In a second step, we show how bioxphi is a promising method to investigate the whys and hows of professional decision-making in 3R dilemmas. In a last step, we provide a bioxphi template for 3R dilemmas, give recommendations on its use, explore the normative relevance of data collected by such means, and discuss important limitations. (shrink)

This paper discusses some philosophical problems lurking behind the issues of human biotechnology, particularly prenatal screening. Firstly, prenatal screening technology disempowers existing disabled people. The second problem is that it systematically deprives us of the “fundamental sense of security.” This is a sense of security that allows us to believe that we will never be looked upon by anyone with such unspoken words as, “I wish you were never born” or “I wish you would disappear from the world.” Thirdly, (...) we argue that the loss of the fundamental sense of security is connected with the disappearance of “conviction of love” in the age of human biotechnology. And finally, all these issues are examined from the viewpoint of “painless civilization.” Our society is filled with a variety of “preventive reduction of pain,” of which prenatal screening is a good example. By preventively reducing pain and suffering, we lose the chance to transform the basic structure of our way of thinking and being; as a result, we are deprived of opportunities to know precious truths indispensable to our meaningful life. Hence, it is concluded that what is most needed is an academic research on “philosophy of life.”. (shrink)

Definition of the problem The umbrella term “explicability” refers to the reduction of opacity of artificial intelligence (AI) systems. These efforts are challenging for medical AI applications because higher accuracy often comes at the cost of increased opacity. This entails ethical tensions because physicians and patients desire to trace how results are produced without compromising the performance of AI systems. The centrality of explicability within the informed consent process for medical AI systems compels an ethical reflection on the trade-offs. (...) Which levels of explicability are needed to obtain informed consent when utilizing medical AI? Arguments We proceed in five steps: First, we map the terms commonly associated with explicability as described in the ethics and computer science literature, i.e., disclosure, intelligibility, interpretability, and explainability. Second, we conduct a conceptual analysis of the ethical requirements for explicability when it comes to informed consent. Third, we distinguish hurdles for explicability in terms of epistemic and explanatory opacity. Fourth, this then allows to conclude the level of explicability physicians must reach and what patients can expect. In a final step, we show how the identified levels of explicability can technically be met from the perspective of computer science. Throughout our work, we take diagnostic AI systems in radiology as an example. Conclusion We determined four levels of explicability that need to be distinguished for ethically defensible informed consent processes and showed how developers of medical AI can technically meet these requirements. (shrink)

Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...) “sign”); in the control condition the targets were pseudo-randomly attributed to primes to which they don’t belong. The experimental task was to “blindly” pick the choice most similar to the prime. ERPs were measured with a focus on the N320, which is known to react selectively to phonological mismatch in supraliminal visual word presentations. The N320 amplitude-effects at the electrodes on the midline and at the left of the brain significantly predicted the participants’ net behavioral choices more than half a second later, while their subjective experience is one of arbitrariness. Moreover, the social desirability score (SDS) significantly correlates with both the behavioral and the N320 brain responses of the participants. It is proposed that in participants with low SDS the phonological target induces an expected reduction of N320 and this increases their probability to pick this target. In contrast, high defensive participants have a perplexed brain reaction upon the phonological target, with a negatively peaking N320 as compared to control and this leads them to avoid this target more often. Social desirability, which is understood as reflecting defensiveness, might also manifest itself as a defense against the (energy-consuming) ambiguity of language. The specificity of this study is that all of this is happening totally out of awareness and at the level of very elementary linguistic distinctions. (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and (...) as a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

Yitzhak Melamed here offers a new and systematic interpretation of the core of Spinoza's metaphysics. In the first part of the book, he proposes a new reading of the metaphysics of substance in Spinoza: he argues that for Spinoza modes both inhere in and are predicated of God. Using extensive textual evidence, he shows that Spinoza considered modes to be God's propria. He goes on to clarify Spinoza's understanding of infinity, mereological relations, infinite modes, and the flow of finite things (...) from God's essence. In the second part of the book, Melamed relies on this interpretation of the substance-mode relation and the nature of infinite modes and puts forward two interrelated theses about the structure of the attribute of Thought and its overarching role in Spinoza's metaphysics. First, he shows that Spinoza had not one, but two independent doctrines of parallelism. Then, in his final main thesis, Melamed argues that, for Spinoza, ideas have a multifaceted structure that allows one and the same idea to represent the infinitely many modes which are parallel to it in the infinitely many attributes. Thought turns out to be coextensive with the whole of nature. Spinoza cannot embrace an idealist reduction of Extension to Thought because of his commitment to the conceptual separation of the attributes. Yet, within Spinoza's metaphysics, Thought clearly has primacy over the other attributes insofar as it is the only attribute which is as elaborate, as complex, and, in some senses, as powerful as God. (shrink)

Laws of nature are sometimes said to govern their instances. Spelling out what governance is, however, is an important task that has only recently received sustained philosophical attention. In the first part of this paper, I argue against the two prominent reductive views of governance—modal views and grounding views. Ruling out the promising candidates for reduction supports the claim that governance is sui generis. In the second part of this paper, I argue that governance is subject to a (...) contingency requirement. Laws govern their instances only if those instances are metaphysically contingent. I end by defending the resulting account of governance from two potential objections. (shrink)

Abstract: In this article I intend to highlight how the relationship between the psychic ego (seelischen Ich) and the spiritual ego (geistige Ich) is fundamental to the understanding of intersubjectivity and the lifeworld (Lebenswelt). In Ideas II, Husserl explains how, from the ego, natural, psychic and spiritual objectivities are constituted. These three strata of objectivity are known, first, in the theoretical attitude and, second, in the spiritual attitude. In this process, the ego becomes explicit. In the theoretical attitude, the (...) constitution of nature takes place, for which the body (Körper/Leib) is fundamental. This is followed by the constitution of objects of psychic nature, human or animal (tierisch), including self-perception. In assuming the spiritual attitude, the other is perceived (Urpräsenz) initially as a body together with things, and alongside this perception there is an apprehension (Appräsenz) of co-given horizons. There is an identity between the body of others and mine; it is the moment of empathy (Einfühlung). The scientific world constituted in the theoretical attitude is a reduction of the surrounding world (Umwelt) – the lifeworld (Lebenswelt). This lifeworld is the world of spiritual attitude and precedes any comprehension or explanation of the world. It is therefore through the spiritual attitude that a community of spiritual subjects is constituted and constitutes the lifeworld. Keywords: Husserl, Psyche, Spirit, Intersubjectivity, Lifeworld. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)