A new realist interpretation of quantum mechanics is introduced. Quantum systems are shown to have two kinds of properties: the usual ones described by values of quantum observables, which are called extrinsic, and those that can be attributed to individual quantum systems without violating standard quantum mechanics, which are called intrinsic. The intrinsic properties are classified into structural and conditional. A systematic and self-consistent account is given. Much more statements become meaningful than any version (...) of Copenhagen interpretation would allow. A new approach to classical properties and measurement problem is suggested. A quantum definition of classical states is proposed. (shrink)

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism. We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in (...) which the fundamental physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account. (shrink)

Integrated Information Theory (IIT) stands out as one of the most promising theories for dealing with the hard problem of consciousness. Founded on five axioms derived from phenomenology, IIT seeks for the physical substrate of consciousness that complies with such axioms according to the criterion of maximally integrated information (Φ). Eventually, IIT identifies phenomenal consciousness with maximal Φ or, what is the same thing, with the strongest cause-effect power in the system. Among the scholars critical of this theory, some point (...) to the so-called Intrinsicality Problem (IP), namely that consciousness cannot be an intrinsic property of the system because maximal Φ crucially depends on the possible existence of bigger values of Φ if the initial system is appropriately linked to or embedded in larger systems. Although proposals in the recent literature aim to solve the IP by going beyond reductionism and physicalism, none of them tackle the real issue, i.e., the insufficiency of IIT’s causal-metaphysical structure. This papers endeavors to provide a solution to the IP in IIT within a hylomorphist ontology that includes formal causation. Complementing IIT with formal causation provides the theory with a criterion of individuation that solves the IP and, by relaxing identification between maximal Φ and consciousness, it lends a more robust metaphysical structure. To wit, maximal Φ is a necessary but not sufficient condition for the existence of consciousness. (shrink)

Possession of any actual physical property depends on the ambient conditions for its bearers, irrespective of one's particular theory of dispositions. If 'self-sufficiency' makes a property intrinsic, then, because of this dependence, things in the actual world cannot have an intrinsic physical resemblance to one another or to things in other possible worlds. Criteria for the self-sufficiency of intrinsic properties based on, or implying indifference to both 'loneliness' and 'accompaniment' entail that no self-sufficient property can require (...) its bearers to be extended in space or time, yet all physical properties of concrete objects do require this. These outcomes undermine the vindication of physicalism claimed by neo-Humeans for their metaphysical project. For physical properties dependent on ambient conditions cannot supervene on intrinsic properties independent of ambient conditions: when ambient conditions change we get a change in the former without a change in the latter. (shrink)

I analyze the meaning of mass in Newtonian mechanics. First, I explain the notion of primitive ontology, which was originally introduced in the philosophy of quantum mechanics. Then I examine the two common interpretations of mass: mass as a measure of the quantity of matter and mass as a dynamical property. I claim that the former is ill-defined, and the latter is only plausible with respect to a metaphysical interpretation of laws of nature. I explore the following options for the (...) status of laws: Humeanism, primitivism about laws, dispositionalism, and ontic structural realism. (shrink)

In an effort to uncover fundamental differences between computers and brains, this paper identifies computation with a particular kind of physical process, in contrast to interpreting the behaviors of physical systems as one or more abstract computations. That is, whether or not a system is computing depends on how those aspects of the system we consider to be informational physically cause change rather than on our capacity to describe its behaviors in computational terms. A physical framework based on the notion (...) of causal mechanism is used to distinguish different kinds of information processing in a physically-principled way; each information processing type is associated with a particular causal mechanism. The causal mechanism associated with computation is pattern matching, which isphysically defined as the fitting of physical structures such that they cause a simple change. It is argued that information processing in the brain is based on a causal mechanism different than pattern matching so defined, implying that brains do not compute, at least not in the physical sense that digital computers do. This causal difference may also mean that computers cannot have mental states. (shrink)

This paper initiates an investigation of conditional measures as simple measures on conditional events. As a first step towards this end we investigate the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which we can be attached to them. This distinction, we argue, helps us clarifying both concepts.

This paper sets out to unpack the pragmatic structure of refusal—its illocutionary nature, success conditions, and normative effects. I argue that our ordinary concept of refusal captures a whole family of illocutions, comprising acts such as rejecting, declining, and the like, which share the property of being ‘negative second-turn illocutions’. Only _proper refusals_ (i.e. negative replies to permission requests), I submit, require speaker authority. I construe the ‘refusal family’ as a subclass of the directives-commissives intersection. After defending my view against (...) a number of potential objections, I highlight how a theoretically grounded analysis of refusal is not only of intrinsic value, but may also have significant moral and legal implications. (shrink)

The causal structure of Darwinian evolution by natural selection is investigated. Its basic scheme is reproduction resulting from a feedback loop driven by internal and external causes. Causation internal to the loop connects genotype, development, phenotype, and fitness, with environmental constraints on the latter preventing runaway reproduction. External causes driving the core loop are environmental change and genetic change. This basic causal structure is complicated by modern additions such as control of mutation rate, niche construction, interactions between evolution and development, (...) and epigenetic effects. In this article it is argued that at least one of these additions, control of mutation rate, produces an additional feedback loop incorporating a continual, targeted modulation of stochasticity, and thereby produces an unusual form of causation. This form of causation entangles deterministic and stochastic causation in such a way that it imposes, in effect, an active, goal-driven role on the organisms in a line of descent. The goal is defined by the factor driving the stochasticity, which must be regarded as an intrinsic estimate made implicitly by the organism of its own fitness. The estimator itself is an evolved property of the organism, and is aligned with the apparent goal-directedness of natural selection. (shrink)

Accoding to G.E. Moore, something''s intrinsic valuedepends solely on its intrinsic nature. Recently Thomas Hurka andShelly Kagan have argued, contra Moore, that something''s intrinsic valuemay depend on its extrinsic properties. Call this view the ConditionalView of intrinsic value. In this paper I demonstrate how a Mooreancan account for purported counterexamples given by Hurka and Kagan. I thenargue that certain organic unities pose difficulties for the ConditionalView.

Theological thinking is hard. It takes various forms depending on its object of reflection, and needs to be doctrinally informed, contextually appropriate and methodologically consistent. Theological thinking about evolutionary creation meets all said conditions and restrictions on some sort of a larger-than-usual scale. I, thus, introduce a thinking tool – intuition pump, as Daniel Dennett calls it – that can help us theologically contemplate evolutionary creation. This approach aims to put together and to combine evolution and creation within the context (...) of the structure and form of Dennett’s proposed methodology and thought experiments using at one instance Gödel’s incompleteness theorems. This intuition pump has its implications and effects in other theological domains (Trinity, Christology and Sacramentology) but its natural context lies within theology of creation. I will start by presenting Dennett’s heterophenomenological method for scientific research of consciousness, stretching our theological imagination by using it. This thinking tool enables us to see this world as God’s heterophenomenological world. At the same time, it enables us to recognize and confirm intrinsic properties or essences in nature and it warrant thinking about historicity of Adam and Eve. (shrink)

The sciences, from their ancient beginnings, use a double way of investigation. One was applied to mineral and astronomical bodies, another to living ones. A ruling, tacit, common sense methodological or epistemological principle was this: The method of description should respect the inner essential properties of the object. For instance, neither the movements of the astronomical bodies, nor the behavior of the living bodies should be described in the scale of subatomic interactions. In modern times quite another methodological principle (...) has been enthroned. The cosmos, astronomical, mineral and alive bodies altogether, have, allegedly, to be considered as a single natural whole, ruled by essentially the same set of principles. The properties of the mineral world are accepted as a universal model of descriptive concepts, and the explanatory concepts proper to the mineral world are accepted as a universal model of explanation in biology. So, up to now, the academic sciences have been dominated by the philosophical option of materialist monism, or panmaterialism. This option—we may call it antiteleologism and fragmentarism—has a profound impact on empirical research and the way biological phenomena are described. This strange, unnatural, arbitrarily imposed conceptual framework ignores the most fundamental biological dynamisms, and precludes our intellect from seeing the right questions and striving towards the right answers. Consequently it arbitrarily reduces the range of “scientifically acceptable” explanations. This antiteleological methodology of sciences, imposed on biological mind by philosophers, led to major change in the ideas of philosophers of nature. The physiology and anatomy of the fully developed living bodies has become their central object of study. Much less attention is paid to developmental processes such as biosynthesis, morphogenesis, embryogenesis, phenotypic adaptation and regeneration. The fully shaped structures and their functional properties are considered a hopeful basis of all the necessary explanations. For instance the structure of tile DNA molecule has become more important than the problem of its origin, and the structure of the brain more important than the developmental processes which lead to its construction. However, the enormous progress of biological sciences in spite of the widespread, dominating antiteleological and fragmentarist approach corroborates the very ancient, Aristotelian insight, which put the principal stress on the developmental aspect of life. Aristotle, and his more modern followers, was fascinated by the integrated and intrinsically heterogenous tendencies visible in the course of life. Today, we can say that at least eight such tendencies are universal, i.e. appear in every single form of life : The tendency to select the proper kind of raw material and the proper kind of raw energy present in the environment. The tendency to synthesize new, highly selective forms of chemical structures. The tendency to utilize biological material in the process of building the nano-, micro-, and macro-machines. The tendency for a relatively rapid, continuous production and replacement of all the elements of the functional structures of the body. The tendency for a relatively rapid, continuous modification of the functional structures in a way which makes them more efficient within a changing environment. The tendency to repair and to regenerate the damaged elements of the functional structures of the body. The tendency for multiplication, which means the production of such structures and the depots of the biological material as seeds, eggs, spores or buds. These structures, providing the environmental conditions are favorable, are starting points of new instances of the above described tendencies. The tendency—possibly universal—to provide all the structures of the body with the “recognition marks” which help to eliminate all the, “alien” bodies and to recognize members of the own kind. These tendencies are not homogeneous. Homogeneous tendencies can be illustrated by the tendency of bodies to attract one another. This kind of tendency was the empirical source of such abstract concepts as gravitation, electrostatic force or magnetic force. Biological tendencies are heterogeneous and, at the same time, integrated. Human intellect is capable of recognizing the fundamental indivisibility of the set. A great number of observations and experiments have revealed and verified the fundamental indivisibility of the whole set of these tendencies. The concrete, bodily outcomes of these tendencies, however, are quite different in different families and orders of living things. Because of these differences the existence of different kinds of integrative principles was postulated. In this way a plurality of living substances was assumed. (shrink)

The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an analogous result from [2] for sets and functions definable in models of weakly o-minimal theories. We pay special attention to large subsets (...) of Cartesian products of definable sets, showing that if X, Y and S are non-empty definable sets and S is a large subset of X × Y, then for a large set of tuples $\langle \overline{a}_{1},\ldots,\overline{a}_{2^{k}}\rangle \in X^{2^{k}}$ , where k = dim(Y), the union of fibers $S_{\overline{a}_{1}}\cup \cdots \cup S_{\overline{a}_{2^{k}}}$ is large in Y. Finally, given a weakly o-minimal structure ������, we find various conditions equivalent to the fact that the topological dimension in ������ enjoys the addition property. (shrink)

A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random variables defined on a pseudo-finite sample space. We show that under a fairly natural condition on the family [called compactness in Krajíček (Forcing with Random Variables and Proof (...) Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011)] the resulting structure has a property that is naturally interpreted as saturation for existential types. We also give an example showing that this cannot be extended to universal types. (shrink)

Quantum entanglement poses a challenge to the traditional metaphysical view that an extrinsic property of an object is determined by its intrinsic properties. So structural realists might be tempted to cite quantum entanglement as evidence for structural realism. I argue, however, that quantum entanglement undermines structural realism. If we classify two entangled electrons as a single system, we can say that their spin properties are intrinsic properties of the system, and that we (...) can have knowledge about these intrinsic properties. Specifically, we can know that the parts of the system are entangled and spatially separated from each other. In addition, the concept of supervenience neither illuminates quantum entanglement nor helps structural realism. (shrink)

Ontic structural realism refers to the novel, exciting, and widely discussed basic idea that the structure of physical reality is genuinely relational. In its radical form, the doctrine claims that there are, in fact, no objects but only structure, i.e., relations. More moderate approaches state that objects have only relational but no intrinsic properties. In its most moderate and most tenable form, ontic structural realism assumes that at the most fundamental level of physical reality there are (...) only relational properties. This means that the most fundamental objects only possess relational but no non-reducible intrinsic properties. The present paper will argue that our currently best physics refutes even this most moderate form of ontic structural realism. More precisely, I will claim that 1) according to quantum field theory, the most fundamental objects of matter are quantum fields and not particles, and show that 2) according to the Standard Model, quantum fields have intrinsic non-relational properties. (shrink)

Primary quality theories of color claim that colors are intrinsic, objective, mind-independent properties of external objects — that colors, like size and shape, are examples of the sort of properties moderns such as Boyle and Locke called primary qualities of body.¹ Primary quality theories have long been seen as one of the main philosophical options for understanding the nature of color.

In this paper I explore the influence of an organisation's structure, such as that of the National Education System, in the emergence of desirable social properties. In this case the concern is schools with adequate performance. It is assumed that there is a circular causality between structure and the social results of schools. I highlight some of the structural requirements to have justice, sense of belonging, trust, honesty and cooperation as emerging properties of these schools, beyond normative (...) statements. These are requirements for effective citizenship. In order to study this, it is necessary to observe the structures that constitute collectives into organisations. Central to this paper is a case study that I carried out at Millfield Primary School in the U.K., which focused on the observation of citizenship as a dynamic process permanently being constructed. This case went beyond the normative understanding of citizenship as established in the new school curriculum to be implemented from September 2002. I take the view that the aim of citizenship is to build up a community in which one is constituted as a citizen. For that purpose we need enabling people to build up their own communities. My conclusion from this case study suggests that current educational methodologies aim at teaching a "model of" citizenship rather than at providing the necessary tools to think about and create suitable spaces "for" citizenship. The case study shows that it is necessary to reinforce in schools practical methods to create membership and respect for others. (shrink)

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...) We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

I argue that there is an ambiguity in the concept of indiscernibility as applied to objects, because there are two different categories of properties, associated with two different ways in which all of the pre-theoretical 'properties' of an object may be identified. In one structural way, identifications of properties are independent of any particular spatial orientation of the object in question, but in another 'field' way, identifications are instead dependent on an object's particular spatial orientation, so (...) that its properties as thus identified in one orientation are distinct from its properties as identified in any other orientation--all of which ‘field’ properties must hence also be distinct from the previous structurally defined properties. -/- To accommodate the two kinds of intrinsic properties, the standard concept of indiscernibility is redefined as structural indiscernibility, while a new concept of field indiscernibility is introduced. I argue among other things that, though two objects may be structurally indiscernible under all orientational (and other) conditions, those objects may nevertheless fail to have field indiscernibility with each other under some orientational conditions. I also briefly discuss the implications of these results for general issues about the nature of properties, and of realist versus nominalist approaches to them. -/- . (shrink)

The computer is one of the most complex artifacts ever built. Given its complexity, it can be described from many different points of view. The aim of this paper is to investigate the representational structure and multifunctionality of a particular subset of computers, namely personal devices from a user-centred perspective. The paper also discusses the concept of “cognitive task”, as recently employed in some definitions of cognitive artifacts, and investigates the metaphysical properties of such artifacts. From a representational point (...) of view, the article introduces the concepts of artifactual meta-representation and of semi-transparency, two features that personal devices share with some cognitive and non-cognitive artifacts. Recognising the meta-representational nature of personal devices and of other cognitive artifacts, thus overcoming semi-transparency, is important for the understanding of why different artifacts offer us different cognitive affordances as well as different cognitive advantages. In this sense, it is not simply a theoretical achievement, but has some important practical consequences. In our highly technological world we can use different kinds of computers and artifacts for solving the same tasks, and we need to understand why some artifacts are better suited for some tasks than others. The ultimate characterisation of personal devices that emerges from this work is that of a sort of super-artifact. This special status is given to personal devices because of their distinctive features. They are in fact intrinsically multifunctional and meta-representational artifacts, with extremely variable structures. As super-artifacts, personal devices are characterised by macro-functionality and can be easily used as both cognitive artifacts and tools for other functions, depending on the kind of representations they instantiate. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Menkiti's Moral Man by Oritsegbubemi Anthony OyowePolycarp IkuenobeOYOWE, Oritsegbubemi Anthony. Menkiti's Moral Man. Lanham, Md.: Lexington Books, 2022. xii + 221 pp. Cloth, $100.00Oyowe critically examines the various threads in, issues raised by, and implications of Menkiti's maximal conception of personhood, against the backdrop of various criticisms, including his own. He indicates that, as "a repentant critic," he does "not deny the merits of these criticisms," but he (...) is "convinced that there are resources in Menkiti's general account for tackling them."In chapter 1, Oyowe examines how Menkiti uses the idea of community to foreground his normative view of personhood, in order to illuminate the African idea that one is a person because of, and through relationships with, other persons in a community. This indicates that one's existence or [End Page 356] identity has necessary external elements of cultural belonging, in addition to internal intrinsic elements. These cultural elements require ontological progression that involves a process of social-moral incorporation into communal practices and norms. Oyowe argues that while this conception is plausible, it raises questions regarding oppressive cultures and their effects on individuals. He indicates that the kind of person that emerges from this conception is a "soft" social entity.Chapter 2 examines the issue of the nature of the relationship between persons (as soft social entities) and community, and the implications for individual autonomy, practical reasoning, and moral agency. Oyowe argues that the pertinent issue is not whether the individual should have moral or ontological priority over the community or vice versa, but the aspect of individuality that is conducive to what we cherish about the community. This is because Menkiti presupposes that in order to be a maximal person, one must have intrinsic capacities for moral agency to take on communal functions and duties. But the community creates the conditions for individuals to express individuality and autonomy, engage in practical reasoning, and make the choice to conform with communal norms in order to be recognized as persons.So, the maximal conception of personhood raises issues about the nature of entities that deserve a moral status. Chapter 3 examines the moral status of infants, people with cognitive impairment, the senile, nonhuman animals, and the moral duties that people have toward these entities. If we understand personhood as failing to extend moral status to these entities, such a view might be charged with speciesism and anthropocentrism. Oyowe argues that a plausible interpretation of personhood, in the context of the communal priority of duties, suggests that people have certain responsibilities toward human and nonhuman nonpersons. This interpretation is grounded in Menkiti's distinction between "deserving justice"—which is not based on having certain intrinsic properties, moral capacities, or cognitive abilities—and "being a person." Because Menkiti insists that persons ought to be able to use their capacities to perform requisite communal duties, personhood must involve an obligation to consider the interests of nonpersons and a community of respect for those who deserve justice.Chapter 4 examines the dilemma created by the social architecture of a community's cultural traditions, institutions, expectations, norms, and practices that are necessary for personhood and social identity. While such architecture is capable of supporting the achievement of personhood, it could also be restrictive. He uses Chinua Achebe's novel, Things Fall Apart, to illuminate how the structures for recognizing persons that are oppressive of and biased against women could be disguised. Although Menkiti does not address this issue, his conception of personhood highlights the problem of social justice for women because relevant social architecture may exclude women from equal and full communal recognition and participation. An appreciation of this problem [End Page 357] introduces an alternative way of understanding social justice in terms of communal recognition or lack thereof.In chapter 5, Oyowe uses the intuitions underlying Locke's distinction between "person" and "human being" to illuminate Menkiti's account of personhood. Person and human being are not identical because they have different persistent conditions. Persons persist by virtue of mental capacities and practical relevance that are developed after one is identified as a human organism. This raises the issues of (a) whether being a... (shrink)

In this paper I explore the influence of an organisation's structure, such as that of the National Education System, in the emergence of desirable social properties. In this case the concern is schools with adequate performance. It is assumed that there is a circular causality between structure and the social results of schools. I highlight some of the structural requirements to have justice, sense of belonging, trust, honesty and cooperation as emerging properties of these schools, beyond normative (...) statements. These are requirements for effective citizenship. In order to study this, it is necessary to observe the structures that constitute collectives into organisations. Central to this paper is a case study that I carried out at Millfield Primary School in the U.K., which focused on the observation of citizenship as a dynamic process permanently being constructed. This case went beyond the normative understanding of citizenship as established in the new school curriculum to be implemented from September 2002. I take the view that the aim of citizenship is to build up a community in which one is constituted as a citizen. For that purpose we need enabling people to build up their own communities. My conclusion from this case study suggests that current educational methodologies aim at teaching a "model of" citizenship rather than at providing the necessary tools to think about and create suitable spaces "for" citizenship. The case study shows that it is necessary to reinforce in schools practical methods to create membership and respect for others. (shrink)

These are exciting times for philosophical theorizing about propositions, with the last 15 years seeing the development of new approaches and the emergence of new theorists. Propositions have been invoked to explain thought and cognition, the nature and attribution of mental states, language and communication, and in philosophical treatments of truth, necessity and possibility. According to Frege and Russell, and their followers, propositions are structured mind- and language-independent abstract objects which have essential and intrinsic truth-conditions. Some recent theorizing doubts (...) whether propositions really exist and, if they do, asks how we can grasp, entertain and know them? But most of the doubt concerns whether the abstract approach to propositions can really explain them. Are propositions really structured, and if so where does their structure come from? How does this structure form a unity, and does it need to? Are the representational and structural properties of propositions really independent of those of thinking and language? What does it mean to say that an object occurs in or is a constituent of a proposition? The volume takes up these and other questions, both as they apply to the abstract object approach and also to the more recently developed approaches. While the volume as a whole does not definitively and unequivocally reject the abstract objection approach, for the most part, the papers explore new critical and constructive directions. This book was originally published as a special issue of the _Canadian Journal of Philosophy. _. (shrink)

Donald Davidson claims that, by studying the most general aspects of natural language, we will also be studying the most general aspects of reality.In particular, this means that, through the application of a systematic truththeory to natural language, we will be able to reveal its basic structure, its true logical form. Once this logical form has been spelled out, we will be able to determine the finite stock of important constituents of which sentences are built, and also the specific roles (...) these “atoms” play in the relevant structure. Since the structure of language can be said to “mirror” the structure of reality, this also means that we can now say something about the basic constituents of the world. We will be able to tell which kinds of entities exist and which do not. If, by spelling out the logical form, we find that there is a sentence (or several sentences) committing us to the existence of a certain (kind of) object (i.e. a sentence where an object (of this kind)serves as the value of a quantified variable) and, if we know the sentence to be true, then we have good reason to suppose that there is an object (of that kind) rather than not. This will hold given that there is no other way of spelling out the logical form of the sentence in question that is compatible with the nonexistence of that (kind of) object. So what exists is what, according to the (complete) theory, functions as values of the quantified variables, once thelogical form, the basic structure, of all the sentences of the language has been spelled out. Davidson has claimed that what all this quantificational structure will demand from ontology is the existence of objects and particular events. This should be taken somewhat at faith. In order to reach valid conclusions concerning the logical form of natural language, Davidson would have to examine allof its true sentences, and state allof their truth conditions, which he has not done. For practical reasons he has only been able to look at small segments of language, to consider how they normally function, to attempt to exhibit their logical structure by looking at entailment-relations, etc., and it is from this that he has drawn his ontological conclusions. In this paper, I concentrate on some of the likely consequences of the adoption of this method of reaching ontological conclusions. In particular, I will try to show that Davidson’s own way of arguing for the existence of events can be applied to cases where he seemingly would have to commit himself to the existence of properties too. To demonstrate this, I begin by considering whether the fact that Davidson spells out the logical form of natural language in first-order logic raises a serious objection to my claim or not. I then proceed by making a case for properties using an argument based on what Davidson has to say about the existence of events. What I will try to show is that, if Davidson is to be true to his general method of reaching conclusions regarding existence, which he claims to be, then he must go where this method leads him. This means that he has to keep his mind open as to the kinds of entities he should or should not allow. Finally, assuming that I have shown properties to be one of the different kinds of entities that a Davidsonian would have to allow, I conclude the paper by indicating what the consequence(s) of this may be. (shrink)

LLMs are, in the first instance, models of the statistical distribution of tokens in the vast linguistic corpus they have been trained on. But their often surprising emergent capabilities raise the question of how much understanding of the extralinguistic world LLMs can glean from this statistical distribution of words alone. Here, I explore and evaluate the idea that the probability distribution of words in the public corpus offers a window onto the conditional structure of the world. To become a (...) good next-token predictor, an LLM has to become a good pattern completer, and the patterns laid up in language mirror the patterns embodied in the world to a considerable extent. When this is the case—and this is no empty condition—it allows LLMs to compress into their weights two distinct, but complementary forms of understanding of the world. The first form of understanding stored is an understanding of which properties tend to cluster together; I spell out this idea by drawing on Millikan’s account of a multidimensional clumpy world. The second is an understanding of the inferential structure that propositions about these property clusters tend to be enmeshed in; I spell out this idea by drawing on Brandom’s account of the isomorphism between deontic normative conceptual relations of incompatibility and consequence among commitments and alethic modal relations of incompatibility and consequence among states of affairs. On the resulting picture, word models can be world models insofar as linguistic patterns track real patterns between facts. (shrink)

Eliminativist metaphysicians have recently explored various arguments, including those about over-determination, colocation, the problem of the Many and ontological parsimony, for dispensing with kinds and their token continuants. Further, David Lewis’s missing “real temporary intrinsics” has paved the way to treating the sortal and the modal properties yielding the persistence conditions of continuants as unreal because they are extrinsic. In this paper I show, first, that none of the arguments mentioned above are decisive against the disputed entities. Second, I (...) argue that the sortal/modal properties, while extrinsic, are also real, because they are constitutive of kinds. The general point is that modal conceptualism should not be conflated with a cheap version of semanticism. The position advocated here is based on closing the gap between the metaphysical and the epistemic perspectives.Eliminativistički metafizičari u novije su doba istražili razne argumente, uključujući argumente pretjerane determininacije, kolokacije, problem mnoštva i ontološke štedljivosti, kako bi se riješili vrsta i njihovih primjeraka kontinuanata. Nadalje, Lewisova nedostajuća “stvarna privremena intrinzična svojstva” utrla su put shvaćanju sortalnih i modalnih svojstava koja pružaju uvjete ustrajavanja kontinuanata kao nestvarnih, budući da su ekstrinzična. U ovome članku pokazujem, prvo, da nijedan od spomenutih argumenata ne daje odlučne razloge protiv prijepornih entiteta. Drugo, tvrdim da su sortalna/modalna svojstva, iako su ekstrinzična, također stvarna, budući da su konstitutivna za vrste. Općenito, modalni konceptualizam ne treba brkati s jeftinom verzijom semanticizma. Stajalište koje se ovdje zagovara zasniva se na zatvaranju jaza između metafizičke i epistemičke perspektive. (shrink)

This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two (...) versions of structural realism. In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation. (shrink)

Continuing work begun in [10], we utilize a notion of forcing for which the generic objects are structures and which allows us to determine whether these “generic” structures compute certain sets and enumerations. The forcing conditions are bounded complexity types which are consistent with a given theory and are elements of a given Scott set. These generic structures will “represent” this given Scott set, in the sense that the structure has a certain weak saturation property with respect to bounded complexity (...) types in the Scott set. For example, if ? is a nonstandard model of PA, then ? represents the Scott set ? = n∈ω | ?⊧“the nth prime divides a” | a∈?.The notion of forcing yields two main results. The first characterizes the sets of natural numbers computable in all models of a given theory representing a given Scott set. We show that the characteristic function of such a set must be enumeration reducible to a complete existential type which is consistent with the given theory and is an element of the given Scott set.The second provides a sufficient condition for the existence of a structure ? such that ? represents a countable jump ideal and ? does not compute an enumeration of a given family of sets ?. This second result is of particular interest when the family of sets which cannot be enumerated is ? = Rep[Th(?)]. Under this additional assumption, the second result generalizes a result on TA [6] and on certain other completions of PA [10]. For example, we show that there also exist models of completions of ZF from which one cannot enumerate the family of sets represented by the theory. (shrink)

Intrinsic biological essentialism (INBE) is the view that biological taxa have fixed identity conditions, conditions which consist at least in part of intrinsic properties. After a long period of near universal rejection within both philosophy of biology and theoretical biology, INBE is making a comeback. Here I attempt to support this revival by clarifying the nature of INBE, developing a new argument on its behalf, and addressing an important anti-essentialist critique.

LLMs are, in the first instance, models of the statistical distribution of tokens in the vast linguistic corpus they have been trained on. But their often surprising emergent capabilities raise the question of how much understanding of the extralinguistic world LLMs can glean from this statistical distribution of words alone. Here, I explore and evaluate the idea that the probability distribution of words in the public corpus offers a window onto the conditional structure of the world. To become a (...) good next-token predictor, an LLM has to become a good pattern completer, and the patterns laid up in language mirror the patterns embodied in the world to a considerable extent. When this is the case—and this is no empty condition—it allows LLMs to compress into their weights two distinct, but complementary forms of understanding of the world. The first form of understanding stored is an understanding of which properties tend to cluster together; I spell out this idea by drawing on Millikan’s account of a multidimensional clumpy world. The second is an understanding of the inferential structure that propositions about these property clusters tend to be enmeshed in; I spell out this idea by drawing on Brandom’s account of the isomorphism between deontic normative conceptual relations of incompatibility and consequence among commitments and alethic modal relations of incompatibility and consequence among states of affairs. On the resulting picture, word models can be world models insofar as linguistic patterns track real patterns between facts. (shrink)

Do properties have intrinsic properties of their own? If so, which second-order properties are intrinsic? This paper introduces two competing views about second-order intrinsicality: generalism, according to which the intrinsic–extrinsic distinction cuts across all orders of properties and applies to the properties of properties as well as the properties of objects, and objectualism, according to which intrinsicality is a feature exclusive to the properties of objects. The case for generalism (...) is then surveyed along with some proposals for distinguishing intrinsic second-order properties from extrinsic ones. After addressing these broad questions about the nature of second-order intrinsicality, the Problem of Accidental Intrinsic Properties of Properties is introduced and put to work as a case study for the significance of second-order intrinsicality. The connection between this problem and the metaphysics of quantitative properties is then examined. (shrink)

The study investigated psychometric properties of the Sport Motivation Scale-6, assessing intrinsic regulation, four extrinsic regulation constructs, and amotivation among athletes competing at a regional and national level. In particular, we tested the factorial structure of SMS-6, its short-term stability, and the associations of SMS-6 constructs with self-efficacy, self-esteem, motivational climate, and satisfaction with sport performance. Participants were 197 athletes, representing team and individual disciplines. The measurement was repeated at the three-week follow-up. Results yielded support for the six (...) first-order factor structure. More autonomous forms of motivation were related to higher levels of self-efficacy, performance satisfaction, and taskoriented motivational climate in sport organizations. Sequential multiple mediation analysis showed that the association between general self-efficacy and performance satisfaction at a follow-up was mediated by introjected regulation and personal-barrier self-efficacy. (shrink)

Intuitively, a property is intrinsic just in case a thing’s having it (at a time) depends only on what that thing is like (at that time), and not on what any wholly distinct contingent object (or wholly distinct time) is like. A property is extrinsic just in case it is non-intrinsic. Redness and squareness are intrinsic properties. Being next to a red object is extrinsic.

An intrinsic property, as David Lewis puts it, is a property "which things have in virtue of the way they themselves are", as opposed to an extrinsic property, which things have "in virtue of their relations or lack of relations to other things".1 Having long hair is an intrinsic property; having a long-haired brother is not. Intuitive as this notion is (and valuable in doing philosophy, I might add), it seems to resist analysis. Analysis, that is, to “quasi-logical” (...) notions such as necessity, spatiotemporal location: using stronger tools, Lewis has given an analysis of intrinsicality that I take to be roughly correct. Lewis initially described intrinsic properties in his 1983 paper "Extrinsic Properties" as follows. (shrink)

In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, (...) we illustrate how the theoretical framework proposed can be mechanized to get an automated procedure of query-answering on an example of legal text. (shrink)

What makes a property intrinsic? What exactly does the intrinsic/extrinsic distinction rest upon, and how can we reasonably justify this distinction? These questions bear great importance on central debates in such diverse philosophical fields as ethics, philosophy of mind, epistemology and philosophy of science - to only name a few. Given the central relevance of the intrinsic/extrinsic distinction to philosophical research, a collection of pertinent essays on the topic is an essential addition to the literature. It helps (...) to identify more clearly the problems and arguments that are at stake. The anthology provides a comprehensive overview of central facets of the debates, including both crucial earlier and important new contributions by leading philosophers. As such it constitutes an indispensable component of any serious study of the topic. (shrink)

The paper has three parts. In the first part ExtOSR, an extended version of Ontic Structural Realism, will be introduced. ExtOSR considers structural properties as ontological primitives, where structural properties are understood as comprising both relational and structurally derived intrinsic properties or structure invariants. It is argued that ExtOSR is best suited to accommodate gauge symmetry invariants and zero value properties. In the second part, ExtOSR will be given a Humean shape by (...) considering structures as categorical and global. It will be laid out how such structures serve to reconstruct non-essential structural kinds and laws. In the third part Humean structural realism will be defended against the threat of quidditism. (shrink)

In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics, which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a game, than (...) the payoff matrix—the axiom of “no-supplementary data” holds—then the state of mind of a rational player is algebraically isomorphic to a pure quantum state. The “no supplementary data” axiom is captured in a Lukasiewicz’s three-valued Kripke semantics wherein statements about whether a strategy or a belief of a player is rational are initially indeterminate i.e. neither true, nor false. As a corollary, we show that in a mixed Nash equilibrium, the knowledge structure of a player implies that probabilities must verify the standard “Born rule” postulate of QM. The puzzling “indifference condition” wherein each player must be rationally indifferent between all the pure actions of the support of his equilibrium strategy is resolved by his state of mind being described by a “quantum superposition” prior a player is asked to make a definite choice in a “measurement”. Finally, these results demonstrate that there is an intrinsic limitation to the predictions of game theory, on a par with the “irreducible randomness” of quantum physics. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

Let an X/Y distinction be a distinction between kinds of properties, such as the distinctions between qualitative and non-qualitative, intrinsic and extrinsic, perfectly natural and less-than-perfectly natural or dispositional and categorical properties. An X/Y distinction is hyperintensional iff there are cointensional properties P and Q, such that P is an X-property, whereas Q is a Y-property. Many accounts of metaphysical distinctions among properties presuppose that such distinctions are non-hyperintensional. In this paper, I call this presupposition (...) into question. I develop a sufficient condition for the hyperintensionality of X/Y distinctions and argue that this condition is satisfied by a number of standard classifications of properties. It follows that non-hyperintensional analyses of distinctions among properties are harder to defend than is often assumed. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not (...) an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

I argue that meaning or significanceper se, along with the capacity to be conscious thereof, and the values, motives and aspirations, etc. central to the constitution of our intrinsic personal identities, arise, as indeed do our extrinsic social identities, and our very self-consciousness as such, from socio-cultural structures and relations to others. However, so far from our identities and behavior therefore being determined, I argue that the capacity for critical reflection and evaluation emerge from these same structural relations, (...) the more complex and quintessentially human aspects of our behavior being explained not in terms of responses to stimuli but as choices reflecting our evaluation of meaningful or significant alternatives. Finally I provide theoretical grounds for accepting the existence of other subjects and give a holistic, as opposed to a dialectical, account of the way individuals may challenge and change the very socio-cultural ways of relating to and interacting with others so central to constituting their capacities and identities. (shrink)

The paper defends the doctrine that Linnaean taxa, including species, have essences that are, at least partly, underlying intrinsic, mostly genetic, properties. The consensus among philosophers of biology is that such essentialism is deeply wrong, indeed incompatible with Darwinism. I argue that biological generalizations about the morphology, physiology, and behavior of species require structural explanations that must advert to these essential properties. The paper concludes by summarizing my responses to the objection that, according to current “species (...) concepts,” species are relational, and to the objection that essentialism cannot accommodate features of Darwinism associated with variation and change. (shrink)

In this article I discuss various humility theses about individuals and intrinsic properties as discussed by authors such as David Lewis. I argue that we should accept a similar humility thesis about the world’s space-time structure regardless of which metaphysics of space-time we accept. I argue this undercuts some important motivations opting in for an ontic structural realist metaphysic.

In identifying intrinsic molecular chance and extrinsic adaptive pressures as the only causally relevant factors in the process of evolution, the theoretical perspective of the Modern Synthesis had a major impact on the perceived tenability of an ontology of dispositional properties. However, since the late 1970s, an increasing number of evolutionary biologists have challenged the descriptive and explanatory adequacy of this “chance alone, extrinsic only” understanding of evolutionary change. Because morphological studies of homology, convergence, and teratology have revealed (...) a space of possible forms and phylogenetic trajectories that is considerably more restricted than expected, evo-devo has focused on the causal contribution of intrinsic developmental processes to the course of evolution. Evo-devo’s investigation into the developmental structure of the modality of morphology – including both the possibility and impossibility of organismal form – has led to the utilisation of a number of dispositional concepts that emphasise the tendency of the evolutionary process to change along certain routes. In this sense, and in contrast to the perspective of the Modern Synthesis, evo-devo can be described as a “science of dispositions.” This chapter discusses the recent philosophical literature on dispositional properties in evo-devo, exploring debates about both the metaphysical and epistemological aspects of the central dispositional concepts utilised in contemporary evo-devo and addressing the epistemological question of how dispositional properties challenge existing explanatory models in evolutionary biology. (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)

In this article the author analyzes the problem stated by Ingarden in his ontology: under what conditions can the subject−properties structure and the whole−parts structure coexist in one object? After the presentation of Ingarden’s doctrines concerning both structures, the author argues that for Ingarden a whole is nothing over and above a plurality of objects linked by relations. However, Ingarden was convinced that a compound object is not identical with a whole which is associated with it. Then the author (...) analyzes the difference between the two types of compound objects: higher-order objects and compound, primarily individual objects. The former are founded on parts while the latter are such that their parts are founded on them. Finally, the author considers Ingarden’s theory as an answer to the one–many problem. The author argues that Ingarden’s conception of a higher-order object cannot solve this problem, and he also points to some difficulties concerning primarily individual compound objects. (shrink)

Theories concerning the structure, or format, of mental representation should (1) be formulated in mechanistic, rather than metaphorical terms; (2) do justice to several philosophical intuitions about mental representation; and (3) explain the human capacity to predict the consequences of worldly alterations (i.e., to think before we act). The hypothesis that thinking involves the application of syntax-sensitive inference rules to syntactically structured mental representations has been said to satisfy all three conditions. An alternative hypothesis is that thinking requires the construction (...) and manipulation of the cognitive equivalent of scale models. A reading of this hypothesis is provided that satisfies condition (1) and which, even though it may not fully satisfy condition (2), turns out (in light of the frame problem) to be the only known way to satisfy condition (3). (shrink)