Skip to main content
SpringerLink
Log in
Book cover

Axiomatic Formal Ontology

  • Book
  • © 1997

Overview

Authors:
  1. Uwe Meixner

    1. University of Regensburg, Regensburg, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 264)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (55 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Introduction

    1. Introduction

      • Uwe Meixner
      Pages 1-22

  3. The Ontology of States of Affairs

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. The Central Axioms for the Part-Concept “P”

      • Uwe Meixner
      Pages 24-28

    3. Concepts Based on “P” and Elementary Theorems

      • Uwe Meixner
      Pages 29-33

    4. The Concept of State of Affairs

      • Uwe Meixner
      Pages 34-41

    5. Functional Terms Definable by “P”

      • Uwe Meixner
      Pages 42-45

    6. The Conjunction Axiom

      • Uwe Meixner
      Pages 46-52

    7. The Exhaustion Axiom

      • Uwe Meixner
      Pages 53-55

    8. The Connection Axiom

      • Uwe Meixner
      Pages 56-66

    9. Theorems for Negation, Conjunction and Disjunction

      • Uwe Meixner
      Pages 67-68

    10. The Big Disjunction

      • Uwe Meixner
      Pages 69-72

    11. Possible Worlds and Elementary States of Affairs

      • Uwe Meixner
      Pages 73-79

    12. Possibility and Necessity

      • Uwe Meixner
      Pages 80-87

    13. The World and the Truth

      • Uwe Meixner
      Pages 88-92

    14. The Law of Non-Contradiction

      • Uwe Meixner
      Pages 93-96

    15. The Law of Excluded Middle

      • Uwe Meixner
      Pages 97-102

    16. Laws of Truth and Falsity

      • Uwe Meixner
      Pages 103-108

    17. Contingency

      • Uwe Meixner
      Pages 109-113

    18. A Further Examination of Axioms AP7 — AP9

      • Uwe Meixner
      Pages 114-117
Back to top

Keywords

About this book

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 metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.

Authors and Affiliations

  • University of Regensburg, Regensburg, Germany

    Uwe Meixner

Bibliographic Information

  • Book Title: Axiomatic Formal Ontology

  • Authors: Uwe Meixner

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-015-8867-6

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1997

  • Hardcover ISBN: 978-0-7923-4717-0Published: 31 August 1997

  • Softcover ISBN: 978-90-481-4898-1Published: 06 December 2010

  • eBook ISBN: 978-94-015-8867-6Published: 17 April 2013

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: X, 398

  • Topics: Logic, Ontology, Metaphysics

Publish with us

Policies and ethics

Back to top

Search

Navigation