One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative (...) results hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of (...) the clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

Can we employ the property of rationality in establishing what rationality requires? According to a central and formal thesis of John Broome’s work on rational requirements, the answer is ‘no’ – at least if we expect a precise answer. In particular, Broome argues that (i) the property of full rationality (i.e. whether or not you are fully rational) is independent of whether we formulate conditional requirements of rationality as having a wide or a narrow logical scope. That is, (...) (ii) by replacing a wide-scope requirement with a corresponding narrow-scope requirement (or vice versa), we do not alter the situations in which a person is fully rational. As a consequence, (iii) the property of full rationality is unable to guide us in determining whether a rational requirement has a wide or a narrow logical scope. We cannot resolve the wide/narrow scope debate by appealing to a theory of fully rational attitudes. This paper argues that (i), (ii) and (iii) are incorrect. Replacing a wide- with a corresponding narrow-scope requirement (or vice versa) can alter the set of circumstances in which a person is fully rational. The property of full rationality is therefore not independent of whether we formulate conditional requirements of rationality as having a wide or a narrow logical scope. As a consequence, the property of full rationality can guide us in determining what rationality requires – even in cases where we expect a precise answer. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...) a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

Lovers typically entertain two sorts of thoughts about their beloveds. On the one hand, they think that some qualities of their beloveds provide reasons for loving them. Romeo would say that he loves Juliet in virtue of the way she is. On the other hand, they regard their beloveds as irreplaceable. Romeo would never be willing to exchange Juliet with another maiden. Yet it may be asked how these two sorts of thoughts can coherently coexist. If some qualities of Juliet (...) justify Romeo’s love for her, shouldn’t another maiden with the same qualities be equally lovable for him? This paper draws some distinctions that we take to be crucial to the understanding of reasons for love. Its aim is to show that, even though the claim that beloveds as irreplaceable is plausible to some extent, there is at least one interesting sense in which lovers are replaceable. (shrink)

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental properties should (...) be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (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)

Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this allows us to block an inference to a contradiction, it also blocks all of the non-pathological instances of the inference from ‘a is (...) F’ to ‘a has the property of being F’. It thereby fails both as a theory of the ordinary conception and as a replacement of the ordinary notion, assuming the latter is defective. (shrink)

This paper argues that the practical implementation of blockchain technology can be considered an institution of property similar to legal institutions. Invoking Penner's theory of property and Hegel's system of property rights, and using the example of bitcoin, it is possible to demonstrate that blockchain effectively implements all necessary and sufficient criteria for property without reliance on legal means. Blockchains eliminate the need for a third-party authority to enforce exclusion rights, and provide a system of universal (...) access to knowledge and discoverability about the property rights of all participants and how the system functions. The implications of these findings are that traditional property relations in society could be replaced by or supplemented with blockchain models, and implemented in new domains. (shrink)

Do we (sometimes) perceive apples as edible? One could argue that it is just a manner of speaking to say so: we do not really see an object as edible, we see it as having certain shape, size and color and we only infer on the basis of these properties that it is. I argue that we do indeed see objects as edible, and do not just believe that they are. My argument proceeds in two steps. First, I point out (...) that Susanna Siegel's influential argument in favor of the claim that we represent sortal properties perceptually does not work. Second, I argue that we can fix this argument if we replace the sortal property in question with the property of being edible, climbable or Q-able in general. (shrink)

Participants in the cognitive phenomenology debate have proceeded by (a) proposing a bifurcation of theoretical options into inflationary and non-inflationary theories, and then (b) providing arguments for/against one of these theories. I suggest that this method has failed to illuminate the commonalities and differences among conscious intentional states of different types, in the absence of a theory of the structure of these states. I propose such a theory. In perception, phenomenal-intentional properties combine with somatosensory properties to form P-I property (...) clusters that serve as phenomenal modes of presentations of particulars. In imagination, somatosensory properties are replaced with phenomenal-intentional properties whose intentional objects are somatosensory properties, thus resulting in imaginative facsimiles of perceptual P-I property clusters. Such structures can then be used as phenomenal prototypes that pick out individuals and kinds. Sets of such prototypes constitute a subject’s conception of individuals and kinds. Combined with a few additional elements, these imaginative P-I property clusters serve as the building-blocks of conscious cognitive states. Different ways of carving up theoretical space classify my theory either as inflationary or as non-inflationary. I conclude that the theory is anti-inflationary in letter but inflationary in spirit. (shrink)

Abstract The quasispecies theory is a helpful concept in the explanation of RNA virus evolution and behaviour, with a relevant impact on methods used to fight viral diseases. It has undergone some adaptations to integrate new empirical data, especially the non-deterministic nature of mutagenesis, and the variety of behavioural motifs in cooperation, competition, communication, innovation, integration, and exaptation. Also, the consortial structure of quasispecies with complementary roles of memory genomes of minority populations better fits the empirical data than did the (...) original concept of a master sequence and its mutant spectra. The high productivity of quasispecies variants generates unique sequences that never existed before and will never exist again. In the present essay, we underline that such sequences represent really new ontological entities, not just error copies of previous ones. Their primary unique property, the incredible variant production, is suggested here as quasispecies productivity, which replaces the error-replication narrative to better fit into a new relationship between mankind and living nature in the twenty-first century. (shrink)

As physicalisms of various kinds have faced difficulties in recent years, the time has come to explore possible alternatives, one of which is yinyang ontology. A yinyang theorist is expected to provide a plausible account of causation to replace the traditional notion of causation. The present paper is critical of the Humean tradition, which understands the relata of causal relations in terms of passive materiality so that humans use referential terms to describe causal relations constructively. But an alternative notion of (...) reference is available according to which causal relata are active processors of the information with which they interact. On this latter view, humans use referential language to describe the structure in which the relata interrelate themselves so that the structure can be understood hermeneutically. Reference on this view is naturalized. In this article I advance two arguments for this thesis, one concerning the informationality of states and the other related to the essentiality of properties. (shrink)

When this book was first published in 1990, there were massive economic changes in the East and significant economic challenges to the West. This critical analysis of democratic theory discusses the principles and forces that push both socialist and capitalist economies toward a common ground of workplace democratization. This book is a comprehensive approach to the theory and practice of the "Democratic firm" – from philosophical first principles to legal theory and finally to some of the details of financial structure. (...) The argument for economic democracy supports private property, free markets and entrepreneurship for instance, but fundamentally it replaces the employer/employee relationship with democratic membership in the firm. For students, teachers, policy makers and others interested in the application of democracy to the workplace, this book will serve as a manifesto and a standard reference on the topic. (shrink)

Semifactuals and Epiphenomenalism -/- Mental properties are said to be epiphenomenal because they do not pass the counterfactual test of causal relevance. Jacob (1996) adopts the defence of causal efficacy of mental properties developed by LePore and Loewer (1987). They claim that those who argue for the epiphenomenalism of the mental place too strong a requirement on causal relevance, which excludes causally efficacious properties. Given a proper analysis of causal relevance, the causal efficacy of mental properties is saved. I defend (...) the counterfactual test and epiphenomenalism of the mental against this critique. In causal counterfactuals we hold everything the same, take out the causal property and see if the effect property occurs. We do not replace the causal property with a barely different property as presupposed by LePore and Loewer. But I recognize some general problems in making counterfactual claims about mental events, which raise doubts about the usefulness of the counterfactual test in general. (shrink)

It is argued that whenever component parts are assembled into an integrated whole, some of the properties defining the qualitative identities of the components are lost, and therefore the components as such have ceased to exist, at least temporarily. They have been replaced by a structure, which has different properties and behaviour from its components. In the process of creating a structure some properties are lost and others are gained, so rather than saying "a whole is more than the sum (...) of its parts" it would be more accurate to say "a whole is instead of its parts". It is suggested that the visual perception of components continuing to exist intact within solid structures is illusory, a result of the way our perceptual and cognitive processes habitually operate. The relation between physical structures and consciousness is briefly discussed, in the context of the physical universe conceived as one continuous structure uniting all individual physical entities. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing (...) it with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

The functionalist approach to kinds has suffered recently due to its association with law-based approaches to induction and explanation. Philosophers of science increasingly view nomological approaches as inappropriate for the special sciences like psychology and biology, which has led to a surge of interest in approaches to natural kinds that are more obviously compatible with mechanistic and model-based methods, especially homeostatic property cluster theory. But can the functionalist approach to kinds be weaned off its dependency on laws? Dan Weiskopf (...) has recently offered a reboot of the functionalist program by replacing its nomological commitments with a model-based approach more closely derived from practice in psychology. Roughly, Weiskopf holds that the natural kinds of psychology will be the functional properties that feature in many empirically successful cognitive models, and that those properties need not be localized to parts of an underlying mechanism. I here skeptically examine the three modeling practices that Weiskopf thinks introduce such non-localizable properties: fictionalization, reification, and functional abstraction. In each case, I argue that recognizing functional properties introduced by these practices as autonomous kinds comes at clear cost to those explanations’ counterfactual explanatory power. At each step, a tempting functionalist response is parochialism: to hold that the false or omitted counterfactuals fall outside the modeler’s explanatory aims, and so should not be counted against functional kinds. I conclude by noting the dangers this attitude poses to scientific disagreement, inviting functionalists to better articulate how the individuation conditions for functional kinds might outstrip the perspective of a single modeler. (shrink)

This paper develops and explores a new framework for theorizing about the measurement and aggregation of well-being. It is a qualitative variation on the framework of social welfare functionals developed by Amartya Sen. In Sen’s framework, a social or overall betterness ordering is assigned to each profile of real-valued utility functions. In the qualitative framework developed here, numerical utilities are replaced by the properties they are supposed to represent. This makes it possible to characterize the measurability and interpersonal comparability of (...) well-being directly, without the use of invariance conditions, and to distinguish between real changes in well-being and merely representational changes in the unit of measurement. The qualitative framework is shown to have important implications for a range of issues in axiology and social choice theory, including the characterization of welfarism, axiomatic derivations of utilitarianism, the meaningfulness of prioritarianism, the informational requirements of variable-population ethics, the impossibility theorems of Arrow and others, and the metaphysics of value. (shrink)

A recent, seemingly appealing version of the powerful qualities view defines properties’ qualitativity via an essentialist claim and their powerfulness via a grounding claim. Roughly, this approach holds that properties are qualities because they have qualitative essences, while they are powerful because their instances or essences ground causal-modal facts. I argue that this theory should be replaced with one that defines the powerfulness of qualities in terms of both a grounding claim and a ‘meta-grounding’ claim. Specifically, I formulate and defend (...) a view on which qualities are powerful just if instances of those qualitiesat least partiallyground dispositionsin virtue of the essences of those qualities. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and that they (...) play an important role in our cognitive lives. The argument for the empirical claim has the form of an inference to the best explanation and is aimed at those who are already willing to attribute concepts and beliefs to infants and nonhuman animals. Many animals and prelinguistic infants seem capable of re-identifying event-types in the world, and they seem to store information about things happening at particular times and places. My account offers a plausible model of how such organisms are able to do this without attributing linguistically structured mental states to them. And although language allows adults to form linguistically structured mental representations of the world, there is no good reason to think that such structured representations necessarily replace the unstructured ones. There is also no good reason for a philosopher who is willing to explain the behavior of an organism by appealing to atomic concepts of individuals or kinds to not use a similar form of explanation when explaining the organism's capacity to recognize events. -/- We can form empirical concepts of individuals, kinds, properties, event-types, and states of affairs, among other things, and I assume that such concepts function like what François Recanati calls ‘mental files’ or what Ruth Millikan calls ‘substance concepts’ (Recanati 2012; Millikan 1999, 2000, 2017). To possess such a concept one must have a reliable capacity to re-identify the object in question, but this capacity of re-identification does not fix the reference of the concept. Such concepts allow us to collect and utilize useful information about things that we re-encounter in our environment. We can distinguish between a perception-action system and a perception-belief system, and I will argue that empirical concepts, including atomic event concepts, can play a role in both systems. The perception-action system involves the application of concepts in the service of (often skilled) action. We can think of the concept as a mental file containing motor-plans that can be activated once the individual recognizes that they are in a certain situation. In this way, recognizing something (whether an object or an event) as a token of a type, plays a role in guiding immediate action. The perception-belief system, in contrast, allows for the formation of beliefs that can play a role in deliberation and planning and in the formation of expectations. I distinguish between two particular types of belief which I call where-beliefs and when-beliefs, and I argue that we can model the formation of such perceptual beliefs in nonlinguistic animals and human infants in terms of the formation of a link between an empirical concept and a position on a cognitive map. According to the account offered, seemingly complex beliefs, such as a baby's belief that Daddy changed her diaper in the kitchen earlier, will not be linguistically structured. If we think that prelinguistic infants possess such concepts and are able to form such beliefs, it is likely that adults do too. The ability to form such beliefs does not require the capacity for public language, and we can model them in nonlinguistic terms; thus, we have no good reason to think of such beliefs as propositional attitudes. Of course, we can use sentences to refer to such beliefs, and thus it is possible to think of such beliefs as somehow relations to propositions. But it is not clear to me what is gained by this as we have a perfectly good way to think about the structure of such beliefs that does not involve any appeal to language. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on (...) the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, measures b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. Furthermore, it is still not easy to use b*, F, or another measure to clarify the Raven Paradox. For this reason, measure c* similar to the correct rate is derived. Measure c* supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the Raven Paradox. An example indicates that measures F and b* are helpful for diagnosing the infection of Novel Coronavirus, whereas most popular confirmation measures are not. Another example reveals that all popular confirmation measures cannot be used to explain that a black raven can confirm “Ravens are black” more strongly than a piece of chalk. Measures F, b*, and c* indicate that the existence of fewer counterexamples is more important than more positive examples’ existence, and hence, are compatible with Popper’s falsification thought. (shrink)

In ordinary language, in the medical sciences, and in the overlap between them, we frequently make claims which imply that we might have had different gametic origins from the ones we actually have. Such statements seem intuitively true and coherent. But they counterfactually ascribe different DNA to their referents and therefore contradict material-origin essentialism, which Kripke and his followers argue is intuitively obvious. In this paper I argue, using examples from ordinary language and from philosophy of medicine and bioethics, that (...) statements which attribute alternative material origins to their referents are useful, common in political and medical reasoning, and in many cases best interpreted literally. So we must replace the doctrine of material-origin essentialism with one that can make sense of ordinary discourse and the language of the medical sciences. I propose an anti-essentialist account of such counterfactuals according to which individuals’ modal properties are relative to a given inquiry. (shrink)

The relationship between topological explanation and mechanistic explanation is unclear. Most philosophers agree that at least some topological explanations are mechanistic explanations. The crucial question is how to make sense of this claim. Zednik (Philos Psychol 32(1):23–51, 2019) argues that topological explanations are mechanistic if they (i) describe mechanism sketches that (ii) pick out organizational properties of mechanisms. While we agree with Zednik’s conclusion, we critically discuss Zednik’s account and show that it fails as a general account of how and (...) when topological explanations are mechanistic. First, if topological explanations were just mechanism sketches, this implies that they could be enriched by replacing topological terms with mechanistic detail. This, however, conflicts how topological explanations are used in scientific practice. Second, Zednik’s account fails to show how topological properties can be organizational properties of mechanisms that have a place in mechanistic explanation. The core issue is that Zednik’s account ignores that topological properties often are _global_ properties while mechanistic explanantia refer to _local_ properties. We demonstrate how these problems can be solved by a recent account of mechanistic completeness (Craver and Kaplan in Br J Philos Sci 71(1):287–319, 2020; Kohár and Krickel in Calzavarini and Viola (eds) Neural mechanisms—new challenges in the philosophy of neuroscience, Springer, New York, 2021) and use a multilayer network model of Alzheimer’s Disease to illustrate this. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather (...) than contradictory properties. To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it (...) to having simpliciter. I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

Plastic waste is a significant environmental problem for almost all countries; therefore, protecting the environment from the problem is crucial. The most sensible solution to these problems is substituting the natural aggregates with substantial plastic waste in various building materials. This study aimed to optimise the mixed design ratio of cement brick containing plastic waste as aggregate replacement. Plastic cement brick mixtures were prepared by the incorporation of four different types of plastic waste such as polyethylene terephthalate (PET), high-density (...) polyethylene, low-density polyethylene and polypropylene into cement bricks with different cement contents (150, 300 and 450 g) and plastic replacement percentages (0, 3 and 6%). Compressive strength and water absorption of the plastic cement bricks were analysed using a statistical model through the response surface methodology. It revealed the optimum cement brick mixed design is C3-1% PET with the compressive strength of 27.50 MPa and water absorption of 1.16%. The optimised plastic cement brick also satisfied the general ASTM C62-17 requirements for building bricks despite the higher porosity observed by the scanning electron microscopy. The results from Fourier transform infrared spectroscopy analysis also showed that the addition of the plastic waste into cement brick was unlikely to modify the chemical compound within the cement brick mixtures. Thus, the proposed mathematical model can predict the required hardened properties of plastic cement bricks and could lead to greater utilisation of plastic waste in building materials. (shrink)

In his book “Galileo’s Error”, Philip Goff lays out what he calls “foundations for a new science of consciousness”, which are decidedly anti-physicalist (panpsychist), motivated by a critique of Galileo’s distinction into knowable objective and unknowable subjective properties and Arthur Eddington’s argument for the limitation of purely structural (physical) knowledge. Here we outline an alternative theory, premised on the Interface Theory of Perception, that too subscribes to a “post-Galilean” research programme. However, interface theorists disagree along several lines. 1. They note (...) that Galileo’s distinction should be replaced by a truly non-dual account, referring to a difference of degree only. 2. They highly appreciate the role of mathematics, in particular when it comes to actually engage scientifically with consciousness. Some notable features of the interface theory are its skepticism towards our epistemic capacities and its rejection of the existence of a public, mind-independent reality. In addition, some interface theorists further employ a thin concept of “conscious agency” to ground their theory. The interface theory leaves open many of the problems of consciousness science (e.g. what is a “self”?) as questions for further (scientific, mathematical) research. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard interpretation assumes (...) that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

Filtration combustion is described by Laplacian growth without surface tension. These equations have elegant analytical solutions that replace the complex integro-differential motion equations by simple differential equations of pole motion in a complex plane. The main problem with such a solution is the existence of finite time singularities. To prevent such singularities, nonzero surface tension is usually used. However, nonzero surface tension does not exist in filtration combustion, and this destroys the analytical solutions. However, a more elegant approach exists for (...) solving the problem. First, we can introduce a small amount of pole noise to the system. Second, for regularisation of the problem, we throw out all new poles that can produce a finite time singularity. It can be strictly proved that the asymptotic solution for such a system is a single finger. Moreover, the qualitative consideration demonstrates that a finger with 1 2 of the channel width is statistically stable. Therefore, all properties of such a solution are exactly the same as those of the solution with nonzero surface tension under numerical noise. The solution of the ST problem without surface tension is similar to the solution for the equation of cellular flames in the case of the combustion of gas mixtures. (shrink)

Existe un acuerdo relativo en la necesidad de distinguir dos usos del término «fitness»: el ecológico y el de la genética de poblaciones. Algunos consideran que el segundo ha venido a reemplazar al primero. Otros que el fitness ecológico tiene cierta capacidad explicativa de la que el segundo carece. Estos últimos autores han intentado dar respuesta a cómo es que el fitness ecológico se relaciona con las propiedades particulares de los organismos, siendo estas tan heterogéneas. En este trabajo intentaré dar (...) una respuesta más adecuada a esta cuestión, utilizando el marco conceptual de la metateoría estructuralista. -/- AB STRACT There is relative agreement on the need to distinguish two different uses of the term «fitness»: the ecological fitness and the population genetics fitness. Many consider that the latter has come to replace the former. Others think that the ecological fitness has certain explanatory power that the population genetics fitness lacks of. Among the last ones, many have tried to give response to how ecological fitness relates to organism’s properties, especially because of their being so heterogeneous. In this paper I will try to give a better answer to this matter using the conceptual framework of metatheoretical structuralism. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...) how humble matter could have such a thing. It is as if each empowered object were possessed of a little soul that directs it and governs its behavior. Instead of attempting to resurrect the Aristotelian power theory, contemporary philosophers would be best served by taking their inspiration from its early modern replacement, devised by John Locke and Robert Boyle. On this view, powers are internal relations, not monadic properties intrinsic to their bearers. This move at once drains away the mysterious directedness of Aristotelian powers and solves the contemporary version of the little souls argument, Neil Williams’s ‘problem of fit.’. (shrink)

G.A. Cohen’s value conservatism entails that we ought to preserve some existing sources of value in lieu of more valuable replacements, thereby repudiating maximizing consequentialism. Cohen motivates value conservatism through illustrative cases. The consequentialist, however, can explain many Cohen-style cases by taking extrinsic properties, such as historical significance, to be sources of final value. Nevertheless, it may be intuitive that there’s stronger reason to preserve than to promote certain sources of value, especially historically significant things. This motivates an argument that (...) the weights of our reasons to preserve such things are especially strong relative to the amounts of value they bear. The value conservative can then explain these intuitions in non-consequentialist terms. There may be reason to preserve historically significant things as a matter of recognition respect for a cultural and historical heritage, or because it is virtuous to cultivate the right kind of connection with such a heritage. (shrink)

Attempts to provide a thoroughly naturalized reading of the doctrine of karma have raised important issues regarding its role in the overall economy of the Buddhist soteriological project. This paper identifies some of the most problematic aspects of a naturalized interpretation of karma: (1) the strained relationship between retributive action and personal identity, and (2) the debate concerning mental causation in modern reductionist accounts of persons. The paper explores the benefits of a phenomenological approach in which reductionist accounts of karma (...) are replaced with accounts that interpret virtuous and compassionate actions as emergent properties of consciousness that can be further enhanced through socialization. (shrink)

This challenging paper presents an ingenious argument for a functionalist theory of mind. Part of the argument: My visual cortex at the back of my brain processes the stimulation to my eyes and then causes other parts of the brain - like the speech centre and the areas involved in thought and movement - to be properly responsive to vision. According to functionalism the whole mental character of vision - the whole of how things look - is fixed purely in (...) the pattern of responses to vision and not in any of the initial processing of vision in the visual cortex. That this functionalist theory of vision is true can be proved with alarming ease. Imagine that just the left side of my visual cortex is replaced by a gadget that has precisely the same input/output relationship to the rest of the brain as the left visual cortex had. According to any view but functionalism, the character of my vision on the right side of my visual field (normally processed by the left visual cortex) would change radically with this change in all the intrinsic properties involved in the visual cortex, with this preservation of nothing but its functional role in bringing about my responses to vision. But, say I, we have enough here to be sure that in such a case there could be no change in the character of my vision. For we know by the stipulation of sameness of output that my responses in speech, thought and movement to the right side of my visual field will be precisely the same as they would have been with the natural left visual cortex and will harmonise just as they would have done with my responses to the other side of my vision. But if half my vision had disappeared or changed I’d be speaking, thinking and acting like someone with problems on the right side of his vision. It is impossible to separate my responses to vision from the character of my vision. The character of my vision is logically determined by the pattern of responses - by nothing but the functional role of my vision. (shrink)

Given a subject so imbued with contention and conflicting theoretical stances, it is remarkable that automated instruments ever came to replace the human eye as sensitive arbiters of color specification. Yet, dramatic shifts in assumptions and practice did occur in the first half of the twentieth century. How and why was confidence transferred from careful observers to mechanized devices when the property being measured – color – had become so closely identified with human physiology and psychology? A fertile perspective (...) on the problem is via the history of science and technology, paying particular attention to social groups and disciplinary identity to determine how those factors affected their communities’ cognitive territory. There were both common and discordant threads motivating the various technical groups that took on the problems of measuring light and color from the late nineteenth century onwards, and leading them towards the development of appropriate instruments for themselves. The transition from visual to photoelectric methods could be portrayed as a natural evolution, replacing the eye by an alternative roviding more sensitivity and convenience – indeed, this is the conventional positivist view propounded by technical histories. However, the adoption of new measurement technologies seldom is simple, and frequently has a significant cultural component. Beneath this slide towards automation lay a raft of implicit assumptions about objectivity, the nature of the observer, the role of instruments, and the trade-offs between standardization and descriptive power. While espousing rational arguments for a physical detector of color, its proponents weighted their views with tacit considerations. The reassignment of trust from the eye to automated instruments was influenced as much by the historical context as by intellectual factors. I will argue that several distinct aspects were involved, which include the reductive view of color provided by the trichromatic theory; the impetus provided by its association with photometry; the expanding mood for a quantitative and objective approach to scientific observation; and, the pressures for commercial standardization. As suggested by these factors, there was another shift of authority at play: from one technical specialism to another. The regularization of color involved appropriation of the subject by a particular set of social interests: communities of physicists and engineers espousing a ‘physicalist’ interpretation, rather than psychologists and physiologists for whom color was conceived as a more complex phenomenon. Moreover, the sources for automated color measurement, and instrumentation for measuring color, were primarily from the industrial sphere rather than from academic science. To understand these shifts, then, this chapter explores differing views of the importance of observers, machines and automation. (shrink)

My visual cortex at the back of my brain processes the stimulation to my eyes and then causes other parts of the brain - like the speech centre and the areas involved in thought and movement - to be properly responsive to vision. According to functionalism the whole mental character of vision - the whole of how things look - is fixed purely in the pattern of responses to vision and not in any of the initial processing of vision in (...) the visual cortex. That this functionalist theory of vision is true can be proved with alarming ease. Imagine that just the left side of my visual cortex is replaced by a gadget that has precisely the same input/output relationship to the rest of the brain as the left visual cortex had. According to any view but functionalism, the character of my vision on the right side of my visual field (normally processed by the left visual cortex) would change radically with this change in all the intrinsic properties involved in the visual cortex, with this preservation of nothing but its functional role in bringing about my responses to vision. But, say I, we have enough here to be sure that in such a case there could be no change in the character of my vision. For we know by the stipulation of sameness of output that my responses in speech, thought and movement to the right side of my visual field will be precisely the same as they would have been with the natural left visual cortex and will harmonise just as they would have done with my responses to the other side of my vision. But if half my vision had disappeared or changed I’d be speaking, thinking and acting like someone with problems on the right side of his vision. It is impossible to separate my responses to vision from the character of my vision. The character of my vision is logically determined by the pattern of responses - by nothing but the functional role of my vision. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

In this paper, I try to defend Presentism. First of all, I explore how Presentism diverges to its versions and show that none of them, which include the currently standard Presentism that invokes tense logic, are tenable. Next, I point out that some philosophers argue that by replacing the Quinean criterion of existence with the Truthmaker Principle, another version of Presentism, which invokes tensed properties, can emerges. However, this version has a highly implausible conclusion. Finally, I argue that it can (...) be avoided by taking the evidences of the past or future truths to be typical truthmakers of them. (shrink)

This paper recommends that chemistry educators shift to a different ‘idea of nature’, an alternative ‘worldview.’ Much of contemporary science and technology deals in one way or another with dynamic coherences that display novel and important properties. The notion of how the world works that such studies and practices generate (and require) is quite different from the earlier concepts that are now integrated into science education. Eventual success in meeting contemporary technological and social challenges requires general diffusion of an overall (...) outlook that focuses on creative generation of novel and useful coherences, replacing a worldview that concentrates on analysis of pre-existing items to minimum constituents. Such a shift in emphasis would amount to general adoption of a new basic model of how nature functions. Chemistry educators can and should provide leadership for this urgently-needed development. (shrink)

Guardians of companion animals killed wrongfully in the U.S. historically receive compensatory judgments reflecting the animal’s economic value. As animals are property in torts law, this value typically is the animal’s fair market value—which is often zero. But this is only the animal’s value, as it were, to a stranger and, in light of the fact that many guardians value their animals at rates far in excess of fair market value, legislatures and courts have begun to recognize a second (...) value, the animal’s value to her guardian. What is this noneconomic value, and how should guardians be compensated for it? In Part 1, I propose a novel method to answer this question. My method includes a third, even more controversial, value: the animal’s value to herself. The idea that an animal could invest in herself faces many criticisms. In Part 2, I defend the claim by examining the mental capacities of dogs (Canis familiaris). I rebut the central objection—that dogs lack the psychological capacities required for self-investment—by showing that dogs are autonomous, think about their futures, and inhibit their desires in light of their goals. I close by suggesting that whereas the approach has conservative implications for the valuation of companion animals, it has radical implications for the valuation of agricultural animals. -/- Keywords: companion animals, animal law, legal theory, value theory, practical ethics, economic value, noneconomic value, intrinsic value, instrumental value, animal welfare, dogs, animal rights, capital value, self-investment value, autonomy, wrongful death, philosophy of animal law, animal minds, moral standing of animals, legal standing of animals, agency, prospection, canine neurobiology, bereavement, replaceability, non-ideal ethics . (shrink)

It is one of the premises of eliminative materialism that commonsense psychology constitutes a theory. There is agreement that mental states can be construed as posited entities for the explanation and prediction of behavior. Disputes arise when it comes to the range of the commonsense theory of mental states. In chapter one, I review major arguments concerning the span and nature of folk psychology. In chapter two, relying on arguments by Quine and Sellars, I argue that the precise scope of (...) commonsense psychology cannot be determined because there are no resources to distinguish claims that are commonsense from all others. I use this conclusion to evaluate Churchland’s proposal that folk psychology should be eliminated in favor of a scientific theory. I argue that, although such an elimination is possible, it is unnecessary because commonsense psychology is in part informed by scientific theories. The properties that are usually attributed to mental states, on my view, are not common sense and would re-emerge even if we replaced our current theory with a scientific one. In chapter three, I examine how this affects eliminativist arguments, such as Churchland’s proposals for how to solve the emergence of the phenomenal character of sensations. I argue that it might be the case that some phenomenal properties are the result of endorsing a particular theory, but phenomenal character as such is a permanent feature of any theory about internal states. Addressing the problem of the incorrigibility of mental states, in chapter four, I challenge Rorty’s idea that such a property is the mark of the mental and can be attributed to our mental states based on our everyday usage of mental terms. The position asserted in the dissertation is compatible with the view that any theory can be revised, but doubts are expressed concerning the likelihood for a complete replacement of the current folk-psychological theory. Taking inspiration form Sellars, in chapter five, I argue that the establishment of a conceptual framework entails a wholistic jump from no concepts to a rudimentary framework. With this leap some properties are solidified and stand in the way of elimination. (shrink)