Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

The dissertation begins with a question: Are the mind and brain the same or different? -/- I spend Chapter 1 showing how this simple question leads to a philosophical puzzle known as the mind-body problem. By way of explaining the puzzle, I show that there are two demands that a satisfactory solution to the puzzle must meet – what I call the Ontological and Explanatory Demands. I also explain why ontological idealism is not an attractive solution to the (...) problem. Along the way, I refine the starting question into something more familiar to current discussions of the mind-body problem: Are phenomenal properties fundamentally the same or fundamentally different from physical properties? -/- Chapter 2 develops the impasse that contemporary philosophers find themselves in by discussing the Causal Argument against dualism and the Epistemic Argument against materialism. Neither materialism nor dualism seem capable of meeting both demands from Chapter 1. Thus, the rest of the dissertation is an exploration of a fourth, non-standard solution – neutral monism – that hopes to meet these demands. -/- Chapter 3 shows how the most popular way to develop neutral monism, called Russellian monism, does not work. The basic problem is that most ways to develop this view falls to a dilemma such that it is either incoherent or really just one of the more standard solutions to the puzzle in new dressing. The final two options – Reductionist Russellian Monism and Epistemic Russellian Monism – have the capacity to accomplish the goal of neutral monism, but the uniquely Russellian aspects of the views do nothing to help accomplish this. As such, I leave Russellian monism behind and focus on non-Russellian views. -/- Chapter 4 argues that reductionist neutral monism cannot work. Since it relies on reductionism, it faces a different dilemma. Either the phenomenal can be reduced or it cannot. If it cannot, then obviously reductionist neutral monism is false. If it can, then there is no motivation for supposing that it reduces to some neutral stuff rather than reducing to the physical. So, the only possibility is to attempt to develop an epistemic neutral monism. I spend the majority of the chapter explaining what this style of solution might look like, paying close attention to very similar types of answers known as a posteriori physicalism and the powerful qualities view. The result is that epistemic neutral monism as standardly employed also can’t be made to work, but I suggest one final possibility that relies on a conventionalist metaphysics. -/- Chapter 5 is where I develop an account of conventionalist neutral monism and explain how it avoids the common dilemma raised against Russellian monism. Here I show how a conventionalist neutral monism is both coherent and substantially different from the other solutions to the mind-body problem. -/- Chapter 6 relates the solution developed in Chapter 5 to the question raised at the beginning of the dissertation and shows how a conventionalist neutral monist ought to answer the question. This answer does two things. First, it helps explain what goes wrong with the standard understanding of the Causal Argument and the Epistemic Argument that creates the appearance of an impasse. Second, it shows how conventionalist neutral monism successfully meets the demands developed in Chapter 1. (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)

Abstract. The neutral monism suggested by Constantin Rădulescu-Motru was a theoretical frame intended to match the general idea of Kant’s apriorism with the results reached by physics and psychology at the beginning of the 20th Key words: transcendental aesthetic; consciousness in general; empirical consciousness; psychophysical parallelism; phenomenal ontology; scientistic ontology.

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes (...) of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

The task of this chapter is to investigate and assess Grossmann’s view of the ontological status of categories. It has two dimensions. Because Grossmann does not offer a full discussion of the ontology of categories, we first need to present an interpretation of his view. Our point of departure is Grossmann’s claim that a category is a fundamental property of being (which implies that he holds view 3 above). Our second task is to assess the adequacy of his view. (...) We do this by raising some problems with Grossmann’s account, offering as an alternative view a version of 4 above, and defending it against what we construe as Grossmann’s possible counter-arguments. We argue that the best way to view categories themselves is as ontologically neutral insofar as this opens the way for particular categories to be linguistic entities, mental acts, or properties of extra-mental things. This requires, in turn, a qualified defense of two views rejected by Grossmann—common natures and modes of being. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Recently, an information-theoretic structural realist theory of the self and consciousness has been put forward (Beni, M. D. 2019. Structuring the Self, Series New Directions in Philosophy and Cognitive Science. Palgrave Macmillan). The theory is presented as a form of panpsychism. I argue against this interpretation and show that Beni’s structuralist theory runs into the hard problem of consciousness, in a similar way as the Integrated Information theory of consciousness. Since both of these theories are structuralist and based on the (...) notion of information, I propose to use a solution that has been employed for Integrated Information Theory, namely introducing the distinction between extrinsic and intrinsic structure and dynamics (intrinsic information and intrinsic structure). Making these metaphysical enhancements to Beni’s structuralist theory of consciousness will give the theory a better chance of overcoming the hard problem. In terms of the metaphysics of consciousness, it takes us beyond physicalism. I then suggest that the information-theoretic structuralist theory of consciousness should, instead of panpsychism and physicalism, be combined with neutral monist ontology which is a better fit. These reworkings could lead to an improved naturalistic account of consciousness – the neutral-structuralist theory of consciousness and the self. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...) for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

The aim of this thesis is to propose a deflationary approach towards the ontological analysis of physical theories. Such an approach sustains that the development of ontologies for physical theories must be neutral relatively to the debate between realists and anti-realists in philosophy of physics. Mainly, our attention will be oriented towards what we called "quantum domain", which includes the non-relativistic Quantum Mechanics and variants of the Quantum Field Theory. This meta-ontological approach consists in an attempt to provide (...) a methodology for the development of specific ontologies for physical theories. With this aim we suggest the separation between physical phenomena and physical theories on one side, and physical theories and ontologies on the other side. This separation intends to endorse the idea that physical theories can provide all the informative contents required for the development of the ontologies associated with them. The result is a defense of the idea that physical theories can positively contribute for the constitution of the ontologies in physics. Additionally, we present a critical analysis of four different ontological approaches to QM and QFT. Each one of these interpretations deals with a different ontological category (tropes, events and processes). At the end of the thesis we will analyze the concepts of interaction and commutation in QFT in order to exemplify the main lines of the deflationary approach suggested here. (shrink)

What marks emergence as a metaphysically interesting idea is that many macro-level entities and their properties are ontologically and causally autonomous in relation to the micro-level entities and properties they depend on---or so argues Jessica Wilson in Metaphysical Emergence (2021). To do so, she adopts a “metaphysically highly neutral” (p. 32) approach to questions about powers, causation, properties, and laws. That is, while explaining what emergence is and arguing that there is indeed emergence in the natural world, she doesn’t restrict (...) her analyses and arguments to any specific metaphysical accounts of these concepts, and she doesn’t commit to any controversial theses about them. In this article, I assess Wilson’s project against this methodological ideal of metaphysical neutrality. (shrink)

The Infectious Disease Ontology (IDO) is a suite of interoperable ontology modules that aims to provide coverage of all aspects of the infectious disease domain, including biomedical research, clinical care, and public health. IDO Core is designed to be a disease and pathogen neutral ontology, covering just those types of entities and relations that are relevant to infectious diseases generally. IDO Core is then extended by a collection of ontology modules focusing on specific diseases and pathogens. In this paper we (...) present applications of IDO Core within various areas of infectious disease research, together with an overview of all IDO extension ontologies and the methodology on the basis of which they are built. We also survey recent developments involving IDO, including the creation of IDO Virus; the Coronaviruses Infectious Disease Ontology (CIDO); and an extension of CIDO focused on COVID-19 (IDO-CovID-19).We also discuss how these ontologies might assist in information-driven efforts to deal with the ongoing COVID-19 pandemic, to accelerate data discovery in the early stages of future pandemics, and to promote reproducibility of infectious disease research. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental (...) Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking. (shrink)

In a recent paper, Justin D’Ambrosio (2020) has offered an empirical argument in support of a negative solution to the puzzle of Macbeth’s dagger—namely, the question of whether, in the famous scene from Shakespeare’s play, Macbeth sees a dagger in front of him. D’Ambrosio’s strategy consists in showing that “seeing” is not an existence-neutral verb; that is, that the way it is used in ordinary language is not neutral with respect to whether its complement exists. In this paper, we offer (...) an empirical argument in favor of an existence-neutral reading of “seeing”. In particular, we argue that existence-neutral readings are readily available to language users. We thus call into question D’Ambrosio’s argument for the claim that Macbeth does not see a dagger. According to our positive solution, Macbeth sees a dagger, even though there is not a dagger in front of him. (shrink)

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. We (...) examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

The Parmenides poses the question for what entities there are Forms, and the criticism of Forms it contains is commonly supposed to document an ontological reorientation in Plato. According to this reading, Forms no longer express the excellence of a given entity and a Socratic, ethical perspective on life, but come to resemble concepts, or what concepts designate, and are meant to explain nature as a whole. Plato’s conception of dialectic, it is further suggested, consequently changes into a value-neutral (...) method directed at tracing the interrelation of such Forms, an outlook supposedly documented in certain passages on method from the Sophist and the Statesman as well. -/- The article urges that this reading is untenable. For in the Parmenides the question for what entities one should posit Forms is left open, and the passages on method from the Sophist and Statesman neither encourage a non-normative ontology nor a value-neutral method of inquiry. What the three dialogues encourage us to do is rather to set common opinions about the relative worth and value of things aside when conducting ontological inquiries; and this attitude, the article concludes, demonstrates a close kinship, rather than a significant difference, between Plato’s Socrates and his Eleatic philosophers. (shrink)

This article clarifies three principles that should guide the development of any cognitive ontology. First, that an adequate cognitive ontology depends essentially on an adequate task ontology; second, that the goal of developing a cognitive ontology is independent of the goal of finding neural implementations of the processes referred to in the ontology; and third, that cognitive ontologies are neutral regarding the metaphysical relationship between cognitive and neural processes.

[This is a commentary article on Michel Bitbol's TA: "The Tangled Dialectic of Body and Consciousness: A Metaphysical Counterpart of Radical Neurophenomenology".] -/- A summary of the major metaphysical positions reveals them to be variable enough that they do not deny experience to the researcher. Further, Merleau-Ponty’s intra-ontology and related terms are fleshed out.

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent things, (...) as they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (shrink)

Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing exists. The result can (...) then be strengthened to the conclusion that infinitely many things exist. Those things are not just all Gödel codes of sentences but rather all natural numbers. Against this background inclusive negative free logic collapses into noninclusive free logic, which collapses into classical logic. The consequences for ontological deflationism with respect to truth are discussed. (shrink)

This chapter investigates whether signs and their action, semiosis, are real. It critically surveys three arguments. The first argument consists in holding that semiosis must be real, because denying the reality of signs is self-defeating. This self-confirming status seems to imply that semiosis is the very means by which we partition the mind-independent and mind-dependent. One would then need to clarify this ontological neutrality or priority. The second argument consists in identifying an instance of sign-action that is mind-independent. (...) Instead of searching for abiotic semiosis, a more parsimonious approach is to ask whether we want reality to be what exists apart from minds in general or apart from human minds specifically. If we adopt the latter view, and if the action of signs can be shown to take place in the non-human realm, this would show that semiosis does not depend on us. One would then need to explain how humans can interpret all this while putting themselves out of the equation, so to speak. The third argument consists in saying that, despite its initial plausibility, the mind-dependent and mind-independent division is not clear-cut. This is because some conventional patterns can be informationally compressed in ways that are practically indistinguishable from genuinely mind-independent patterns. One would then need to clarify how the mind-dependent/mind-independent divide can admit of such hybrid cases. (shrink)

Many have argued that the question, “Why is there something rather than nothing?” (henceforth: the Question) is defective in some way. While much of the literature on the Question rightly attends to questions about the nature and limits of explanation, little attention has been paid to how new work in metaontology might shed light on the matter. In this paper I discuss how best to understand the Question in light of the now common metaontological commitment to quantifiers that vary in (...) metaphysical naturalness. I show that proponents of this view have arguments at their disposal that appear to challenge the metaphysical substantivity of the Question. Then I argue that, not only are there ways to resist these arguments, the arguments do not pose a challenge to the Question if it is construed in a way that makes reference to many quantifiers. Rendering the Question with multiple quantifiers not only allows one to grant the prima facie substantivity of the Question, but allows us to express it in a way that is mode-of-being-neutral and ontology-neutral—an independently desirable aim. (shrink)

One of the basic principles of the general definition of information is its rejection of dataless information, which is reflected in its endorsement of an ontological neutrality. In general, this principles states that “there can be no information without physical implementation” (Floridi (2005)). Though this is standardly considered a commonsensical assumption, many questions arise with regard to its generalised application. In this paper a combined logic for data and information is elaborated, and specifically used to investigate the consequences (...) of restricted and unrestricted data-implementation-principles. (shrink)

The supposition that Wittgenstein's Tractatus advances a certain metaphysics has given rise to a controversy over the ontological status of his Tractarian objects. It has been debated, for instance, whether these objects consist only of particulars or of both particulars and universals; whether they are physical, phenomenal, or phenomenological entities; and whether they correspond to Russell's objects of acquaintance or Kant's phenomena and substance. In this essay, I endorse Ishiguro's view that these objects, being formal concepts, are ontologically neutral (...) and thus are not identifiable with any ontological kind of entities. I elaborate on the coherence of this view with the propositional dependence of the meaning of Tractarian names. After showing why some arguments for ascribing a Russellian theory of meaning to these names do not work, I demonstrate why Ishiguro's account of Tractarian objects and names provides a better explanation of the unalterability of these objects. (shrink)

This essay expands on Barry Smith’s paper “Against Fantology” of 2005, which defends the view that analytic philosophy has throughout its history been marked by a tendency to conceive the syntax of first-order predicate logic as a key to ontology. I present fantology (or "F(a)ntology") in the light of a more general and in itself ontologically neutral operation that I call a default ontologization of a language. I then discuss Quine’s views, since he is the most outspoken fantologist in the (...) second half of the twentieth century. As Smith points out, “fantology sometimes takes the form of a thesis according to which the language of standard predicate logic can serve the formulation of the truths of natural science in a uniquely illuminating way”. Hence Quine’s doctrine according to which the ontological commitments of a theory become evident only when the theory has been regimented in fantological clothing. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

The title of this paper reflects the fact that truthmaking is quite frequently considered to be expressive of realism. What this means, exactly, will become clearer in the course of our discussion, but since we are interested in Armstrong’s work on truthmaking in particular, it is natural to start from a brief discussion of how truthmaking and realism appear to be associated in his work. In this paper, special attention is given to the supposed link between truthmaking and realism, but (...) it is argued that this link should not be taken too seriously, as truthmaking turns out to be, to a large extent, ontologically neutral. Some consequences of this are studied. (shrink)

ABSTRACT. Thought experiments about de se attitudes and Jackson’s original Knowledge Argument are compared with each other and discussed from the perspective of a computational theory of mind. It is argued that internal knowledge, i.e. knowledge formed on the basis of signals that encode aspects of their own processing rather than being intentionally directed towards external objects, suffices for explaining the seminal puzzles without resorting to acquaintance or phenomenal character as primitive notions. Since computationalism is ontologically neutral, the account also (...) explains why neither Lewis’s two gods nor Mary’s surprise in the Knowledge Argument violate physicalism. (shrink)

This study advances a refutation of Physicalism. It demonstrates that it cannot, coherently, be maintained. An alternative approach based on Husserl’s ‘transcendental ego’ is developed. This is an account where the physical world is constituted by a freely acting self from a phenomenology that is ontologically neutral. By doing so, the, so-called, ‘hard problem’ of consciousness is dissolved. It will be shown that the self is compelled to attribute moral and aesthetic value to the world that it has constituted. The (...) determinism that Physicalism engenders is shown to lead to a nihilism that makes all knowledge impossible. Genuine personal responsibility for action, is asserted within strict limits. A position is outlined that gives a role to the self in causation and one that entails the possibility of panpsychism. (shrink)

Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Never- theless there is a widespread opinion that this internalization of classes is harmless. In this context, it is common to refer to the conservativeness of (...) NBG in relation to ZF as a sufficient condition to understand those theories as “equivalent”, attributing a sense of virtuality to the use of classes quantified in NBG. We believe, however, that a technique used to estab- lish relationships between theories is not necessarily neutral in relation to its results - so a conservativeness established through models have different meaning and depth of that rela- tionship established by finitary interpretations. We believe, therefore, that the way in which relationships between theories are established influences the analysis result. In the case of the relationship between NBG and ZF, since NBG is finitely axiomatizible and ZF not, we believe that we have sufficient reasons to assert that the use of different analysis tools may re- veal differences such as expressiveness, ontological commitment and logical conservativeness. Therefore, this project aims to clarify the relationship between these two theories through triangulations between them and the different analysis tools. The use of finitary techniques, in this case, may prove greater expressiveness and ontological commitment of NBG in relation to ZF - relation obscured by an infinitary approach. We believe that, through this research, we can contribute to the debate on the basis of mathematics, denaturalizing the supposedly “equivalent” use of NBG and ZF for this purpose. (shrink)

This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the (...) “facticity” of in each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (shrink)

Despite the seemingly neutral vantage of using nature for widely-distributed computational purposes, neither post-biological nor post-humanist teleology simply concludes with the real "end of nature" as entailed in the loss of the specific ontological status embedded in the identifier "natural." As evinced by the ecological crises of the Anthropocene—of which the 2019 Brazil Amazon rainforest fires are only the most recent—our epoch has transfixed the “natural order" and imposed entropic artificial integration, producing living species that become “anoetic,” made to (...) serve as automated exosomatic residues, or digital flecks. I further develop Gilles Deleuze’s description of control societies to upturn Foucauldian biopower, replacing its spacio-temporal bounds with the exographic excesses in psycho-power; culling and further detailing Bernard Stiegler’s framework of transindividuation and hyper-control, I examine how becoming-subject is predictively facilitated within cognitive capitalism and what Alexander Galloway terms “deep digitality.” Despite the loss of material vestiges qua virtualization—which I seek to trace in an historical review of industrialization to postindustrialization—the drive-based and reticulated "internet of things" facilitates a closed loop from within the brain to the outside environment, such that the aperture of thought is mediated and compressed. The human brain, understood through its material constitution, is susceptible to total datafication’s laminated process of “becoming-mnemotechnical,” and, as neuroplasticity is now a valid description for deep-learning and neural nets, we are privy to the rebirth of the once-discounted metaphor of the “cybernetic brain.” Probing algorithmic governmentality while posing noetic dreaming as both technical and pharmacological, I seek to analyze how spirit is blithely confounded with machine-thinking’s gelatinous cognition, as prosthetic organ-adaptation becomes probabilistically molded, networked, and agentially inflected (rather than simply externalized). (shrink)

Cinema is neither neutral nor a universal medium. Particularly in African contexts, cinema contributes to European exceptionalism, imposes European values as the norm, and acts as an instrument of cultural and psychological control. It seems that African cinema is ontologically, politically, and aesthetically Eurocentric. By introducing an intercultural philosophical approach to the realm of cinema, we aim to move away from Eurocentrism in African cinema towards a more intercultural and dialogical orientation as an input for the liberation of humanity. Based (...) on findings from a dramaturgical analysis of five films, we argue that African cinema shows a deficiency in communicating liberation and it often fails to portray African people’s values, will, and interests as it has been alienated from its nature and purpose. Overall, African cinema seems to be either in a state of assimilation or confusion. By exploring aesthetics of liberation in African cinema and art (as described in African and intercultural philosophy,) we search for alternative film aesthetics and a mode of filmmaking that seeks to liberate the image and the minds of the filmmakers and spectators of African cinema. Inspired by Kimmerle’s aesthetic-ethic alternative ‘Living (with) art’, we propose an alternative for critical filmmaking based on aesthetics of liberation with an intercultural orientation: Living cinema. Living cinema is a dialogical and liberational cinema with aesthetics of liberation at its core. Based on aesthetic-ethic principles of African philosophy and interculturality, the liberating function of living cinema can be found in reconnecting the aesthetics and filmmaking with African values. Simultaneously, it might be contributing to the liberation of world cinema as it has an impact on both the hegemonic and the suppressed cinema. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

Through Heidegger’s re-reading of Descartes, this article explores a fundamental issue in the contemporary conception of worldliness. In a restricted sense, the human being is the maker of the world in that he appropriates what composes it, i.e., the worldly beings or things. Greatly influenced by the Cartesian notion of extensio, this tendency no longer entails the world as a thing in itself, but as a set of measurable things, thus available and open to activity. This article articulates the threat (...) relative to the idea of the forming, by the human being, of the essence of the world. Every being, be it an object, an animal or even a human being, seems to be considered as a producer of energy and a structure that could be possessed. For example, such natural space is not campaign or land, but automatically field, that is to say, an agricultural deposit that is symbolically exploited and empirically exploitable. This ontological device prevents us from grasping the world in any other way than in terms of use and productivity. As a result, the ontology of the thing becomes an aesthetic issue in its own right. This issue does not involve here the capture of the object as a bearer of Beauty, but an aesthetic relation in the fundamentally etymological sense (αἰσθητικός) of what is felt, of what is sensible and perceptible. The need for an aesthetic rereading of the world and the things that stand in it presupposes, therefore, the evolution of the human gaze and a metaphysical approach to worldliness, detached from the instrumentalization of the beings and focused on their presence or their proximity. This article aims at demonstrating the necessity of a real human aesthetic responsibility, which can be concretized in the metaphysical thought of the thing that the human being unfolds, by considering it as the persistence in the world of an object whose ontological disposition could never be neutral. (shrink)

This article is a feminist intervention into the ways that disability is researched and represented in philosophy at present. Nevertheless, some of the claims that I make over the course of the article are also pertinent to the marginalization in philosophy of other areas of inquiry, including philosophy of race, feminist philosophy more broadly, indigenous philosophies, and LGBTQI philosophy. Although the discipline of philosophy largely continues to operate under the guise of neutrality, rationality, and objectivity, the institutionalized structure of (...) the discipline implicitly and explicitly promotes certain ontologies, epistemologies, and methodologies as bona fide philosophy, while casting the ontologies, epistemologies, and methodologies of marginalized philosophies as mere simulacra of allegedly fundamental ways of knowing and doing philosophy and thus rendering these marginalized philosophies more or less expendable. This article is designed to show that legitimized philosophical discourses are vital mechanisms in the problematization of disability. (shrink)

The claim that there is “no alternative”, to contemporary neoliberal capitalism is widespread today. This paper proposes a reinterpretation of the notion of reification to scrutinize the alleged necessity of the capitalist social order. Developed by Georg Lukács, the problem of reification refers to the experience of social arrangements as thinglike entities rather than as products of social construction. By addressing the problem of reification within a social ontology of forms of life, the occurrence of reification is understood as resulting (...) from the normatively neutral self-presentation of the capitalist form of life. To de-neutralize social norms that shape the capitalist form of life, this paper argues that social critique should turn to shared standpoints from which reification is experienced as a problem. Such standpoints can be found in social practices that are already involved in shared, normatively imbued forms of life beyond the reified logic of the capitalist form of life. Hence, it is argued that alternative forms of life are positioned to de-reify the norms that guide the capitalist form of life at large. (shrink)

A standard way of representing causation is with neuron diagrams. This has become popular since the influential work of David Lewis. But it should not be assumed that such representations are metaphysically neutral and amenable to any theory of causation. On the contrary, this way of representing causation already makes several Humean assumptions about what causation is, and which suit Lewis’s programme of Humean Supervenience. An alternative of a vector diagram is better suited for a powers ontology. Causation should be (...) understood as connecting property types and tokens where there are dispositions towards some properties rather than others. Such a model illustrates how an effect is typically polygenous: caused by many powers acting with each other, and sometimes against each other. It models causation as a tendency towards an effect which can be counteracted. The model can represent cases of causal complexity, interference, over-determination and causation of absence (equilibrium). (shrink)

In this paper, we examine two conceptions of the application of logic and assess their comparative merits. The first is a platonist monist conception that characterizes the logical consequence relation as an abstract relation among propositions. We argue that this proposal, which insists on logic’s topic neutrality, accommodates very well the objectivity of logic. From this perspective, there are no constraints on particular topics. As a result, we have the universality that allows us to go through a wide scope (...) of contexts where logic is applied. In contrast, a non-platonist pluralist conception is examined, and it characterizes the variety of logical consequence relations as concrete, context-dependent in particular cases, and topic-dependent. As will become clear, this conception is particularly well suited to make room for the applications of logic. We conclude that, in order to solve the ontological debate about logic, we need to go beyond its applications. (shrink)

Scholars have wrestled with "consciousness", a major scholar calling it the "hard problem". Some thirty-plus years after the Towards a Science of Consciousness, we do not seem to be any closer to an answer to "What is consciousness?". Seemingly irresolvable metaphysical problems are addressed by bootstrapping, provisional assumptions, not unlike those used by logicians and mathematicians. I bootstrap with the same ontology and epistemology applicable to everything we apprehend. Here, I argue for a version of the unity of opposites, a (...) form of neutral monism. Something exists because of what it is not; nothing can exist by itself, singularities (analogous to monads), expressing the model. Applying this most fundamental law to the consciousness problem, the physical (movement) comes into being simultaneously as the mental (stasis), each displayed by a field that is variegated (ranging from creative to entropic processes). Such is in keeping with how the singularity emerged as our universe, the same form that may account for sub-Planck-scale phenomena. Overall, like the most fundamental law, deep structures are imminent in our universe, both as objects and processes. (shrink)

In his work on the open future, Patrick Todd outlines three models of how to deal with future contingents. These models must answer two questions: one metaphysical, about what facts there are in the world; one semantic, about how to deal with sentences involving ‘will.’ Model 1 has a privileged timeline. Model 2 has an actual future timeline but leaves it indeterminate which timeline that is. Model 3 has no future timeline. All three give will-sentences a modal treatement, as a (...) box over available futures. I will argue that Todd’s second model has problems and should be improved. The first is that it denies what Todd labels as the basic metaphysical intuition behind open-futurism. The second is that indeterminacy about the facts that characterize the actual timeline breaks through into indeterminate identity. I propose a fix to model 2 eliminating its actual future and resolving an issue that arises in applying the neutral semantics Todd endorses to indeterminate sentences. This improved model, I suggest, may even compare favorably to Todd’s preferred model 3. (shrink)

Is there a distilled, core, phenomenal feel that sits at the heart of conscious experience? In a usual debate about consciousness, there are often two sides involved: the physicalist, who reminds us that many mysteries of the past have now been shown to have been entirely misguided notions as our scientific understanding of the world has advanced, and the anti-physicalist, who emphasizes that consciousness stands apart since our very understanding of science is filtered through the senses, making consciousness the very (...) existence one cannot possibly doubt. Clearly, regarding the topic of consciousness, even the explanandum is heavily debated, and perhaps finding a neutral explanandum is practically impossible, even if one believes in a perfect separation of facts and theory. By pointing out the limitations of both physicalist and non-physicalist ontologies, this paper explores the possibility of a neutral explanandum and argues even if one exists, it has an elusive nature. (shrink)

It is proposed that conscious qualia arise when and only when the 'running' of physical processes takes a special, complex form. Running in general is the unified unfolding of processes through time, and is claimed to be an additional quality of physical processes beyond their state trajectories. The type of running needed for conscious qualia is reflexive in physically affecting and responding to itself. Intuitively, running is essentially the flow of causation, and the self-affecting/responding is a matter of causation bearing (...) a causal relationship to itself: that is, causation can itself be reflexive. The proposal potentially makes temporal qualia the most fundamental qualia, with others derivatively arising. The proposal is neutral about whether a conscious process occurs in a natural organism, in a physically implemented computational system, or in some other physical substrate, as long as the substrate involves the special reflexive runningness. (shrink)

This paper explores Kant’s account of propositional content and its implications for the relationship between his notions of knowledge (Wissen) and cognition (Erkenntnis). While previous commentators commonly read Kant as holding a Fregean theory of propositional content, in this paper I argue that Kant’s theory of propositional content aligns more closely with Peter Hanks’ recent account. According to my reading, Kant holds that individual acts of judging are both ontologically and explanatorily prior to propositions or Kantian judgments (Urteil). Furthermore, on (...) my reading, acts of judging for Kant are acts of assertively predicating a property of an object rather than merely acts of neutral predication. This reading challenges the lately popular view that Kant’s notions of knowledge and cognition are not only distinct but also disjunct. I instead suggest that we should regard Kantian knowledge that requires cognitions as its grounds as a species of Kantian cognitions. (shrink)

At the beginning of the Russian Federation’s attack on Ukraine in February 2022, the European Union put up massive resistance, but due to its sudden overload, it was unable to deal with the situation adequately. It was in a state of paralysis for some time. Therefore, five explanatory models for the Russian actions are presented: an offensive, a defensive, a situational, a socio-cultural, and an ideological-historical one. It is then shown that the German term Gewalt, which combines the English terms (...) violence, power, and force ontologically, is best suited to summarize and describe all these models. It is also shown that Gewalt is a neutral, fundamental human concept that can be described as one of the basic driving forces of man. By piercing society, Gewalt constitutes an impulse, a motivation that stimulates and fuels the individual and society in toto. This leads to what we call Progressus, which depends on four variables – group desire, potential means of violence and force, group aims and objectives, as well as group comparison and evaluation. Progressus is inherent in all persons and in all societies. It can be analyzed and managed in a variety of different ways. Combined with the foundation of Gewalt, seen as neutral agent in varying levels of intensity, Progressus forms a matrix for efficient analysis to describe positive and frictional interaction, establishes social relations from friendship up to war; and this between individuals, groups and/or states. How this is possibly implemented in practice is described at the end using an example from the previously presented explanatory models. (shrink)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show how (...) Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (shrink)

I demonstrate that Deleuze's identification of Aion as an empty form offers a fascinating model of temporality that prioritises variation. First, I suggest that Deleuze's identification of time as an empty form is supported by ancient Greek and Gnostic concepts of the relation of Aion and Chronos. From Plato, through Aristotle, to Plotinus the concept of time undergoes substantive revision, in the sense that temporal measurement becomes removed from the measurement of existent entities. This gradual untethering of time from movement (...) gives rise to the development of the concept of eternity as an ontologically comprehensive mode of time that is devoid of content. It is here, with Deleuze's reading of the Platonic cosmology, that we see the first hints of the suggestion that Aion is involved with ontogenesis. Eternity is characterised as: a temporal ‘all’ that is non-reducible to the determinacy implied by any particular temporally localised existent or temporal series ; that which tends towards a diversity of possible states of affairs. Perhaps one of the most interesting aspects in the long history of Aion is that – in the ancient world – it was used in magical incantations. For the Gnostics and Oracles, Aion was a deity, and a potent one at that. From the Gnostic papyri, we get a vision of Aion as a force which enjoys eternal realisation. I suggest that the papyri conjure an image of Aion as a deity that is liberated from time, in the sense that it enjoys a neutrality with respect to the movements of any particular entity or group of entities – a form, in the most general sense of the term. Then, to clarify this mercurial aspect of an empty form of time, I elaborate on a complex analogy between Aion and Deleuze's concept of an ‘ideal game’ – an analogy that Deleuze specifies through reference to Fitzgerald and Borges. The claim is that Aion is an analogue of an ideal game in the sense that both share essential properties. Both Aion and the ideal game involve the multiplication of chance. Finally, I suggest that the differential aspects of Aion imply that it is pure variability; something which can be illustrated through a differential equation. These yield the suggestion that Aion enjoys realisation as an ontogenetic force. I further claim that ontogenetic forces may enjoy expression as the content of literature and mathematics. In concrete terms, temporality is involved in the creation of existent entities, which may be illustrated as various types of continuous multiplicity. (shrink)

This paper examines a recent proposal for reviving so-called resemblance nominalism. It is argued that, although consistent, it naturally leads to trope theory upon examination for reasons having to do with the appeal of neutrality as regards certain non-trivial ontological theses.