Formal System

A site about formal logic, literature, philosophy and simulations. And formal systems!

The logic of meaning — August 10, 2015
Application of logic to moral beliefs — December 17, 2013
Sentential Logic – 1. Basics — October 30, 2012
Towards a Language of Thought — June 24, 2015
Epistemology: in the beginning there were beliefs — November 22, 2014
Shape Matching Boxes — April 13, 2014
Content — October 6, 2013

Content

About the menu: Due to the large amount of posts published, a way to access sets of related posts was needed. And so, a menu was made. The blog title is outdated. The main topics covered by the blog are reflected in the menu windows. Now follows a brief description about the less obvious content&ellipsis;Read the full post »

Computation Series – 1. Consistency and Completeness: Hilbert and Brouwer — August 11, 2013
The limits of reason — July 27, 2013
Epicureanism, Buddhism and the Neuroscience of Desires — March 7, 2015