The Theory of Knowledge - formal theories under gst
Overview
Formal Theory of Knowledge in Galactic Set Theory (in ProofPower).
A simple formal model is used to explore the minimal conditions necessary for the analytic/synthetic necessary/contingent dichotomies to make sense.
A Formal model of semantics similar to aspects of the Tractatus.
A simple model of semantics and soundness for X-Logic.
Fundamental Dichotomies
A simple formal model is used to explore the minimal conditions necessary for the analytic/synthetic necessary/contingent dichotomies to make sense.
Introduction
This is a formalistion in Galactic set theory of a mathematical model similar to that previously presented in Factasia at
What is a Language?
A model for descriptive languages.
The Tractatus
A Formal model of semantics similar to aspects of the Tractatus.
Introduction
Form
A form is modelled as a constructor.
X-Logic
A simple model of semantics and soundness for X-Logic.
Introduction
Purposes and key ideas.
Types
An overview of the model with specifications of the various types of entity involved in it.
Propositions
Three kinds of proposition are defined, concerning truth of documents, correctness of programs and derivation of documents.
Meta Reasoning
Elementary reasoning about inferences and their composition.

up quick index © RBJ

$Id: index.xml,v 1.1.1.1 2000/12/04 17:24:27 rbjones Exp $