-
553559.918584
This paper reconsiders the metaphysical implication of Einstein algebras, prompted by the recent objections of Chen (2024) on Rosenstock et al. (2015)’s conclusion. Rosenstock et al.’s duality theorem of smooth manifolds and smooth algebras supports a conventional wisdom which states that the Einstein algebra formalism is not more “relationalist” than the standard manifold formalism. Nevertheless, as Chen points out, smooth algebras are different from the relevant algebraic structure of an Einstein algebra. It is therefore questionable if Rosenstock et al.’s duality theorem can support the conventional wisdom. After a re-visit of John Earman’s classic works on the program of Leibniz algebras, I formalize the program in category theory and propose a new formal criterion to determine whether an algebraic formalism is more “relationalist” than the standard manifold formalism or not. Based on the new formal criterion, I show that the conventional wisdom is still true, though supported by a new technical result. I also show that Rosenstock et al. (2015)’s insight can be re-casted as a corollary of the new result. Finally, I provide a justification of the new formal criterion with a discussion of Sikorski algebras and differential spaces. The paper therefore provides a new perspective for formally investigating the metaphysical implication of an algebraic formalism for the theory of space and time.
-
553595.918638
This paper critically examines Ian Hacking’s account of looping effects and human kinds, focusing on three related arguments defended by Hacking: (1) the looping effects of human science classifications render their objects of classification inherently unstable, (2) looping effects preclude the possibility of generating stable projectable inferences (i.e., reliable predictions) based on human kind terms, and (3) looping effects can demarcate human science classifications from natural science classifications. Contra-Hacking, I argue that: (1) some objects of human science classifications (viz., biological kinds) remain stable despite the feedback generated by their classifications, (2), human science classifications that individuate biological kinds yield stable projectable inferences, and (3) looping effects are a problematic criterion for distinguishing human science classifications from natural science classifications.
-
812373.918648
[Editor’s Note: The following new entry by Sam Cowling and Daniel Giberman replaces the
former entry
on this topic by the previous author.]
Nominalism is an exclusionary thesis in ontology. It asserts that
there are no entities of certain sorts. Precisely which entities it
excludes depends on the relevant variety of nominalism, but nominalist
theses typically deny the existence of universals or abstract
entities. For those who accept nominalism, a central challenge in
metaphysics is to make sense of phenomena that anti-nominalist
theories explain via universals or abstract entities.
-
1239028.918655
‘Structural hylemorphism’ holds that the concept of structure should replace the allegedly less explanatory concept of form. Adherents do not, however, give us a precise idea of what structure is meant to be, and on analysis it is difficult to know how to define it as a replacement for form. I compare and contrast classical and structural hylemorphism. I rehearse the ‘content-fixing problem’ for structuralism about form, then set out the ‘qualitative problem’. These seem insurmountable obstacles to a viable version of structural hylemorphism. Exploration of the relation between quantity and quality shows that classical form can never be reduced to/replaced by a quantitative concept of form. In the end, structure does not capture what metaphysics requires. More radically, I suggest that there is no clear concept of what structure is. Classical hylemorphism, by contrast, gives us form in full metaphysical technicolor—adequate both for science and for fundamental metaphysics.
-
1468234.918673
The View from Everywhere is now available for those with an Oxford Scholarship Online subscription; hardcopies ship next month (but you can preorder now). I’ll probably write more about it as the print publication date approaches. …
-
1707097.91868
I argue that the thoroughly algorithmic nature of current AI systems (such as LLMs) is no obstacle to their being conscious. To this end, I present a picture on which current AI systems comprise dispositional properties which realize categorical phenomenal properties where the laKer, in turn, provide the identity conditions for their dispositional realizers. This mutual ontological dependence, or, symmetrical grounding, at the heart of the proposal yields a novel picture of (AI) consciousness that avoids epiphenomenalism and is more permissive regarding the specific nature/functional organization of conscious systems than has been previously suggested. This, in turn, suggests an epistemology of AI consciousness focused on investigating the high-level behaviours of AI systems rather than their low-level functional organization.
-
1852987.918688
In his paper, Cian Dorr presents formal development of the view that higher-order entities such as properties, relations, and propositions act not just act as semantic values of predicates and sentences, but also as referents of referential noun phrases (NPs), generally considered singular terms. Dorr’s paper focuses on properties; thus, wise as in Socrates is wise is taken to stand for the very same entity, a property, as the NPs wisdom and the property of being wise. The view entails that lots of expressions now would apply to entities of different types: some, the, is interesting now apply to entities of the type of individuals as well as the type of properties. Moreover, quantifiers like everything will now be able to range over both individuals and properties, and in fact over both individuals and properties at once (Everything is interesting). These problems are dealt with by imposing type ambiguities on the relevant expressions and allowing quantifiers like everything to be specified for sum types, roughly, a disjunctive specification of types.
-
1937795.918695
Summary. In the first part of this contribution I will present aspects and attitudes towards ’axiomatic thinking’ in various branches of theoretical physics. In the second and more technical part, which is approximately of the same size, I will focus on mathematical results that are relevant for axiomatic schemes of space-time in connection with attempts to axiomatise Special and General Relativity.
-
1971167.918701
I consider the sense in which teleparallel gravity and symmetric teleparallel gravity may be understood as gauge theories of gravity. I first argue that both theories have surplus structure. I then consider the relationship between Yang-Mills theory and Poincare Gauge Theory and argue that though these use similar formalisms, there are subtle disanalogies in their interpretation.
-
1971204.918707
We consider the class of physical theories whose dynamics are given by natural equations, which are partial differential equations determined by a functor from the category of n- manifolds, for some n, to the category of fiber bundles, satisfying certain further conditions. We show how the theory of natural equations clarifies several important foundational issues, including the status and meaning of minimal coupling, symmetries of theories, and background structure. We also state and prove a fundamental result about the initial value problem for natural equations.
-
2023722.918713
Branching time (BT) is a multipurpose label, which is mainly
used to denote (i) a family of structures (BT representations or BT
frames), possibly along with the axiomatic theories defining them,
(ii) a family of semantics for temporal and modal logics (BT
semantics); and (iii) a metaphysical conception concerning our
universe and its temporal and modal features (branching conception of
time or BT conception). In very general terms, a BT representation is a complex of
histories (or chronicles, or possible
worlds) and moments (or nodes), which purports
to represent all possible temporal developments of a given system.
-
2053135.918719
Homology is a fundamental but controversial concept in biology, referring to the sameness of biological characters across organisms. Despite its crucial role, its ontological nature has been a subject of intense debate, with a dichotomy between individualist and natural kind views. This study proposes a category-theoretic framework to reconcile these views by emphasizing the processual nature of homology. We first review major philosophical views of homology with their respective advantages and disadvantages. Next, we highlight the dynamic and evolving nature of homologs through two thought experiments. Through mathematical formulation, we then show that the individualist and natural kind views represent ordered set- and groupoid-like aspects, derived from a primary category-theoretical model based on a process-first dynamic view of homology. Our model covers a wide range of phenomena linked with homology, such as atavism, deep homology, and developmental system drift (DSD). Furthermore, it provides a unified perspective on the ontological nature of homology, overcoming the longstanding dichotomy between individuals and kinds in Western philosophy.
-
2056465.918726
Inphilosophyofscience,constitutive explanation shave attracted much attention sinceCraver’sinfluentialbookExplaining the Brain(2007).HisMutualManipulability(MM)theory of constitution aimed to explicate constitution as anon-causal explanatory relation and to demarcate between constituent sand non-constituents. But MM received decisive criticism.Inresponse,Craveretal.(2021)haverecently proposedanewtheory,called Matched Inter level Experiments(MIE),whichis currently gaining traction in various fields. The authors claim that MIE retains “the spirit of MM without conceptual confusion.”Our paper argues that this claim isnotborneout:neitherdoesMIEmeetMM’sob jectivesnorisit free of conceptual confusion.Atthesametime,we show that it is possible to meet MM’sobjectivesin aconceptuallysoundmanner—byadoptingtheso-calledNoDe-Couplingtheory ofconstitution.
-
2456918.918732
This article describes confirmation of the proposition that numbers are identified with operators in the following three steps. 1. The set of operators to construct finite cardinals satisfies Peano Axioms. 2. Accordingly, the natural numbers can be identified with these operators. 3. From the operators, five kinds of operators are derived, and on the basis of the step 2, the integers, the fractions, the real numbers, the complex numbers and the quaternions are identified with the five kinds of operators respectively. These operators stand in a sequential inclusion relationship, in contrast to the embedding relationship between those kinds of numbers defined as sets.
-
2975994.918738
I argue that we need to distinguish between three concepts of actual causation: total, path-changing, and contributing actual causation. I provide two lines of argument in support of this account. First, I address three thought experiments that have been troublesome for unified accounts of actual causation, and I show that my account provides a better explanation of corresponding causal intuitions. Second, I provide a functional argument: if we assume that a key purpose of causal concepts is to guide agency, we are better off making a distinction between three concepts of actual causation.
-
3184234.918746
In this paper we provide an ontological analysis of so-called “artifactual functions” by deploying a realizable-centered approach to artifacts which we have recently developed within the framework of the upper ontology Basic Formal Ontology (BFO). We argue that, insofar as material artifacts are concerned, the term “artifactual function” can refer to at least two kinds of realizable entities: novel intentional dispositions and usefactual realized entities. They inhere, respectively, in what we previously called “canonical artifacts” and “usefacts”. We show how this approach can help to clarify functions in BFO, whose current elucidation includes reference to the term “artifact”. In our framework, having an artifactual function implies being an artifact, but not vice versa; in other words, there are artifacts that lack an artifactual function.
-
3639525.918757
Comparative philosophy of religion is a subfield of both philosophy of
religion and comparative philosophy. Philosophy of religion engages
with philosophical questions related to religious belief and practice,
including questions concerning the concept of religion itself. Comparative philosophy compares concepts, theories, and arguments from
diverse philosophical traditions. The term “comparative
philosophy of religion” can refer to the comparative
philosophical study of different religions or of different
philosophies of religion. It can thus be either a first-order
philosophical discipline—investigating matters to do with
religion—or a second-order philosophical discipline,
investigating matters to do with philosophical inquiry into religion.
-
3812581.918763
Edith Landmann-Kalischer (1877–1951) is the author of several
significant studies on topics in the philosophy of art, aesthetics,
value, mind, and knowledge in the first half of the twentieth century. Influenced by Franz Brentano, Georg Simmel, Carl Stumpf, and Stefan
George, her studies were initiated at a time when the academic, often
tendentious borders between psychology and philosophy, like those
between aesthetics and art history, were still being drawn. While
clearly also influenced by Edmund Husserl, she takes his phenomenology
to task for its idealism and, in her view, its unfounded isolation
from the sciences, especially psychology.
-
4070739.918769
Brian Leftow’s 2022 book, Anselm’s Argument: Divine Necessity is an impressively thorough discussion of Anselmian modal metaphysics, centred around what he takes to be Anselm’s strongest “argument from perfection” (Leftow’s preferred term for an Ontological Argument). This is not the famous argument from Proslogion 2, nor even the modal argument that some have claimed to find in Proslogion 3, but rather, an argument from Anselm’s Reply to Gaunilo, expressed in the following quotation: “If … something than which no greater can be thought … existed, neither actually nor in the mind could it not exist. Otherwise it would not be something than which no greater can be thought. But whatever can be thought to exist and does not exist, if it existed, would be able actually or in the mind not to exist. For this reason, if it can be thought, it cannot not exist.” (p. 66) Before turning to this argument, Leftow offers an extended and closely-argued case for understanding Anselm’s modality in terms of absolute necessity and possibility, with a metaphysical foundation on powers as argued for at length (575 pages) in his 2012 book God and Necessity. After presenting this interpretation in Chapter 1, Leftow’s second chapter discusses various theological applications (such as the fixity of the past, God’s veracity, and immortality), addressing them in a way that both expounds and defends what he takes to be Anselm’s approach. Then in Chapter 3 Leftow addresses certain problems, for both his philosophical and interpretative claims, while Chapter 4 spells out the key Anselmian argument, together with Leftow’s suggested improvements. Chapter 5 explains how the argument depends on Brouwer’s system of modal logic, and defends this while also endorsing the more standard and comprehensive system S5.
-
4183161.918775
Let us say that a being is omnisubjective if it has a perfect first-person grasp of all subjective states (including belief states). The question of whether God is omnisubjective raises a nest of thorny issues in the philosophy of language, philosophy of mind, and metaphysics, at least if there are irreducibly subjective states. There are notorious difficulties analyzing the core traditional divine attributes—omniscience, omnipotence, and omnibenevolence—but those difficulties are notorious partly because we seem to have a decent pre-theoretic grasp of what it means for something to be all knowing, powerful, and good, and so it is surprising, frustrating, and perplexing that it is so difficult to provide a satisfactory analysis of those notions.
-
4360149.918781
trices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for QST formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed.
-
4475454.918787
Determinism is the thesis that the past determines the future, but eorts to dene it precisely have exposed deep methodological disagreements. Standard possible-worlds formulations of determinism presuppose an "agreement" relation between worlds, but this relation can be understood in multiple ways none of which is particularly clear. We critically examine the proliferation of denitions of determinism in the recent literature, arguing that these denitions fail to deliver clear verdicts about actual scientic theories. We advocate a return to a formal approach, in the logical tradition of Carnap, that treats determinism as a property of scientic theories, rather than an elusive metaphysical doctrine. We highlight two key distinctions: (1) the dierence between qualitative and "full" determinism, as emphasized in recent discussions of physics and metaphysics, and (2) the distinction between weak and strong formal conditions on the uniqueness of world extensions. We argue that dening determinism in terms of metaphysical notions such as haecceities is unhelpful, whereas rigorous formal criteria such as Belot's D1 and D3 oer a tractable and scientically relevant account. By clarifying what it means for a theory to be deterministic, we set the stage for a fruitful interaction between physics and metaphysics.
-
4475475.918793
The idea that the universe is governed by laws of nature has precursors from ancient times, but the view that it is a or even the primary - or even the primary - aim of science to discover these laws only became established during the 16th and 17th century when it replaced the then prevalent Aristotelian conception of science. The most prominent promoters and developers of the new view were Galileo, Descartes, and Newton. Descartes, in Le Monde dreamed of an elegant mathematical theory that specified laws that describe the motions of matter and Newton in his Principia went a long way towards realizing this dream.
-
4994634.918801
Whereas most scientists are highly critical of constructivism and relativism in the context of scientific knowledge acquisition, the dominant school of chemical education researchers appears to support a variety of such positions. By reference to the views of Herron, Spencer, and Bodner, I claim that these authors are philosophically confused, and that they are presenting a damaging and anti-scientific message to other unsuspecting educators. Part of the problem, as I argue, is a failure to distinguish between pedagogical con - structivism regarding students' understanding of science, and constructivism about the way that scientific knowledge is acquired by expert scientists.
-
5513866.918808
The theoretical physicist Michio Kaku ([2014]) once stated that the brain is ‘the most complicated object in the known universe’. For decades, neuroscientists have been trying to disentangle the brain’s complexity in order to understand how it can support our behaviours and mental life. In his latest book, Luiz Pessoa wants us instead to embrace the entanglement of this intricate organ, not as a way to give up on our quest to understand its workings, but as a change in strategy to better comprehend its complexity.
-
5571670.918815
Explanatory Essentialism (EE) is the view that a property is the essence of a kind because it causally explains the many properties that instances of that kind exhibit. This paper examines an application of EE to biological species, which I call Biological Explanatory Essentialism (BEE). BEE states that a particular biological origin is the essence of a species on the grounds that it causes certain organisms to display the group of properties the species is associated with. Evaluating BEE is important, as it offers a novel argument for biological essentialism—the contentious claim that biological species have essences. This paper critically assesses the empirical foundations of BEE, focusing on the presupposition that a single biological origin causes the many properties associated with the species in question. By discussing a case of cryptic species among five-toed jerboas within the Scarturus elater species complex, I challenge that presupposition, thereby arguing that cryptic species present a serious obstacle to BEE. I conclude that BEE fails to support biological essentialism and suggest that essentialist philosophers reconsider the role of causal-explanatory factors in accounting for the purported essences of biological species. These philosophers may need to explore alternatives beyond such factors, one of which I briefly outline.
-
5686955.918823
Quantum entanglement is widely regarded as a nonlocal phenomenon, but Deutsch and Hayden (2000) have recently received growing support for their claim that in the Heisenberg picture, entanglement can be characterised locally using objects they call descriptors. I argue that the notion of locality underlying this claim is a flawed version of the principle of separability that I call spatial separability. An improved version, spatiotemporal separability, reveals that their claim is false. The proposed analysis of separability also reveals the crucial feature of quantum theory that makes it “spooky” in any picture: quantum entanglement entails that there are non-qualitative properties, which are profoundly different from the qualitative properties we have come to expect from classical physics.
-
5761988.918829
This post is free to read, so please share it widely. And, as always, please ‘like’ it via the heart below and restack it on notes if you get something out of it. It’s the best way to help others find my work. …
-
6523933.918836
Nietzsche’s first book was entitled The Birth of Tragedy out
of the Spirit of Music (1872), and one of his very last works was
called The Case of Wagner: A Musician’s Problem (1888). As this simple fact indicates, reflection on art (and especially, on
music and drama) is an abiding and central feature of
Nietzsche’s thought. Indeed, very nearly all of his works
address aesthetic questions at least in passing. Some of these
questions are familiar from the philosophical tradition: e.g., how
should we explain the effect tragedy has on us? What is the relation
of aesthetic value to other kinds of value?
-
6541124.918842
Journal of the American Philosophical Association () – © The Author(s), . Published by Cambridge University Press on behalf of the American Philosophical Association. This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/ licenses/by/.), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.