Frames and Symbolisms (PDF): Set theory applied to the relationship between language and the physical world. Seeks to provide intellectual tools for addresssing philosophical questions. Written in 1991.
The Single Ethic (PDF): Distinguishes between thought with a defined and communicable objective, and thought with a vague objective. Argues that we either have a single defined objective for our lives, or we are persuing an objective unknown to us, but promoted by our subconcious mind. Written in 1994.
Godel in the Mind (PDF): Discusses the significance of Godel's theorem in our efforts to describe and mirror the universe with symbols and logic. Written in 1996.
A Recipe for Self-Consistent Projection (PDF): Introduces an empirical solution to the New Riddle of Induction. Replaces the inconclusinve Chapter 5 of Frames and Symbolisms. Written in 1997.