This article presents an ontological proof that God is impossible.I define an ‘impossibility’ as a condition which is inconceivable due to its a priori characteristics (e.g. a ‘square circle’). Accordingly, said conditions will not ever become conceivable, as they could in instances of a posteriori inconceivability (e.g. the notion that someone could touch a star without being burned). As the basis of this argument, I refer to an a priori observation (Primus, 2019) regarding our inability to imagine inconsistency (...) (difference) within any point of space. This observation renders the notion of absolute power to be inconceivable, a priori.I briefly discuss the moral implications of religious faith in the context of Purism: a moral rationalist paradigm. I conclude that whilst belief in God can be aesthetically expressed it should not be possessed as a material purpose, due to the illogicality of the latter category of belief and/or expression. With this article I provide conceptual delineation between harmless religious belief and expression—which, I argue, should be protected from persecution, as per any other artistic expression— and religious belief and expression which is materially harmful to society. Whilst I aim to protect religious freedom of expression on one hand, I duly aim to reduce instances of material faith in God(s) on the other. Finally, I aim to bring hope in the possibility for human salvation via technology—such that they should exist indefinitely as ‘demigods,’ defined by conditional, relative power over their environment. (shrink)

E.J.Lowe was a prominent and theistically–inclined philosopher who developed and defended a four–category ontology with roots in Aristotle’s Categories. But Lowe engaged in little philosophical theology and said even less about how a divine being might fit into his considered ontology. This paper explores ways in which the reality of a divine being might be squared with Lowe’s ontology. I motivate the exploration with a puzzle that suggests Lowe must reject either divine aseity or the traditional view that God is (...) a substance. After showing that the puzzle cannot be overcome by rejecting one of its premises, I consider ways in which Lowe might try to reject the puzzle wholesale. I argue that the best way to reject the puzzle is to countenance a fifth fundamental category, the category of supernatural substance. (shrink)

For Francisco Suárez, beings of reason are non-existent objects that we can think about, objects like goat-stags and round squares. The first section of the fifty-fourth of Suárez’s Metaphysical Disputations is about the ontological status of beings of reason. Suárez’s view has been the subject of disagreement in the literature because he sometimes says that there are beings of reason, and he sometimes says there are not. In this paper, I argue for and explain an ontological pluralist reading (...) of Suárez. Ontological pluralism is the claim that there is more than one way of being. I distinguish between two varieties of ontological pluralism, strict and non-strict, and argue that Suárez endorsed the latter. In the contemporary literature, it is sometimes alleged that ontological pluralism is an idle hypothesis, unintelligible or philosophically vacuous. I argue that Suárez has a response to this objection in his argument against ontological monism. (shrink)

Reconstructs the original Greek version of the confatalia-argument that Cicero attributes to Chrysippus in De fato and misrepresent in crucial ways. Compares this argument with Seneca's discussion of determinism in the Naturales quaestiones. Clarifies that Seneca makes a different distinction from that attested in Cicero's De fato. Argues that problems with interpreting both accounts derive from disregarding terminological distinctions harder to spot in the Latin versions and, related to this, insufficient attention to the ontological distinction between bodies (such as (...) Fate) and predicates (e.g. "what is fated"), which unfortunately does not square well with the modern ontological category "event." Contains some corrections to the author's earlier discussion of the topic in Seneca und die Stoa: Der Platz des Menschen in der Welt, De Gruyter 2006, ch. 3.3.4. (shrink)

Initially the problems of data integration, for example in the field of medicine, were resolved in case by case fashion. Pairs of databases were cross-calibrated by hand, rather as if one were translating from French into Hebrew. As the numbers and complexity of database systems increased, the idea arose of streamlining these efforts by constructing one single benchmark taxonomy, as it were a central switchboard, into which all of the various classification systems would need to be translated only once. By (...) serving as a lingua franca for database integration this benchmark taxonomy would ensure that all databases calibrated in its terms would be automatically compatible with each other. We describe one strategy for creating such a lingua franca, in which philosophical ontology plays a central role. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics (...) for the theory and a provably sound axiomatization. (shrink)

The present paper describes an ”ontological square’ mapping possible ways of combining the domains and converse domains of the relations of inherence and denomination. In the context of expounding and extending medieval appropriations of elements drawn from Aristotle’s Categories for theological purposes, the paper uses this square to examine different ways of defining Substance-terms and Accident-terms by reference to inherence and denomination within the constraints imposed by the doctrine of the Trinity. These different approaches are related to (...) particular texts of thinkers including Bonaventure and Gilbert of Poitiers. (shrink)

Imagine an equilateral triangle “pointing upward”—its horizontal base under its apex angle. A semiotic triangle has the following three “vertexes”: (apex) an expression, (lower-left) one of the expression’s conceptual meanings or senses, and (lower-right) the referent or denotation determined by the sense [1, pp. 88ff]. One example: the eight-letter string ‘coleslaw’ (apex), the concept “coleslaw” (lower-left), and the salad coleslaw (lower-right) [1, p. 84f]. Using Church’s terminology [2, pp. 6, 41]—modifying Frege’s—the word ‘coleslaw’ expresses the concept “coleslaw”, the word ‘coleslaw’ (...) denotes or names the salad coleslaw, and the concept “coleslaw” determines the salad coleslaw—recalling Frege’s principle that sense determines denotation. Church [2, p. 6] wrote: -/- We shall say that a name denotes or names its denotation and expresses its sense. […] Of the sense we say that it determines its denotation, or is a concept of the denotation. -/- Aristotle seems cognizant of distinctions going beyond those in semiotic triangles. The expression Aristotle’s semiotic pyramids seem warranted by Aristotle’s Categories, 1a1: -/- When [two] things have a name (onoma) in common and the concept (logos) of being (ousia) which corresponds to the name in each case is different, they are called same-named (homonuma). Thus, for example, both a man and a picture [of an animal] are called animals. These have only a name in common. In each case the name’s concept of being [an animal] is different; for if one says what being an animal is for each of them, one will give two distinct concepts. -/- Semiotic triangles and pyramids in Aristotle’s logic are compared to those in Church’s [2]. [1] JOHN CORCORAN, Sentence, proposition, judgment, statement, and fact, Many Sides of Logic, College Publications, 2009. [2] ALONZO CHURCH, Introduction to Mathematical Logic, Princeton, 1956. -/- The semiotic pyramid in Categories, 1a1 has a square base under the vertex ‘animal’. On the corners of the square are: the concept “animal”, the concept “animal picture”, the animals, and the animal pictures. The animals are homonymous with the animal pictures. People find Aristotle’s example far-fetched or inept even if the experience of pointing to a picture while saying “That is Tarski” is familiar. Imagine looking at a painting while thinking “That is an animal”. Without putting too fine a point on this, notice that in Aristotle’s sense it is individual things that are homonymous, not words. It would be natural to say also in his sense that two things are homonyms if one is homonymous with the other. In contrast, we use the words homonym and homonymous to relate words that are spelled the same and pronounced the same but have different meaning. Consider the noun ‘center’ and the verb ‘center’. Consider the noun ‘smell’ and the verb ‘smell’. The spelling of two homonyms is an ambiguity, or an ambiguous spelling. We need appropriate adjectives to distinguish the Categorical senses of ‘homonym’ and ‘homonymous’ from the current English sense just mentioned. I propose ‘ontological’ for the sense relating things and ‘linguistic’ for that relating words. Given that all words are things but not all things are words, we ask are words that are linguistically homonymous also ontologically homonymous? END OF POST ABSTRACT. (shrink)

ABSTRACT. May scientists rely on substantive, a priori presuppositions? Quinean naturalists say "no," but Michael Friedman and others claim that such a view cannot be squared with the actual history of science. To make his case, Friedman offers Newton's universal law of gravitation and Einstein's theory of relativity as examples of admired theories that both employ presuppositions (usually of a mathematical nature), presuppositions that do not face empirical evidence directly. In fact, Friedman claims that the use of such presuppositions is (...) a hallmark of "science as we know it." But what should we say about the special sciences, which typically do not rely on the abstruse formalisms one finds in the exact sciences? I identify a type of a priori presupposition that plays an especially striking role in the development of empirical psychology. These are ontological presuppositions about the type of object a given science purports to study. I show how such presuppositions can be both a priori and rational by investigating their role in an early flap over psychology's contested status as a natural science. The flap focused on one of the field's earliest textbooks, William James's Principles of Psychology. The work was attacked precisely for its reliance on a priori presuppositions about what James had called the "mental state," psychology's (alleged) proper object. I argue that the specific presuppositions James packed into his definition of the "mental state" were not directly responsible to empirical evidence, and so in that sense were a priori; but the presuppositions were rational in that they were crafted to help overcome philosophical objections (championed by neo-Hegelians) to the very idea that there can be a genuine science of mind. Thus, my case study gives an example of substantive, a priori presuppositions being put to use—to rational use—in the special sciences. In addition to evaluating James's use of presuppositions, my paper also offers historical reflections on two different strands of pragmatist philosophy of science. One strand, tracing back through Quine to C. S. Peirce, is more naturalistic, eschewing the use of a priori elements in science. The other strand, tracing back through Kuhn and C. I. Lewis to James, is more friendly to such presuppositions, and to that extent bears affinity with the positivist tradition Friedman occupies. (shrink)

This paper combines both an exegetical and philosophical approach to the treatment of miracles in the Markan gospel. Using key insights developed by biblical scholars bearing on the problem of Mark’s treatment of miracles as a basis, I conclude that for the author of Mark, miracles are effects, and as such, signs and symbols of what occurs in the moral and spiritual order. I argue that Mark connects miracles with faith in Jesus, a faith qualified through a grasp of the (...) proper exercise of human power in the kingdom of God. The last section of the paper explores the ontological conditions for the possibility of miracles as they are portrayed in this gospel; there I argue that the best candidate for a theory that squares with Mark’s understanding of miracle is a different one from that found in the contemporary philosophical literature on miracles. (shrink)

Naive observers viewed a sequence of colored Mondrian patterns, simulated on a color monitor. Each pattern was presented twice in succession, first under one daylight illuminant with a correlated color temperature of either 16,000 or 4,000 K and then under the other, to test for color constancy. The observers compared the central square of the pattern across illuminants, either rating it for sameness of material appearance or sameness of hue and saturation or judging an objective property—that is, whether its (...) change of color originated from a change in material or only from a change in illumination. Average color constancy indices were high for material appearance ratings and binary judgments of origin and low for hue–saturation ratings. Individuals’ performance varied, but judgments of material and of hue and saturation remained demarcated. Observers seem able to separate phenomenal percepts from their ontological projections of mental appearance onto physical phenomena; thus, even when a chromatic change alters perceived hue and saturation, observers can reliably infer the cause, the constancy of the underlying surface spectral reflectance. (shrink)

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not (...) be, even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

Those who are – in the tradition of Meinong – willing to accept the claim that there are objects that do not exist usually argue that the ontological commitment to nonexistent objects allows to resolve a variety of problems of reference and intentionality, such as: the problem of singular negative existential statements, the problem of discourse on past and future objects, the problem of discourse on fictitious objects, the problem of counterfactual existentials, the problem of allegedly necessary truths on (...) nonexistent objects (e. g., "The round square is round".) It seems that the ontological commitment to nonexistent objects enables us to explain both the obvious truth of many predicative sentences whose subject terms do not denote anything existent and the possibility of intentional acts whose objects do not exist. The aim of this paper is to show that the commitment to nonexistents does not resolve any of these problems. Furthermore, some alternative solutions are delineated. (shrink)

The paper outlines and immediately discusses the so-called ‘soft’ impossibility, i.e., non-logical impossibility generated by modal realism. It will be shown that although in a particular case genuine modal realism, straightforwardly applied, deems impossible a proposition that other philosophers have claimed to be (intuitively) possible, there is a variety of methodologically acceptable moves available in order to avoid the problem. The impossibility at issue is the existence of island universes. Given the Lewisian analysis there are three points at which we (...) might try to square genuine modal realism with such a controversial and problematic claim of (im)possibility, namely: a) the contraction of our pre-theoretical opinions about possibility, b) the revision of some Lewisian definitions and/or c) the extension of our ontological commitments. I shall look at each of these approaches applied to the problematic case. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the employment conditions (...) for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

This chapter offers an interpretation of Roger Ames' use of the field-focus ontology, tying the topic to Daoist meditation practices.

The category of ‘organism’ has an ambiguous status: is it scientific or is it philosophical? Or, if one looks at it from within the relatively recent field or sub-field of philosophy of biology, is it a central, or at least legitimate category therein, or should it be dispensed with? In any case, it has long served as a kind of scientific “bolstering” for a philosophical train of argument which seeks to refute the “mechanistic” or “reductionist” trend, which has been perceived (...) as dominant since the 17th century, whether in the case of Stahlian animism, Leibnizian monadology, the neo-vitalism of Hans Driesch, or, lastly, of the “phenomenology of organic life” in the 20th century, with authors such as Kurt Goldstein, Maurice Merleau-Ponty, and Georges Canguilhem. In this paper I try to reconstruct some of the main interpretive ‘stages’ or ‘layers’ of the concept of organism in order to critically evaluate it. How might ‘organism’ be a useful concept if one rules out the excesses of ‘organismic’ biology and metaphysics? Varieties of instrumentalism and what I call the ‘projective’ concept of organism are appealing, but perhaps ultimately unsatisfying. (shrink)

The authors argue that their target is orthogonal to the realism and instrumentalist debate. I argue that it is born directly from it. While the distinction is helpful in illuminating how some ontological commitments demand a theory of implementation, it's less clear whether different views cleanly map onto the epistemic and metaphysical uses defined in the paper.

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood (...) as essence, as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

In this paper, I propose the concept of the “animated persona,” a soundless voice that says, “I am here” and appears on the surface of someone or something. This concept can bring clarity to the experience of perceiving a kind of personhood on a corpse, a wooden mask, or even a tree. In the first half of this paper, I will examine some Japanese literature and a work of Viktor Frankl’s that discuss these phenomena. In the second half, I will (...) analyze the concept of animated persona from five perspectives: (1) a compelling power, (2) surface-ness, (3) religious experience, (4) universality, and (5) the meaning of “I.” Lastly, I will discuss the relationship among the three layers of biological object, animated persona, and self-conscious being. My aim is to shed new light on the meaning of the encounter between the living and the dead. (shrink)

I argue that appreciation of the phenomenon of forgetting requires serious attention to its origins and place in nature. This, in turn, necessitates metaphysical inquiry as well as empirical backing – a combination likely to be eschewed by psychological orthodoxy. But, if we hope to avoid the conceptual vacuity that characterizes too much of contemporary psychological inquiry (e.g., Klein, 2012, 2014a, 2015a, 2016a), a “big picture” approach to phenomena of interest is essential. Adopting this investigative posture turns the “received view” (...) of the relation between remembering and forgetting on its head: Rather than treated as the result of breakdowns and limitations of biologically engineered systems of remembering, forgetting is accorded elevated status as the driving force behind the evolution of organic systems of information retention. (shrink)

This article investigates the challenges posed by the reliability of knowledge in neurophenomenology and its connection to reality. Neurophenomenological research seeks to understand the intricate relationship between human consciousness, cognition, and the underlying neural processes. However, the subjective nature of conscious experiences presents unique epistemic challenges in determining the reliability of the knowledge generated in this research. Personal factors such as beliefs, emotions, and cultural backgrounds influence subjective experiences, which vary from individual to individual. On the other hand, scientific knowledge (...) aims to uncover universal truths based on empirical observations and objective principles. Reconciling the subjective and objective realms presents a significant challenge in determining the reliability of knowledge generated through neurophenomenological research. This article aims to examine the inherent limitations and challenges of neurophenomenological research to shed light on the complexities involved in understanding the nature of knowledge itself. This article highlights that the ontological implications of the reliability of knowledge in neurophenomenology arise from the question of how subjective experiences relate to objective reality. Understanding the neural correlates and mechanisms behind subjective experiences can provide insight into the underlying ontological nature of consciousness. (shrink)

William of Ockham (d. 1347) is well known for his commitment to parsimony and for his so-called ‘razor’ principle. But little is known about attempts among his own contemporaries to deflect his use of the razor. In this paper, I explore one such attempt. In particular, I consider a clever challenge that Ockham’s younger contemporary, Walter Chatton (d. 1343) deploys against the razor. The challenge involves a kind of dilemma for Ockham. Depending on how Ockham responds to this dilemma, his (...) razor will, Chatton argues, either prove unacceptably dull when it comes to determining ontological commitment or prove unacceptably sharp when it comes to determining commitments entailed by certain theological doctrines. While Chatton’s objection is subtle and interesting in its own right, the broader significance of the debate between these thinkers lies in the light it sheds on medieval approaches to issues surrounding metaphysical methodology. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

This paper addresses the issue of how to best account for the diversity of our (synchronic) mental activities. The discussion starts with Mark Textor’s mental monism. According to mental monism, our mental life is constituted by just one simple mental act, in which different sub-acts can be conceptually distinguished. Textor grounds this view in the work of the early Brentano and contrasts it with the theory of the later Brentano, who introduces a mental substance into his philosophy. According to Textor, (...) Brentano needs a substance because he is unable to explain how mental monism can account for the separability of our mental activities, e.g. the fact that I can stop hearing F while still seeing blue. Textor argues, however, that mental monism can solve this problem. I address two issues regarding Textor’s view. First, I challenge his interpretation of Brentano by arguing that the early Brentano imports ontological complexity into our mental life; I defend Brentano’s view against possible criticisms, and I address some objections to mental monism. Second, I oppose Textor’s narrative about the mental substance. I argue that Brentano needs a substance not to explain separability, but rather to individuate our mental acts. I still argue, however, that Brentano’s earlier view (understood in my sense) is better than the substance account for dividing the mind. (shrink)

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This does not (...) mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

In this paper, we propose the introduction of a neutrosophic chi-square-test for consistency, incorporating neutrosophic statistics. Our aim is to modify the existing chi-square -test for consistency in order to analyze imprecise data. We present a novel test statistic for the neutrosophic chi-square -test for consistency, which accounts for the uncertainties inherent in the data. To evaluate the performance of the proposed test, we compare it with the traditional chi-square -test for consistency based on classical statistics. (...) By conducting a comparative analysis, we assess the efficiency and effectiveness of our proposed neutrosophic chi-square-test for consistency. Furthermore, we illustrate the application of the proposed test through a numerical example, demonstrating how it can be utilized in practical scenarios. Through this implementation, we aim to provide empirical evidence of the improved performance of our proposed test when compared to the traditional chi-square-test for consistency based on classical statistics. We anticipate that the proposed neutrosophic chi-square-test for consistency will outperform its classical counterpart, offering enhanced accuracy and reliability when dealing with imprecise data. This advancement has the potential to contribute significantly to the field of statistical analysis, particularly in situations where data uncertainty and imprecision are prevalent. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building (...) sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that facts (...) about individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

Performative accounts of personhood argue that group agents are persons, fit to be held responsible within the social sphere. Nonetheless, these accounts want to retain a moral distinction between group and individual persons. That: Group-persons can be responsible for their actions qua persons, but that group-persons might nonetheless not have rights equivalent to those of human persons. I present an argument which makes sense of this disanalogy, without recourse to normative claims or additional ontological commitments. I instead ground rights (...) in the different relations in which performative persons stand in relation to one another. (shrink)

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even (...) entail each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

Ontological principles are needed in order to bridge the gap between medical and biological information in a robust and computable fashion. This is essential in order to draw inferences across the levels of granularity which span medicine and biology, an example of which include the understanding of the roles of tumor markers in the development and progress of carcinoma. Such information integration is also important for the integration of genomics information with the information contained in the electronic patient records (...) in such a way that real time conclusions can be drawn. In this paper we describe a large multi-granular datasource built by using ontological principles and focusing on the case of colon carcinoma. (shrink)

Amid the wide variety of interpretations of quantum mechanics, the notion of a fully coherent ontological interpretation has seen a promising evolution over the last few decades. Despite this progress, however, the old dualistic categorical constraints of subjectivity and objectivity, correlate with the metrically restricted definition of local and global, have remained largely in place – a reflection of the broader, persistent inheritance of these comfortable strictures throughout the evolution of modern science. If one traces this inheritance back to (...) its ancient roots in Plato and Aristotle, it is clear that the coherence, scientific utility, and historical durability of the various natural philosophies that followed have been directly proportional to their commitment, tacit or explicit, to object-oriented realism. As Simondon might put it, it is a commitment to the primacy of individuated substance over the process of individuation. For Whitehead, it is the misplaced assimilation of becoming to being, of potentiality to actuality. Quantum mechanics has challenged this commitment with a combined breadth and depth of force that far exceeds any other theory in the history of science. The theory’s objectively demonstrable empirical application is manifest only by way of a fundamentally subjective, context-dependent mechanism of measurement. More compelling still, actual system states are always actualizations of locally contextualized yet globally conditioned potential system states, such that “globally objective” reality is no longer merely the object of local measurement, but also its product. Thus, any coherent, ontological interpretation of quantum theory must include a conceptual framework by which objectivity and subjectivity, actuality and potentiality, global and local, being and becoming, individuated fact and process of individuation, are no longer understood as merely epistemic, mutually exclusive category pairs descriptive of an already extant, closed reality – but rather as mutually implicative ontological categories explicative of an ontogenetic, open reality-in-process. (shrink)

Oftentimes we consider how the law and public policy were interwoven one another for any fine appeal to the constituents and global public. Nonetheless, we are fairly never definite to suggest any hard picture of their relationship. It rather involves an issue of meditative process of philosophy, humanity and social justice as well as a wider of public contention from the purview of temporal and spatial evolution. The paper, in the face with this difficult conundrum, attempts to highlight some of (...) basics despite a surfeit of work products in this field. The paper begins with the instant queries or explanation from the peer scholar practitioners, which would be some of communication with the author. Then the author elicits some of principled relationship between the two concepts. (shrink)

Derek Parfit defended Non-Realist Cognitivism. It is an open secret that this metaethical theory is often thought at best puzzling and at worst objectionably unclear. Employing truthmaker theory, I provide an account of Non-Realist Cognitivism that dispels charges of objectionable unclarity, clarifies how to assess it, and explains why, if plausible, it would be an attractive theory. I develop concerns that the theory involves cheating into an objection that ultimately reveals Non-Realist Cognitivism faces a dilemma. Whether it can escape demands (...) further attention. In bridging metaethics and the truthmaking literature, I illustrate the importance of greater meta-metaphysical reflection in metaethics. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none (...) of the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

I think it would be fair to say that, until about 1900, philosophers were generally reluctant to admit the existence of what are nowadays called polyadic properties.1 It is important to recognize, however, that this reluctance on the part of pre-twentieth-century philosophers did not prevent them from theorizing about relations. On the contrary, philosophers from the ancient through the modern period have had much to say about both the nature and the ontological status of relations. In this paper I (...) examine the views of one such philosopher, namely, Albert the Great. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

A thought experiment on the ultimate non-essence of Time.

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

N.T. Wright has offered Christian philosophers a proposal where it is apparently possible to hold the belief in the intermediate state-resurrection of the body and an ontological holism in the same sense at the same time. I argue that this not only creates a basic contradiction in Wright’s ontological paradigm, but also it is not a coherent and tenable proposal despite the fact one might eventually find a potential solution to such a quandary.

In this study, I reconstruct and compare Alain Badiou’sBeing and Event(2005) and Graham Priest’sOne(2014), arguing that the ontologies pursued within the two texts are intriguingly analogous in a number of ways. Both Badiou and Priest are committed to thinking through classically ontological problems without denying the validity of the paradoxes they raise; both regard Plato’sParmenidesas an early and formative account of these paradoxes; both establish conclusions to the effect that unity – or “oneness” – is indeed a contradictory phenomenon; (...) and both, as a corollary of this conclusion, develop frameworks which confer ontological prominence uponthe voidandemptinessrespectively, thereby arriving at what appears to be a shared ontological nihilism. In this comparative study, I not only enquire whether the frameworks adopted by Badiou and Priest really do lead to nihilist conclusions, but also attempt to clearly outline their trajectories of thought for the benefit of those who might be tempted to dismiss their seemingly outlandish theses out of hand. (shrink)

. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. A generalization of (...) the square of opposition is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

Review of “The Mad Square: Modernity in German Art 1910-37”, National Gallery of Victoria, Melbourne, Australia, November 25, 2011-March 4, 2012. A version of this essay appeared in the Appendices of Gavin Keeney, Not-I/Thou: The Other Subject of Art and Architecture (CSP, 2014), pp. 153-57.

In the prospectus for his later work pronounced in 1952, Merleau-Ponty announced that his move beyond the phenomenological to the ontological level of analysis is motivated by issues of sociality, notably communication with others.' I propose to interrogate this priority attributed by the author to this interpersonal bond in his reflections on corporeality in general, marking a departure from The Structure of Behavior and The Phenomenology of Perception, which privileged the starting point of consciousness and the body proper. My (...) interest lies particularly in exposing the psychological sources of Merleau-Ponty's thinking about the primacy of sociality. Referring to his lectures on Child Psychology and Pedagogy, which he delivered as Professor at the Sorbonne in Paris in 1949-52,2 I will develop the contention that the developmental psychology of child sociality significantly informed his understanding of relations between self and other laid out in the later texts, and henceforth informed also his conception of the flesh. Specifically, the psychological hypotheses about the anonymous and fusional form initially taken by human sociality appears to play a determining role in his conception of interpersonal life formulated on the ontological plane. I will then point to the internal tensions involved in the theory of sociality based on the thesis of anonymity and disclose an alternative theoretical account, which has the merit of preserving the advantages of the anonymity thesis while avoiding its drawbacks; it also facilitates continued dialogue between Merleau-Ponty's philosophy and recent developmental psychology. (shrink)