Deductive proof must rely on circular reasoning or endless chains

Evidence

The only logic admitted by the Greeks was deductive, and all deduction had to start, like Euclid, from general principles regarded as self-evident. Timon denied the possibility of finding such principles. Everything, therefore, will have to be proved by means of something else, and all argument will be either circular or an endless chain hanging from nothing. In either case nothing can be proved. — Bertrand Russell, History of Western Philosophy, 963

Categorization

  • corroborated: 2 independent passages support this claim — Bertrand Russell, History of Western Philosophy, 963
  • XREF: connects to: Theories must make testable predictions to be validated. — Hawking, Stephen, A Brief History of Time, 32; Any sufficiently powerful mathematical system must contain true statements that cannot be proven within that system. — Gödel’s incompleteness theorems; In any consistent formal system within which a certain amount of arithmetic can be carried out, there are statements which can neither be proved nor disproved. — Gödel’s Incompleteness Theorems (Stanford Encyclopedia of Philosophy) (+14 more)

Library Connections

Broader Connections