Last edited by Mut
Monday, August 3, 2020 | History

7 edition of Axiomatic Formal Ontology found in the catalog.

Axiomatic Formal Ontology

by Uwe Meixner

  • 120 Want to read
  • 29 Currently reading

Published by Springer .
Written in English

    Subjects:
  • Metaphysics & ontology,
  • Ontology,
  • Philosophy,
  • Logic,
  • Metaphysics,
  • Philosophy / Logic,
  • Philosophy / Metaphysics,
  • Philosophy-Logic,
  • Logic, Symbolic and mathematical,
  • Logic, Symbolic and mathematic

  • Edition Notes

    Synthese Library

    The Physical Object
    FormatHardcover
    Number of Pages412
    ID Numbers
    Open LibraryOL7808479M
    ISBN 10079234717X
    ISBN 109780792347170

    Ontology (Latin: ontologia) is the philosophical study of broadly, it studies concepts that directly relate to being, in particular becoming, existence, reality, as well as the basic categories of being and their relations. Traditionally listed as a part of the major branch of philosophy known as metaphysics, ontology often deals with questions concerning what entities exist or may. a source ontology to a target ontology that guarantees that the translations are also true in the target ontology? In this paper, we will give a formal characterization of ontology translation that unifles the translation of facts, queries and axioms in one inferential framework (section 2). We call the translation of axioms from one ontology.

    Formal Methods and Empirical Practices. studying the foundations of science—he combines an understanding of the main principles of scientific theories in axiomatic terms and formal models with a hands-on approach. While moving the study of the philosophy of science out of the parlor and into the lab, he often comes up with original. The Basic Formal Ontology (BFO) is a small, upper level ontology that is designed for use in supporting information retrieval, analysis and integration in scientific and other domains. BFO is a genuine upper ontology. Thus it does not contain physical, chemical, biological or other terms which would properly fall within the coverage domains of.

    Philosophical ontology can then be enhanced by taking over elements from the methodology of reductionism, for example through the use of the axiomatic method illustrated also in the work of Lesniewski, Woodger, Goodman and others in formal mereology and illustrated also in Part 2 of Carnap’s Introduction to Symbolic Logic ().File Size: KB. Realizable Entities in Basic Formal Ontology 4 day. These serve as the bearers or carriers of dependent continuants such as qualities and realizable enti-ties. Dependent continuants are related to their bearers by inherence. Inherence is defined as a one-sided, existential dependence Size: 76KB.


Share this book
You might also like
Major Bible prophecies

Major Bible prophecies

War and the poet

War and the poet

Employee Benefit Issues

Employee Benefit Issues

Old Master Drawings from the Feitelson Collection

Old Master Drawings from the Feitelson Collection

Saying no to tobacco

Saying no to tobacco

High precision constants

High precision constants

Shadows from the Past

Shadows from the Past

Pristine Transfinite Graphs and Permissive Electrical Networks

Pristine Transfinite Graphs and Permissive Electrical Networks

Food colloids

Food colloids

Baby Angels Shape, Floor Puzzle

Baby Angels Shape, Floor Puzzle

Social and civic education

Social and civic education

Lake Ontario outflows, 1860-1954

Lake Ontario outflows, 1860-1954

My daughters debut

My daughters debut

Some particulars relating to the life and death of Rebecca Scudamore

Some particulars relating to the life and death of Rebecca Scudamore

Exercises for the feet.

Exercises for the feet.

Axiomatic Formal Ontology by Uwe Meixner Download PDF EPUB FB2

Axiomatic Formal Ontology (Synthese Library Book ) - Kindle edition by Meixner, Uwe. Download it once and read it on your Kindle device, PC, phones or tablets. Use features like bookmarks, note taking and highlighting while reading Axiomatic Formal Ontology (Synthese Library Book ).Author: Uwe Meixner.

Axiomatic Formal Ontology (Synthese Library) Hardcover – Aug by Uwe Meixner (Author) › Visit Amazon's Uwe Meixner Page.

Find all the books, read about the author, and more. See search results for this author. Are you an author. Learn about Author Central Cited by: 7. Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book.

Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the. Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics.

The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics.

Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities. Axiomatic Formal Ontology is a fairly full systematic treatise on primary metaphysics.

The axiomatic method is utilized all by means of the book. In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased (domain- and application-independent) view on reality, which can help the modeler of domain- or application-specific ontologies (information science) to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies.

Axiomatic book. Read reviews from the world's largest community for readers. That's a really good assessment. I think as someone with a more formal training in mathematics, Greg Egan specialises in hard science fiction stories with mathematical and quantum ontology themes, including the nature of consciousness.

Other themes include /5. modern symbolic logic is the rigorous construction of formal, axiomatic systems, formal ontology, the result of combining these two methods, is the systematic, formal, axiomatic development of the logic of all forms of being. As such, formal ontology is a science prior to all others in which particular forms, modes, or kinds of being are.

I studied category theory, is made explicit throughout the present book. My interest to the Axiomatic Method stems from my work on Euclid and extends through Hilbert and axiomatic set theories to Lawvere’s axiomatic topos theory to the Univalent Foundations of mathematics recently proposed by Vladimir Voevodsky.

Cite this chapter as: Meixner U. () Meinongian Objects in the Ontology of Properties. In: Axiomatic Formal Ontology. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol Author: Uwe Meixner. GFO (General Formal ontology) draws a fundamental distinction between concrete entities, categories and are described by an axiomatic fragment of set theory of Zermelo-Fraenkel, although fragments of anti-foundation axiom set theories such as ZF-AFA are considered.

Concrete entities are entities which are in time and space, while categories have universal character. Formal ontology. (L1) meets (O2) and (O3) Formal ontologies are theories that attempt to give precise mathematical formulations of the properties and relations of certain entities.

Such theories usually propose axioms about these entities in question, spelled out in some formal language based on some system of formal logic. Ontology, on the other side, can be seen as the study of the organisation and the nature of the world independently of the form of our knowledge about it.

Formal ontology has been recently defined as “the systematic, formal, axiomatic development of the logic of all forms and modes of being” [Cocchiarella ].

Although theFile Size: 55KB. Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries.

Books shelved as ontology: Being and Time by Martin Heidegger, Naming and Necessity by Saul A. Kripke, The Democracy of Objects by Levi Bryant, The Myth. An ontology, then, creates a formal framework that describes anything (not just a taxonomy) by establishing the classes, relationships and constraints that act Author: Kurt Cagle.

Formal epistemology explores knowledge and reasoning using “formal” tools, tools from math and logic. For example, a formal epistemologist might use probability theory to explain how scientific reasoning works.

Or she might use modal logic to defend a particular theory of knowledge. In this book, I attempt to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical.

The principles are constructed out of a basic set of 5/5(1). Set theory begins with a fundamental binary relation between an object o and a set o is a member (or element) of A, the notation o ∈ A is used.

A set is described by listing elements separated by commas, or by a characterizing property of its elements, within braces { }. The logical empiricist consensus that existed in the philosophy of science until the s held that the ideal statement of a scientific theory would be a formal axiom system of the kind found in Cited by: 3.Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by was the book Ontology of Situations by Boguslaw Wolniewicz, and indirectly, Wittgenstein’s Tractatus Boguslaw Wolniewicz in [1] created a formal ontology of situations.

Based on his theory, in [2] I proposed a certain semantics of norms. The Author: Andrzej Malec.A satisfactory ontology of time and its formal representation should treat the various tem- poral phenomena in a uniform und consistent manner.

W e suggest to address the follo wing basic tasks.