The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find it (...) difficult to prove that higher-order properties can be causally significant without violating the causal laws that operate at lower physical levels. They also face the problem of circularity and incoherence in their explanation. In our article we show that these problems can be overcome only if DC is understood in terms of formal rather than physical (efficient) causality. This breakdown of causal monism in science opens a way to the retrieval of the fourfold Aristotelian notion of causality. (shrink)

The handout of my talk at the Nordic Network in Metaphysics webinar on Friday 2/10/2020.

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from (...) science in much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

We aim to compile some means for a rational reconstruction of a named part of the start-over of Baruch (Benedictus) de Spinoza's metaphysics in 'de deo' (which is 'pars prima' of the 'ethica, ordine geometrico demonstrata' ) in terms of 1st order model theory. In so far, as our approach will be judged successful, it may, besides providing some help in understanding Spinoza, also contribute to the discussion of some or other philosophical evergreen, e.g. 'ontological commitment'. For this text (...) we assume the reader familiar with 'de deo' as well as with some basic concepts and results of 1st order model theory. Before we start reconstruction, we will first revisit shortly the concept of 'attributum' (definitio IV) in it's setting in 'de deo' , next scan for formalizable aspects of 'in suo genere finita' ('de deo', definitio II), subsequently list the model theoretic constructs we will make use of. Then we begin reconstruction by stating "coordinative definitions" for the notions of 'attribute (of a substance)', 'modus (as conceived via an attribute)' and 'substance (as conceived via an attribute)', reasoning shortly for each of them. The "coordinative definitions", we will arrive at, must not be understood as literal translations of Spinoza's concepts - of course, there can't be such a thing as a literal translation - they are meant as formal analoga of these concepts, mapping some logical structure. But even with this caveat they may seem strange to the reader at this stage of discussion. Additional justification for them then should be found in our endeavour, to map some argumentation of Spinoza's proofs of some of his propositions from this starting point. -/- [ Version 1 of this paper originated from 2020-03-14. This is version 2 from 2021-09-12 with some readability amendments. ]. (shrink)

Aristotle, in his Metaphysics, not only tries to establish a relationship that is direct, coherent, inter-operational and "precise" between this science, its name as a science, and its object of study, but also begins an indignation that tries to set a science — materially adequate and formally correct — to study τὸ ὂν ᾗ ὂν. In order to complete this task, Aristotle does an in-focus strategy that consists on the diffusion of τὸ ὄν in its categories, that allows Aristotle (...) the possibility of formulate a science ἐπιστήμη to study τὸ ὂν ᾗ ὂν at the same time that supports the diffusion of τὸ ὄν in the "different categories or supreme genres" of τὸ ὄν. Due to this argumentation, Aristotle distinguishes the ἐπιστήμη σοφία of any other type of knowledge: the former is fundamentally an enquiry "about the first causes (πρῶτα αἴτια) and the principles (ἀρχὰς)". With this conception in mind, Aristotle was able to characterize several related forms of the ἐπιστήμη σοφία which, as a whole, eventually allow him to establish a science of the principles and causes "maximally universal and referred to…everything real", and in consequence, to "that that is, as long as something is". In this work, I will try to reconstruct such arguments, and offer some observations and conjectures referred to these notions that plausibly incline the scale in favor of an ontological reading of Aristotle’s Metaphysics, in order to contribute to clarify the confusion that exists between the aim of the discipline with the justification to establish the existence of its own object. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs (...) are bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...) be to someone to have an objectivist conception of the meaning of life and what would be to someone to have a subjectivist one; and, then, I try to show how we can think in formulas that can capture the intuitions of those conceptions, without acquiring commitment with none of them. My way is to show that both objectivist and subjectivist conceptions think the meaning of life as related to projects or realizations that fulfill principles of value (the value can be objective or subjective according to the adopted conception), and ten I try to indicate that the projects or realizations from a person’s life come together through a simple sum to make the meaning of life of such a person’s life. The way I suggested for us to find the value of one of those realizations does not seem to present none theoretical problem. But the simple sum of realizations (and/or projects) to represent the value of the meaning of a person’s life simply did not work. That’s because it seems to lack some kind of index that is able to formalize the relations between realizations. Thus, although we couldn’t properly formalize the relation between the realizations that achieve the meaning of someone’s life at a certain moment, we get a good intuitive formalization of the value of a realization and we hope to have started an interesting investigation for future logicians, metaphysicians, mathematicians and theorists of value. (shrink)

This work explores the hypothesis that subjectively attributed meaning constitutes the phenomenal content of conscious experience. That is, phenomenal content is semantic. This form of subjective meaning manifests as an intrinsic and non-representational character of qualia. Empirically, subjective meaning is ubiquitous in conscious experiences. We point to phenomenological studies that lend evidence to support this. Furthermore, this notion of meaning closely relates to what Frege refers to as "sense", in metaphysics and philosophy of language. It also aligns with Peirce's (...) "interpretant", in semiotics. We discuss how Frege's sense can also be extended to the raw feels of consciousness. Sense and reference both play a role in phenomenal experience. Moreover, within the context of the mind-matter relation, we provide a formalization of subjective meaning associated to one's mental representations. Identifying the precise maps between the physical and mental domains, we argue that syntactic and semantic structures transcend language, and are realized within each of these domains. Formally, meaning is a relational attribute, realized via a map that interprets syntactic structures of a formal system within an appropriate semantic space. The image of this map within the mental domain is what is relevant for experience, and thus comprises the phenomenal content of qualia. We conclude with possible implications this may have for experience-based theories of consciousness. (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do (...) recommend, however, ending the discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms (...) of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and physiology, which are (...) examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I (...) argue that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

In this talk, I propose a new account of ontological form, formal ontological relations, modes of being and hence of specifying the subject matter of metaphysics.

In this paper, we argue that formal ontological relations avoid Bradley's reductio of relations, including his famous relation regress.

: In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object, the metaphysical exposition (...) will show that this representation is secondary to space considered as an original, undetermined and as such unrepresentable intuitive manifold. Now, following Kant, the representation of any kind of object involves diversity, synthesis and unity. In the case of our representation of space as formal intuition, this involves, firstly, a manifold a priori, i.e. space as pure form, delivered by the transcendental Aesthetic, secondly, a figurative, productive synthesis of that manifold, and, thirdly, the unity provided by the categories. Analysing our given representation of space – the task of the metaphysical exposition – amounts to dismantling its unity and determine its characteristics with respect to the categories. (shrink)

What follows is going to be an exercise in elemental metaphysical observation and reflection. No special mystical, devotional or intellectual powers will be required: merely the ability to think slowly and carefully and clearly. -/- This short series is for anyone who wants to explore some simple lines of thought based in objective and sceptical self-observation at the most elemental level possible. Some paragraphs might occasionally be written in formal philosophical language, but if so these will always be followed by (...) explanations in the plainest of everyday terms such that anyone with an interest in the subject will be able to understand them. (shrink)

Metaphysicians play an important role in our understanding of the universe. In recent years, physicists have focussed on finding accurate mathematical formalisms of the evolution of our physical system - if a metaphysician can uncover the metaphysical underpinnings of these formalisms; that is, why these formalisms seem to consistently map the universe, then our understanding of the world and the things in it is greatly enhanced. Science, then, plays a very important role in our project, as the best scientific formalisms (...) provide us with what we, as metaphysicians, should be trying to interpret. In this thesis I examine existing metaphysical views of what a law is (both from a conceptual and from a metaphysical perspective), to show how closely causation is linked to laws, and to provide a priori arguments for and against each of these positions. Ultimately, I aim to provide an analysis of a number of metaphysics of natural laws and causation, apply these accounts to our best scientific theories, and see how these metaphysics fit in with our concepts of cause and law. Although I do not attempt a definitive metaphysical account myself, I conclude that any successful metaphysic will be a broadly Humean one, and furthermore that given the concepts of cause and law that shall be agreed upon, Humean theories allow for there to be causal sequences and laws (in line with our concepts) in the world. (shrink)

This dissertation seeks to demonstrate that Proclus articulates a metaphysics not merely compatible with his polytheism, but to which in fact polytheism is integral. For Proclus the One Itself, which according to the First Hypothesis of the Parmenides neither is, nor is one, is instead as each henad, that is, as each God. The henads or Gods thus form a multiplicity unlike any other. Ontic multiplicities always exhibit mediation, in accord with a logic subordinating the many to the one. (...) Correlatively, ontic unity is formal unity, structured by a logic of wholes and parts. These are the dominant characteristics of the realm of Being. The huperousios, or "supra-essential" domain of the Gods, by contrast, is that of a multiplicity of absolute individuals with no totalizing principle over them and no reciprocal relations between them, insofar as either of these would diminish that quality which they pre-eminently possess, namely unity. The supreme form of unity in Proclus' universe, therefore, is the individuality possessed by each absolutely unique God. Chapters 1--4 are concerned with elucidating the nature of the Gods as such. ;The last three chapters provide a close reading of the third, fourth and fifth books of Proclus' Platonic Theology, which I read as an account of the emergence of ontic unity out of henadic unity through the Gods' progressive self-diremption by which a space of mediation is constituted through which they come ultimately to be conceivable as a multiplicity like any other. The key stages in this process are the ontic hypostases of Being, Life and Intellect. The first represents the analysis of the "elements" of each God as such; the second represents the positing of the Gods in co-emergent groupings or pantheons; the third the emergence of fully reciprocal relations in the actions of mythic narrative. At the end of this cosmogonic process, the basic intellectual structures have been constituted which allow the formulation of the philosophical system. The relationship between the Gods and Being is thus embodied in that between myth and dialectic, theology and philosophy. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Kant's theory of transcendental ideas can be conceived as a sort of model theory for an empirical first-order object theory. The main features of Kant's theory of transcendental ideas (especially its antinomies and their solutions) can be recognized, in a modified way, in a religious discourse as exemplified in the dialogue of Jesus and the Samaritan woman (John 4). In this way, what is by Kant meant merely as regulative ideas obtains a sort of objective reality and becomes a religiously (...) founded metaphysics. A metaphysical theory of religious dialogue is formalized on the basis of an extended justification logic of evidence and wish agents. (shrink)

[This is a paper that was originally written in 2017 and doesn't represent Silva's current thinking about the relation between belief and degrees of confidence. See On Believing and Being Convinced for more.] Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the metaphysical relation between belief and credence. It is (...) generally assumed that a Lockean metaphysics of belief that reduces outright belief to degrees of confidence would immediately effect a unification of coarse-grained epistemology of belief with fine-grained epistemology of confidence. Scott Sturgeon has suggested that the unification is effected by understanding the relation between outright belief and confidence as an instance of the determinable-determinate relation. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of “mistuned knowledge”—knowledge and rational belief in the absence of rational confidence. We contend that there are genuine cases of mistuned knowledge and that, therefore, epistemological unification must forego token identity of belief and high confidence. We show how partial epistemological unification can be secured given determination of outright belief by degrees of confidence even without token-identity. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

Despite its enormous practical success, many physicists and philosophers alike agree that the quantum theory is full of contradictions and paradoxes which are difficult to solve consistently. Even after 90 years, the experts themselves still do not all agree what to make of it. The area of disagreement centers primarily around the problem of describing observations. Formally, the so-called quantum measurement problem can be defined as follows: the result of a measurement is a superposition of vectors, each representing the quantity (...) being observed as having one of its possible values. The question that has to be answered is: how this superposition can be reconciled with the fact that in practice we only observe one value. How is the measuring instrument prodded into making up its mind which value it has observed? Among some alternatives to resolve the above QM measurement problem, a very counterintuitive one was suggested by Hugh Everett in his 1955 Princeton dissertation, which was subsequently called the Many-Worlds Interpretation of QM (MWI). In this paper we will not discuss all possible scenarios to solve the measurement problem, but we will only shortly discuss Everett’s MWI, because it has led to heated debates on possibility of multiverses, beyond the Universe we live in. We also discuss two alternatives against MWI proposal: (a) the so-called scale symmetry theory, (b) the Maxwell-Dirac isomorphism. In last section, we also discuss shortly MWI hypothesis from philosophical perspective. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Ontology and theology cannot be combined if ontology excludes non physical causes. This paper examines some possibilities for ontology to be combined with theology in so far as non physical causes are permitted. The paper builds on metaphysical findings that shows that separate ontological domains can interact causally indirectly via interfaces. As interfaces are not universes a first universe is allowed to be caused by an interface without violating the principle of causal closure of any universe. Formal theology can therefore (...) be based on the assumption that the (first) universe is caused by God if God is defined as the first cause. Given this, formal theology and science can have the same ontological base. (shrink)

In this essay, our goal is to discover science in Martin Heidegger's Introduction to Metaphysics, lecture notes for his 1935 summer semester course, because, after all, his subject is metaphysica generalis, or ontology, and this could be construed as a theory of the human brain. Here, by means of verbatim quotes from his text, we attempt to show that indeed these lectures can be viewed as suggestion for an objective scientific theory of human perception, the human capacity for deciphering (...) phenomena, ie. hermeneutics in its broadest sense. His added notes from the 1953 edition, all of which are comments, not corrections, imply that he never abandoned these thoughts on metaphysics, despite all of his utterances about a need to overcome it, and their popular interpretations to that effect. In his presentation, he further develops the colorful and intuitive style, an hermeneutic language, that he had created in his earlier work Being and Time. Of human existence he speaks in such expressions as being-there -- ``Dasein" -- and being-in-the-world, the latter term no longer explicit in the 1935 lectures. The lectures can be read as a pre-scientific analysis of how man, being-there, perceives his environment, artfully managing to deal with the manifold challenges posed by the phenomenal structures of the universe. Man attentively recognizes and deciphers their pre-linguistic contents and, while trying to make sense of it all, puts into words his awareness. There are numerous passages in Heidegger's work where he in fairly concrete terms provides us with hints for a perceptive science that, as it turns out and is demonstrated below in this essay, can be explained in terms of recent advances in neuroscience. It would be implausible, even unthinkable, unimaginable, for there not to be found essential agreement between on one hand his philosophical insights gained by hermeneutics of Dasein, into how our brain functions to let us know what's happening & on the other hand, scientific discoveries obtained through anatomy, EEG, fMRI, TMS, electrode implants, etc, of brain structures & functions employed in perception of the momentary scene. A nexus between science and philosophy is provided in Heidegger's definitive treatment of the Logos, here interpreted as a structural version of Platonic forms (Burchard, 2014). This allows for neurolinguistic brain functions to serve as meta-context for Heidegger's being-in-the-world. The logical functions of Dasein's anatomical brain are performed by the logos machine, formerly the human soul, using top-down processing based on a global context, the noumenal cosmos which humans maintain internally. Heidegger's 1942/43 winter semester lectures Parmenides extend in unbroken fashion his 1935 work, proving that he never abandoned, as is widely claimed, his metaphysical avenue of thought. (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...) get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out something's propria. This last kind (...) of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki,” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk and of the entire Phenomenology movement. The text also contains many hints at Chwistek’s own philosophical and formal ideas. The book that Chwistek reviews attracted wide attention and was instrumental in winning Ingarden a position as Professor of Philosophy at the University of Lwów in 1933. Chwistek’s alienation from his fellow logicians (...) of the Lvov-Warsaw school is clear from his ridicule of Leśniewski’s project. (shrink)

This paper offers a new interpretation of Spinoza's doctrine of parallelism. It argues Spinoza reinterprets the ancient doctrine of metaphysical sympathy among ostensibly disconnected and distant beings in terms of fully intelligible relations of 1) identity between formal and objective reality, and in terms of 2) "real identity," grounded in Spinoza's substance-monism. Finally, the paper argues against the standard reading of mind-body pairs as "numerically identical".

I propose that metaphysical study is initially indifferent to the truth of Metaphysical Realism about Metaphysics (MRM) and Metaphysical Realism and does not presuppose them. Metaphysical Realism is a metaphysical doctrine the truth of which cannot be settled logically prior to metaphysical investigation. MRM presupposes Metaphysical Realism and therefore, one should not hold MRM uncritically. An epistemological consequence of this is that arguments against the possibility of cognition about metaphysically real entities (by e.g., Hume) are not arguments against the (...) epistemic legitimacy of metaphysics without further arguments for MRM. This paper is also a case study of the philosophical significance of having rich enough acquaintance with the history of philosophy, the recent history included. (shrink)

In this paper, I address the question of whether metaphysics and theology are or can become science. After examining the qualities of contemporary science, which evolved from an earlier historic concept of any body of literature into a formal method for obtaining empirical knowledge, I apply that standard to metaphysics and theology. I argue that neither metaphysics nor theology practices a scientific method or generates scientific knowledge. Worse, I conclude that both metaphysics and theology are at (...) best purely cultural projects—exercises in exegesis of local cultural and religious ideas and language—and, therefore, that other cultures have produced or would produce radically different schemes of metaphysics or theology. At its worst, metaphysics is speculation about the unknowable, while theology is rumination about the imaginary. (shrink)

The following is an interpretation of Aquinas’ agent intellect focusing on Summa Theologiae I, qq. 75-89, and proposing that the agent intellect is a metaphysical rather than a formal a priori of human understanding. A formal a priori is responsible for the intelligibility as content of the object of human understanding and is related to Kant’s epistemological views; whereas a metaphysical a priori is responsible for intelligibility as mode of being of this same object. We can find in Aquinas’ text (...) many indications that the agent intellect is not productive of the universal as content but is, rather, productive of the abstracted or intelligible mode of being of the universal nature. This is because for Aquinas the universal nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. Chapter 1 is intended to establish the fact which requires for Aquinas an agent intellect, and provides two very important principles: one is that the object of human understanding (the universal nature) is present in the things themselves and, the other, that it is not in the things themselves with a mode of being which makes it available to the intellectual eye. These two principles lead us to the main point of Chapter 2, namely the distinction between the intelligible object and its intelligible mode of being. Now, because knowing is receptive of the intelligible object (Chapter 3), which is present in the things themselves (Chapter 1), the agent intellect is productive not of the object’s intelligible content, but of its abstracted or intelligible mode of being (Chapter 4). (shrink)

It is not uncommon in educational research and social science in general either to eschew the word truth or to put it in scare quotes in order to signify scepticism about it. After the initial wave of relativism in the philosophy of natural science, a second wave has developed in social science with the rise of postmodernism and poststructuralism. The tendency here is to relativise truth or to bracket out questions of truth. In contradistinction, this paper revindicates the metaphysical nature (...) of truth. Truth is a transcendental precondition of educational inquiry and is best understood as a formal, regulative norm. Realism about truth enjoins a defence of the correspondence theory, which is provided here. At the same time, however, the development of realism in the social sciences has ironically followed the postmodernists in its scepticism about truth and its rejection of the correspondence theory. This paper critically appraises such recent developments, since all research is unintelligible without realism about the social world and whether our substantive knowledge-claims correspond with it. (shrink)

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we (...) think the simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

In this paper I argue that, to conceive transcendence, Levinas retrieves the Platonic concept of “separation” and deploys it in three ways: metaphysically, semantically, and affectively. Levinas finds in the interaction between being and the Good beyond being of Republic VI 509b a certain “formal structure of transcendence”—one in which a term is conditioned by another while remaining absolutely separated from it. This formal structure is subsequently deployed metaphysically, in the relation between creator and creature; semantically, in the relation between (...) meaning and sense; and affectively, in the relation between the desiring self and its desired aim. (shrink)

This paper attempts to illustrate a process of analysis that will hopefully open a path to more complete and useful definitions of sign and symbol. It applies a form-content analysis to the metaphysical properties of these two concepts. The objective is to locate criteria necessary and sufficient to derive formal definitions for these terms. Wittgenstein’s concept of “forms of representation” is analyzed and applied to the topic. Criteria are outlined that determine the appropriateness of the sign and symbol to be (...) applied as labels. Criteria of definition are then developed using gesture, metaphor, and several other example types to illustrate the use of the criteria in distinguishing between sign and symbol. The structural organization of these two concepts proved to be especially complex and led to what some readers may find somewhat obscure. It is not our intention to be purposefully obscure. (shrink)

In this chapter I will discuss Karl Popper’s notion of metaphysical research programmes (MRPs) and apply it to contemporary cosmology. While Popper was extremely critical of Big Bang cosmology, his work on MRPs provides a potentially fruitful way of understanding the discipline in a different light. I will suggest that while cosmology does fail to meet the criteria Popper sets for a mature science, the standard model of cosmology (also known as ΛCDM) could be seen as an example of a (...) MRP. I will examine the Cosmological Principle as well as the dark matter hypothesis as prospective parts of this MRP. Finally, I will go beyond Popper’s own views and evaluate ΛCDM and its main rival, Modified Newtonian Dynamics (MOND), with the help of two methodological tools: the correspondence principle as formally explicated by E. K. Voishvillo, and Ilkka Niiniluoto’s measures of truthlikeness. The conclusion I will draw from this is that MOND is a viable and in some respects superior alternative to ΛCDM. (shrink)

The Formalist tradition in late-scholastic philosophy has gone unnoticed in standard historiography. This article’s overall objective is to add the Formalist tradition to what we know about Renaissance philosophy. I first show how the Formalist tradition was born out of some innovative considerations of hierarchies of distinctions in the wake of the Franciscan John Duns Scotus’s teaching on the formal distinction in the beginning of the fourteenth century (especially Francis of Meyronnes’s model of four distinctions and Petrus Thomae’s more elaborate (...) doctrine of seven kinds of distinctions). I then trace how Formalist literature developed from being an exclusively Franciscan affair to becoming a much more widespread phenomenon. Thus, from the decades up to 1500 and onwards, authors from various late-scholastic schools (Thomism, Lullism, Averroism, and others) produced Formalist literature, i.e., treatises on multiple kinds of distinctions. I highlight particularly how one Franciscan philosopher of the sixteenth century, Jean Du Douet, proposed to view the Formalist preoccupation with distinctions as a discipline in its own right, a proper scientia formalitatum. I finally argue that while this proposal met with dismissive reactions, Du Douet’s idea does in fact reflect the role Formalism played in the scholastic curriculum in the late sixteenth century, at least in Franciscan milieus. (shrink)

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order logic (...) to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as (...) did Hans Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)

The present text provides a logical theory which originated in the unification of a number of well-known philosophical logics as well as the introduction and study of new operators. Further M-logic contains an object theory. With both the logical part and the object part we achieve a formal calculus that is able to express many metaphysical dogmas.

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines (...) deRosset’s challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)