Ontological nihilism is the radical-sounding thesis that there is nothing at all. This chapter first discusses how the most plausible forms of this thesis aim to be slightly less radical than they sound and what they will have to do in order to succeed in their less radical ambitions. In particular, they will have to paraphrase sentences of best science into ontologically innocent counterparts. The chapter then points out the defects in two less plausible strategies, before going on (...) to argue that strategies that look more promising, including one based on Quine's predicate-functor language, face the same defects. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed (...) by Quine. This proposal faces a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

Nihilists cannot square their position with common sense simply by paraphrasing away apparent ontological commitments in ordinary language. I argue for this claim by analogy. Paraphrase atheism says there is no God, but tries to square the truth of atheism with ordinary religious sentences by paraphrasing away apparent ontological commitments. Obviously, paraphrase does not reconcile atheism with ordinary language about God. I discuss two different reasons that paraphrase can fail and suggest that both reasons afflict (...) paraphrase nihilism. Hence, paraphrase nihilism cannot reconcile nihilism and common sense, and so nihilists must look for some other strategy that can evade the force of the Atheism Case. (shrink)

Mereology, the theory of parts and wholes, is sometimes used as a framework for categorisation because it is regarded as ontologically innocent in the sense that the mereological fusion of some entities is nothing over and above the entities. In this paper it is argued that an adequate answer to the question of whether the thesis of the ontological innocence of mereology holds relies crucially on the underlying theory of reference. It is then shown that upholding the thesis comes (...) at high costs, viz. at the cost of a quite strong logical background theory or at paradoxical ways of predicating and counting. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ (...) plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ second-order languages to second-order entities, contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics. (shrink)

My thesis consists of three self-contained but interconnected papers. In the first one, 'Word and Objects', I assume that it is possible to quantify over absolutely everything, and show that certain English sentences containing collective predicates resist paraphrase in first-order languages and even in first-order languages enriched with plural quantifiers. To capture such sentences I develop a language containing plural predicates . ;The introduction of plural predicates leads to an extension of Quine's criterion of ontological commitment. I argue (...) that theories containing plural predicates can have plural ontological commitments in addition to singular ones. In this sense, I argue that the subject-matter of ontology is richer than one might have thought. ;Plural predicates turn out to be tremendously fruitful. For example, they provide us with natural formalizations for English plural definite descriptions and generalized quantifiers. They also allow us to state important set theoretic propositions, and give a formal semantics for second-order languages. Such a formal semantics is developed in the second paper, 'Toward a Theory of Second-Order Consequence', which is a collaboration with Gabriel Uzquiano. ;In the third paper, 'Frege's Unofficial Arithmetic', I consider an application of plural predicates to the philosophy of mathematics. By developing a suggestion of the later Frege, I show that any arithmetical predicate can be transformed into a plural predicate in such a way that the arithmetical predicate is true of the number of the Fs just in case the plural predicate is true of the Fs themselves. ;The transformation is important both because it can be put to use by nominalists about arithmetic and neo-Fregeans, and because it provides the foundations for an account of applied arithmetic. (shrink)

A central question for ontology is the question of whether numbers really exist. But it seems easy to answer this question in the affirmative. The truth of a sentence like ‘Seven students came to the party’ can be established simply by looking around at the party and counting students. A trivial paraphrase of is ‘The number of students who came to the party is seven’. But appears to entail the existence of a number, and so it seems that we (...) must conclude that numbers exist. This is sometimes called the puzzle of how we can get something from nothing. Most extant attempts to solve the puzzle take it for granted that is ontologically innocent, and focus their attention either on or on the transition from to. We argue that both attempts go wrong at the first step: the assumption that is ontologically innocent is undermined by a highly attractive and independently well-motivated degree-based account of number word constructions. Thus the degree-based account provides a straightforward linguistic resolution of the puzzle of how we can get something from nothing. But the paper also has a second aim. The semantics we present treats ‘seven’ as a referring expression that refers to a degree of a certain sort. But what are degrees? We consider various anti-platonist proposals that seek to account for degrees in terms of relations between concrete entities, and argue that they are incompatible with the Universal Density of Measurement hypothesis of Fox and Hackl. While the UDM cannot yet claim to be the consensus view among degree-based semanticists, our aim is to use it to illustrate how views about the nature of degrees can be evaluated by considering the properties degrees must have if they are to play the explanatory roles they are called upon to play in linguistics. In the present state of development of degree-based semantics there are difficult open questions about what these properties are. These questions need to be addressed if we are to develop a clear picture of what natural language semantics has to contribute to ontology and metaphysics. (shrink)

According to ontological nihilism nothing exists. A recent argument purports to show that this view is indefensible, since its most plausible formulations are tacitly committed to quantificational claims that are inconsistent with the nihilist's view that there aren't any existents. I show that this objection begs the question against the nihilist. The objector's argument relies on an equivalence principle implying that claims which nihilists regard as non-quantificational should nonetheless be interpreted as equivalent to quantified claims, given that both kinds (...) of assertion are assertible in the same contexts. This style of reasoning is supported by considerations of charity, which suggest that similarities in inter-personal patterns of language use provide evidence of similarity in the semantic content of speakers' utterances. However, related considerations also suggest that intra-personal patterns of language use constitute significant semantic evidence of the same kind. When we appreciate this and further recognize that nihilists are disposed to assert the negation of any positive, quantified claim, we see that it is too much to expect principles of semantic interpretation based on considerations of charity to decisively refute nihilism. This result has interesting metametaphysical implications concerning the role and scope of analogous arguments based on principles of interpretive charity. (shrink)

Quine rejects intensional Platonism and, with it, also rejects attributes (properties) as designations of predicates. He pragmatically accepts extensional Platonism, but conceives of classes as merely auxiliary entities needed to express some laws of set theory. At the elementary logical level, Quine develops an “ontologically innocent” logic of predicates. What in standard quantification theory is the work of variables is in the logic of predicates the work of a few functors that operate on predicates themselves: variables are eliminated. This “ (...) class='Hi'>predicate functor logic” may be conceived as a peculiar sort of Platonism - ontologically neutral, reduced to schematized linguistic forms. (shrink)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

This article introduces a novel theoretical framework for addressing epistemic injustice—a phenomenon where certain groups or individuals are systematically excluded from knowledge creation and dissemination processes—by employing ontological relativity and conceptual analysis. “Ontological relativity” refers to a philosophical perspective that posits our understanding of reality as being shaped by our toolbox of concepts, categories, language, and social practices; “conceptual analysis” is a method of inquiry that involves the rigorous examination and deconstruction of a particular concept or set of (...) concepts in order to uncover their constituent elements, relationships, and underlying assumptions. To exemplify the effectiveness of the ontology‐based approach, two paradigmatic applications are explored: (a) educational practices and (b) clinical practice and access to health care. Through the presentation of these applications and the step‐by‐step illustration of the applied methodology, the aim of the article is to showcase the efficacy of ontology in tackling epistemic injustices, suggesting innovative paths for future research in this domain. (shrink)

Ted Sider argues that nihilism about objects is incompatible with the metaphysical possibility of gunk and takes this point to show that nihilism is flawed. I shall describe one kind of nihilism able to answer this objection. I believe that most of the things we usually encounter do not exist. That is, I take talk of macroscopic objects and macroscopic properties to refer to sets of fundamental properties, which are invoked as a matter of linguistic convention. This view is a (...) kind of nihilism : it rules out the existence of objects; that is, from an ontological point of view, there are no objects. But unlike the moderate nihilism of Mark Heller, Peter van Inwagen and Trenton Merricks that claims that most objects do not exist, I endorse a radical nihilism according to which there are no objects in the world, but only properties instantiated in spacetime. As I will show, radical nihilism is perfectly compatible with the metaphysical possibility of gunk. It is also compatible with the epistemic possibility that we actually live in a gunk world. The objection raised by Ted Sider only applies to moderate nihilism that admits some objects in its ontology. (shrink)

The book is a collection of papers addressing the role of logic in forming and developing philosophy. In particular, on the ground of modern development of logic, it is shown that philosophy can be established (and, in fact, to a large extent is established) as a modern science. The following problems are addressed: general relationship between philosophy and science (especially from a logical viewpoint); the use of logic in ordinary language; names and descriptions; Quine's pragmatic extensional Platonism and predicate- (...) class='Hi'>functor logic; philosophical and logical aspects of Gödel's onto-theological system. In the last two chapters, an early critique and emendement of algebraic logic by Croatian philosophers Franjo Marković and Mate Meršić, respectively, is examined. (shrink)

The aim of this paper is to address a longstanding concern about the linguistic ‘relativ- ity’ of ontological categories, and resulting limitations in the scope of ontological theo- ries. Given recent evidence on the influence of language on cognitive dispositions, do we have empirical reasons to doubt that there are ontological categories that have uni- versal scope across languages? I argue that this is the case, at least if we retain the stan- dard ‘inferential’ approach within analytical (...) ontology, i.e., if we evaluate ontological interpretations of L-sentences relative to certain material inferences in L. Research in linguistic typology suggests that types of entities postulated for the domain of Indo- European languages cannot capture the ontological commitments of the (much larger group of) non-Indo-European languages. Ontological category theory thus seems to have three options. The first option is to abandon the standard ‘inferential’ approach to ontological category theory. Alternatively, if we stay with the inferential approach, we face the following choice. Either ontology must let go of its ambitions to provide general domain descriptions for any language and settle for the more modest project of reconstructing the ontological commitments of a group of natural languages. Or else analytical ontologists should turn to linguistic typology in order to accommodate the diversity of inferential structures embedded in natural languages. I recommend and ex- plore this third option, illustrating a strategy for how to construct a domain theory that can be used across languages. In a first step I show how linguistic research on the se- mantics of verbs and nouns (studies on so-called “Aktionsarten” and “Seinsarten”) can be used to identify the inferential patterns of ten basic concepts of modes of existence in time and space. In a second step I show how these inferential data can be inter- preted ontologically within General Process Theory, an ontological framework based on nonparticular individuals (“dynamics”). -/- . (shrink)

General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical (...) Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials. (shrink)

This provocative book attempts to resolve traditional problems of identity over time. It seeks to answer such questions as 'How is it that an object can survive change?' and 'How much change can an object undergo without being destroyed'? To answer these questions Professor Heller presents a theory about the nature of physical objects and about the relationship between our language and the physical world. According to his theory, the only actually existing physical entities are what the author calls 'hunks', (...) four-dimensional objects extending across time and space. This is a major contribution to ontological debate and will be essential reading for all philosophers concerned with metaphysics. (shrink)

It is commonly suggested that vagueness is a purely semantic phenomenon having no metaphysical or ontological implications, requiring no new ontological category for its explanation. It does not entail any revision of the metaphysical view that the world is precise or determinate contra advocates of a vague or fuzzy ontology like Bertil Rolf and Michael Tye. The suggestion is often bolstered by arguments that purport to show that the world is completely describable in a precise language. The precision (...) of the world is then taken to follow from the availability of such a complete precise description thereof. In this sense vague language might be considered superficial. (shrink)

The ontology of Stoic causes and effects was clearly anti-platonic, since the Stoics did not want to admit that any incorporeal entity could have an effect. However, by asserting that any cause was the cause of an incorporeal effect, they returned to Plato’s syntax of causes in the Sophist, whose doctrine of the asymmetry of nouns and verbs identified names with the agents and verbs with the actions. The ontological asymmetry of causes and effects blocked the multiplication of causes (...) by reducing it to an efficient cause. However, while ontology and syntax merged into the doctrine of the effect as an incorporeal predicate, this was further complicated by a relational description of a cause as the effect of a body on a body and by the distinction of causes. Since there are different kinds of causes, not every kind of cause has the same syntactical role in the nexus of causal relations. This refinement of the original syntactical model presumably allowed the Stoics to give a more coherent view of human action than is usually assumed. (shrink)

Abstract At the time of The Logical Syntax of Language (Syntax), Quine was, in his own words, a disciple of Carnap’s who read this work page by page as it issued from Ina Carnap’s typewriter. The present paper will show that there were serious problems with how Syntax dealt with ontological claims. These problems were especially pronounced when Carnap attempted to deal with higher order quantification. Carnap, at the time, viewed all talk of reference as being part of the (...) misleading material mode of speech, and as such dismissed, rather than addressed, ontological problems. Central to the analysis in the present paper is the concept of an explication, which was seen by both Carnap and Quine as being of great philosophical importance. It will be shown that the concept of explication played a significant role in how each formulated their mature position on ontology. Both these final positions on ontology can also be seen as a evolving in reaction to Carnap’s flawed handling of ontological matters at the time of Syntax. Carnap, influenced by Tarski’s work on semantics, comes to believe that the concept of reference can be given an acceptable explication, and that by doing so we can see reference to abstract objects as unobjectionable. As a result, Carnap develops a position very different from the one presented in Syntax. Quine strongly rejected the instrumentalism of Syntax, and sought to give an explication of ontological questions that was language independent. This paper closes with a discussion of each’s understanding of the other’s position. (shrink)

Ontology is the name of the philosophical discipline that provides answers about what there is. The view laid out in the paper, i.e. austere realism, is realistic in that it defends the existence of a thought and language independent world. It is also inclined towards austerity in that it does not take this world to be as richly ontologically populated with entities as common sense initially presupposes. Yet it is a view that results from common sense taking a reflexive attitude (...) about its ontological commitments. Despite its austere consequences, according to this view, many thoughts and sentences expressed by common sense are true, provided that truth is not considered as direct correspondence, i.e. not as the ultimate ontological correspondence to the world. This is enabled by the construal of truth as indirect correspondence that merges the world and contextually operative semantic standards. Such a combined ontological cum semantic view seems a plausible and a well defendable position. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have (...) been executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

Reconciling paraphrases, this chapter states, are intended to show that two apparently inconsistent claims are in fact consistent. A growing number of philosophers have come to doubt the legitimacy of reconciling paraphrases due to the lack of ‘respectable’ evidence that can be provided on their behalf. Specifically, these critics think that in order to be plausible, reconciling paraphrases must be accompanied by evidence that would be of interest to linguists, semanticists, or philosophers of language. Since reconciling paraphrases are almost never (...) offered with such evidence, these critics maintain that such paraphrases can be dismissed as mere wishful thinking. This chapter argues that this concern is mistaken: for many paraphrases, a lack of such evidence is not even a concern, much less a condemnation. (shrink)

What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on (...) commitment to individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

This article argues against ontology as an intelligible project for social theory. Ontological questions have proliferated in social thought in the past decades mainly as a way of recasting traditional sociological questions about individuals/society and structure/agency. Far from being an advance in our understanding, however, this form of reasoning has frequently brought confusion. This is demonstrated with detailed reference to a contribution from an ongoing debate, centred on the issue whether social structures are causally efficacious. I argue that the (...) ontological project is mainly fuelled by a misconception of language and that, once this picture is exposed as incoherent, ontology loses its intelligibility. (shrink)

The ontological question of what there is, from the perspective of common sense, is intricately bound to what can be perceived. The above observation, when combined with the fact that nouns within language can be divided between nouns that admit counting, such as ‘pen’ or ‘human’, and those that do not, such as ‘water’ or ‘gold’, provides the starting point for the following investigation into the foundations of our linguistic and conceptual phenomena. The purpose of this paper is to (...) claim that such phenomena are facilitated by, on the one hand, an intricate cognitive capacity, and on the other by the complex environment within which we live. We are, in a sense, cognitively equipped to perceive discrete instances of matter such as bodies of water. This equipment is related to, but also differs from, that devoted to the perception of objects such as this computer. Behind this difference in cognitive equipment underlies a rich ontology, the beginnings of which lies in the distinction between matter and objects. The following paper is an attempt to make explicit the relationship between matter and objects and also provide a window to our cognition of such entities. (shrink)

Through a comparative case analysis regarding the Chinese language, it is discussed how the structure and functions of a natural language would bear upon the ways in which some philosophical problems are posed and some ontological insights shaped. Disagreeing with Chad Hansen's mass-noun hypothesis, a collective-noun hypothesis is argued for: (1) the denotational semantics and relevant grammatical features of Chinese nouns are like those of collective nouns; (2) their implicit ontology is a mereological ontology of collection-of-individuals with both part-whole (...) and member-class structure; and (3) encouraged and shaped by the folk semantics of Chinese nouns, classical Chinese theorists of language take this kind of mereological nominalism for granted. (shrink)

The paper argues that digital ontology (the ultimate nature of reality is digital, and the universe is a computational system equivalent to a Turing Machine) should be carefully distinguished from informational ontology (the ultimate nature of reality is structural), in order to abandon the former and retain only the latter as a promising line of research. Digital vs. analogue is a Boolean dichotomy typical of our computational paradigm, but digital and analogue are only “modes of presentation” of Being (to (...) class='Hi'>paraphrase Kant), that is, ways in which reality is experienced or conceptualised by an epistemic agent at a given level of abstraction. A preferable alternative is provided by an informational approach to structural realism, according to which knowledge of the world is knowledge of its structures. The most reasonable ontological commitment turns out to be in favour of an interpretation of reality as the totality of structures dynamically interacting with each other. The paper is the first part (the pars destruens) of a two-part piece of research. The pars construens, entitled “A Defence of Informational Structural Realism”, is developed in a separate article, also published in this journal. (shrink)

The paper gives ontologies in the Web Ontology Language (OWL) for Legal Case-based Reasoning (LCBR) systems, giving explicit, formal, and general specifications of a conceptualisation LCBR. Ontologies for different systems allows comparison and contrast between them. OWL ontologies are standardised, machine-readable formats that support automated processing with Semantic Web applications. Intermediate concepts, concepts between base-level concepts and higher level concepts, are central in LCBR. The main issues and their relevance to ontological reasoning and to LCBR are discussed. Two LCBR (...) systems (AS-CATO, which is based on CATO, and IBP) are analysed in terms of basic and intermediate concepts. Central components of the OWL ontologies for these systems are presented, pointing out differences and similarities. The main novelty of the paper is the ontological analysis and representation in OWL of LCBR systems. The paper also emphasises the important issues concerning the representation and reasoning of intermediate concepts. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

This book is written in homage to Nicola Guarino. It is a tribute to his many scientific contributions to the new discipline, applied ontology, he struggled to establish. Nicola Guarino is widely recognized as one of the pioneers in formal and applied ontology. Renow – and sometimes even criticized – for his deep interest for the subtlest details of theoretical analysis, all throughout his career he has held the conviction that all science has to be for the benefit of society (...) at large, hence his motto that ontologies are not just for making information systems interoperable, but also – and more importantly – for making people (users of the systems) understand each other. He was among the first to realize that, to capture the intended meaning of the terms used by an information system, applied ontology has necessarily to be an interdisciplinary enterprise. Nicola’s early career developed in the areas of data systems and expert systems in physics and biomedical engineering. The lack of methodologies in expert systems led him to turn to philosophical logic as a source of inspiration, prompting him to attend the meetings of the analytic philosophy group at the University of Padua, and to discover a whole new world. It was the end of the 1980s and in that period the term ‘ontology’ started to be used to indicate a shared vocabulary across a community. Recognizing the potentials of this idea, Nicola began studying philosophical work. Knowing that language remains one of the pivotal elements in knowledge acquisition and representation, he paired it with the study of linguistic analysis. The combination of the two fields proved to be fundamental to shape his research vision, which could be summarized as: ontological analysis is hard, yet unavoidable to address the pervasive need for explicit, meaningful and transparent information systems. In other words, ontology makes sense. (shrink)

The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to (...) the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments. (shrink)

The central task of cognitive neuroscience to map cognitive capacities to neural mechanisms faces three interlocking conceptual problems that together frame the problem of cognitive ontology. First, they must establish which tasks elicit which cognitive capacities, and specifically when different tasks elicit the same capacity. To address this operationalization problem, scientists often assess whether the tasks engage the same neural mechanisms. But to determine whether mechanisms are of the same or different kinds, we need to solve the abstraction problem by (...) determining which mechanistic differences are and are not relevant, and also the boundary problem by distinguishing the mechanism from its background conditions. Solving these problems, in turn, requires understanding how cognitive capacities are elicited in tasks. These three problems, which have been noted and discussed elsewhere in the literature, together form a ‘cycle of kinds’ that frames the central problem-space of cognitive ontology. We describe this cycle to clarify the intellectual challenges facing the cognitive ontologist and to reveal the kind of iterative process by which ontological revision in cognitive neuroscience is likely to unfold. (shrink)

'Ontological Semantics' introduces a comprehensive approach to the treatment of text meaning by computer, arguing that being able to use meaning is crucial to the success of natural language processing applications.

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: (...) ordinary language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

In _Ontological Terror_ Calvin L. Warren intervenes in Afro-pessimism, Heideggerian metaphysics, and black humanist philosophy by positing that the "Negro question" is intimately imbricated with questions of Being. Warren uses the figure of the antebellum free black as a philosophical paradigm for thinking through the tensions between blackness and Being. He illustrates how blacks embody a metaphysical nothing. This nothingness serves as a destabilizing presence and force as well as that which whiteness defines itself against. Thus, the function of blackness (...) as giving form to nothing presents a terrifying problem for whites: they need blacks to affirm their existence, even as they despise the nothingness they represent. By pointing out how all humanism is based on investing blackness with non-Being—a logic which reproduces antiblack violence and precludes any realization of equality, justice, and recognition for blacks—Warren urges the removal of the human from its metaphysical pedestal and the exploration of ways of existing that are not predicated on a grounding in Being. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a (...) position within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

The problem of the nature of being was central to ancient and medieval philosophy, and continues to be relevant today. In this collection of thirteen recent essays, Peter van Inwagen applies the techniques of analytical philosophy to a wide variety of problems in ontology and meta-ontology. Topics discussed include the nature of being, the meaning of the existential quantifier, ontological commitment, recent attacks on metaphysics and ontology, the concept of ontological structure, fictional entities, mereological sums, and the ontology (...) of mental states. Van Inwagen adopts a generally 'Quinean' position in meta-ontology, yet reaches ontological conclusions very different from Quine's. The volume includes two previously unpublished essays, one of which is an introductory essay where van Inwagen explains his conception of the relation between the language of 'the ordinary business of life' and that of 'the ontology room'. The volume will be an important collection for students and scholars of metaphysics. (shrink)

François Jullien wants us to see what thought and life could look like without ontology, promising intellectual riches unavailable in the heavy ontological apparatus we are deeply invested in. The strength of Jullien’s argument comes from a deep and unique alliance between philosophy and Chinese thought, a risky one – incurring predictable disgruntlement from both philosophy and sinology – but nevertheless enduring and productive. This is far from advocating one in place of another, as we are accustomed to do (...) in critical theory in relation to divinity, grand narratives, scientism, modernity, and even stable truths. It is an endeavour to think the ‘unthought of’ of ontology through what Jullien calls a vis-à-vis suspended in productive tension, a dialogue. In philosophy, the other is subsumed in a singular dialectical relationship through oppositions. What Jullien insists on is a doubleness of co-existence in Chinese thought rather than a singularity of dialectics in ontology. If ontology grounds a philosophy that makes a world in its image, and if that image is increasingly untenable as an ecology of the planet, Jullien’s call for a deeper reflexivity in ontology is of enormous significance. This special issue brings both Jullien’s argument and Chinese thought to a forum to explicate what this could mean in multiple fields from art and architecture to anthropology and critical theory. (shrink)

In a series of papers, Eli Hirsch develops a deflationary account of certain ontological debates, specifically those regarding the composition and persistence of physical objects. He argues that these debates are merely verbal disputes between philosophers who fail to correctly express themselves in a common language. To establish the truth in plain English about these issues, Hirsch contends, we need only listen to the assertions of ordinary speakers and interpret them charitably. In this paper, I argue that Hirsch's conclusions (...) rest on a deficient understanding of the principle of charity. On a proper understanding of this principle, we can see that philosophical disagreement on these issues is not merely verbal. Further, it is no serious violation of charity to interpret ordinary assertions on these matters as false, for the beliefs they express can be explained as reasonable mistakes. Throughout I focus on the debate on composition; but my arguments should carry over to the debate on persistence. (shrink)

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory (...) of relating moments. The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations. (shrink)

In this article, I briefly explain the quantum measurement problem and the Everett interpretation, in a way that is faithful to modern physics and yet accessible to readers without any physics training. I then consider the metaphysical lessons for ontology from quantum mechanics under the Everett interpretation. My conclusions are largely negative: I argue that very little can be said in full generality about the ontology of quantum mechanics, because quantum mechanics, like abstract classical mechanics, is a framework within which (...) we can consider different physical theories which have very little in common at the level of ontology. Along the way I discuss, and criticise, several positive ontological proposals that have been made in the context of the Everett interpretation: ontologies based on the so-called "eigenstate-eigenvalue link", ontologies based on taking the "many-worlds" language seriously at the fundamental level, and ontologies that treat the wavefunction as a complex field on a high-dimensional space. (shrink)

What should one do when one's philosophical conclusions run counter to common sense? Bow to the might of ordinary opinion or follow the indiscriminate force of philosophical reason, no matter where it leads? A few strategies have recently been proposed which suggest we needn't have to make this difficult choice at all. According to these views, we can accept the truths of common sense whilst simultaneously endorsing philosophical views with which they seem to conflict. We can, for instance, accept it (...) as true that the Taj Mahal is in India, whilst also eliminating the Taj Mahal from our ontology. I argue that these strategies generate a new conflict with common sense and thus undercut one of the central motivations that drives them. I also argue for the stronger claim that these kinds of ‘truth-salvaging’ strategy are incapable in principle of reconciling theory with common sense. This does not mean that they must be abandoned, for there may be good independent reasons for endorsing them, but it does eliminate one of their most promising advantages. The upshot of the paper will be two-fold. First, one of the major motivations for endorsing these kinds of strategy will be severely undermined. Secondly, and perhaps more significantly, it will mean that for those who think philosophy should be strictly constrained by common sense, all radical ontological views will effectively be off the table. (shrink)

One of the most important students of Franz Brentano was Anton Marty, who made it his task to develop a philosophy of language on the basis of Brentano’s analysis of mind. It is most unfortunate that Marty does not receive the attention he deserves, primarily due to his detailed and distracting polemics. In the analysis presented here his philosophy of language and other aspects of his thought, such as his ontology , are examined first and foremost in their positive rather (...) than critical character. The analysis is moreover supplemented by translations of four important works by Marty, including his entire work On the Origin of Language. These are in fact the first English translations of any substantial writings by him. The resulting picture that emerges from the analysis and translations is that Marty has much to say that proves to be of enduring interest for the philosophy of language on a range of topics, especially the meanings of statements, of emotive expressions, and of names as regards both their communicative and their ontological aspects. The volume will be of interest not only to philosophers and historians of philosophy, but also to historians of linguistics and psychology. (shrink)

Some philosophers deny the existence of composite material objects. Other philosophers hold that whenever there are some things, they compose something. The purpose of this paper is to scrutinize an objection to these revisionary views: the objection that nihilism and universalism are both unacceptably uncharitable because each of them implies that a great deal of what we ordinarily believe is false. Our main business is to show how nihilism and universalism can be defended against the objection. A secondary point is (...) that universalism is harder to defend than nihilism. (shrink)

Recent discussions of ontology have shown an interest in the relation between logic, language and ontology. Quine, for example, has shown how sentences translated into canonical form determine ontological commitment in terms of the values over which bound variables range, while Strawson has maintained that conditions inherent to language determine a system of ontological concepts. But in these discussions the role linguistics might have in the construction of ontological schemes is seldom seriously considered. Except for Benjamin Lee (...) Whorf’s examination through the use of descriptive linguistic techniques of the relation between ontological schemes and the structure of languages, little has been done to apply the results of linguistic research to questions of ontology. In the past this could be attributed to the absence in structural linguistics of significant generalizations about language above the morphophonemic level. This situation has altered with the development of transformational linguistic theory. That theory contains an extensive set of generalizations about the form and content of any natural language. (shrink)

The aim of the paper is to evaluate the usefulness of W.V.O. Quine's criterion for establishing the ontological commitments of a theory. At the outset, Quine's conception is reconstructed. It is argued that Quine does not provide a particularly clear exposition of the procedure of establishing ontological commitments. It is further maintained that - on a persuasive interpretation - one should distinguish several concepts associated with Quine's conception. These are: ontology, domain tolerated by an ontology, ontological commitments (...) type 1 (categorical), ontological commitments type 2 (individual). Then, the procedure itself is reconstructed. It is argued that it consists of three stages: (1) the reduction of the analyzed theory to so-called basic existential propositions; (2) the paraphrase of the basic existential propositions into the formulae of the I order logic; (3) the reconstruction of the ontology presupposed by the given theory as well as of the ontological commitments type 1 and type 2. The final part of the paper contains three objections against Quine's conception. It is argued, first, that it is impossible to reconstruct the ontology presupposed by the given theory as it requires that the same or a richer ontology is already in use. Second, Quine's procedure is based on a vicious circle: one needs to know the ontological commitments in order to reconstruct them. Third, if one assumes that Quine's procedure is applicable to uninterpreted theories, it is impossible to determine the domain of these theories. The conclusion of the paper is that Quine's criterion seem useless. (shrink)

ABSTRACT Leśniewskian Ontology (LO) is a system in which the basic subject-predicate formula takes the form of a b and express one-argument predication, e.g. John is a student. In LO’s language, there is no many-argument form of predication given that would allow for the structural expression of, for example, the sentence John is Anne’s son. In this article, a simple and natural extension of LO is suggested to encompass many-argument predication. The system thus obtained corresponds to polyadic second-order logic.