Axiomatic Formal Ontology, Uwe Meixner

Автор: Halbach
Название: Axiomatic Theories of Truth
ISBN: 1107424429 ISBN-13(EAN): 9781107424425
Издательство: Cambridge Academ
Рейтинг:
Цена: 43290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. His book will be indispensable reading for any graduate or professional philosopher in theories of truth.

Автор: Uwe Meixner
Название: Axiomatic Formal Ontology
ISBN: 9048148987 ISBN-13(EAN): 9789048148981
Издательство: Springer
Рейтинг:
Цена: 208700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: J.L. Krivine; David Miller
Название: Introduction to Axiomatic Set Theory
ISBN: 9027704112 ISBN-13(EAN): 9789027704115
Издательство: Springer
Рейтинг:
Цена: 153690.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the classic relative consistency proofs in set theory that are obtained by the device of `inner models`. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof;

Автор: Effingham Nikk
Название: Introduction to Ontology
ISBN: 0745652557 ISBN-13(EAN): 9780745652559
Издательство: Wiley
Рейтинг:
Цена: 19000.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this engaging and wide-ranging new book, Nikk Effingham provides an introduction to contemporary ontology - the study of what exists - and its importance for philosophy today.

Автор: Arp Robert, Smith Barry, Spear Andrew D.
Название: Building Ontologies with Basic Formal Ontology
ISBN: 0262527812 ISBN-13(EAN): 9780262527811
Издательство: MIT Press
Рейтинг:
Цена: 39500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

An introduction to the field of applied ontology with examples derived particularly from biomedicine, covering theoretical components, design practices, and practical applications.

In the era of "big data," science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use.

After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies.

Автор: R. Poli; Peter M. Simons
Название: Formal Ontology
ISBN: 079234104X ISBN-13(EAN): 9780792341048
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Nino B. Cocchiarella
Название: Formal Ontology and Conceptual Realism
ISBN: 9048175658 ISBN-13(EAN): 9789048175659
Издательство: Springer
Рейтинг:
Цена: 186290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Theories about the ontological structure of the world have generally been described in informal, intuitive terms. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

Автор: R. Poli; Peter M. Simons
Название: Formal Ontology
ISBN: 9048147182 ISBN-13(EAN): 9789048147182
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Jaakko Hintikka; D. Gruender; E. Agazzi
Название: Theory Change, Ancient Axiomatics, and Galileo`s Methodology
ISBN: 9400990472 ISBN-13(EAN): 9789400990470
Издательство: Springer
Рейтинг:
Цена: 167660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the 1978 Pisa, Italy, September 4-8, 1978 Conference on the History and Philosophy of Science

Автор: A. Chernyakov
Название: The Ontology of Time
ISBN: 9048160499 ISBN-13(EAN): 9789048160495
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1.1. Why the Ontology 0/ Time? The intention that directs this research consists in an attempt to provide a herme- neutic analysis ofthe drastic changes, which have occurred in 20th century philoso- phy, in identifying the new role ascribed to the subject of time and temporality within the scope ofontology. Afterthe fundamental works ofE. Husserl, M. Heid- egger. P. Rica: ur. and E. Levinas, it has been understood that the traditional issue (which could be traced back to Parmenides) between being and time, between the eternal and the transient (or historical), must once again be re-examined. Time it- self is recognized now as the deepest ground of ontological inquiry, which sets in motion the entire system offundamental philosophical concepts. This does not mean, of course, that our understanding of time did not change in the course of these fundamental transformations. In order to comprehend the new role oftime within "first philosophy," the concept o/time itselfis to be subjected to a careful investigation and interpretation. It is necessary to come back to Aristotle's quest ions in Physics IV: In what sense can we ascribe being to time itself. and what is the "nature" of time as (a) being' In other words, to understand the role oftime within the scope of ontology means to develop simultaneously the ontology 0/ time. This is what the title ofthis work intends to designate. Moreover, my aim is to dem- onstrate that in a defmite sense the postmodern onto-Iogy is chrono-Iogy.

Автор: Werner Marx
Название: The Meaning of Aristotle`s ‘Ontology`
ISBN: 9401186901 ISBN-13(EAN): 9789401186902
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: We wish to approach our problem with an open mind and want to hear directly from Aristotle - on the basis of the text of the prote Philosophia alone - which body of thought he might have called his `ontology` and what its meaning might have been.

Автор: Guido K?ng
Название: Ontology and the Logistic Analysis of Language
ISBN: 9027700281 ISBN-13(EAN): 9789027700285
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is the aim of the present study to introduce the reader to the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems.