This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

It is commonly held that the ascription of truth to a sentence is intersubstitutable with that very sentence. However, the simplest subclassical logics available to proponents of this view, namely K3 and LP, are hopelessly weak for many purposes. In this article, I argue that this is much more of a problem for proponents of LP than for proponents of K3. The strategies for recapturing classicality offered by proponents of LP are far less promising than those available to proponents of (...) K3. This undermines the ability of proponents LP to engage in public reasoning in classical domains. (shrink)

In judgment aggregation, unlike preference aggregation, not much is known about domain restrictions that guarantee consistent majority outcomes. We introduce several conditions on individual judgments su¢ - cient for consistent majority judgments. Some are based on global orders of propositions or individuals, others on local orders, still others not on orders at all. Some generalize classic social-choice-theoretic domain conditions, others have no counterpart. Our most general condition generalizes Sen’s triplewise value-restriction, itself the most general classic condition. We also (...) prove a new characterization theorem: for a large class of domains, if there exists any aggregation function satisfying some democratic conditions, then majority voting is the unique such function. Taken together, our results provide new support for the robustness of majority rule. (shrink)

In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in those different domains. Indeed, (...) as we’ll see, the differences between the proposed multiple notions of truth are often of a type that is clearly significant in relation to logical features, such as whether or not a constructive notion of truth is at issue. I criticise domain-based logical pluralism. Having done so I introduce a context-based framework that operates with a context-relative notion of validity. I show that this context-based framework can be employed by the domain-specific logical pluralist, but that framework also allows for logical pluralism that does not involve several domains. Different contexts may demand rules of classical logic, where others only justify intuitionistic rules, even when the same domain (e.g. mathematics) is at issue. (shrink)

In this paper I present and critically discuss the main strategies that Bohr used and could have used to fend off the charge that his interpretation does not provide a clear-cut distinction between the classical and the quantum domain. In particular, in the first part of the paper I reassess the main arguments used by Bohr to advocate the indispensability of a classical framework to refer to quantum phenomena. In this respect, by using a distinction coming from (...) an apparently unrelated philosophical corner, we could say that Bohr is not a revisionist philosopher of physics but rather a descriptivist one in the sense of Strawson. I will then go on discussing the nature of the holistic link between classical measurement apparatuses and observed system that he also advocated. The oft-repeated conclusion that Bohr’s interpretation of the quantum formalism is untenable can only be established by giving his arguments as much force as possible, which is what I will try to do in the following by remaining as faithful as possible to his published work. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

The notions of conservation and relativity lie at the heart of classical mechanics, and were critical to its early development. However, in Newton’s theory of mechanics, these symmetry principles were eclipsed by domain-specific laws. In view of the importance of symmetry principles in elucidating the structure of physical theories, it is natural to ask to what extent conservation and relativity determine the structure of mechanics. In this paper, we address this question by deriving classical mechanics—both nonrelativistic and (...) relativistic—using relativity and conservation as the primary guiding principles. The derivation proceeds in three distinct steps. First, conservation and relativity are used to derive the asymptotically conserved quantities of motion. Second, in order that energy and momentum be continuously conserved, the mechanical system is embedded in a larger energetic framework containing a massless component that is capable of bearing energy. Imposition of conservation and relativity then results, in the nonrelativistic case, in the conservation of mass and in the frame-invariance of massless energy; and, in the relativistic case, in the rules for transforming massless energy and momentum between frames. Third, a force framework for handling continuously interacting particles is established, wherein Newton’s second law is derived on the basis of relativity and a staccato model of motion-change. Finally, in light of the derivation, we elucidate the structure of mechanics by classifying the principles and assumptions that have been employed according to their explanatory role, distinguishing between symmetry principles and other types of principles that are needed to build up the theoretical edifice. (shrink)

Indeterminism of quantum mechanics is considered as an immediate corollary from the theorems about absence of hidden variables in it, and first of all, the Kochen – Specker theorem. The base postulate of quantum mechanics formulated by Niels Bohr that it studies the system of an investigated microscopic quantum entity and the macroscopic apparatus described by the smooth equations of classical mechanics by the readings of the latter implies as a necessary condition of quantum mechanics the absence of hidden (...) variables, and thus, quantum indeterminism. Consequently, the objectivity of quantum mechanics and even its possibility and ability to study its objects as they are by themselves imply quantum indeterminism. The so-called free-will theorems in quantum mechanics elucidate that the “valuable commodity” of free will is not a privilege of the experimenters and human beings, but it is shared by anything in the physical universe once the experimenter is granted to possess free will. The analogical idea, that e.g. an electron might possess free will to “decide” what to do, scandalized Einstein forced him to exclaim (in a letter to Max Born in 2016) that he would be а shoemaker or croupier rather than a physicist if this was true. Anyway, many experiments confirmed the absence of hidden variables and thus quantum indeterminism in virtue of the objectivity and completeness of quantum mechanics. Once quantum mechanics is complete and thus an objective science, one can ask what this would mean in relation to classical physics and its objectivity. In fact, it divides disjunctively what possesses free will from what does not. Properly, all physical objects belong to the latter area according to it, and their “behavior” is necessary and deterministic. All possible decisions, on the contrary, are concentrated in the experimenters (or human beings at all), i.e. in the former domain not intersecting the latter. One may say that the cost of the determinism and unambiguous laws of classical physics, is the indeterminism and free will of the experimenters and researchers (human beings) therefore necessarily being out of the scope and objectivity of classical physics. This is meant as the “deterministic subjectivity of classical physics” opposed to the “indeterminist objectivity of quantum mechanics”. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of (...) the framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

The innate knowledge problem is a classical problem in philosophy, which has been known since the classical antiquity. Plato in his dialogues Meno and Phaedo formulated the doctrine of innate ideas and proposed an early version of the poverty of the stimulus argument, which is the most frequently used argument in innate knowledge debates. In the history of philosophy there was also an opposite view. This approach is often associated with J. Locke’s philosophy. Locke thought that all our (...) knowledge about the world is a product of the universal learning mechanisms whose functioning is based on perception. The question about the presence of innate ideas in the human mind still remains relevant. New findings in cognitive science and neurosciences and also some recent arguments from philosophers contribute to the contemporary discussion between the spokesmen of the rival approaches to this problem. The paper presents the investigation of one of the approaches to solving the problem of innate concepts, which is called a “concept nativism.” It highlights the outstanding characteristics of the concept nativism: (a) domain specificity position, (b) belief that domain-specific mechanisms of learning are innate and (c) belief that at least some concepts are innate. The article also proposes an analysis of notions “innateness” and “idea” which is important for understanding nativists’ approach to innate ideas theory. And finally, it describes the most popular nativists’ arguments: (a) references to empirical studies using the preferential looking technique, (b) the poverty of the stimulus argument and (c) the argument from animals. (shrink)

Extensive measurement is the standard measurement-theoretic approach for constructing a ratio scale. It involves the comparison of objects that can be concatenated in an additively representable way. This paper studies the implications of extensively measurable welfare for social choice theory. We do this in two frameworks: an Arrovian framework with a fixed population and no interpersonal comparisons, and a generalized framework with variable populations and full interpersonal comparability. In each framework we use extensive measurement to introduce novel domain restrictions, (...) independence conditions, and constraints on social evaluation. We prove a welfarism theorem for these domains and characterize the social welfare functions that satisfy the axioms of extensive measurement at both the individual and social levels. The main results are simple axiomatizations of strong dictatorship in the Arrovian framework and classical utilitarianism in the generalized framework. (shrink)

A classic debate concerns whether reasonableness should be understood statistically (e.g., reasonableness is what is common) or prescriptively (e.g., reasonableness is what is good). This Article elaborates and defends a third possibility. Reasonableness is a partly statistical and partly prescriptive “hybrid,” reflecting both statistical and prescriptive considerations. Experiments reveal that people apply reasonableness as a hybrid concept, and the Article argues that a hybrid account offers the best general theory of reasonableness. -/- First, the Article investigates how ordinary people judge (...) what is reasonable. Reasonableness sits at the core of countless legal standards, yet little work has investigated how ordinary people (i.e., potential jurors) actually make reasonableness judgments. Experiments reveal that judgments of reasonableness are systematically intermediate between judgments of the relevant average and ideal across numerous legal domains. For example, participants’ mean judgment of the legally reasonable number of weeks’ delay before a criminal trial (ten weeks) falls between the judged average (seventeen weeks) and ideal (seven weeks). So too for the reasonable num- ber of days to accept a contract offer, the reasonable rate of attorneys’ fees, the reasonable loan interest rate, and the reasonable annual number of loud events on a football field in a residential neighborhood. Judgment of reasonableness is better predicted by both statistical and prescriptive factors than by either factor alone. -/- This Article uses this experimental discovery to develop a normative view of reasonableness. It elaborates an account of reasonableness as a hybrid standard, arguing that this view offers the best general theory of reasonableness, one that applies correctly across multiple legal domains. Moreover, this hybrid feature is the historical essence of legal reasonableness: the original use of the “reasonable person” and the “man on the Clapham omnibus” aimed to reflect both statistical and prescriptive considerations. Empirically, reasonableness is a hybrid judgment. And normatively, reasonableness should be applied as a hybrid standard. (shrink)

The author’s studies in the philosophy of science, culminating in this book, were inspired by his previous research in the domains of classical and quantum gravity. In fact it was the need to bring some order in the family of modern classical theories of gravitation and to build up the appropriate conceptual foundations of quantum gravity , that forced the author to create his own methodological model of theory change, which he applies rather successfully to the most controversial (...) case study, the Lorentz-Einstein transition. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction (...) and truth to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance (...) relations instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

We look into the ontology of quantum theory as distinct from that of the classical theory in the sciences. Theories carry with them their own ontology while the metaphysics may remain the same in the background. We follow a broadly Kantian tradition, distinguishing between the noumenal and phenomenal realities where the former is independent of our perception while the latter is assembled from the former by means of fragmentary bits of interpretation. Theories do not tell us how the noumenal (...) world is constituted but are conceptual constructs applying to models generated in the phenomenal world within limited contexts. -/- The ontology of quantum theory principally rests on the view that entities in the world are pervasively correlated with one another not by means of probabilities as in the case of the classical theory, but by means of probability amplitudes involving finely tuned phases characterising the oscillatory behaviour of quantum mechanical states. -/- The amplitude-dependent correlations (quantum entanglement) exist over and above the classical ones expressed in terms of probabilities. While the classical correlations are essentially local in nature, quantum correlations are shared globally in the process of environment-induced decoherence. The decoherence is an effectively random process that removes local correlations in the course of global sharing of entanglement—the removal being especially manifest in the case of systems that appear as classical ones. It is this aspect of the decoherence process that makes the so-called measurement postulate (one relating to wave function collapse) cohere with the rest of the principles of quantum theory where the latter implies a Schrodinger type time evolution of quantum mechanical systems. -/- The mathematical basis of the quantum correlations consists of the description of pure states of a system in terms of vectors in a linear vector space (a mixed state appears as an admixture of pure states with some probability distribution associated with it) and, in addition, the description of (pure) states of composite systems as vectors in the product space arising from the component sub-systems. -/- The crucial aspect of the decoherence process, of significance in the context of the apparent incompatibility of the measurement postulate with the unitary Schrodinger evolution, relates to the fact that it is almost instantaneous in the case of a classical object (one that is nevertheless amenable to a quantum description). Indeed, the decoherence time is, in all likelihood, of the order of the Planck scale, being driven by field fluctuations in the Planck regime. This points to factors of an unknown nature determining the finest details of the decoherence process since Planck scale physics remains an obscure terrain. -/- In other words, quantum theory is, to all intents and purposes, in the need of a radical revision, in keeping with the fact that all theories are defeasible and need revision as our domains of experience expand and get realigned in a complex manner. The context within which quantum theory (and quantum field theory too) is defined is set precisely by the Planck scale, across which a novel theoretical framework is likely to emerge. However, as in the case of theory revisions in general, that emerging theory will stand in an asymmetric relation of incommensurability with the present-day quantum theory, where the concepts of the latter will be comprehensible in terms of those of the former, but the converse will not hold. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown (...) to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle (...) in Posterior analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt (...) what may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema. Drawing on the work of Arend Heyting and Michael Dummett, I present two objections to classical mathematical semantics, with the aim of creating an opening for an alternative interpretation. With (...) this accomplished, I then make the case for intuitionism as a suitable candidate to fill this void. (shrink)

Can we find propositions that cannot rationally be denied in any possible world without assuming the existence of that same proposition, and so involving ourselves in a contradiction? In other words, can we find transworld propositions needing no further foundation or justification? Basically, three differing positions can be imagined: firstly, a relativist position, according to which ultimately founded propositions are impossible; secondly, a meta-relativist position, according to which ultimately founded propositions are possible but unnecessary; and thirdly, an absolute position, according (...) to which such propositions are necessary. In this short essay I show that under the premise of modal logic S5 with constant domain there are ultimately founded propositions and that their existence is even necessary, and I will give some reasons for the superiority of S5 over other logics. (shrink)

No shield can protect scientific realism from dealing with the quantum measurement problem. One may be able to erect barriers around the observable or classical, preserving a realism about tables, chairs and the like, but there is no safety zone within the quantum realm, the domain of our best physical theory. The upshot is not necessarily that scientific realism is in trouble. That conclusion demands further arguments. The lesson instead may be that scientific realists ought to stake their (...) case on particular interpretations of quantum theory. In any case, the realist can’t ignore the interpretational issues plaguing quantum mechanics. (shrink)

Over the last decades, science has grown increasingly collaborative and interdisciplinary and has come to depart in important ways from the classical analyses of the development of science that were developed by historically inclined philosophers of science half a century ago. In this paper, I shall provide a new account of the structure and development of contemporary science based on analyses of, first, cognitive resources and their relations to domains, and second of the distribution of cognitive resources among collaborators (...) and the epistemic dependence that this distribution implies. On this background I shall describe different ideal types of research activities and analyze how they differ. Finally, analyzing values that drive science towards different kinds of research activities, I shall sketch the main mechanisms underlying the perceived tension between disciplines and interdisciplinarity and argue for a redefinition of accountability and quality control for interdisciplinary and collaborative science. (shrink)

In what way might the new classicism gain support from evolutionary theory? My rough answer is that evolutionary theory can help defend a return to more classical artistic standards and also explain why classical standards are not simply imposed by social conditioning or by powerful elites, but arise naturally from something more fundamental in the human constitution. Classical standards and themes are an expression of our evolutionary history. The mind can be seen as a biological organ or (...) function, produced by evolutionary selection pressure. The most arguable and interesting expression of this point of view is that which says that the human mind is more like a Swiss army knife than a general-purpose computer or sponge for information. Our minds are modular. First propounded by Jerry Fodor, the idea was taken up by evolutionary psychologists and fleshed out with a history. Evolution has given us cognitive modules, partly self-contained mental “machines” that are attuned to solving problems with a narrowly defined domain. Darwinian evolution has shaped our minds in particular ways that fundamentally affect our evaluation of everything we perceive and therefore our appreciation of art. I draw out a surprising implication of combining the modular view with evolution: that our aesthetic standards may, to some extent, be fragmented and not quite as universal as held by the orthodox defence of classical art. (shrink)

In all classical algebraic structures, the Laws of Compositions on a given set are well-defined. But this is a restrictive case, because there are many more situations in science and in any domain of knowledge when a law of composition defined on a set may be only partially-defined (or partially true) and partially-undefined (or partially false), that we call NeutroDefined, or totally undefined (totally false) that we call AntiDefined.

In all classical algebraic structures, the Laws of Compositions on a given set are well-defined. But this is a restrictive case, because there are many more situations in science and in any domain of knowledge when a law of composition defined on a set may be only partially-defined (or partially true) and partially-undefined (or partially false), that we call NeutroDefined, or totally undefined (totally false) that we call AntiDefined.

Abstract - Evolutionary, ecological and ethical studies are, at the same time, specific scientific disciplines and, from an historical point of view, structurally linked domains of research. In a context of environmental crisis, the need is increasingly emerging for a connecting epistemological framework able to express a common or convergent tendency of thought and practice aimed at building, among other things, an environmental policy management respectful of the planet’s biodiversity and its evolutionary potential. -/- Evolutionary biology, ecology and ethics: at (...) first glance, three different objects of research, three different worldviews and three different scientific communities. In reality, there are both structural and historical links between these disciplines. First, some topics are obviously common across the board. Second, the emerging need for environmental policy management has gradually but radically changed the relationship between these disciplines. Over the last decades in particular, there has emerged a need for an interconnecting meta-paradigm that integrates more strictly evolutionary studies, biodiversity studies and the ethical frameworks that are most appropriate for allowing a lasting co-evolution between natural and social systems. Today such a need is more than a mere luxury, it is an epistemological and practical necessity. -/- In short, the authors of this volume address some of the foundational themes that interconnect evolutionary studies, ecology and ethics. Here they have chosen to analyze a topic using one of these specific disciplines as a kind of epistemological platform with specific links to topics from one or both of the remaining disciplines. Michael Ruse’s chapter, for instance, elucidates some of the structural links between Darwinismand ethics. Ruse analyzes the Evolutionism vs. Creationism debate, emphasizing the risks run by scientists when they ideologize the scientific content of their studies. In the case of the contributions of Jean Gayon and Jean-Marc Drouin, which respectively deal with the disciplines of evolutionary biology and ecology, some central connections have been developed between these two disciplines, while reserving the option to consider in detail their topic in order to discover essential features ormeanings. Gayon analyzes the multilayered meanings of “chance” in evolutionary studies and the methodological implications that accompany such disparatemeanings. Froma similar analytical perspective, Drouin’s contribution focuses on the identification and critical evaluation of the different conceptions of time in ecology. Chance and time, factors of evolution in species and ecological systems, play a very important function in both disciplines, and these chapters help to capture their polysemous structure and development. Bryan Norton’s chapter, on adaptive environmental management, is set within an epistemological context where the Darwinian paradigm, ecological knowledge and ethical frameworks meet to give rise to practical, conservationist policies. In his contribution, Patrick Blandin pleads for the necessity of an eco-evolutionary ethics capable of fully encompassing humanity’s responsibility in the future determination of the biosphere’s evolutionary paths. Our value systems must recognize the predominant place that humanity has taken in the evolutionary history of the planet, and integrate the ethical ramifications of scientific advances in evolutionary and ecological studies. The chapter by J. Baird Callicott introduces us to a metaphorical ecological reversion with direct consequences for our moral conduct. If ecology showed that ecosystems are not organisms, recognizing organisms as a kind of ecosystem could be the basis for a new post-modern ecological ethics that lays the foundation for a better moral integration of humans with the environment. The contributions of Robin Attfield and Tom Regan delve into some of the classical issues in environmental ethics, situating them within a broader ecological and evolutionary context. Attfield’s chapter tackles the confrontation between individualistic and ecologically holistic perspectives, their different approaches to the issue of intrinsic value, and their tangled relation to monism and pluralism. Regan’s contribution ponders the criteria that allow individual beings, human and non-human, to own moral rights, the role of the struggle for existence in the relationship between species, and the logical difficulties involved in attributing intrinsic value to collective entities (species, ecosystems). Catherine Larrère’s chapter discusses the opposition between two environmental and ethical worldviews with very different philosophical centers of gravity: nature and technology. These opposing perspectives have direct consequences not only for the perception of the problems at hand and for what entities are deemed morally significant, but also for the proposed solutions. -/- To set out some foundational events in the history of evolutionary biology, ecology and environmental ethics is a first necessary step towards a clarification of their major epistemological orientations. On the basis of this inevitably nonexhaustive history, it will be possible to better position the work of the different contributors, and to build a meta-paradigm, i.e. a connecting epistemological framework resulting from one common or convergent tendency of thought and practice shared by different disciplines. (shrink)

In recent years, the scientific study of meditation and psychedelic drugs has seen remarkable developments. The increased focus on meditation in cognitive neuroscience has led to a cross-cultural classification of standard meditation styles validated by functional and structural neuroanatomical data. Meanwhile, the renaissance of psychedelic research has shed light on the neurophysiology of altered states of consciousness induced by classical psychedelics, such as psilocybin and LSD, whose effects are mainly mediated by agonism of serotonin receptors. Few attempts have been (...) made at bridging these two domains of inquiry, despite intriguing evidence of overlap between the phenomenology and neurophysiology of meditation practice and psychedelic states. In particular, many contemplative traditions explicitly aim at dissolving the sense of self by eliciting altered states of consciousness through meditation, while classical psychedelics are known to produce significant disruptions of self-consciousness, a phenomenon known as drug-induced ego dissolution. In this article, we discuss available evidence regarding convergences and differences between phenomenological and neurophysiological data on meditation practice and psychedelic drug-induced states, with a particular emphasis on alterations of self-experience. While both meditation and psychedelics may disrupt self-consciousness and underlying neural processes, we emphasize that neither meditation nor psychedelic states can be conceived as simple, uniform categories. Moreover, we suggest that there are important phenomenological differences even between conscious states described as experiences of self-loss. As a result, we propose that self-consciousness may be best construed as a multidimensional construct, and that “self-loss,” far from being an unequivocal phenomenon, can take several forms. Indeed, various aspects of self-consciousness, including narrative aspects linked to autobiographical memory, self-related thoughts and mental time travel, and embodied aspects rooted in multisensory processes, may be differently affected by psychedelics and meditation practices. Finally, we consider long-term outcomes of experiences of self-loss induced by meditation and psychedelics on individual traits and prosocial behavior. We call for caution regarding the problematic conflation of temporary states of self-loss with “selflessness” as a behavioral or social trait, although there is preliminary evidence that correlations between short-term experiences of self-loss and long-term trait alterations may exist. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology (...) look counterintuitive to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

As figurational sociologists and sociolinguists, we need to know that we currently find support from other fields in our efforts to construct a sociocultural science focused on interdependencies and processes, creating a multidimensional picture of human beings, one in which the brain and its mental and emotional processes are properly recognized. The paradigmatic revolutions in 20th-century physics, the contributions made by biology to our understanding of living beings, the conceptual constructions built around the theories of systems, self-organization and complexity, all (...) these implore that we reflect on social sciences paradigms in the light of the great changes in these other disciplines. The application of metaphors or theoretical images of complexity and figurational sociology in understanding language and socio-communication phenomena is of great use, since language is not an ‘object’, but a ‘complex’; it exists simultaneously in and among different domains. ‘Languaging’ and interaction are co-phenomena. The former exists within the latter, and the latter within the former. By visualizing, for instance, the different levels of linguistic structure not as separate entities but rather as united and integrated within the same theoretical frame, by seeing their functional interdependencies, by situating them in a greater multidimensionality that includes what for a long time was considered ‘external’ – the individual and his or her mind-brain, the sociocultural system, the physical world, etc. – and expanding in this way our classical view, we should be able to make important, if not essential, theoretical and practical advances. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona (...) fide boundaries yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. (...) In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

In this paper, I will argue that Locke is a substance dualist in the general sense, in that he holds that there are, independent of our classificatory schema, two distinct kinds of substances: wholly material ones and wholly immaterial ones. On Locke’s view, the difference between the two lies in whether they are solid or not, thereby differentiating him from Descartes. My way of establishing Locke as a general substance dualist is to be as minimally committal as possible at the (...) outset, especially with respect to the classic debates on Locke’s positions in this domain, including those concerning substrata, real essences, and the like. Nonetheless, I show that minimal commitments about Locke’s primary/secondary quality distinction are sufficient to derive some substantive conclusions about his positions on these issues, as well as that he is a general substance dualist. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, (...) algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

This essay delves into the multifaceted concept of determin-ism within the domain of physics, scrutinizing prevalent definitions and classifications. Navigating through the nuances of deterministic behavior, we distinguish it from colloquial interpretations of "non-deterministic." By examining determin-ism through the lenses of natural laws, weak determinism, and strong determinism, we unravel the intricate relationship between predictability and the underlying mathematical structures of the universe. Classical mechanics serves as an exemplar of deterministic principles, while statistical mechanics introduces complexities that challenge (...) simplistic classifications. The interplay between ignorance and non-determinism emerges as a pivotal consideration, urging a nuanced understanding of deter-ministic frameworks amidst intricate systems. In essence, this exploration seeks to reconcile the richness of deterministic behavior with the complexities inherent in the natural world. (shrink)

Kyle Stanford has recently given substance to the problem of unconceived alternatives, which challenges the reliability of inference to the best explanation (IBE) in remote domains of nature. Conjoined with the view that IBE is the central inferential tool at our disposal in investigating these domains, the problem of unconceived alternatives leads to scientific anti-realism. We argue that, at least within the biological community, scientists are now and have long been aware of the dangers of IBE. We re-analyze the nineteenth-century (...) study of inheritance and development (Stanford’s case study) and extend it into the twentieth century, focusing in particular on both classical Mendelian genetics and the studies by Avery et al. on the chemical nature of the hereditary substance. Our extended case studies show the preference of the biological community for a different methodological standard: the vera causa ideal, which requires that purported causes be shown on non-explanatory grounds to exist and be competent to produce their effects. On this basis, we defend a prospective realism about the biological sciences. (shrink)

Statistical mechanics is often taken to be the paradigm of a successful inter-theoretic reduction, which explains the high-level phenomena (primarily those described by thermodynamics) by using the fundamental theories of physics together with some auxiliary hypotheses. In my view, the scope of statistical mechanics is wider since it is the type-identity physicalist account of all the special sciences. But in this chapter, I focus on the more traditional and less controversial domain of this theory, namely, that of explaining the (...) thermodynamic phenomena.What are the fundamental theories that are taken to explain the thermodynamic phenomena? The lively research into the foundations of classical statistical mechanics suggests that using classical mechanics to explain the thermodynamic phenomena is fruitful. Strictly speaking, in contemporary physics, classical mechanics is considered to be false. Since classical mechanics preserves certain explanatory and predictive aspects of the true fundamental theories, it can be successfully applied in certain cases. In other circumstances, classical mechanics has to be replaced by quantum mechanics. In this chapter I ask the following two questions: I) How does quantum statistical mechanics differ from classical statistical mechanics? How are the well-known differences between the two fundamental theories reflected in the statistical mechanical account of high-level phenomena? II) How does quantum statistical mechanics differ from quantum mechanics simpliciter? To make our main points I need to only consider non-relativistic quantum mechanics. Most of the ideas described and addressed in this chapter hold irrespective of the choice of a (so-called) interpretation of quantum mechanics, and so I will mention interpretations only when the differences between them are important to the matter discussed. (shrink)

One of the criteria to a strong principle in natural sciences is simplicity. This paper claims that the Free Energy Principle (FEP), by virtue of unifying particles with mind, is the simplest. Motivated by Hilbert’s 24th problem of simplicity, the argument is made that the FEP takes a seemingly mathematical complex domain and reduces it to something simple. More specifically, it is attempted to show that every ‘thing’, from particles to mind, can be partitioned into systemic states by virtue (...) of self-organising symmetry break, i.e. self-entropy in terms of the balance between risk and ambiguity to achieve epistemic gain. By virtue of its explanatory reach, the FEP becomes the simplest principle under quantum, statistical and classical mechanics conditions. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds (...) of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of (...) equality and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

Physics has been slowly and reluctantly beginning to address the role and fundamental basis of the ‘observer’ which has until now also been considered metaphysical and beyond the mandate empirical rigor. It is suggested that the fundamental premise of the currently dominant view of ‘Cognitive Theory’ - “Mind Equals Brain” is erroneous; and the associated belief that the ‘Planck scale, ‘the so-called basement level of reality’, as an appropriate arena from which to model psycho-physical bridging is also in error. In (...) this paper we delineate a simple, inexpensive experimental design to ‘crack the so-called cosmic egg’ thereby opening the door to largescale extra dimensions (LSXD) tantamount to the regime of the unified field and thus awareness. The methodology surmounts the quantum uncertainty principle in a manner violating Quantum Electrodynamics, (QED), a cornerstone of modern theoretical physics, by spectrographic analysis of newly theorized Tight-Bound State (TBS) Bohr orbits in ‘continuous-state’ transition frequencies of atomic hydrogen. If one wonders why QED violation in the spectra of atomic hydrogen relates to solving the mind-body (observer) problem; consider this a 1st wrench in a forthcoming tool box of Unified Field Mechanics, UF that will soon enough in retrospect cause the current tools of Classical and Quantum Mechanics to appear as stone axes. Max Planck is credited as the founder of quantum mechanics with his 1900 quantum hypothesis that energy is radiated and absorbed discretely by the formulation, E = hv. Empirically implementing this next paradigm shift utilizing parameters of the long sought associated ‘new physics’ of the 3rd regime (classical-quantum- unified) allows access to LSXD of space; thus pragmatically opening the domain of mental action for the 1st time in history. This rendering constitutes a massive paradigm shift to Unified Field Theory creating a challenge for both the writer and the reader! (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

[ES] En recientes décadas se ha observado un renovado interés por algunos de los temas clásicos de la ontología, desde áreas de conocimiento externas a la filosofía, sin embargo, este renacimiento ontológico ha «estimulado» una multiplicidad y diversidad de teorías y concepciones «ontológicas» que ha dado como consecuencia una proliferación de «ontologías» y de interminables batallas para determinar qué tipo de «entidades» estudian sus respectivos «dominios», que a su vez se consideran autónomos e independientes entre sí, inclusive de la propia (...) ontología. En este sentido, el propósito de este trabajo es caracterizar y representar de manera adecuada estas «ontologías», dentro del marco general del debate acerca de la naturaleza de la ontología. Es así que, en la primera sección haré un diagnostico de la ontología contemporánea; en la segunda proporcionaré algunas definiciones y caracterizaciones de las principales concepciones, en especial de las denominadas «ontologías aplicadas»; y en la tercera analizaré sí estas concepciones pueden ser consideradas diversos tipos de ontología o simplemente son diversos niveles de ontología. El marco de la discusión no se centrará en confrontar todas estas nociones, sino en describirlas y analizarlas para ofrecer un enfoque sobre el estado actual de la ontología y sus problemas. [EN] In recent decades there has been a renewed interest in some of the classic themes of ontology, from areas of knowledge external to philosophy; however, this ontological revival has «stimulated» a multiplicity and diversity of «ontological» theories and concepts that has resulted in a proliferation of «ontologies» and endless battles to determine what kind of «entities» study their respective «domains», which in turn are considered autonomous and independent, even of ontology itself. In this sense, the purpose of this work is to adequately characterize and represent these «ontologies», within the general framework of the debate about the nature of ontology. Thus, in the first section I will make a diagnosis of contemporary ontology; in the second I will provide some definitions and characterizations of the main concepts, especially the so-called «applied ontologies»; and in the third I will analyze whether these concepts can be considered different types of ontology or simply are different levels of ontology. The framework of the discussion will not center on confronting all these notions, but to describe and analyze them to provide a focus on the current state of ontology and its problems. (shrink)

The utilisation of quantum theories within social science and biology is often reasonably met with dubiety. It would be even more controversial should such theories be applied to concepts under the domain of eugenics. Nonetheless, this can open up a fresh and unique understanding of theories that are usually understood by their classical structure. We will provide quantum interpretations of dysgenics and dysgenic traits from different scopes and procedures. The way dysgenic traits are in a flux with the (...) environment that they interact will be analysed as well as how they interact with each other under quantum conditions. We will also take into account of factors such as intelligence, genetic heritability, and other biological and cognitive factors and try to study their frameworks in non-classical ways. Using what we have theorised, we will also attempt to create numerical and empirical analyses of some of the theories that we have proposed. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of (...) contraposition. We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

The paper discusses an objection, put forward by - among others - John McDowell, to Kripke’s Wittgenstein’s non-factualist and relativist view of semantic discourse. The objection goes roughly as follows: while it is usually possible to be a relativist about a given domain of discourse without being a relativist about anything else, relativism about semantic discourse entails global relativism, which in turn entails subjective idealism, which we can reasonably assume to be false. The paper’s first section sketches Kripke’s Wittgenstein’s (...) ideas about semantic discourse and gives a fully explicit formulation of the objection. The second section describes and briefly discusses the formal apparatus needed to evaluate the objection - which is basically equivalent to John MacFarlane’s recent development of David Kaplan’s classic semantic framework. Finally, the third section explains in detail why the objection fails. I show that even though relativism about semantic discourse does entail a form of global relativism, the relativism in question does not entail anything like Berkeleyan or Fichtean idealism. This particular kind of relativism holds that which character (in Kaplan’s sense) is associated to a given utterance depends on what MacFarlane calls “the context of assessment”. (shrink)

Defining Artificial Intelligence and Artificial General Intelligence remain controversial and disputed. They stem from a longer-standing controversy of what is the definition of consciousness, which if solved could possibly offer a solution to defining AI and AGI. Central to these problems is the paradox that appraising AI and Consciousness requires epistemological objectivity of domains that are ontologically subjective. I propose that applying the philosophy of art, which also aims to define art through a lens of epistemological objectivity where the domains (...) are ontologically subjective, can further elucidate this unsolved question. In this sense, Art and AI and ultimately consciousness are multifaceted domains where conventional complexity theory and current philosophical approaches may be augmented by aesthetic principles ranging from classical Aristotelian essentialism to Wittgensteinian anti-essentialism. This approach of AI as art may offer novel solutions to characterising and elucidating the ciphers of consciousness and AI. (shrink)

Analytic metaphysics has become increasingly extended into the social domain. The aim of this article is critical self-reflection on the challenges of transferring the tools of analytic metaphysics from classical cases such as the very existence of abstract or composed objects to socially-contested phenomena such as gender and race. In reflecting on the status of metaphysics of race, I formulate a polemical hypothesis of misalignment according to which the tools of analytic metaphysics are not suitable for engaging with (...) complex racial phenomena and politics. In addressing this challenge of misalignment, the article sketches a perspective on critical metaphysics of race as interdisciplinary action research. (shrink)

Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...) of pluralities of summed entities) are not really explanatory; on the other hand, singular abstraction principles (in terms of single summed entities) are materially inadequate. Nonetheless, explanatory criteria of identity and conditions of existence for mereological sums are provided by classical extensional mereology independent of abstraction principles. Thus, given classical extensional mereology, the reasons why, according to Linnebo, mathematical abstracted entities are thin also hold for mereological sums. Finally, I contend that interpretational modalities can be used to characterise the process by which a subject adds sums of previously admitted entities to the domain of quantification. (shrink)