Contents

• List of Figures
• Preface
• Introduction
  • Motivation
  • Objectives
  • Structure of this thesis
  
  
• Situation Theories
  • Situation Calculus
  • Situation Theory
    • Relations
    • Infons
    • Axioms of situation theory
    • Situation theory and set theory
    • Discussion of Barwisean situation theory
  
  
• Ontology
  • Ontology in Philosophy
    • Universals
    • Substances
  • Ontology in computer science
    • KR Ontology
  • General Formal Ontology
    • Categories of GOL
    • Levels
  
  
• Ontological situation theory
  • Infons and states of affairs
    • How states of affairs are constituted
    • The problem on negative and non-basic states of affairs
    • The problem of beliefs
    • Infons
    • Correspondence of infons and states of affairs
    • An example on infons, states of affairs and pictures
    • States of affairs and their relation to time
    • Conclusive remarks on infons
  • Situoids
    • The difference between situations and situoids
    • The ``Supports'' relation
    • Parts of situoids
    • Axioms of situoid theory
    • More relations for infons
    • Dependence relations of situoids and states of affairs
    • About the structure of situoids
    • Comprehension
    • Whole situoids
    • Being part of reality
    • Granularity and levels of reality
  • Situations
    • Axioms for situations
    • Are situations part of reality?
    • Changes
    • Anchors
    • Compound infons
    • Universals
    • Situation types
    • Constraints and Involvement
    • A situation example
  • Models for situations
    • Aczel's ZFC/AFA
    • Hyperset-based model theory
  
  
• Discussion
  • Semantic Issues
    • The Relational Theory of Meaning
    • Situoid theory and modality
  • Comparison to Barwisean Situation Theory
  
  
• Conclusion
  • Summary of contributions
  • Future research
    • Causality
    • Natural Language Semantic
    • Classification of situoids
    • Semantic of Situoids
  • Final Remarks
  
  
• Bibliography