Artificial intelligence and the interrogation game; Scientific method and explanation; Godel's incompleteness theorem; Determinism and uncertainty; Axioms, theorems and formalisation; Creativity; Consciousness and free will; Pragmatics; A theory of signs; Models as automata; The nervous system.