The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and (...) that a liberal view, according to which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

It is widely held that some properties are more natural than others and that, as David Lewis put it, “an adequate theory of properties is one that recognises an objective difference between natural and unnatural properties” (Lewis 1983, p. 347). The general line of thought is that such ‘elitism’ about properties is justified as it can give simple and elegant solutions to a number of old metaphysical and philosophical problems. My aim is to analyze (...) what these natural properties are: super-determinates or determinable (or maybe both) and argue that all three of these options would lead to serious difficulties for metaphysical elitism and would prevent natural properties from fulfilling their supposed grand explanatory role. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that (...) anti-resemblism is true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

Wittgenstein’s philosophy involves a general anti-platonism about properties or standards of similarity. On his view, what it is for one thing to have the same property as another is not dictated by reality itself; it depends on our classificatory practices and the standards of similarity they embody. Wittgenstein’s anti-platonism plays an important role in the private language sections and in his discussion of the conceptual problem of other minds. In sharp contrast to Wittgenstein’s views stands the contemporary doctrine of (...) natural properties, which holds that there is an objective hierarchy of naturalness amongst properties, a hierarchy that is completely independent of our concepts or practices. Some authors have appealed to the natural properties view to offer an explicitly anti-Wittgensteinian account of sensation concepts. The paper discusses these competing views of properties and sensation concepts. It is argued that, if our account of concepts of conscious states starts from a commitment to natural properties, we are bound to recognize that our actual classificatory practices also play a crucial role in determining which properties our concepts pick out. On the other hand, if we start from the anti-platonist position, we are bound to recognize that we also need a notion of sameness of property that extends beyond our limited capacity to recognize similarity or sameness of property. The correct view, it is concluded, must occupy a middle position between an extreme anti-realism about properties and an extreme version of the natural properties view. It is suggested that Wittgenstein’s own view does just that. (shrink)

The claim that ordinary ethical discourse is typically true and that ethical facts are typically knowable seems in tension with the claim that ordinary ethical discourse is about features of reality friendly to a scientific worldview. Cornell Realism attempts to dispel this tension by claiming that ordinary ethical discourse is, in fact, discourse about the same kinds of things that scientific discourse is about: natural properties. We offer two novel arguments in reply. First, we identify a key assumption (...) that we find unlikely to be true. Second, we identify two features of typical natural properties that ethical properties lack. We conclude that Cornell Realism falls short of dispelling the tension between ethical conservativism and ethical naturalism. (shrink)

In the world there are concrete particulars that exhibit the kind of substantial unity that allows them to be called substances or “natural individuals”, as opposed to artifacts or mere conglomerates. Persons, animals, and possibly the most fundamental physical simples are all natural individuals. What gives these entities the ontological status of a substantial unity? Arguments from the philosophy of mind and arguments from general metaphysics show that physical properties alone cannot account for substantial unity. The ultimate (...) intrinsic properties of natural individuals resemble phenomenal mental properties rather than any other kind of known properties. Pan(proto-)psychism is thus supported by systematically related arguments from different areas of philosophical inquiry. A certain amount of skepticism regarding the full nature of absolutely intrinsic properties is nevertheless well-advised. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for (...) otherwise the perfectly natural properties cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

Recent work on Natural Kind Essentialism has taken a deflationary turn. The assumptions about the grounds of essentialist truths concerning natural kinds familiar from the Kripke-Putnam framework are now considered questionable. The source of the problem, however, has not been sufficiently explicated. The paper focuses on the Twin Earth scenario, and it will be demonstrated that the essentialist principle at its core (which I call IDENT)—that necessarily, a sample of a chemical substance, A, is of the same kind (...) as another sample, B, if and only if A and B have the same microstructure—must be re-evaluated. The Twin Earth scenario also assumes the falsity of another essentialist principle (which I call INST): necessarily, there is a 1:1 correlation between (all of ) the chemical properties of a chemical substance and the microstructure of that substance. This assumption will be questioned, and it will be argued that, in fact, the best strategy for defending IDENT is to establish INST. The prospects for Natural Kind Essentialism and microstructural essentialism regarding chemical substances will be assessed with reference to recent work in the philosophy of chemistry. Finally, a weakened form of INST will be presented. (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the (...) way that kinds are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects (...) in recurrent causal processes. The resulting account of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

This essay examines the metaphysical foundation of Leibniz’s theory of space against the backdrop of the subtantivalism/relationism debate and at the ontological level of material bodies and properties. As will be demonstrated, the details of Leibniz’ theory defy a straightforward categorization employing the standard relationism often attributed to his views. Rather, a more careful analysis of his metaphysical doctrines related to bodies and space will reveal the importance of a host of concepts, such as the foundational role of God, (...) the holism of both geometry and the material world’s interconnections, and the viability and adequacy of a property theory in characterizing his natural philosophy of space. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from (...) misunderstanding the role that non-natural properties play in the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

Locke's claims about the "inadequacy" of substance-ideas can only be understood once it is recognized that the "sort" represented by such an idea is not wholly determined by the idea's descriptive content. The key to his compromise between classificatory conventionalism and essentialism is his injunction to "perfect" the abstract ideas that serve as "nominal essences." This injunction promotes the pursuit of collections of perceptible qualities that approach ever closer to singling out things that possess some shared explanatory-level constitution. It is (...) in view of this norm regulating natural-historical inquiry that a substance-idea represents a sort for which some such constitution serves as the "real essence," i.e. as that on which all the sort's characteristic "properties" depend. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (...) (and, for that matter, Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, (...) the advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Abstract -/- The perfectly natural properties and relations are special—they are all and only those that "carve nature at its joints." They act as reference magnets, form a minimal supervenience base, figure in fundamental physics and in the laws of nature, and never divide duplicates within or between worlds. If the perfectly natural properties are the (metaphysically) important ones, we should expect being a perfectly natural property to itself be one of the (perfectly) natural (...) properties. This paper argues that being a perfectly natural property is not a very natural property, and examines the consequences. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close (...) of the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Surprisingly, many ethical realists and anti-realists, naturalists and not, all accept some version of the following normative appeal to the natural (NAN): evaluative and normative facts hold solely in virtue of natural facts, where their naturalness is part of what fits them for the job. This paper argues not that NAN is false but that NAN has no adequate non-parochial justification (a justification that relies only on premises which can be accepted by more or less everyone who accepts (...) NAN) to back up this consensus. I show that we cannot establish versions of NAN which are interesting in their own right (and not merely as instances of a general naturalistic ontology) by appealing to the nature of natural properties or the kind of in-virtue-of relation to which NAN refers, plus other plausible nonparochial assumptions. On the way, I distinguish different types of 'in virtue of claims. I conclude by arguing that the way in which assessment of meta-ethical hypotheses is theory-dependent predicts the failure of non-parochial justifications of NAN. (shrink)

I discuss a strategy for grounding ethical naturalism propounded by Frank Jackson and more recently by Allan Gibbard: that the undisputed supervenience of the moral upon the natural (or descriptive) entails that moral properties are natural (or descriptive) properties. I show that this strategy falls foul of certain indubitable constraints governing natural kinds; and I then rebut some objections. The upshot is that no viable strategy for supporting ethical naturalism is to be found along these (...) lines. This result has additional consequences, both for Jackson's attempt to accommodate ethical discourse into the natural world, and for Gibbard's purported 'meta-ethical synthesis'. (shrink)

Both common sense and dominant traditions in art criticism and philosophical aesthetics have it that aesthetic features or properties are perceived. However, there is a cast of reasons to be sceptical of the thesis. This paper defends the thesis—that aesthetic properties are sometimes represented in perceptual experience—against one of those sceptical opponents. That opponent maintains that perception represents only low-level properties, and since all theorists agree that aesthetic properties are not low-level properties, perception does not (...) represent aesthetic properties. I offer a novel argument—what I call the argument from seeing-as—against that sceptic which moves from consideration of ambiguous figures to consideration of visual art. It concludes that aesthetic properties are sometimes perceived and delivers a general lesson for philosophy of perception. Contrary to extant theories of rich perceptual content, aesthetic properties are far better candidates for high-level perceptual contents than standardly theorized rich contents like natural kinds. (shrink)

This paper argues that Twin Earth twins belong to the same psychological natural kind, but that the reason for this is not that the causal powers of mental states supervene on local neural structure. Fodor’s argument for this latter thesis is criticized and found to rest on a confusion between it and the claim that Putnamian and Burgean type relational psychological properties do not affect the causal powers of the mental states that have them. While it is true (...) that Putnamian and Burgean type relational psychological properties do not affect causal powers, it is false that no relational psychological properties do. Examples of relational psychological properties that do affect causal powers are given and psychological laws are sketched that subsume twins in virtue of them instantiating these relational properties rather than them sharing the narrow contents of their thoughts. (shrink)

Sterelny (2003) develops an idealised natural history of folk-psychological kinds. He argues that belief-like states are natural elaborations of simpler control systems, called detection systems, which map directly from environmental cue to response. Belief-like states exhibit robust tracking (sensitivity to multiple environmental states), and response breadth (occasioning a wider range of behaviours). The development of robust tracking and response-breadth depend partly on properties of the informational environment. In a transparent environment the functional relevance of states of the (...) world is directly detectable. Outside transparent environments, selection can favour decoupled representations. Sterelny maintains that these arguments do not generalise to desire. Unlike the external environment, the internal processes of an organism, he argues, are selected for transparency. Parts of a single organism gain nothing from deceiving one another, but gain significantly from accurate signalling of their states and needs. Key conditions favouring the development of belief-like states are therefore absent in the case of desires. Here I argue that Sterelny’s reasons for saying that his treatment of belief does not generalise to motivation (desires, or preferences) are insufficient. There are limits to the transparency that internal environments can achieve. Even if there were not, tracking the motivational salience of external states suggests possible gains for systematic tracking of outcome values in any system in which selection has driven the production of belief-like states. (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not (...) primarily treated abstract objects, but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, (...) and degrees is considerably more marginal than generally held. (shrink)

The claim is frequently made that structured collections of individuals who are themselves subjects of mental and cognitive states – such collections as courts, countries, and corporations – can be, and often are, subjects of mental or cognitive states. And, to be clear, advocates for this so-called group-minds hypothesis intend their view to be interpreted literally, not metaphorically. The existing critical literature casts substantial doubt on this view, at least on the assumption that groups are claimed to instantiate the same (...) species of mental and cognitive properties as individual humans. In this essay, I evaluate a defensive move made by some proponents of the group-oriented view: to concede that group states and individual states aren’t of the same specific natural kinds, while holding that groups instantiate different species of mental or cognitive states – perhaps a different species of cognition itself – from those instantiated by humans. In order to evaluate this defense of group cognition, I develop a view of natural kinds – or at least of the sort of evidence that supports inferences to the sameness of natural kind – a view I have previous dubbed the ‘tweak-and-extend’ theory. Guided by the tweak-and-extend approach, I arrive at a tentative conclusion: that what is common to models of individual cognitive processing and models of group processing does not suffice to establish sameness of cognitive (or mental) kinds, properties, or state-types, not even at a generic or overarching level. (shrink)

This essay proposes an ontological model in which a legal person such as a polity possesses natural unity from group properties that emerge in the self-organization of the human population. Also, analysis of customary legal persons and property indicates noncontradictory paradoxes that include Aristotelian essence of an entity, relative identity over time, ubiquitous authority, coinciding authorities, and identical entities. Mathematical modeling helps to explain the logic of the paradoxes.

Laws of nature seem to take two forms. Fundamental physics discovers laws that hold without exception, ‘strict laws’, as they are sometimes called; even if some laws of fundamental physics are irreducibly probabilistic, the probabilistic relation is thought not to waver. In the nonfundamental, or special, sciences, matters differ. Laws of such sciences as psychology and economics hold only ceteris paribus – that is, when other things are equal. Sometimes events accord with these ceteris paribus laws (c.p. laws, hereafter), but (...) sometimes the laws are not manifest, as if they have somehow been placed in abeyance: the regular relation indicative of natural law can fail in circumstances where an analogous outcome would effectively refute the assertion of strict law. Many authors have questioned the supposed distinction between strict laws and c.p. laws. The brief against it comprises various considerations: from the complaint that c.p. clauses are void of meaning to the claim that, although understood well enough, they should appear in all law-statements. These two concerns, among others, are addressed in due course, but first, I venture a positive proposal. I contend that there is an important contrast between strict laws and c.p. laws, one that rests on an independent distinction between combinatorial and noncombinatorial nomic principles.2 Instantiations of certain properties, e.g., mass and charge, nomically produce individual forces, or more generally, causal influences,3 in accordance with noncombinatorial.. (shrink)

In a recent paper, Cheng and Werning (2016) argue that the class of episodic memories constitutes a natural kind. Endorsing the homeostatic property cluster view of natural kinds, they suggest that episodic memories can be characterized by a cluster of properties unified by an underlying neural mechanism for coding sequences of events. Here, I argue that Cheng & Werning’s proposal faces some significant, and potentially insurmountable, difficulties. Two are described as most prominent. First, the proposal fails to (...) satisfy an important normative constraint on natural kind theorizing, not providing the requisite theoretical resources for arbitration between rival taxonomies of memory. Second, the proposal is in a direct tension with a foundational principle of the HPC view: the rejection of essentialism. This has far-reaching consequences, threatening to undermine the coherence of the proposal. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is (...) necessary but not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena (...) that unfold through those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (shrink)

Innate cognitive capacities are widely posited in cognitive science, yet both philosophers and scientists have criticized the concept of innateness as being hopelessly confused. Despite a number of recent attempts to define or characterize innateness, critics have charged that it is associated with a diverse set of properties and encourages unwarranted inferences among properties that are frequently unrelated. This criticism can be countered by showing that the properties associated with innateness cluster together in reliable ways, at least (...) in the context of the study of cognition. Even though the causal connections between these cognitive properties are not always strict, they are robust enough to warrant considering innateness to be a natural kind as used in contemporary cognitive science. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These (...) competing views employ different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Recent years have seen renewed interest in the emergence issue. The contemporary debate, in contrast with that of past times, has to do not so much with the mind–body problem as with the relationship between the physical and other domains; mostly with the biological domain. One of the main sources of this renewed interest is the study of complex and, in general, far-from-equilibrium self-preserving systems, which seem to fulfil one of the necessary conditions for an entity to be emergent; namely, (...) that its causal powers are not predictable from the causal powers of basic physical properties. However, I argue that much of the current emergentism debate has misfired by focusing on the interpretation of self-maintaining systems. In contrast, I claim that if we want to find emergent properties, we should look not at complex systems, but at selection (natural selection, in particular). I argue that selection processes make the causal world ‘exuberant’ by making non-physical functional and relational properties enter the causal web of the world. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into (...) conditional connectives may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

Essentialism about natural kinds has three tenets. The first tenet is that all and only members of a natural kind has some essential properties. The second tenet is that these essential properties play a causal role. The third tenet is that they are explanatorily relevant. I examine the prospects of questioning these tenets and point out that arguing against the first and the second tenets of kind-essentialism would involve taking parts in some of the grand debates (...) of philosophy. But, at least if we restrict the scope of the discussion to the biological domain, the third tenet of kind-essentialism could be questioned more successfully. (shrink)

Natural Categories and Human Kinds is a recent and timely contribution to current debate on natural kinds. Because of the growing sophistication of this debate, it is necessary to make careful distinctions in order to appreciate the originality of Khalidi’s position. Khalidi’s view on natural kinds is naturalistic: if we want to know what Nature’s joints really are, we should look at the actual carving job carried out by our best scientific practices. Like LaPorte, Khalidi is a (...) fallibilist: our best scientific theories may be revised or abandoned and so can our current classifications of natural kinds. Unlike LaPorte, however, Khalidi is an anti-essentialist: he argues against the idea that membership in a natural kind is a matter of possessing an essential set of necessary and sufficient properties. Like Dupré, Khalidi is a pluralist and anti-reductionist: he does not believe that there is only one true classification system and that there are natural kinds only at the so-called "fundamental level" of microphysics. Khalidi develops his pluralistic and anti-reductionistic position on the basis of a deep appreciation for the special sciences but, unlike Dupré, he thinks that only the scientific inquiry, which is driven by epistemic purposes, discover natural kinds and that, therefore, there are important differences between scientific and folk classifications. Khalidi’s conception of natural kinds has both an epistemic and a metaphysical component. (shrink)

Natural argument is represented as the limit, to which an infinite Turing process converges. A Turing machine, in which the bits are substituted with qubits, is introduced. That quantum Turing machine can recognize two complementary natural arguments in any data. That ability of natural argument is interpreted as an intellect featuring any quantum computer. The property is valid only within a quantum computer: To utilize it, the observer should be sited inside it. Being outside it, the observer (...) would obtain quite different result depending on the degree of the entanglement of the quantum computer and observer. All extraordinary properties of a quantum computer are due to involving a converging infinite computational process contenting necessarily both a continuous advancing calculation and a leap to the limit. Three types of quantum computation can be distinguished according to whether the series is a finite one, an infinite rational or irrational number. -/- . (shrink)

Neo‐Aristotelian ethical naturalism purports to show that moral evaluation of human action and character is an evaluation of natural goodness—a kind of evaluation that applies to living things in virtue of their nature and based on their form of life. The standard neo‐Aristotelian view defines natural goodness by way of generic statements describing the natural history, or the ‘characteristic’ life, of a species. In this paper, I argue that this conception of natural goodness commits the neo‐Aristotelian (...) view to a problematic anti‐individualism that results in the wrong assessment of individuals with uniquely adaptive adjustments. I then offer an alternative account of natural goodness that avoids this problem. Instead of relying on generic statements about a species, my account defines natural goodness based on counterfactual conditionals describing the modal properties of a single individual. I argue that this modal‐explanatory account gives a conception of natural goodness that is more intuitively plausible and better suited to capture the diversity and plasticity distinctive of life. (shrink)

Fodor claims that cognitive modules can be thought of as constituting a psychological natural kind in virtue of their possession of most or all of nine specified properties. The challenge to this considered here comes from synaesthesia. Synaesthesia is a type of cross-modal association: input to one sensory modality reliably generates an additional sensory output that is usually generated by the input to a distinct sensory modality. The most common form of synaesthesia manifests Fodor's nine specified properties (...) of modularity, and hence, according to Segal (1997), it should be understood as involving an extra module. Many psychologists believe that synaesthesia involves a breakdown in modularity. After outlining how both theories can explain the manifestation of the nine alleged properties of modularity in synaesthesia, I discuss the two concepts of function which initially motivate the respective theories. I argue that only a teleological concept of function is properly able to adjudicate between the two theories. The upshot is a further application of so-called externalist considerations to mental phenomena. (shrink)

Whether perceptual experience represents high-level properties like causation and natural-kind in virtue of its phenomenology is an open question in philosophy of mind. While the question of high-level properties has sparked disagreement, there is widespread agreement that the sensory phenomenology of perceptual experience presents us with low-level properties like shape and color. This paper argues that the relationship between the sensory character of experience and the low-level properties represented therein is more complex than most assume. (...) Careful consideration of mundane examples, like looking at a coin from an oblique angle, show that the low-level properties represented in experience do not necessarily figure in the sensory character of the experience. Furthermore, the sensible properties invoked when characterizing the sensory character of a perceptual experience are not necessarily included in the sensible properties represented in a perceptual experience. On this basis it is argued that perceptual experience has a disunified metaphysics, consisting in distinct sensory and cognitive components. The account is developed in relation to existing unified and disunified accounts, and discussed in terms of its implications for cognitive penetration, the reliability of introspection, the transparency of experience, and cognitive phenomenology. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Dance as art has been philosophically characterized as involving the natural expressiveness of human movements. But while some authors find the defense of expressiveness essential, others claim that it is not relevant to the understanding of dance and favour instead a focus on style, a supposedly more significant artistic feature. This paper is an attempt to provide an alternative account to both these positions, with the first (namely, that the dancers are supposed to convey emotions to us by their (...) naturally expressive movements) seeming too naturalistic and the second (that dance only consists in the performance of complicated gestures of a certain style) overly stylistic. (shrink)

In this module I set out the Moral Non-Naturalism of Pūrva Mīmāṃsā as a version of Deontology that defines duty in terms of its beneficent properties. It elucidates the scheme of right living according to ordinance or command. Whereas natural accounts of moral terms suffer from circularity (by merely re-naming of a natural property with a moral term, which then serves to justify its moral appraisal), proponents of Mīmāṃsā defend their position by offering the Vedas as constituting (...) independent evidence about what yields goodness. In some ways, the argument provided by the defenders of Mīmāṃsā prefigure Moore's complaint of the Naturalistic Fallacy, but the Mīmāṃsā approach doesn't claim that defining natural properties by ethical terms is a fallacy: it is simply circular. (shrink)

In ‘Induction and Natural Kinds’, I proposed a solution to the problem of induction according to which our use of inductive inference is reliable because it is grounded in the natural kind structure of the world. When we infer that unobserved members of a kind will have the same properties as observed members of the kind, we are right because all members of the kind possess the same essential properties. The claim that the existence of (...) class='Hi'>natural kinds is what grounds reliable use of induction is based on an inference to the best explanation of the success of our inductive practices. As such, the argument for the existence of natural kinds employs a form of ampliative inference. But induction is likewise a form of ampliative inference. Given both of these facts, my account of the reliability of induction is subject to the objection that it provides a circular justification of induction, since it employs an ampliative inference to justify an ampliative inference. In this paper, I respond to the objection of circularity by arguing that what justifies induction is not the inference to the best explanation of its reliability. The ground of induction is the natural kinds themselves. (shrink)

The problem of natural kind is considered to be a complicated problem in philosophy as it is linked to the problem of essence on the one hand and the problem of individuals on the other. While nominalists refuse to accept universals in their ontology, realists believe in natural kinds and endeavor to justify classification of things by appealing to existence of natural kinds and their essential properties. In the first part of this paper we briefly survey (...) two kinds of criteria for being a natural kind. In the second part we will evaluated the proposed criteria. Finally we conclude by the following six criteria: Reality and absoluteness, possessing of full essence, hierarchy, changelessness, categorization and contribution to identical theory. (shrink)

Boyle argues that because matter naturally possesses size, shape and mobility, it can be organized into structures that have qualities that exceed what the particles themselves have. These structures can become an essence or ‘corpuscular form’ that accounts both for the properties of the body and its membership in a natural kind. Similarly, increasingly more complex structures can result in the production of organisms that are also members of natural kinds. In this way, Robert Boyle is arguing (...) for a version of natural kind realism that is based on the structure of the underlying matter and discovered empirically via the resulting properties. (shrink)

Philosophical problems about the part-whole relation have been discussed throughout the history of philosophy, at least since Plato and Aristotle. In contemporary philosophy, the understanding of these issues has benefited from the formal tools of Classical Extensional Mereology. This paper aims is to defend mereological restrictivism against some constraints imposed by the vagueness argument. To achieve this, the paper is divided into three parts. In the first, I introduce the special composition question (hereafter SCQ) as formulated by [Van Inwagen, 1990] (...) and briefly present the three sets of theories that proffer answers to it. In the second part, I focus on the vagueness argument, that was presented by [Lewis, 1986, ] and [Sider, 2007, ] to defend mereological universalism. In the third section, I introduce the theory of natural properties by David Lewis. From this theory, I propose a new mereological operation labeled as natural fusion. The purpose of this operation is to falsify one of the premises of the vagueness argument. Then, I discuss some examples and counter-examples to natural fusion. (shrink)

Asking whether the sexes are natural kinds amounts to asking whether the categories, female and male, identify real divisions in nature, like the distinctions between biological species, or whether they mark merely artificial or arbitrary distinctions. The distinction between females and males in the animal kingdom is based on the relative size of the gametes they produce, with females producing larger gametes (ova) and males producing smaller gametes (sperm). This chapter argues that the properties of producing relatively large (...) and small gametes are causally correlated with a range of other properties in a wide variety of organisms, and this is what makes females and males natural kinds in the animal kingdom. The chapter concludes with a discussion of the relationship between sex and gender: while the difference between the sexes is biologically grounded, the difference between genders is socially based. Since gender depends in part on the perception of sex, whether or not gender is real or not does not depend on whether sex is, since social reality is constituted in part by our perceptions. The claim that sexes are natural kinds in the animal kingdom does not imply that the biological differences among female and male humans do and should have social consequences. (shrink)

The subject of this essay-based dissertation is Hume’s natural philosophy. The dissertation consists of four separate essays and an introduction. These essays do not only treat Hume’s views on the topic of natural philosophy, but his views are placed into a broader context of history of philosophy and science, physics in particular. The introductory section outlines the historical context, shows how the individual essays are connected, expounds what kind of research methodology has been used, and encapsulates the research (...) contributions of the essays. The first essay treats Newton’s experimentalist methodology in gravity research and its relation to Hume’s causal philosophy. It is argued that Hume does not see the relation of cause and effect as being founded on a priori reasoning, similar to the way in which Newton criticized non-empirical hypotheses about the causal properties of gravity. Contrary to Hume’s rules of causation, the universal law does not include a reference either to contiguity or succession, but Hume accepts it in interpreting the force and the law of gravity instrumentally. The second article considers Newtonian and non-Newtonian elements in Hume more broadly. He is sympathetic to many prominently Newtonian themes in natural philosophy, such as experimentalism, critique of hypotheses, inductive proof, and the critique of Leibnizian principles of sufficient reason and intelligibility. However, Hume is not a Newtonian philosopher in many respects: his conceptions regarding space and time, the vacuum, the specifics of causation, the status of mechanism, and the reality of forces differ markedly from Newton’s related conceptions. The third article focuses on Hume’s Fork and the proper epistemic status of propositions of mixed mathematics. It is shown that the epistemic status of propositions of mixed mathematics, such as those concerning laws of nature, is that of matters of fact. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle. The fourth article analyzes Einstein’s acknowledgement of Hume regarding special relativity. The views of the scientist and the philosopher are juxtaposed, and it is argued that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts and a relationist ontology regarding space and time. (shrink)