In this area I am keeping materials pertaining to the philosophical basis of my experiments and theories. They are not entirely focused on artificial intelligence, but are of a broader nature - regarding the nature of proof and thinking itself.