Page Index - rbjones/HoLoTruth GitHub Wiki

16 page(s) in this GitHub Wiki:

• Home
• Distributed Theory Hierarchy
• HOL for Knowledge Representation
• Language and Logic
• Language Truth and Logic
• Logical Contexts
• Metaphysics and Ontology
• Preliminary Discussion
• Some Philosophical Background
• Strategy and Plan
• The Architecture
• The Logical Kernel
• The Philosophy
• The Plan
• The Problem and the Method
• What Carnap's Philosophy was not