Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book (...) states that model theory and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

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)

Abstract: This article considers how the formal structure of metaphysical thought is displayed in Oscar Wilde's Importance of Being Earnest . One frequent aim of metaphysics is to understand the world as a whole. We cannot gain such a global vantage point without separating ourselves from all the particular meanings things have for us within the world. But we start within the world, and so can only proceed on the basis of those particular meanings. Consequently we can only (...) separate ourselves from them if they work to cancel themselves in favor of the global understanding. When the separate range of meanings is established, however, it and the world it aims to understand no longer have any meaning for each other. Metaphysics therefore succeeds by establishing and canceling its relevant meaning, all at once. This self-canceling moment or process of thought constitutes a grasp of the world as a whole. It also allows different understandings of reality as a whole to recognize and so enter into dialogue with each other. The climactic moments of The Importance of Being Earnest are structured as a map of this insight-granting process of the self-cancellation of a global range of meanings. That is, they express the formal structure of metaphysical thought. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

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)

What is the metaphysical significance of what Brentano has shown us about intentionality? It is the fact that intentional phenomena have logical or structural features that are not shared by what is not psychological. It was typical of British empiricism, particularly that of Hume, to suppose that consciousness is essentially sensible. The objects of consciousness were thought to be primarily such objects as sensations and their imagined or dreamed counterparts. In the Psychologie vom empirischen Standpunkt, Brentano makes clear that intentional (...) phenomena need not be sensible. He is aware that, even if intentional phenomena are always accompanied by sensible or sensational phenomena, they are not themselves sensational or sensible phenomena. And the presence of certain intentional attitudes is at least as certain and indubitable for us as is the presence of our sensations. If I make a certain judgment or ask myself a certain question, then I can know directly and immediately that I make that judgment or ask that question. (This is not to say, of course, that every intentional attitude may be the object of such certainty. Perhaps there is a sense in which you may be said to like or to dislike a certain thing without realizing that you like or dislike that thing.) If I can know directly and immediately that I am making a certain judgment, then, I can know what it is to make such a judgment. And if I know what it is to make a judgment, then, in making the judgment I can know directly and immediately that there is a certain individual thing - namely, the one who makes the judgment. Arid I, of course, am the one who makes my judgments and does my thinking. The same is true, obviously, of my other intentional activities - such activities as wondering, fearing, hoping, desiring, considering, liking and disliking. (shrink)

In the Tractatus 4.126 Wittgenstein introduces the notion of a formal concept which, he says, needs to be distinguished from the notion of a proper concept, i.e. a concept such as that of “man” which has an ordinary empirical application. The sense in which formal concepts are formal is not that they have anything in particular to do with formal logic or logical form, but that they are concerned with what Wittgenstein called the “form of representation”. (...) That is to say that they are concerned with the ways in which expressions can represent the world. To put it in another way, they are concerned with the use or application to which expressions might be put. Now, it is well known that for the Wittgenstein of the Tractatus it was impossible to say anything about the form of representation of any expression: this could only be shown. Hence Wittgenstein calls these formal concepts “pseudo–concepts”, meaning by this not that there are not such concepts, but that they are incompatible with his theory. (shrink)

Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 2 Seiten: 196-233.

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, (...) the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes. (shrink)

The Received View on quantum non-individuality is, roughly speaking, the view according to which quantum objects are not individuals. It seems clear that the RV finds its standard expression nowadays through the use of the formal apparatuses of non-reflexive logics, mainly quasi-set theory. In such logics, the relation of identity is restricted, so that it does not apply for terms denoting quantum particles; this “lack of identity” formally characterizes their non-individuality. We face then a dilemma: on the one hand, (...) identity seems too important to be given up, on the other hand the RV seems to require that identity be given up. In this paper we shall discuss how the specific characterization of the RV through non-reflexive logics came to be framed. We examine some of the main objections to this version of the RV and argue that they are misguided under this specific “non-reflexive” understanding of the RV. Finally, we shall also argue that this non-reflexive view is not the only option for a metaphysical articulation of the RV: less radical approaches to identity and logic are open. In particular, some of these alternative approaches to the RV we present may be immune to most of the criticisms presented against the non-reflexive approach. (shrink)

The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, (...) 50139 Florence, Italy Laura Crosilla, Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT UK Steven French, Department of Philosophy, University of Leeds, Leeds, UK Décio Krause, Department of Philosophy, Federal University of Santa Catarina, 88040-900 Campus Trindade, Florianópolis, SC Brazil Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796. (shrink)

Annotation A central piece of Suarez's (1584-1617) metaphysics, which is considered important because it was not a commentary on Aristotle, and was used in universities and by both his fellow Jesuits and Protestant scholars and theologians for centuries. He deals with the formal principles of the nature of material substances, that is, their substantial form, which is central to his interpretation of Aristotelian realism. Annotation c. Book News, Inc., Portland, OR (booknews.com).

According to Bruineberg and colleagues, philosophical arguments on life, mind, and matter that are based on the free-energy principle (FEP) (1) essentially draw on the Markov blanket construct and (2) tend to assume that strong metaphysical claims can be justified on the basis of metaphysically innocuous formal assumptions provided by FEP. I argue against both (1) and (2).

What is the relationship between formal, “general” logic and transcendental logic? Is the former prior to the latter or is it the other way round? Can the one be deduced and derived from the other or based upon it? There is a widespread controversy among philosophers concerning these questions. In any case, most of them accept the assumption that one of these logics should be prior to the other. As for me, I don’t accept this assumption at all, and (...) in this paper I attempt to show that such a priority is impossible, since the two logics are but different uses or employments of the same understanding. (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)

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)

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)

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)

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).

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 latest volume in the long-running Marquette University series Medieval Philosophical Texts in Translation provides students of late medieval, renaissance, and early modern philosophy with an important new resource. While Suárez’s significance in the history of philosophy is well known, his writings have been rather inaccessible to students ignorant of Latin. Of the 54 disputations that constitute his most famous work, the Metaphysical Disputations, only 13 have been translated into English prior to the volume under review. The present volume presents (...) Suárez’s extended discussion of the issue of substantial and accidental forms. In addition to the translation itself, the translators provide a brief introduction, indices, a brief bibliography restricted to works in English as well as basic notes. Most of these notes identify sources and provide basic explication of difficult arguments and technical terms. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

The authors explore Carnap’s (1931) famous critique of Heidegger’s metaphysics and argue that, from the perspective of contemporary formal semantics of natural language, Carnap’s criticism is not convincing. Moreover, they provide direct empirical objections to Carnap’s criticism. In particular, using empirical evidence from languages like Russian that have negative concord, they show that Heidegger cannot be accused of assigning illegitimate logical forms to his sentences about Nothing because terms like “Nothing” can be used non-quantificationally and the fact that (...) it is not clear how their reference is established cannot be the reason why the corresponding sentences are ungrammatical (as Carnap seemed to suggest). The authors also critically discuss the view that natural language is insensitive to meaninglessness or contradiction. With reference to the work of J. Gajewsky, they show that this view is not true either. As a result of this investigation, they arrive at a position that an appeal to ungrammaticality like the one proposed by Carnap does not provide legitimate evidence against metaphysics. This conclusion relates to some recent criticism of the so-called non-analytical philosophers that can be traced back to Carnap’s paper. (shrink)

Descartes is often identified as having fired one of the opening shots of the scientific revolution: rejecting the four Aristotelian causes in favor of the efficient causes characteristic of mechanistic science. Scholars often write as if Cartesian science and corporeal metaphysics is best understood as a rejection of all causal notions other than the efficient. I argue that this is a mistake. On the contrary, Descartes endorses an avowedly Aristotelian notion of formal causality, inherited from Suárez, and this (...) notion is central to his physics and corporeal metaphysics. -/- I begin by tracing the history of the formal cause from Aristotle to Aquinas and Suárez. My main thesis here is that the Aristotelian notion of formal causation picks out two distinct explanatory modes. The first is linked to hylomorphic ontology, and so by rejecting hylomorphism Descartes rejects one sort of formal causation. Crucially, however, the Aristotelians also identify explanations from essence as a species of formal causality. Now, Descartes’s entire philosophical project is built upon the intellectual perception of the essences of God, mind, and matter; the uncovering and exercise of this broadly Platonic intellectual capacity is, as Descartes explained to Hobbes, a key raison d’être for project of the Meditations. So we might expect Descartes to embrace formal causal explanations from essence, which harmonize so thoroughly with his philosophical project. And indeed, this is what we find. This is most obvious in the case of the ontological argument. In the course of defending the claim that God is causa sui, Descartes explicitly appeals to formal causation and claims to be only be “following in the footsteps” of Aristotle. Thus, there is a Cartesian notion of formal causation that is both continuous with and distinct from its Aristotelian predecessors. -/- Other cases are less obvious, but no less important. For example, one of the most strikingly “modern” aspects of Cartesian physics is its emphasis on quantitative laws. Yet Descartes’s official account of how these laws explain particular phenomena is puzzling: He claims that the laws are causes. This, however, is prima facie absurd; Descartes seems to claim that the law of inertia is literally pushing the moon forward along its orbital path. I argue that this is not and cannot be what Descartes means. On the contrary, he clearly takes the laws of physics to follow from the divine essence, especially immutability and simplicity. The laws are true and epistemically accessible to us because they follow from the divine essence. In other words, Descartes thinks nomological explanation in physics is formal causal explanation from (the divine) essence. -/- Another central issue is the impenetrability, or solidity, of matter. I offer a close reading and reconstruction of Descartes’s argument that matter is necessarily but not essentially impenetrable, and I show how Descartes accounts for impenetrability without compromising his mathematical conception of the corporeal. Descartes argues that impenetrability follows from the nature of matter as geometrical extension, thereby reducing a paradigmatic quality of matter (its solidity) to quantity (extension). Note that the explanatory bite throughout is from essence. Thus, while solidity is not a genuine corporeal causal power, it does give bodies an ineliminable causal role in Cartesian physics and corporeal metaphysics. This role is as a formal cause, since every explanation from impenetrability is ipso facto an explanation from the corporeal essence, geometrical extension. This, in turn, shows that Descartes has a principled response to idealists, like Berkeley, who claim that matter’s lack of efficient causal power implies idealism; Berkeley’s mistake, Descartes would argue, lies in equating efficient causality with causality simpliciter. -/- Thus, I argue that formal causal explanation from essence is both well-attested textually in Descartes and is consonant with some of his deepest projects and commitments, including his Platonic intellectualism and mathematization of the corporeal. All this in mind, it is shocking how little attention has been paid to formal causation in Descartes’s metaphysics. If I am right, a thorough re-thinking of Descartes’s physics and metaphysics is long overdue. (shrink)

The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as (...) aspects of \mathematical understanding." Meanwhile, in a branch of computer science known as \formal ver- ication," the practice of interactive theorem proving has given rise to software tools and systems designed to support the development of com- plex formal axiomatic proofs. Such eorts require one to develop models of mathematical language and inference that are more robust than the the simple foundational models of the last century. This essay explores some of the insights that emerge from this work, and some of the ways that these insights can inform, and be informed by, philosophical theories of mathematical understanding. (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)

Integrated Information Theory stands out as one of the most promising theories for dealing with the hard problem of consciousness. Founded on five axioms derived from phenomenology, IIT seeks for the physical substrate of consciousness that complies with such axioms according to the criterion of maximally integrated information. Eventually, IIT identifies phenomenal consciousness with maximal Φ or, what is the same thing, with the strongest cause-effect power in the system. Among the scholars critical of this theory, some point to the (...) so-called Intrinsicality Problem, namely that consciousness cannot be an intrinsic property of the system because maximal Φ crucially depends on the possible existence of bigger values of Φ if the initial system is appropriately linked to or embedded in larger systems. Although proposals in the recent literature aim to solve the IP by going beyond reductionism and physicalism, none of them tackle the real issue, i.e., the insufficiency of IIT’s causal-metaphysical structure. This papers endeavors to provide a solution to the IP in IIT within a hylomorphist ontology that includes formal causation. Complementing IIT with formal causation provides the theory with a criterion of individuation that solves the IP and, by relaxing identification between maximal Φ and consciousness, it lends a more robust metaphysical structure. To wit, maximal Φ is a necessary but not sufficient condition for the existence of consciousness. (shrink)

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to (...) other extant metametaphysical positions. (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 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)

It is accepted that certain mereological concepts and phenomenological conceptualisations presented in Carl Stumpf’s Über den psychologischen Ursprung der Raumvorstellung and Tonpsychologie played an important role in the development of the Husserlian formal ontology. In the third Logical Investigation, which displays the formal relations between part and whole and among parts that make out a whole, one of the main concepts of contemporary formal ontology and metaphysics is settled: ontological dependence or foundation (Fundierung). My main objective (...) is to display Stumpf’s concepts of partial content, independent content, spatial wholes, sound wholes, and the different kinds of connection among parts, in particular, fusion (Verschmelzung). Second, I will show how Husserl improved this background, in particular with regards to the exact nature of the theory of manifolds (Mannigfaltigkeitslehre), in discussion with Georg Cantor, the father of set theory. Third, I will focus on Ingarden’s use of formal ontology and on the different modes of being that can be justified by appealing to the concept of ontological dependence in its Ingardenian variations. If my interpretation is adequate, it should be inferred that formal ontology is the operative theory of phenomenological philosophy, and this must be acknowledged in its full significance with respect to the supposed independence of the phenomenological method since 1913. A further consequence, not developed in this essay, is that formal ontology can be mathematised. (shrink)

In the past years, the relevance of Thomas Aquinas's theory of cognition for contemporary debates on epistemology has been widely discussed. That theory claims that mind and world are formally identical and that this relationship overcomes various problems associated with scepticism concerning mental representation. The proposal, however, is grounded on the idea that the world can act on the mind through a relation of formal causation. This thesis attempts to develop a Thomistic theory of formal causation which may (...) be suitable for a realist account of mental representation and which may meet the requirements prompted by current discussions. The suggested view is grounded on Aquinas's metaphysics, according to which the world is constituted of substances. The claim that change is possible since substances are hylomorphically constituted is defended. Aquinas's claim that some substances have forms which may act independently of matter is also supported. The paradigmatic examples are human souls, i.e. the forms of human beings, whose higher cognitive capacity, i.e. thinking, can be in principle carried on without the need of any material organ. A Thomistic theory of causation is subsequently proposed. It is argued that hylomorphism explains the distinction among four species of causes. Aquinas's attempt to explain causal relations conditionally is developed along the lines suggested by John Mackie's INUS conditional analysis. Jaegwon Kim's implementation of Mackie's proposal through an object-based metaphysics of events is then adapted to the hylomorphical account of substances. On these grounds, a theory of formal causation can be proposed and applied to Aquinas's theory of mental representation. The ensuing proposal is offered not in the spirit of historical exegesis but as a substantive philosophical account and it is Thomistic only in the broad sense that it is built on Aquinas's metaphysics and is consistent with his claims on causation. (shrink)