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 this paper I argue that it is finally time to move beyond the Nagelian framework and to break new ground in thinking about epistemic reduction in biology. I will do so, not by simply repeating all the old objections that have been raised against Ernest Nagel’s classical model of theory reduction. Rather, I grant that a proponent of Nagel’s approach can handle several of these problems but that, nevertheless, Nagel’s general way of thinking about epistemic reduction in terms of (...) theories and their logical relations is entirely inadequate with respect to what is going on in actual biological research practice. (shrink)

Structural Realism (SR) is typically rated as a moderate realist doctrine about the ultimate entities of nature described by fundamental physics. Whether it must be extended to the higher-level special sciences is not so clear. In this short paper I argue that there is no need to ‘structuralize’ the special sciences. By mounting concrete examples I show that structural descriptions and structural laws certainly play a role in the special sciences, but that they don’t play any exclusive role nor that (...) they give us any reason to believe that all that there is on the various levels is structure. I fortify my points by arguing that structures are global entities (in order for SR not to collapse into a bundle ontology) and that the assumption of higher-level structures as genuinely global or holistic entities is even more arcane. (shrink)

Recently in the philosophy of psychology it has been suggested that several putative phenomena such as emotions, memory, or concepts are not genuine natural kinds and should therefore be eliminated from the vocabulary of scientific psychology. In this paper I examine the perhaps most well known case of scientific eliminativism, Edouard Machery’s concept eliminativism. I argue that the split-lump-eliminate scheme of con- ceptual change underlying Machery’s eliminativist proposal assumes a simplistic view of the functioning of scientific concepts. Conceiving of scientific (...) concepts as natural kind terms is an important reason for the impasse between Machery and anti-eliminativists, as both sides allude to properties of natural kinds in their contradicting arguments. As a solution I propose that, in order to develop a more satisfactory theory of conceptual change in science, one needs to distinguish between three different types of scientific concepts, hitherto conflated under the loaded notion of natural kind. (shrink)

Constitutivemechanisticexplanationsexplainapropertyofawholewith the properties of its parts and their organization. Carl Craver’s mutual manipulability criterion for constitutive relevance only captures the explanatory relevance of causal properties of parts and leaves the organization side of mechanistic explanation unaccounted for. We use the contrastive counterfactual theory of explanation and an account of the dimensions of organization to build a typology of organizational dependence. We analyse organizational explanations in terms of such dependencies and emphasize the importance of modular organizational motifs. We apply this framework (...) to two cases from social science and systems biology, both fields in which organization plays a crucial explanatory role: agent-based simulations of residential segregation and the recent work on network motifs in transcription regulation networks. (shrink)

I discuss two popular but apparently contradictory theses: -/- T1. The democratic control of science – the aims and activities of science should be subject to public scrutiny via democratic processes of representation and participation. T2. The scientific control of policy, i.e. technocracy – political processes should be problem-solving pursuits determined by the methods and results of science and technology. Many arguments can be given for (T1), both epistemic and moral/political; I will focus on an argument based on the role (...) of non-epistemic values in policy-relevant science. I will argue that we must accept (T2) as a result of an appraisal of the nature of contemporary political problems. Technocratic systems, however, are subject to serious moral and political objections; these difficulties are sufficiently mitigated by (T1). I will set out a framework in which (T1) and (T2) can be consistently and compellingly combined. (shrink)

This article aims to clarify how aspects of current chemical understanding relate to some important contemporary problems of philosophy. The first section points out that the long-running philosophical debates concerning how properties stay together in substances have neglected the important topic of structure-determining closure. The second part describes several chemically-important types of closure and the third part shows how such closures ground the properties of chemical substances. The fourth section introduces current discussions of structural realism (SR) and contextual emergence: the (...) final sections reconsider the coherence of the properties of substances and concludes that recognition that structures qualify as determinants of specific outcomes—as ‘causes’ as that designation is used in Standard English—clarifies how properties stay together in chemical entities, and by analogy, how characteristics cohere in ordinary items. (shrink)

In this paper we compare two different notions of 'power', both of which attempt to provide a realist understanding of quantum mechanics grounded on the potential mode of existence. For this propose we will begin by introducing two different notions of potentiality present already within Aristotelian metaphysics, namely, irrational potentiality and rational potentiality. After discussing the role played by potentiality within classical and quantum mechanics, we will address the notion of causal power which is directly related to irrational potentiality and (...) has been adopted by many interpretations of QM. We will then present the notion of immanent power which relates to rational potentiality and argue that this new concept presents important advantages regarding the possibilities it provides for understanding in a novel manner the theory of quanta. We end our paper with a comparison between both notions of 'power', stressing some radical differences between them. (shrink)

Causal realism is the view that causation is a structural feature of reality; a power inherent in the world to produce effects, independently of the existence of minds or observers. This article suggests that certain problems in the philosophy of mind are artefacts of causal realism; because they presuppose the existence or possibility of a mind-independent causal nexus between the ‘physical’ and the ‘mental’. These dilemmas include the 'hard problem' of consciousness, and the problems of free will and mental causality. (...) Since the ostensible causal nexus cannot be directly perceived, it is sublimated into obscure and elusive phenomena along the purported mental causal chain. The antithesis of causal realism, and the proposed solution to the problems above, is causal anti-realism: the view that causation is not a fundamental property of the world, but of how observers purposively interpret ‘the world’. Causal anti-realism is compatible with causal pragmatism, which allows for the practical use of causal terms. Causal anti-realism denies the possibility of ontological reduction and is therefore incompatible with materialism. The article concludes that causal anti-realism is at least prima facie reconcilable with idealism. (shrink)

This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both (...) of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. (shrink)

Risk is an ubiquitous entity in the biomedical domain. Thus, a coherent ontological characterization of risk, which can be used by informatical tools named "applied ontologies", is necessary to help with the exchange and the collection of data for clinical and research uses. We analyze some definitions of risk and draw two general characteristics that risks and dispositions share. We thus suggest that a risk is a disposition which has an undesirable realization for an agent. This definition conciliates the objective (...) dimension and the subjective dimension of risk : a risk exist independantly of our knowledge about it, but the status of risk of a given disposition for an agent depends of the preferences of this agent. (shrink)

A novel non-classical mereological concept built up by blending the Metaphysics of Xavier Zubiri and the Quantum Theory of Atoms in Molecules of R. F. W. Bader is proposed. It is argued that this philosophical concept is necessary to properly account for what happens in a chemical reaction. From the topology of the gradient of the laplacian of the electronic charge density, \\) within the QTAIM framework, different “atomic graphs” are found for each atom depending on the molecular context, reflecting (...) how the whole molecule affects each atom. In this way, the whole molecular system imposes certain geometry onto each atom, and every atom exhibits different ontological modality. On the Metaphysical side, for X. Zubiri real things are system of different notes. The physical essence is the subsystem of essential notes with a coherence unity. Every note is grounded on the essence. The unity of the system is present somehow in every note-of beforehand, and every essential note-of turns towards the other. The essence determines the position of each note within the system, and hence is the grounding for modality of the notes. By conflating both “theories” and taking the atoms as essential notes, we propose the concept of “Molecule in atoms-of” or “atoms-of in Molecules”. Within the course of a chemical reaction the atoms-of modified their “of” as required by the new molecular unity being formed, and eventually change their modality. The validity to the Zubiri’s statements, is attained by evaluating necessity and possibility in a set-up of finite accessible “possible worlds”. (shrink)

I argue that if one applies the standard intuitionistic criterion for truth to Kp in (p) (p&Kp), one avoids Fitch’s paradox, but with disastrous consequences having to do with the expressive resources of one’s semantics. On the other hand, if one conceives of Kp as a function recording what happens in the actual world, one gets a double benefit. First, the semantics become tolerably expressive. Second, and because of the same move, the paradox can be blocked. (The solution I provide (...) bares resemblances with the ones proposed by Edgington 1985, 2009 and Kvanvig 1995, 2006, and especially with this latter as it has been reformulated by Brogaard and Salerno 2007). Finally, I shown that in some models for temporal intuitionistic logic (Kapantaïs 2009), and which are extensions of Beth models, (i) the knowability principle can be assumed to be valid, (ii) the paradox is blocked in the above mentioned way, and also (iii) a sentence saying that we will come to know something we now ignore becomes true and known in some worlds. (shrink)

The status of the chemical bond has long been a controversial issue with the increasing distance between quantum chemists’ theoretical understanding of molecular stability and the ideas of experimental chemists. Some aspects of the development of the concept of a hydrogen bond are discussed with a view to assessing its import on the general question.