Formal Ontology And Conceptual Realism

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics. These two traditions have converged in recent years and this is the first collection to encompass them as a whole in a single volume. It assembles essays from authors around the world already widely known for their work in formal ontology, and illustrates that through the application of formal methods the ancient discipline of ontology may be put on a firm methodological basis. The essays not only illuminate the nature of ontology and its relation to other areas, in language, logic and everyday life, but also demonstrate that common issues from the analytical and phenomenological traditions may be discussed without ideological barriers. Audience: advanced students of and specialists in philosophy, linguistics, cognitive science, computer science, database engineering.

FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. This volume presents the proceedings of FOIS 2018, held in Cape Town, South Africa, from 19-21 September. It was the 10th edition and 20th anniversary of the conference series. The volume contains 19 papers grouped into 4 sections: Foundations (7 papers), Agents and Properties (4 papers), Methods and Tools (4 papers), and Applications (4 papers). Regarding the applications of ontologies, a broad spectrum of areas is covered, including in particular biology and medicine, IoT, engineering and linguistics. Formal Ontology in Information Systems - Proceedings of the 10th International Conference (FOIS 2018) will be of interest to researchers from all disciplines with an interest in formal ontology.

This innovative volume investigates the meaning of ‘something’ in different recent philosophical traditions in order to rethink the logic and the unity of ontology, without forgetting to compare these views to earlier significative accounts in the history of philosophy. In fact, the revival of interest in “something” in the 19th and 20th centuries as well as in contemporary philosophy can easily be accounted for: it affords the possibility for asking the question: what is there? without engaging in predefined speculative assumptions The issue about “something” seems to avoid any naive approach to the question about what there is, so that it is treated in two main contemporary philosophical trends: “material ontology”, which aims at taking “inventory” of what there is, of everything that is; and “formal ontology”, which analyses the structural features of all there is, whatever it is. The volume advances cutting-edge debates on what is the first et the most general item in ontology, that is to say “something”, because the relevant features of the conceptual core of something are: non-nothingness, otherness. Something means that one being is different from others. The relationality belongs to something.: Therefore, the volume advances cutting-edge debates in phenomenology, analytic philosophy, formal and material ontology, traditional metaphysics.

Scientific literature on particular themes in ontology is extremely abundant, but it is often very hard for freshmen or sophomores to find a red thread between the various proposals. This text is an opinionated introduction, a preliminary text to research in ontology from the so called standard approach to ontological commitment, that is from the particular point of view that connects ontological questions to quantificational questions. It offers a survey of this viewpoint in ontology together with their possible applications through a broad array of examples and open problems and, at the same time, essential references to the classics of philosophy, so as to allow non-specialists to understand the terms and analysis procedures characterizing the discipline. Its result is a wide-ranging overview of the issued tackled by ontology, with a particular focus on the most relevant problems of contemporary debate (categorial taxonomies, nonexistent objects, case studies of ontological debates in specific fields of knowledge).

The old philosophical discipline of metaphysics – after having been pronounced dead by many – has enjoyed a significant revival within the last thirty years, due to the application of the methods of analytic philosophy. One of the major contributors to this revival is the outstanding American metaphysician Peter van Inwagen. This volume brings together twenty-two scholars, who, in commemoration of Prof. van Inwagen's 75th birthday, ponder the future prospects of metaphysics in all the richness to which it has now returned. It is only natural that logical and epistemological reflections on the significance of metaphysics – sometimes called “meta-metaphysics” – play a considerable role in most of these papers. The volume is further enriched by an interview with Peter van Inwagen himself.

This collection of original essays aims to reinvigorate the debate surrounding philosophical realism in relation to philosophy of science, pragmatism, epistemology, and theory of perception. Questions concerning realism are as current and as ancient as philosophy itself; this volume explores relations between different positions designated as ‘realism’ by examining specific cases in point, drawn from a broad range of systematic problems and historical views, from ancient Greek philosophy through the present. The first section examines the context of the project; contributions systematically engage the historical background of philosophical realism, re-examining key works of Aristotle, Descartes, Quine, and others. The following two sections epitomize the central tension within current debates: scientific realism and pragmatism. These contributions address contemporary questions of scientific realism and the reality of the objects of science, and consider whether, how or the extent to which realism and pragmatism are compatible. With an editorial introduction by Kenneth R. Westphal, these fourteen original essays provide wide-ranging, salient insights into the status of realism today.

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand Tarski’s and Gödel’s work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy’s mathematical naturalism and Shapiro’s mathematical structuralism. Last but not least, the book introduces Biancani’s Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century.