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)

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)

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.

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)

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 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 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 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)

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)

[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.

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.

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)

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)

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)

The title of this paper reflects the fact 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)

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)

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)

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)

The idea that mind and body are distinct entities that interact is often claimed to be incompatible with physics. The aim of this paper is to disprove this claim. To this end, we construct a broad mathematical framework that describes theories with mind-body interaction (MBI) as an extension of current physical theories. We employ histories theory, i.e., a formulation of physical theories in which a physical system is described in terms of (i) a set of propositions about possible evolutions of (...) the system and (ii) a probability assignment to such propositions. The notion of dynamics is incorporated into the probability rule. As this formulation emphasises logical and probabilistic concepts, it is ontologically neutral. It can be used to describe mental `degrees of freedom' in addition to physical ones. This results into a mathematical framework for psycho-physical interaction (ΨΦI formalism). Interestingly, a class of ΨΦI theories turns out to be compatible with energy conservation. (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)

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)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (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)

Origen of Alexandria can be credited as the founder of a Christian speculative angelology, in which Christ the Logos is both the creator and the interpreter of the angels. He introduces the angels as the first created rational beings who, in contemplating the divine Word (Logos), freely choose to direct their will as holy angels in service to or wicked demons in antagonism against the love of God. The first created rational beings are divided into three orders: the angels, the (...) demons, and the neutral spirits of human souls. The angels remain closest in contemplation of the Logos, yet, due to their negligence, descend to unfold in the angelic hierarchy. The angels and demons thereafter guide the movements of all spirits, substances, and signs in the created world. The neutral spirits of human souls can choose to follow either the guidance of guardian angels or demons. And yet after the Incarnation, the angels are distinguished from the demons by their choice to follow Christ. Origen’s angelology has often been regarded as an early Christian alternative to Middle Platonic daemonologies. And after Karl Barth, his angelology has come to be dispensed from Christian theology. However, as Jean Daniélou has observed, Origen had previously departed from Platonic daemonology in affirming that angelic mediacy must pass away like the light of the stars before the brilliance of the Logos of Christ. He had, in this way, already assimilated the mediacy of the angels to the absolute mediation of Christ. And, in assimilating angelic to christic mediacy, Origen also attributes the reason with which the world is moved to the divine reason of the divine Word (Logos) of Christ in God. Origen’s angelology can thus be read both before and after Barth as a science of the angels. (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)

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)

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)

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)

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation or reality. If (...) inter-level causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

Arnošt Kolman (1892–1979) was a Czech mathematician, philosopher and Communist official. In this paper, we would like to look at Kolman’s arguments against logical positivism which revolve around the notion of the fetishization of mathematics. Kolman derives his notion of fetishism from Marx’s conception of commodity fetishism. Kolman is aiming to show the fact that an entity (system, structure, logical construction) acquires besides its real existence another formal existence. Fetishism means the fantastic detachment of the physical characteristics of real things (...) or phenomena from these things. We identify Kolman’s two main arguments against logical positivism. In the first argument, Kolman applied Lenin’s arguments against Mach’s empiricism-criticism onto Russell’s neutral monism, i.e. mathematical fetishism is internally related to political conservativism. Kolman’s second main argument is that logical and mathematical fetishes are epistemologically deprived of any historical and dynamic dimension. In the final parts of our paper we place Kolman’s thinking into the context of his time, and furthermore we identify some tenets of mathematical fetishism appearing in Alain Badiou’s mathematical ontology today. (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)

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)

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)

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)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: (...) [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

The proliferation of work by autistic writers continues apace, defying a long and multidisciplinary tradition of constructing autistic people as lacking the capacity for narration. To study neurodivergent literature, then, is to witness the refusal of these exclusionary narrative conventions, and to register the ideological presuppositions that underpin pathologization. In this article, I engage with recent insights from Neurodiversity Studies (especially the work of Justine Egner, Erin Manning, Julia Miele Rodas, Nick Walker, and Remi Yergeau) to explore the connections between (...) narrative neuronormativity and other discourses of oppression, especially those that have generated racialized, gendered, and colonial narratives of desubjectification. Focusing on the neuroqueer movement – an emergent practice of disidentification that refuses the interpellations of neuronormativity, ableism, heteronormativity, and cisnormativity – I discuss the concept of allism, arguing that this satirical critique of pathologization harbors a deconstructive force that denaturalizes the dialectic of recognition. Neuroqueer work on allism reveals this dialectic to be the hegemonic form of relationality that marks neurodivergence as asocial and intersubjectively non-reciprocal in order to secure a non- autistic identity. The dialectic of recognition thus instrumentalizes neurodivergence to confer normalcy and neutrality upon subjects that meet its criteria. Pursuing the discursive context and theoretical implications of this critique, I provide a short genealogy of narrative neuronormativity, connecting the operation of the dialectic in the early novel to the clinical texts of child psychology. To demonstrate the neuroqueer subversion of this tradition, I then read An Unkindness of Ghosts, by Rivers Solomon, a text that stages a disidentification with storytelling. Aster, the novel’s protagonist, is neurodivergent as well as Black, enslaved, and gender non-conforming. As she struggles against an authoritarian regime, Aster also declines to comply with the rules that would allow her to narrate her own story. Aster’s neuroqueer refusal reveals a similarity between the construction of Blackness as an ontological foil for whiteness, and the construction of autism as a standard of disordered sociality that neuronorms can be measured against. In both cases, the colonizing term articulates its supremacy via a comparison with that which it denigrates, while disavowing this dependence at all costs, dependency being inimical to free subjectivity in the liberal humanism that has shaped these procedures. My reading of Unkindness suggests that the extant techniques of literary narratorship are political instruments that, unless repurposed, will continue to disseminate these dispossessive dialectics. (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.