We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11].

The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Veličković. We introduce a stronger form of resurrection axioms for a class of forcings Γ and a given ordinal α), and show that RAω implies generic absoluteness for the first-order theory of Hγ+ with respect to forcings in Γ preserving the axiom, where γ = γΓ is a cardinal which depends on Γ. We also prove that the consistency strength of these axioms (...) is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover, we outline that simultaneous generic absoluteness for Hγ0+ with respect to Γ0 and for Hγ1+ with respect to Γ1 with γ0 = γΓ0≠γΓ1 = γ1 is in principle possible, and we present several natural models o... (shrink)

The purpose of this communication is to present some recent advances on the consequences that forcing axioms and large cardinals have on the combinatorics of singular cardinals. I will introduce a few examples of problems in singular cardinal combinatorics which can be fruitfully attacked using ideas and techniques coming from the theory of forcing axioms and then translate the results so obtained in suitable large cardinals properties.The first example I will treat is the proof that the proper forcing axiom PFA (...) implies the singular cardinal hypothesis SCH, this will easily lead to a new proof of Solovay's theorem that SCH holds above a strongly compact cardinal. I will also outline how some of the ideas involved in these proofs can be used as means to evaluate the “saturation” properties of models of strong forcing axioms like MM or PFA.The second example aims to show that the transfer principle ↠ fails assuming Martin's Maximum MM. Also in this case the result can be translated in a large cardinal property, however this requires a familiarity with a rather large fragment of Shelah's pcf-theory.Only sketchy arguments will be given, the reader is referred to the forthcoming [25] and [38] for a thorough analysis of these problems and for detailed proofs. (shrink)

We present recent results on the model companions of set theory, placing them in the context of a current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{\kappa ^+}$, as $\kappa (...) $ ranges among the infinite cardinals. We also single out $2^{\aleph _0}=\aleph _2$ as the unique solution of the continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). While doing so we bring to light that set theory enriched by large cardinal axioms in the range of supercompactness has as its model companion (with respect to its first order axiomatization in certain natural signatures) the theory of $H_{\aleph _2}$ as given by a strong form of Woodin’s axiom $(*)$ (which holds assuming $\mathsf {MM}^{++}$ ). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert’s axiom of completeness. (shrink)

We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with class many Woodin cardinals, the forcing axiom MM++ makes the Π2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_2}$$\end{document}-fragment of the theory of Hℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\aleph_2}}$$\end{document} invariant with respect to stationary set preserving forcings that preserve BMM. We argue that this is a promising generalization to (...) Hℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\aleph_2}}$$\end{document} of Woodin’s absoluteness results for L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document}. In due course of proving this, we shall give a new proof of some of these results of Woodin. Finally we relate our generic absoluteness results with the resurrection axioms introduced by Hamkins and Johnstone and with their unbounded versions introduced by Tsaprounis. (shrink)

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinal axioms, ranging from supercompactness to rank-to-rank embeddings. The majority of these large cardinal properties can be defined in terms of suitable elementary embeddings j:Vγ→Vλ. One key observation is that such embeddings are uniquely determined by the image structures j[Vγ]≺Vλ. These structures will be the prototypes guessing models. We shall show, (...) using guessing models M, how to prove for the ordinal κM=jM) many of the combinatorial properties that we can prove for the cardinal j) using the structure j[Vγ]≺Vj. κM will always be a regular cardinal, but consistently can be a successor and guessing models M with κM=ℵ2 exist assuming the proper forcing axiom. By means of these models we shall introduce a new structural property of models of PFA: the existence of a “Laver function” f:ℵ2→Hℵ2 sharing the same features of the usual Laver functions f:κ→Hκ provided by a supercompact cardinal κ. Further applications of our analysis will be proofs of the singular cardinal hypothesis and of the failure of the square principle assuming the existence of guessing models. In particular the failure of square shows that the existence of guessing models is a very strong assumption in terms of large cardinal strength. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We introduce bounded category forcing axioms for well-behaved classes [math]. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe [math] modulo forcing in [math], for some cardinal [math] naturally associated to [math]. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation [math] — to classes [math] with [math]. Unlike projective absoluteness, these higher bounded category forcing (...) axioms do not follow from large cardinal axioms but can be forced under mild large cardinal assumptions on [math]. We also show the existence of many classes [math] with [math] giving rise to pairwise incompatible theories for [math]. (shrink)

We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell in order to prove that the universe of ZFA can also be obtained as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next we show that it is possible to define a new absolute Gödel operation in (...) addition to the standard ones in order to obtain the “constructible” model of ZFA as the least fixed point of the continuous operator of Gödel closure with respect to the standard and the new Gödel operations. (shrink)

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin’s generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a $$\Pi _2$$ -property formalized in an appropriate language for second order number theory is forcible (...) from some $$T\supseteq \mathsf {ZFC}+$$ large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of $$H_{\omega _1}$$ is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for $$\Delta _0$$ -properties and for all universally Baire sets of reals. We will extend these results also to the theory of $$H_{\aleph _2}$$ in a follow up of this paper. (shrink)

The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In particular, I will argue (...) that theories of positive truth are _trustworthy_, analogously to the theories of full disquotational truth. Moreover, I argue that, for a given cognitive project, _if_ the acceptance of trustworthy theories is taken to be an _epistemic norm_ of cognitive project, then one has good reasons to accept theories of positive truth over other rival theories of truth in classical logic. On the other hand, the latter theories are deemed epistemically unacceptable. (shrink)

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

As innovations in the field of vascular composite allotransplantation (VCA) progress, whole-eye transplantation (WET) is poised to transition from non-human mammalian models to living human recipients. Present treatment options for vision loss are generally considered suboptimal, and attendant concerns ranging from aesthetics and prosthesis maintenance to social stigma may be mitigated by WET. Potential benefits to WET recipients may also include partial vision restoration, psychosocial benefits related to identity and social integration, improvements in physical comfort and function, and reduced surgical (...) risk associated with a biologic eye compared to a prosthesis. Perioperative and postoperative risks of WET are expected to be comparable to those of facial transplantation (FT), and may be similarly mitigated by immunosuppressive protocols, adequate psychosocial support, and a thorough selection process for both the recipient and donor. To minimize the risks associated with immunosuppressive medications, the first attempts in human recipients will likely be performed in conjunction with a FT. If first-in-human attempts at combined FT-WET prove successful and the biologic eye survives, this opens the door for further advancement in the field of vision restoration by means of a viable surgical option. This analysis integrates recent innovations in WET research with the existing discourse on the ethics of surgical innovation and offers preliminary guidance to VCA programs considering undertaking WET in human recipients. (shrink)

The paper investigates the ethics of information transparency (henceforth transparency). It argues that transparency is not an ethical principle in itself but a pro-ethical condition for enabling or impairing other ethical practices or principles. A new definition of transparency is offered in order to take into account the dynamics of information production and the differences between data and information. It is then argued that the proposed definition provides a better understanding of what sort of information should be disclosed and what (...) sort of information should be used in order to implement and make effective the ethical practices and principles to which an organisation is committed. The concepts of “heterogeneous organisation” and “autonomous computational artefact” are further defined in order to clarify the ethical implications of the technology used in implementing information transparency. It is argued that explicit ethical designs, which describe how ethical principles are embedded into the practice of software design, would represent valuable information that could be disclosed by organisations in order to support their ethical standing. (shrink)

We study the EPR-type correlations from the perspective of the relational interpretation of quantum mechanics. We argue that these correlations do not entail any form of “non-locality”, when viewed in the context of this interpretation. The abandonment of strict Einstein realism implied by the relational stance permits to reconcile quantum mechanics, completeness, (operationally defined) separability, and locality.

The mind-society problem deals with the relations between mental and social phenomena. The problem is crucial in the main methodologies of social sciences. The thesis of hermeneutics is that we can only understand but not explain the relationship between beliefs and social action because mental and social events are not natural events. The thesis of social holism is that social phenomena are emergent and irreducible to mental phenomena. The thesis of rational choice theory is that social phenomena are reducible to (...) mental phenomena and this reduction is explained by unrealistic a priori principles of rationality. These theses depend on their different solutions to the following fundamental philosophical issues: the mind-body identity; the causal nature of social explanation; the realistic goal of science. A positive answer to these issues implies support of a different solution to the mind-society problem: social phenomena are conventional concepts and they can be reduced and explained in terms of realistic concepts describing the causal mechanisms of individual reasoning and decision-making. Cognitive psychology seems to supply us some initial tentative models to explain social action, but research into neuropsychology might be able to generate the proper causal representations of the relation between mind and action. (shrink)

The notion of subject matter is a key concern of contemporary philosophy of language and logic. A central task for a theory of subject matter is to characterise the notion of sentential subject matter, that is, to assign to each sentence of a given language a subject matter that may count as its subject matter. In this paper, we elaborate upon David Lewis’ account of subject matter. Lewis’ proposal is simple and elegant but lacks a satisfactory characterisation of sentential subject (...) matter. Drawing on linguistic literature on focus and on the question under discussion, we offer a neo-Lewisian account of subject matter, which retains all the virtues of Lewis’ but also includes an attractive characterisation of sentential subject matter. (shrink)

It is often claimed that the greatest value of the Bayesian framework in cognitive science consists in its unifying power. Several Bayesian cognitive scientists assume that unification is obviously linked to explanatory power. But this link is not obvious, as unification in science is a heterogeneous notion, which may have little to do with explanation. While a crucial feature of most adequate explanations in cognitive science is that they reveal aspects of the causal mechanism that produces the phenomenon to be (...) explained, the kind of unification afforded by the Bayesian framework to cognitive science does not necessarily reveal aspects of a mechanism. Bayesian unification, nonetheless, can place fruitful constraints on causal–mechanical explanation. 1 Introduction2 What a Great Many Phenomena Bayesian Decision Theory Can Model3 The Case of Information Integration4 How Do Bayesian Models Unify?5 Bayesian Unification: What Constraints Are There on Mechanistic Explanation?5.1 Unification constrains mechanism discovery5.2 Unification constrains the identification of relevant mechanistic factors5.3 Unification constrains confirmation of competitive mechanistic models6 ConclusionAppendix. (shrink)

The metaphysics of powers (Shoemaker, 1980; Mumford, 2004; Marmodoro, 2009; Heil, 2012 among many others) is a promising conceptual framework that has been successfully put to use in many philosophical and scientific domains, but surprisingly its potential applications in the contemporary philosophy of mind are still under-investigated. This thematic issue aims to show that power ontology has implications concerning major questions in the contemporary philosophy of mind, such as: what is the metaphysical relationship between consciousness and the physical? Are phenomenal (...) properties reducible to physical properties, fundamental, or emergent? How are we to explain notions such as belief, agency, and free will? (shrink)

This article aims to systematically deconstruct four distinct narratives derived from the case of Caster Semenya v. IAAF (Court of Arbitration for Sport).

Some naturalistic philosophers of mind subscribing to the predictive processing theory of mind have adopted a realist attitude towards the results of Bayesian cognitive science. In this paper, we argue that this realist attitude is unwarranted. The Bayesian research program in cognitive science does not possess special epistemic virtues over alternative approaches for explaining mental phenomena involving uncertainty. In particular, the Bayesian approach is not simpler, more unifying, or more rational than alternatives. It is also contentious that the Bayesian approach (...) is overall better supported by the empirical evidence. So, to develop philosophical theories of mind on the basis of a realist interpretation of results from Bayesian cognitive science is unwarranted. Naturalistic philosophers of mind should instead adopt an anti-realist attitude towards these results and remain agnostic as to whether Bayesian models are true. For continuing on with an exclusive focus and praise of Bayes within debates about the predictive processing theory will impede progress in philosophical understanding of scientific practice in computational cognitive science as well as of the architecture of the mind. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

Causal reductionism is the widespread assumption that there is no room for additional causes once we have accounted for all elementary mechanisms within a system. Due to its intuitive appeal, causal reductionism is prevalent in neuroscience: once all neurons have been caused to fire or not to fire, it seems that causally there is nothing left to be accounted for. Here, we argue that these reductionist intuitions are based on an implicit, unexamined notion of causation that conflates causation with prediction. (...) By means of a simple model organism, we demonstrate that causal reductionism cannot provide a complete and coherent account of ‘what caused what’. To that end, we outline an explicit, operational approach to analyzing causal structures. (shrink)

The free-energy principle states that all systems that minimize their free energy resist a tendency to physical disintegration. Originally proposed to account for perception, learning, and action, the free-energy principle has been applied to the evolution, development, morphology, anatomy and function of the brain, and has been called a postulate, an unfalsifiable principle, a natural law, and an imperative. While it might afford a theoretical foundation for understanding the relationship between environment, life, and mind, its epistemic status is unclear. Also (...) unclear is how the free-energy principle relates to prominent theoretical approaches to life science phenomena, such as organicism and mechanism. This paper clarifies both issues, and identifies limits and prospects for the free-energy principle as a first principle in the life sciences. (shrink)

This paper contributes to the debate on online trust addressing the problem of whether an online environment satisfies the necessary conditions for the emergence of trust. The paper defends the thesis that online environments can foster trust, and it does so in three steps. Firstly, the arguments proposed by the detractors of online trust are presented and analysed. Secondly, it is argued that trust can emerge in uncertain and risky environments and that it is possible to trust online identities when (...) they are diachronic and sufficient data are available to assess their reputation. Finally, a definition of trust as a second-order property of first-order relation is endorsed in order to present a new definition of online trust. According to such a definition, online trust is an occurrence of trust that specifically qualifies the relation of communication ongoing among individuals in digital environments. On the basis of this analysis, the paper concludes by arguing that online trust promotes the emergence of social behaviours rewarding honest and transparent communications. (shrink)

In this paper, we develop an organizational account that defines biological functions as causal relations subject to closure in living systems, interpreted as the most typical example of organizationally closed and differentiated self-maintaining systems. We argue that this account adequately grounds the teleological and normative dimensions of functions in the current organization of a system, insofar as it provides an explanation for the existence of the function bearer and, at the same time, identifies in a non-arbitrary way the norms that (...) functions are supposed to obey. Accordingly, we suggest that the organizational account combines the etiological and dispositional perspectives in an integrated theoretical framework. IntroductionDispositional ApproachesEtiological TheoriesBiological Self-maintenance Closure, teleology, and normativityOrganizational differentiationFunctions C1: Contributing to the maintenance of the organization C2: Producing the functional trait Implications and Objections Functional versus useful Dysfunctions, side effects, and accidental contributionsProper functions and selected effectsReproductionRelation with other ‘unitarian’ approachesConclusions. (shrink)

The concept of innateness is a part of folk wisdom but is also used by biologists and cognitive scientists. This concept has a legitimate role to play in science only if the colloquial usage relates to a coherent body of evidence. We examine many different candidates for the post of scientific successor of the folk concept of innateness. We argue that none of these candidates is entirely satisfactory. Some of the candidates are more interesting and useful than others, but the (...) interesting candidates are not equivalent to each other and the empirical and evidential relations between them are far from clear. Researchers have treated the various scientific notions that capture some aspect of the folk concept of innateness as equivalent to each other or at least as tracking properties that are strongly correlated with each other. But whether these correlations exist is an empirical issue. This empirical issue has not been thoroughly investigated because in the attempt to create a bridge between the folk view and their theories, researchers have often assumed that the properties must somehow cluster. Rather than making further attempts to import the folk concept of innateness into the sciences, efforts should now be made to focus on the empirical questions raised by the debates and pave the way to a better way of studying the development of living organisms. Such empirical questions must be answered before it can be decided whether a good scientific successor – in the form of a concept that refers to a collection of biologically significant properties that tend to co-occur – can be identified or whether the concept of innateness deserves no place in science. (shrink)

Some enlightenment regarding the project to mechanise reason. The assembly line of machine learning: data, algorithm, model. The training dataset: the social origins of machine intelligence. The history of AI as the automation of perception. The learning algorithm: compressing the world into a statistical model. All models are wrong, but some are useful. World to vector: the society of classification and prediction bots. Faults of a statistical instrument: the undetection of the new. Adversarial intelligence vs. statistical intelligence: labour in the (...) age of AI. (shrink)

This paper contributes to the debate on online trust addressing the problem of whether an online environment satisfies the necessary conditions for the emergence of trust. The paper defends the thesis that online environments can foster trust, and it does so in three steps. Firstly, the arguments proposed by the detractors of online trust are presented and analysed. Secondly, it is argued that trust can emerge in uncertain and risky environments and that it is possible to trust online identities when (...) they are diachronic and sufficient data are available to assess their reputation. Finally, a definition of trust as a second-order property of first-order relation is endorsed in order to present a new definition of online trust. According to such a definition, online trust is an occurrence of trust that specifically qualifies the relation of communication ongoing among individuals in digital environments. On the basis of this analysis, the paper concludes by arguing that online trust promotes the emergence of social behaviours rewarding honest and transparent communications. (shrink)

El objetivo de este artículo es mostrar la existencia de un aspecto durkheimiano en la filosofía de la religión de William James, aspecto habitualmente inadvertido en las interpretaciones corrientes de su obra. Para ello mostraré cómo subyace en Las variedades de la experiencia religiosa la prototípica distinción durkheimiana entre lo sagrado y lo profano como rasgo esencial de la religión. The purpose of this article is to demonstrate the existence of a Durkheimian aspect in William James' philosophy of religion, an (...) aspect that has gone unnoticed in the usual interpretations of his work. To this effect, the article shows how Durkheim's prototypical distinction between sacred and profane underlies The Varieties of Religious Experience as an essential feature of religion. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

The paper offers a solution to the problem of specifying computational systems that behave in accordance with a given set of ethical principles. The proposed solution is based on the concepts of ethical requirements and ethical protocols. A new conceptual tool, called the Control Closure of an operation, is defined and used to translate ethical principles into ethical requirements and protocols. The concept of Generalised Informational Privacy (GIP) is used as a paradigmatic example of an ethical principle. GIP is defined (...) in such a way as to (i) discriminate specific cases in which an individual’s GIP can be infringed without accessing the individual’s data; (ii) separate unauthorised accesses to data that do not respect the right to GIP from access that do; and (iii) distinguish different degrees of GIP. Finally a camera phone is used to illustrate the proposed solution. (shrink)

This paper argues that biological organisation can be legitimately conceived of as an intrinsically teleological causal regime. The core of the argument consists in establishing a connection between organisation and teleology through the concept of self-determination: biological organisation determines itself in the sense that the effects of its activity contribute to determine its own conditions of existence. We suggest that not any kind of circular regime realises self-determination, which should be specifically understood as self-constraint: in biological systems, in particular, self-constraint (...) takes the form of closure, i.e. a network of mutually dependent constitutive constraints. We then explore the occurrence of intrinsic teleology in the biological domain and beyond. On the one hand, the organisational account might possibly concede that supra-organismal biological systems could realise closure, and hence be teleological. On the other hand, the realisation of closure beyond the biological realm appears to be highly unlikely. In turn, the occurrence of simpler forms of self-determination remains a controversial issue, in particular with respect to the case of self-organising dissipative systems. (shrink)

According to the received view of evolution, only genes are inherited. From this view it follows that only genetically-caused phenotypic variation is selectable and, thereby, that all selection is at bottom genetic selection. This paper argues that the received view is wrong. In many species, there are intergenerationally-stable phenotypic differences due to environmental differences. Natural selection can act on these nongenetically-caused phenotypic differences in the same way it acts on genetically-caused phenotypic differences. Some selection is at bottom nongenetic selection. The (...) argument against the received view involves a reformulation of the concepts of inheritance and heritability. Inherited factors are all those developmental factors responsible for parent–offspring similarity; some inherited factors are genetic and some are not. Heritable variation is intergenerationally-stable phenotypic variation; some such variation is genetically-caused and some is not. The received view and its critics The possibility of nongenetic selection (the lucky butterfly) The reality of nongenetic selection 3.1 Imprinting mechanisms 3.2 Other learning mechanisms 3.3 Other nongenetic mechanisms Genetic and nongenetic inheritance mechanisms Genetic and nongenetic inherited factors Genetic and nongenetic heritability Conclusions + Current address: Dr Matteo Mameli, Research Fellow, King's College, Cambridge, CB2 1ST, United Kingdom, matteo.mameli{at}kings.cam.ac.uk' + u + '@' + d + ''//-->. (shrink)

Teller argued that violations of Bell’s inequalities are to be explained by interpreting quantum entangled systems according to ‘relational holism’, that is, by postulating that they exhibit irreducible (‘inherent’) relations. Teller also suggested a possible application of this idea to quantum statistics. However, the basic proposal was not explained in detail nor has the additional idea about statistics been articulated in further work. In this article, I reconsider relational holism, amending it and spelling it out as appears necessary for a (...) proper assessment, and application, of the position. †To contact the author, please write to: FB Philosophie‐Zukunftskolleg, University of Konstanz, Universitätstraße 10, 78464, Konstanz, Germany; e‐mail: matteo.morganti@uni ‐konstanz.de. (shrink)

I present and apply some powerful tools for studying human evolution and the impact of cultural resources on it. The tools in question are a theory of niche construction and a theory about the evolutionary significance of extragenetic (and, in particular, of psychological and social) inheritance. These tools are used to show how culturally transmitted resources can be recruited by development and become generatively entrenched. The case study is constituted by those culturally transmitted items that social psychologists call ‘expectancies’. Expectancy (...) effects are mindshaping effects of our mindreading dispositions. I show how expectancies may have been recruited by important human developmental processes (like those involved in language acquisition and those responsible for gender differences) and how they may have become entrenched. If the hypothesis is correct, the relation between mindreading and human evolution is more intricate than usually thought. (shrink)

C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems are non-normal modal logics, since they do not admit a full rule of necessitation, but only a restricted version thereof. We provide G3-style labelled sequent calculi for Lewis’ non-normal propositional systems. The calculi enjoy good structural properties, namely admissibility of structural rules and admissibility of cut. Furthermore they allow for straightforward proofs of admissibility of the restricted versions of the necessitation rule. We establish completeness (...) of the calculi and we discuss also related systems. (shrink)

This open access book assesses the prospects of (re)adopting organization as a pivotal concept in biology. It shows how organization can nourish biological thinking and practice, by reconnecting with the idea of biology as the science of organized systems. The book provides a comprehensive state-of-the-art picture of the characterizations and uses of the concept of organization in both biological science and philosophy of biology. It also deals with a variety of themes – including evolution, organogenesis, heredity, cognition and ecology – (...) with respect to which the concept of organization can guide the elaboration of original models and new experimental protocols. It will be of interest to biologists and scholars working in philosophy of science alike. (shrink)

In this paper, we evaluate some proposals that have been put forward to clarify the ontological consequences of relational quantum mechanics. We first focus on priority monism and ontic structural realism and argue that these views are not suitable for providing an ontological interpretation of the theory. Then, we discuss an alternative interpretation that we regard as more promising, based on so-called ‘metaphysical coherentism’, which we also connect to the idea of an event-based, or ‘flash’, ontology.