ABSTRACT
The cybernetician has to be fully aware of the philosophical issues as in the case of all cognition, and especially in the case of language and logic. Much of logic is based on a simple associative procedure in behaviour terms and there are many psychological experiments, which illustrate how very simple inference making can be set up in behavioural situations which are clearly pre-linguistic. George Boole's purpose in developing his algebra of logic was based on the belief that the laws of thought could be made precise and mathematical in form. The Logic Theory Machine is concerned with theorem-proving in the propositional calculus. The basic idea is that an algorithm or a decision procedure is a shorthand mechanical way of proving theorems and showing that a certain string of symbols is a theorem within a system.
