STUMPF, HUSSERL and INGARDEN of the Application of the Formal Meaningful Categories
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
A Survey of Top-Level Ontologies to Inform the Ontological Choices for a Foundation Data Model
A survey of Top-Level Ontologies To inform the ontological choices for a Foundation Data Model Version 1 Contents 1 Introduction and Purpose 3 F.13 FrameNet 92 2 Approach and contents 4 F.14 GFO – General Formal Ontology 94 2.1 Collect candidate top-level ontologies 4 F.15 gist 95 2.2 Develop assessment framework 4 F.16 HQDM – High Quality Data Models 97 2.3 Assessment of candidate top-level ontologies F.17 IDEAS – International Defence Enterprise against the framework 5 Architecture Specification 99 2.4 Terminological note 5 F.18 IEC 62541 100 3 Assessment framework – development basis 6 F.19 IEC 63088 100 3.1 General ontological requirements 6 F.20 ISO 12006-3 101 3.2 Overarching ontological architecture F.21 ISO 15926-2 102 framework 8 F.22 KKO: KBpedia Knowledge Ontology 103 4 Ontological commitment overview 11 F.23 KR Ontology – Knowledge Representation 4.1 General choices 11 Ontology 105 4.2 Formal structure – horizontal and vertical 14 F.24 MarineTLO: A Top-Level 4.3 Universal commitments 33 Ontology for the Marine Domain 106 5 Assessment Framework Results 37 F. 25 MIMOSA CCOM – (Common Conceptual 5.1 General choices 37 Object Model) 108 5.2 Formal structure: vertical aspects 38 F.26 OWL – Web Ontology Language 110 5.3 Formal structure: horizontal aspects 42 F.27 ProtOn – PROTo ONtology 111 5.4 Universal commitments 44 F.28 Schema.org 112 6 Summary 46 F.29 SENSUS 113 Appendix A F.30 SKOS 113 Pathway requirements for a Foundation Data F.31 SUMO 115 Model 48 F.32 TMRM/TMDM – Topic Map Reference/Data Appendix B Models 116 ISO IEC 21838-1:2019 -
Ingarden 1 NH
Below you find pre-print versions of a paper published Online 2013-04-06 by Semiotica. DOI 10.1515/sem-2013-0025 Semiotica 2013; 194: 137–157. THE BASIC DISTINCTIONS IN DER STREIT by Ingvar Johansson The paper presents Ingarden’s views on what he calls ‘modes of being’ (‘ways of existence’) and ‘existential moments’; the latter being constitutive parts of the former. Mainstream analytic philosophy has been dominated by the view that ‘existence’ can mean only existence simpliciter. Ingarden, on the other hand, discerns four possible modes of being, one of which is of special interest to semiotics: purely intentional being. It is of relevance for the ontological understanding not only of texts, but also of pictures and other sign-related entities. At the end, an extrapolated Ingardenian semiotic triangle is presented. 1. Ontological and metaphysical investigations – first part Volume I of Roman Ingarden’s Der Streit um die Existenz der Welt has the subtitle “Existentialontologie,” volume II the subtitle “Formalontologie,” and volume III “Über die kausale Struktur der realen Welt.” This paper will present the basic distinctions of the first volume.1 Ingarden distinguishes between four different kinds of philosophical investigations: existential-ontological, formal-ontological, material-ontological, and metaphysical. Existential-ontological investigations examine what modes of being or ways of existence that are in principle possible, i.e., what modes are not self-contradictory or internally absurd in some other way. In formal-ontological investigations the more precise nature of various kinds of entities such as those labeled ‘autonomous individual object’, ‘heteronomous individual object’, ‘idea’, ‘state of affairs’, and ‘relation’ are investigated. -
Framework for Formal Ontology Barry Smith and Kevin Mulligan
Framework for Formal Ontology Barry Smith and Kevin Mulligan NOTICE: THIS MATERIAL M/\Y BE PROTECTED BY COPYRIGHT LAW (TITLE 17, u.s. CODE) ABSTRACT. The discussions which follow rest on a distinction, or object-relations in the world; nor does it concern itself rust expounded by Husser!, between formal logic and formal specifically with sentences about such objects. It deals, ontology. The former concerns itself with (formal) meaning-struc rather, with sentences in general (including, for example, tures; the latter with formal structures amongst objects and their the sentences of mathematics),2 and where it is applied to parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist sentences about objects it can take no account of any theories of part and whole, and above all the mereology of Lesniew formal or material object·structures which may be ex ski, can be generalised to embrace not only relations between con hibited amongst the objects pictured. Its attentions are crete objects and object-pieces, but also relations between what we directed, rather, to the relations which obtain between shall call dependent parts or moments. A two-dimensional formal sentences purely in virtue of what we can call their logical language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to complexity (for example the deducibility-relations which the quantifier-centred languages which have predominated amongst obtain between any sentence of the form A & Band analytic philosophers since the time of Frege and Russell. -
Comptes Rendus / Book Reviews
COMPTES RENDUS / BOOK REVIEWS Robin D. Rollinger, Austrian Phenomenology: Brentano, Husserl, Meinong, and Others on Mind and Object. Frankfurt: Ontos Verlag, 2008; 326 pages. ISBN: 978-3868380057. Review by Kimberly Baltzer-Jaray, Independent Scholar. Nietzsche was not alone in his skepticism and contempt for systematic philosophy, the stuff Hegel and Kant were made of; in fact on this point he could be called the voice of a generation and a timely man. Many academics in the mid to late 19th century felt a sort of ill will towards phi- losophy, especially given the leaps and bounds happening in science. Philosophy seemed less rigorous, impractical and out of touch with the modern era: who needed to contemplate God, freedom, and immortality when scientists were in their labs or in the field actively discovering laws of energy, plant cells, electromagnetism, radiation and evolution? Meta- physics and epistemology just couldn’t compete with physics and biol- ogy. However, several philosophers in Austria thought they could make philosophy more scientific and definitively show the academic commu- nity that philosophy was not to be retired like a relic of the past, but rather could hold her own as a discipline. One of the most notable groups of philosophers to attempt such a defence of philosophy was the School of Brentano, named after its leader, Franz Brentano, and which included his pupils Carl Stumpf, Anton Marty, Edmund Husserl, Kasimir Twardowski and Christian von Ehrenfels. This is where Rollinger’s book begins. Rollinger’s volume is a collection of revised, previously pub- lished papers. It is a comprehensive and insightful book, a necessity for anyone studying the Austrian philosophical tradition, or the early phe- nomenological movement under Husserl (Munich and Göttingen circles respectively). -
The Discipline and the Tool
Ontology: The Discipline and the Tool Doug Mayhew1,2, Dirk Siebert1 1 Institute for Formal Ontology and Medical Information Science, University of Leipzig, 04107 Leipzig, Härtelstraße 16-18, Germany doug.mayhew, [email protected] 2 Department of Philosophy, University at Buffalo, New York, USA Abstract. The fields of philosophy and informatics entertain two somewhat dif- ferent conceptions of ontology. Philosophical ontology is a branch of metaphys- ics dating back at least to the time of Plato and Aristotle. Ontology in informat- ics has its origins in the artificial intelligence research of the eighties and nineties. This means that the fields of philosophy and informatics entertain two somewhat different conceptions of ontology and the present paper discusses the relationship between these two conceptions. Differences and similarities are pointed out and variations in methodological approaches are also discussed. Ef- forts to combine the ontological methodologies and resources of the two fields are surveyed, and actual and potential benefits and drawbacks of such collabo- rations are examined. Different Concepts The fields of philosophy and informatics entertain two somewhat different concep- tions of ontology, with correspondingly different notions of what ontology is for. First, we have the age-old conception of ontology as a philosophical discipline. Se- cond, we have the relatively new conception of ontology as an information organiza- tion tool, a notion of ontology adapted from the philosophical conception by artificial intelligence researchers and then adopted by the applications-oriented field of infor- matics. (The philosophical conception was recognized in informatics as early as the late sixties in data modeling research [1].) The two conceptions have their characteris- tic differences, which show up primarily in what each field thinks ontology is for. -
Mereology Then and Now
Logic and Logical Philosophy Volume 24 (2015), 409–427 DOI: 10.12775/LLP.2015.024 Rafał Gruszczyński Achille C. Varzi MEREOLOGY THEN AND NOW Abstract. This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some questions that define current research in the field. Keywords: mereology; parthood; formal ontology; foundations of mathe- matics 1. Introduction Understood as a general theory of parts and wholes, mereology has a long history that can be traced back to the early days of philosophy. As a formal theory of the part-whole relation or rather, as a theory of the relations of part to whole and of part to part within a whole it is relatively recent and came to us mainly through the writings of Edmund Husserl and Stanisław Leśniewski. The former were part of a larger project aimed at the development of a general framework for formal ontology; the latter were inspired by a desire to provide a nominalistically acceptable alternative to set theory as a foundation for mathematics. (The name itself, ‘mereology’ after the Greek word ‘µρoς’, ‘part’ was coined by Leśniewski [31].) As it turns out, both sorts of motivation failed to quite live up to expectations. Yet mereology survived as a theory in its own right and continued to flourish, often in unexpected ways. Indeed, it is not an exaggeration to say that today mereology is a central and powerful area of research in philosophy and philosophical logic. It may be helpful, therefore, to take stock and reconsider its origins. -
The Quasi-Real World of Fiction and the Cognitive Value Of
The Quasi-Real World of Fiction and The Cognitive Value of Literature in Roman Ingarden’s Philosophy of Literature* Murat ÇELİK** Makale Geliş / Recieved: 01.10.2018 Makale Kabul / Accepted: 01.11.2018 Abstract Literary works of art present us a fictional world in which the objects and states of affairs are purely intentional. These objects and state of affairs do not have a correlative in an ontic sphere that is independent from the work itself. However, that does not mean that the sentences in a literary artwork do not have any assertive power. The predicative sentences in a literary artwork assert something in a particular manner. Hence, literary works of art have a cognitive value. They say something to us about the world we live in, about our lives, our being on this world etc. But they do not teach us about the world in a straightforward way by referring directly to the extra-textual world. Rather they teach us by presenting us their own world; the quasi-real world of the text. In this paper I will try to reveal the particular manner by which the literary artworks help us to better understand our disposition through the world. I will achieve this aim by focusing on the structural and functional differences between the literary work of art and the factual work in Roman Ingarden’s literary theory. Keywords: Roman Ingarden, Quasi-real, Literary Work of Art, Scientific Work, Truth-value. * This article is an extended version of the second part of the first chapter of my unpublis- hed PhD dissertation entitled “An Ethics of Reading: Ingarden, Iser and Ricoeur” written at University of Sussex in 2017. -
Toward the Use of Upper Level Ontologies
Toward the use of upper level ontologies for semantically interoperable systems: an emergency management use case Linda Elmhadhbi, Mohamed Hedi Karray, Bernard Archimède To cite this version: Linda Elmhadhbi, Mohamed Hedi Karray, Bernard Archimède. Toward the use of upper level ontolo- gies for semantically interoperable systems: an emergency management use case. 9th Conference on Interoperability for Enterprise Systems and Applications I-ESA2018 Conference, Mar 2018, Berlin, Germany. pp.1-10. hal-02359706 HAL Id: hal-02359706 https://hal.archives-ouvertes.fr/hal-02359706 Submitted on 12 Nov 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Open Archive Toulouse Archive Ouverte (OATAO ) OATAO is an open access repository that collects the wor of some Toulouse researchers and ma es it freely available over the web where possible. This is an author's version published in: http://oatao.univ-toulouse.fr/22794 Official URL : https://doi.org/10.1007/978-3-030-13693-2 To cite this version: Elmhadhbi, Linda and Karray, Mohamed Hedi and Archimède, Bernard Toward the use of upper level ontologies for semantically interoperable systems: an emergency management use case. ( In Press: 2018) In: 9th Conference on Interoperability for Enterprise Systems and Applications I-ESA2018 Conference, 23 March 2018 - 19 March 2018 (Berlin, Germany). -
Janoušek and Rollinger, the Prague School, Cleaned Up
The Prague School Hynek Janoušek and Robin Rollinger The name the “Prague school of Brentano” refers to three generations of thinkers who temporarily or permanently lived in Prague, bound together by teacher/student relationships, and who accepted the main views of Franz Brentano’s philosophy. In 1879 Carl Stumpf (see CHAP. 31) arrived in Prague to take up a professorship of philosophy at the Charles-Ferdinand University. In 1880 Stumpf’s close friend and also a student of Brentano, Anton Marty (see CHAP. 30), became a professor in the same department. This marks the beginning of the Prague School. The presence of Stumpf and Marty was in fact a dramatic shift in orientation first and foremost in the domain of psychology, for Prague had previously been an enclave of Herbartian psychology, which Brentano had criticized in various respects throughout his Psychology from an Empirical Standpoint (Brentano 1874). In a certain sense their presence even harked back to an earlier time in Prague when Bernard Bolzano was developing a theory of science very much in opposition to the Kantianism of his time. Though Brentano’s philosophy was very different from Bolzano’s in many respects, it was no less anti-Kantian. This was very important at that time, for neo-Kantianism was on the rise in the German-speaking world and even beyond, whereas Stumpf and Marty made efforts to combat this kind of philosophy. Though Stumpf’s sojourn in Prague was considerably shorter-lived than Marty’s, Stumpf published the first volume of his Tone Psychology (Stumpf 1883) during that time. -
Ontology and Information Systems
Ontology and Information Systems 1 Barry Smith Philosophical Ontology Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’.2 The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. Methods and Goals of Philosophical Ontology The methods of philosophical ontology are the methods of philosophy in general. They include the development of theories of wider or narrower scope and the testing and refinement of such theories by measuring them up, either against difficult 1 This paper is based upon work supported by the National Science Foundation under Grant No. BCS-9975557 (“Ontology and Geographic Categories”) and by the Alexander von Humboldt Foundation under the auspices of its Wolfgang Paul Program. Thanks go to Thomas Bittner, Olivier Bodenreider, Anita Burgun, Charles Dement, Andrew Frank, Angelika Franzke, Wolfgang Grassl, Pierre Grenon, Nicola Guarino, Patrick Hayes, Kathleen Hornsby, Ingvar Johansson, Fritz Lehmann, Chris Menzel, Kevin Mulligan, Chris Partridge, David W. Smith, William Rapaport, Daniel von Wachter, Chris Welty and Graham White for helpful comments. -
On Classifying Material Entities in Basic Formal Ontology
Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting, Tokyo: Keio University Press, 2012, 1-13. On Classifying Material Entities in Basic Formal Ontology Barry Smith Department of Philosophy and National Center for Ontological Research, University at Buffalo 126 Park Hall, Buffalo, NY 14260, USA [email protected] http://ontology.buffalo.edu/smith ABSTRACT. Basic Formal Ontology (BFO) was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is current- ly undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material en- tities, and specifically of the category object. 1 Introduction BFO is one of three leading public domain upper-level ontologies used in scientific and other contexts, 1 alongside DOLCE (the Domain Ontology for Linguistic and Cognitive Engineering) [Gangemi et al. 2002] and SUMO (the Suggested Upper Merged Ontology) [Niles and Pease 2001]. BFO differs from the latter, however, in being a strict upper level ontology. Unlike DOLCE and SUMO, it does not contain its own representations of physical, chemical, biological, psychological, or other types of entities which would properly fall within the domains of the special sciences. BFO is therefore, in contrast to these other ontologies, very small, and thus more manageable as an artifact designed for purposes of ontological engineering. As will become clear, however, even a small ontology can bring large challenges from a logico- metaphysical point of view. -
Roman Ingarden's Philosophy Reconsidered
HORIZON 9 (2) 2020 : Introduction : W. Płotka, T. Byrne : 489–494 ФЕНОМЕНОЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ • STUDIES IN PHENOMENOLOGY • STUDIEN ZUR PHÄNOMENOLOGIE • ÉTUDES PHÉNOMÉNOLOGIQUES INTRODUCTION https://doi.org/10.21638/2226-5260-2020-9-2-489-494 INTRODUCTION INTRODUCTION: ROMAN INGARDEN’S PHILOSOPHY RECONSIDERED Roman Ingarden’s (1893–1970) philosophical legacy is not limited exclusively to ontology, as it usually is regarded. His thought also addresses aesthetics, philosoph- ical anthropology, epistemology, ethics, axiology, philosophy of mind, philosophy of language, logic, philosophy of literature and original considerations on the history of philosophy. Ingarden’s philosophical investigations concern, but are not limited to such topics as the status of the world, intentionality, experience, the notion of object, intersubjective cognition, the existence and cognition of the literary artwork, time, the question of aesthetic and moral values, responsibility, and causal relations. What unites these different topics and accounts in Ingarden’s philosophical enterprise as a coherent project is the phenomenological approach, which Ingarden employs at the preliminary stage of research. Ingarden — who is educated in Lvov under Kazimierz Twardowski (1866–1938) and later in Göttingen and in Freiburg im Breisgau under Edmund Husserl (1859–1938) — is one of the key figures of the Göttingen Circle and develops in the eidetic line of the phenomenological movement. Although from the very beginning, he criticizes Husserl for falling into idealism and for adopting a tran- scendental stance, his own original philosophical project is formulated in a life-long discussion with Husserl’s ideas. At the same time, his project is influenced by other prominent philosophical personalities of modern and contemporary philosophy, in- cluding Kant, Bergson, Scheler, Hartmann, Conrad-Martius, Stein, not to mention the Lvov-Warsaw School of logic, and many others with whom he discusses the most important philosophical questions.