Introduction
OpenMind applies formal methods and tools to analytic philosophical problems, explores the relationship between logic and rationality, and provides both applications of and foundations for XLogic.


To underpin an understanding of Rationality, and as a philosophical foundations for The Semantic Web, we propose develop a new "Theory of Knowledge".


Foundation systems for formal analysis play the same role as logical foundations for mathematics but are aimed at a broader range of applications.

