A philosophical and historical introduction to the foundations of logic and mathematics, the psychology of reasoning, and the computational theory of mind. Topics may include: logic, set theory, axiom systems; number and infinity; fallacies of deductive and probabilistic reasoning; Bayesian epistemology; algorithms; artificial intelligence, computational theories of mind and brain.