“An Introduction to Formal Logic” S:1 E:10 Truth-Functional Logic

S:1 E:10 Truth-Functional Logic Take a step beyond Aristotle to evaluate sentences whose truth cannot be proved by his system. Learn about truth-functional logic, pioneered in the late 19th and early 20th centuries by the German philosopher Gottlob Frege. This approach addresses the behavior of truth-functional connectives, such as not, and, or, and if -and that is the basis of computer logic, the way computers think.