An Introduction to Formal Logic

Logic and Mathematics (1x21)

: 01, 2016

See how all that you have learned in the course relates to mathematics-and vice versa. Trace the origin of deductive logic to the ancient geometrician Euclid. Then consider the development of non-Euclidean geometries in the 19th century and the puzzle this posed for mathematicians....