Chapter 2: Logical Empiricism, A First Attempt At A ...

Logical Empiricism (sometimes also called Logical Positivism) might be a good contender. It is based on logic, and there has been interest in automated theorem provers and other programs for logic since the 1960s both within the fields of Artificial Intelligence and Mathematics. ................
................