This paper sketches and motivates a metaphysics of mind that is both substance dualist and, to a large extent, property reductive. Call it “property reductive emergent dualism”. Section “Emergent Dualism” gives the broad outlines of the view. Sections “Problems of Mental Causation” and “Theoretical Virtues” argue that it can claim several advantages over non-reductive physicalist theories of mind. Section “Problems of Mental Causation” considers metaphysical challenges to mental causation in detail. Section “Theoretical Virtues” considers overall theoretical virtues: ontological (...) and ideological economy, unification with physical sciences, the promise of explanatory gain. On these grounds, I propose that the view coupling substance dualism with property reductivism deserves further philosophical attention. (shrink)

Ansgar Beckermann Once, a mind-body theory based upon the idea of supervenience seemed to be a promising alternative to the various kinds of reductionistic physicalism. In recent years, however, Jaegwon Kim has subjected his own brainchild to a very thorough criticism. With most of Kim’s arguments I agree wholeheartedly - not least because they converge with my own thoughts.² In order to explain the few points of divergence with Kim’s views, I shall have to prepare the ground a little. In (...) the course of this paper I will therefore do two things: At the start, I will try to sketch the logical topography of the „solution space“ of the problem Kim is concerned with. As a second step, I shall then comment on the concepts of identity, realization and reduction and attempt to show that Kim’s concept of realization is too narrow, because he is still very much in the grip of the traditional view with regard to what it means to show that a property _F _is identical with, or realized by, another property _G_. (shrink)

Reductionism is a central issue in the philosophy of biology. One common objection to reduction is that molecular explanation requires reference to higher-level properties, which I refer to as the context objection. I respond to this objection by arguing that a well-articulated notion of a mechanism and what I term mechanism extension enables one to accommodate the context-dependence of biological processes within a reductive explanation. The existence of emergent features in the context could be raised as an objection to (...) the possibility of reduction via this strategy. I argue that this objection can be overcome by showing that there is no tenable argument for the existence of emergent properties that are not susceptible to a reductive explanation. (shrink)

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)

We argue that any account of mental disorders that meets the desideratum of assigning causal efficacy to mental disorders faces the so-called “causal exclusion problem”. We argue that fully reductive accounts solve this problem but run into the problem of multiple realizability. Recently advocated symptom-network approaches avoid the problem of multiple realizability, but they also run into the causal exclusion problem. Based on a critical analysis of these accounts, we will present our own account according to which mental disorders are (...) dispositional properties that are token-identical to physical properties. More specifically, they are analyzed as dispositions to cause the specific set of symptoms. We argue that our account is not only able to account for multiple realizability without running into the causal exclusion problem, but that it also allows for the integration of very different factors into the description and explanation of mental disorders, such as neurological and neurochemical factors on the one side and social and cultural factors on the other. It thereby gives the psychiatric level of causal explanation autonomy while securing the causal efficacy of mental disorders in a causally closed physical world. (shrink)

The general aim of this paper is to propose a reductionist strategy to higher-level property types. Starting from a common ground in the philosophy of science, I shall elaborate on possible realizer differences of higher-level property types. Because of the realizer types' causal heterogeneity, an introduction of functional sub-types of higher-level properties will be suggested. Each higher-level functional sub-type corresponds to one realizer type. This means that there is the theoretical possibility to reach some kind of type-identity and (...) this opens up the way for theory reduction in a more complete manner. This kind of type-identity will go beyond the common ground of the identity of tokens and their reductive explanation. In the second part of the paper, this reductionist strategy will be applied to a specific debate in the philosophy of biology — the reductionist approach to classical genetics from a molecular point of view. (shrink)

Reductive representationalism offers a promising route to an intelligible account of phenomenal consciousness. However, reductive representationalist accounts entail phenomenal externalism. Here I develop a new argument against phenomenal externalism and, by extension, standard reductive representationalism. I argue that the external determination of ‘here-and-now’ phenomenal properties entails an irreconcilable unintelligibility at the heart of reductive representationalist accounts. As reductive representationalism is motivated by the promise of rendering phenomenal experience intelligible, this criticism is fatal.

Is there a problem of causal exclusion between micro- and macro-level physical properties? I argue (following Kim) that the sorts of properties that in fact are in competition are macro properties, viz., the property of a (macro-) system of 'having such-and-such macro properties' (call this a 'macro-structural property') and the property of the same system of 'being constituted by such-and-such a micro- structure' (call this a 'micro-structural property'). I show that there are cases where, for lack (...) of reducibility, there is a prima facie intra-level causal competition between the two kinds of properties. The problem can be resolved without giving up on the causal efficacy of the macro-structural properties if we understand instances of macro-structural properties to be parts of micro-structural property instances. The parthood relation between both kinds of property instances can be mapped onto the way physical theory deals with the relation of their descriptions in the framework of perturbation theory. The application of this framework to the problem of emergent properties is discussed. (shrink)

A system of typed terms which corresponds with the classical natural deduction with one conclusion and full logical symbols is defined. Church–Rosser property of the system is proved using an extended method of parallel reduction.

Evaluative neutralization implies rephrasing items such that it is less clear to the respondent what would be a desirable response in the given population. The current research introduces evaluatively neutralized scales measuring the FFM model and compares them with standard counterparts. Study 1 reveals that evaluatively neutralized scales are less influenced by social desirability. Study 2 estimates higher-order factor models for neutralized vs. standard five-factor scales. In contrast to standard inventories, there was little support for higher-order factors for neutralized scales. (...) Study 3 demonstrates the convergent and discriminant validity for the neutralized scales, e.g. by less inflated correlations to external measures. It is argued that evaluatively neutralized inventories help researchers come to grips with social desirability in personality measurement, and are particularly useful when the factor structure is central to the research question and there is a focus on discriminant validity. (shrink)

In light of the phenomenon of multiple realizability, many philosophers wanted to preserve the mind-brain identity theory by resorting to a “narrow reductive strategy” whereby one (a) finds mental properties which are (b) sufficiently narrow to avoid the phenomenon of multiple realization, while being (c) explanatorily adequate to the demands of psychological theorizing. That is, one replaces the conception of a mental property as more general feature of cognitive systems with many less general properties, for example, replacing the conception (...) of pain as a general property across different species with a number of species-specific kinds of pain. Many critics focused on (c), arguing that species-specific properties are not explanatorily adequate because they do not capture what is common in pain across species. In this paper I focused on (b). I argued that if one carries the narrow reductive strategy out in such a way to avoid all multiple realizability that occurs within a species, for example, accommodating individual differences by postulating a more narrow pain-relative-to-an-individual-at-a-time, then the result is for all intents and purposes a claim about tokens and not types or properties at all (the position is now about individuals having properties at times, a structured token event). I also added an important point about explanation, viz., that properties-relative-to-individuals-at-times would not serve the explanatory goals of science by failing to generalize to other individuals. (shrink)

This work examines and critically evaluates the proposal that phenomenal properties, or the subjective qualities of experience, present a formidable challenge for the mind-body identity theory. Physicalism per se is construed as being ontically committed only to phenomena which can be made epistemically and cognitively available in the third person; observed and understood from within an objective frame of reference. Further, the identity relation between the mental and the physical is taken to be strict identity; the mental phenomena in question (...) just are the physical phenomena on which, ex hypothesi, they supervene. The problem of phenomenal properties has two basic strands. The first is the problem of how they are causally related to the physical; if they are not physical phenomena, by what causal mechanism might they be related to physical phenomena? One of the motivating considerations which led to the identity thesis was that it appeared to remove this problem. Our interest, however, is in evaluating the arguments which purport to establish that phenomenal properties are, indeed, distinct from the physical. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are (...) facts of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

This paper tries to remove some obstacles standing in the way of considering mental properties as both genuine natural kinds and causally efficacious rather than epiphenomena. As the case of temperature shows, it is not justified to conclude from a property being multiply realizable to it being irreducible. Yet Kim's argument to the effect that if a property is multiply realizable with a heterogeneous reduction base then it cannot be a natural kind and possesses only derivative “epiphenomenal” (...) causal efficacy is not conclusive either. The fact that temperature is, but jade is not, a natural kind cannot be established by comparing the heterogeneity of their respective reduction bases, but rather by the fact that the former is and the latter is not embedded in laws of nature. (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)

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)

Abtract: This article argues that the debate between reductive and nonreductive physicalists is best characterized as a disagreement about which properties are natural. Among other things, natural properties are those that characterize the world completely. All physicalists accept the “completeness of physics,” but this claim contains a subtle ambiguity, which results in two conceptions of natural properties. Reductive physicalists should assert, while nonreductive physicalists should deny, that a single set of low-level physical properties is natural in both of these senses. (...) This way of drawing the distinction succeeds where previous approaches have failed and illuminates why the debate about reductionism is important. (shrink)

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.

The functionalist conception of mental properties, together with their multiple realizability, is often taken to entail their irreducibility. It might seem that the only way to revise that judgement is to weaken the requirements traditionally imposed on reduction. However, Jaegwon Kim has recently argued that we should, on the contrary, strengthen those requirements, and construe reduction as what I propose to call “logical reduction”, a model of reduction inspired by emergentism. Moreover, Kim claims that what he (...) calls “functional reduction” allows one to reduce (at least some) mental properties by these new standards. I argue against both theses. First, I present a counterexample to the emergentist model of reduction: The model judges irreducible certain properties which are clearly reducible. Second, I contestthat functional reduction as construed by Kim satisfies the emergentist constraints. Functional reduction implies, over and above a functional definition of the reduced property, the indication of its realizers. But the latter information corresponding to the discovery of a (local) bridge law, is empirical and not purely logical. (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)

According to conceptual reductive accounts, if properties of one domain can be conceptually reduced to properties of another domain, then the former properties are ontologically reduced to the latter properties. I will argue that conceptual reductive accounts face problems: either they do not recognise that many higher-level properties are correlated with multiple physical properties, or they do not clarify how we can discover new truthmakers of sentences about a higher-level property. Still, there is another way to motivate ontological (...) class='Hi'>reduction, the truthmaker reductive explanations (TRE). TRE can be given by using resources from John Heil’s truthmaker theory and the a priori entailment view or the a posteriori entailment view. I will argue that we can give these truthmaker reductive explanations if there are various less-than-perfectly similar physical properties that can be the truthmakers of sentences about higher-level properties and the physical similarity between them can explain why an irreducible higher-level property is not needed. (shrink)

I argue that property dualists cannot hold that minds are physical substances. The focus of my discussion is a property dualism that takes qualia to be sui generis features of reality.

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)

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

Psychoneural reduction has been debated extensively in the philosophy of neuroscience. In this article I will evaluate metascientific approaches that claim direct molecular and cellular explanations of cognitive functions. I will initially consider the issues involved in linking cellular properties to behaviour from the general perspective of neural circuits. These circuits that integrate the molecular and cellular components underlying cognition and behaviour, making consideration of circuit properties relevant to reductionist debates. I will then apply this general perspective to specific (...) systems where psychoneural reduction has been claimed, namely hippocampal long-term potentiation and the Aplysia gill-withdrawal reflex. (shrink)

A closer look at some proposed Gedanken-experiments on BECs promises to shed light on several aspects of reduction and emergence in physics. These include the relations between classical descriptions and different quantum treatments of macroscopic systems, and the emergence of new properties and even new objects as a result of spontaneous symmetry breaking.

This paper discusses the alleged reduction of Thermodynamics to Statistical Mechanics. It includes an historical discussion of J. Willard Gibbs' famous caution concerning the connections between thermodynamic properties and statistical mechanical properties---his so-called ``Thermodynamic Analogies.'' The reasons for Gibbs' caution are reconsidered in light of relatively recent work in statistical physics on the existence of the thermodynamic limit and the explanation of critical behavior using the renormalization group apparatus. A probabilistic understanding of the renormalization group arguments allows for a (...) kind of unification of Gibbs' approach with contemporary understanding of the reduction problem. (shrink)

Non-reductive moral realism is the view that there are moral properties which cannot be reduced to natural properties. If moral properties exist, it is plausible that they strongly supervene on non-moral properties- more specifically, on mental, social, and biological properties. There may also be good reasons for thinking that moral properties are irreducible. However, strong supervenience and irreducibility seem incompatible. Strong supervenience entails that there is an enormous number of modal truths (specifically, truths about exactly which non-moral properties necessitate which (...) moral properties); and all these modal truths must be explained. If these modal truths can all be explained, then it must be a fundamental truth about the essence of each moral property that the moral property is necessarily equivalent to some property that can be specified purely in mental, social and biological terms; and this fundamental truth appears to be a reduction of the moral property in question. The best way to resist this argument is by resorting to the claim that mental and social properties are not, strictly speaking, natural properties, but are instead properties that can only be analysed in partly normative terms. Acceptance of that claim is the price of non-reductive moral realism. (shrink)

One of the hallmarks of Kantian philosophy, especially in connection with its characterization of scientific knowledge, is the importance of unity, a theme that is also the driving force behind a good deal of contemporary high energy physics. There are a variety of ways that unity figures in modern science—there is unity of method where the same kinds of mathematical techniques are used in different sciences, like physics and biology; the search for unified theories like the unification of electromagnetism and (...) optics by Maxwell; and, more recently, the project of grand unification or the quest for a theory of everything which involves a reduction of the four fundamental forces under the umbrella of a single theory. In this latter case it is thought that when energies are high enough, the forces , while very different in strength, range and the types of particles on which they act, become one and the same force. The fact that these interactions are known to have many underlying mathematical features in common suggests that they can all be described by a unified field theory. Such a theory describes elementary particles in terms of force fields which further unifies all the interactions by treating particles and interactions in a technically and conceptually similar way. It is this theoretical framework that allows for the prediction that measurements made at a certain energy level will supposedly indicate that there is only one type of force. In other words, not only is there an ontological reduction of the forces themselves but the mathematical framework used to describe the fields associated with these forces facilitates their description in a unified theory. Specific types of symmetries serve an important function in establishing these kinds of unity, not only in the construction of quantum field theories but also in the classification of particles; classifications that can lead to new predictions and new ways of understanding properties like quantum numbers. Hence, in order to address issues about unification and reduction in contemporary physics we must also address the way that symmetries facilitate these processes. (shrink)

In “Property Rights and the Resource Curse” Leif Wenar argues that the purchase and sale of resources from certain countries constitutes a violation of property rights, and the priority in reforming global trade should be on protecting these property rights. Specifically, Wenar argues that the U.S. and other western liberal democracies should not be complicit in the trade of so-called cursed resources, and the extant legal system can be used to end the trade in cursed resources by (...) prohibiting the importation of cursed resources, litigating against companies that operate in resource-cursed countries, and imposing trade tariffs on third party countries’ exports if they trade in cursed resources. In this paper, I show that while Wenar is correct that the trade in cursed resources is morally objectionable and therefore creates additional moral obligations for participants in that trade, his normative assessment fails to take account of the complexity of the resource curse and his prescriptive proposal for clean trade will not reduce harm in resource-cursed countries. I suggest that the reduction of harm, rather than the enforcement of property rights, should be the normative and practical focus in evaluating and reforming trade in natural resources. (shrink)

I analyse Rueger’s application of Kim’s model of functional reduction to the relation between the thermal conductivities of metal bars at macroscopic and atomic scales. 1) I show that it is a misunderstanding to accuse the functional reduction model of not accounting for the fact that there are causal powers at the micro-level which have no equivalent at the macro-level. The model not only allows but requires that the causal powers by virtue of which a functional predicate is (...) defined, are only a subset of the causal powers of the properties filling the functional specification. 2) The fact that the micro-equation does not converge to the macro-equation in general but only under the constraint of a “solvability condition” does not show that reduction is impossible, as Rueger claims, but only that reduction requires inter-level constraints. 3) Rueger tries to analyse inter-level reduction with the conceptual means of intra-level reduction. This threatens the coherence of his analysis, given that it makes no sense to ascribe macroproperties such as thermal conductivity to entities at the atomic level. Ignoring the distinction between theses two senses of “reduction” is especially confusing because they have opposite directions: in intra-level reduction, the more detailed account reduces to the less detailed one, whereas in inter-level reduction, the less detailed theory is reduced to the more detailed one. 4) Finally I criticize Rueger’s way of using Wimsatt’s criteria for emergence in terms of non-aggregativity, to construct a concept of synchronic emergence. It is wrong to require, over and above non-aggregativity, irreducibility as a criterion for emergence. (shrink)

Rudolf Carnap proposed three reduction rules to improve scientific language. Those rules indicate when it is correct to add a property in situations in which other properties are already had. Assuming the theory of mental models, it has been shown that the rules are not hard to use from the cognitive point of view. The key to argue that is to accept that the human mind works as dual-process theories claim. According to these theories, people can use two (...) different systems. One of them implies effort but the other one does not. Thus, the idea is that Carnap’s reduction rules can be applied resorting just to the system not implying cognitive effort. This paper goes one step further and poses that even from a Popperian perspective the reduction rules keep not being difficult. One might think that falsifiability requires cognitive effort because it needs to address situations in which the sentences are false. However, this paper tries to explain that, following the theory of mental models, that is not hard if the sentences are conditionals, and the sentences in the reduction rules have conditional structures. (shrink)

Our conscious experiences seem to elude any explanation in scientific terms. They present paradigmatic case of reduction failure and they are the main motivation for postulating relations of emergence. Thus, various authors have pointed out that phenomenal properties must be something more than mere collections of physical properties. This leads to the rejection of physicalism. As a consequence, phenomenal properties either have to be added to the list of fundamental properties, or emerge from them. Alternatively, the physicalist must be (...) able to explain how that failure in the explanation can be compatible with their position. The aim of this paper is to clarify the concepts of reduction and emergence in the context of this debate in philosophy of mind, clearly distinguishing different types of epistemological relationships and their ontological consequences. This will allow us to have a better understanding of the commitments and the challenges different positions face. (shrink)

The traditional way of thinking about science goes back to the corpuscular philosophy with its micro-reductive mechanism and metaphor of reading God's Book of Nature. This "story-1" with its rhetoric of exact truths contrasts with "story-2" which describes science as a continuation of the always imperfect powers of representation given to us by evolution. On story-2 reduction is one among other knowledge fashioning strategies and shares the imperfections of all human knowledge. When we appreciate that human knowledge always admits (...) of refinement, what appear as "emergent properties" no long seems mysterious. (shrink)

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present paper (...) establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)