Truth-functional Logic

Take a step beyond Aristotle to evaluate sentences whose truth cannot be proved by his system. Learn about truth-functio... (more)

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.y. (less)