“An Introduction to Formal Logic” S:1 E:16 First-Order Predicate Logic

S:1 E:16 First-Order Predicate Logic So far, you have learned two approaches to logic: Aristotles categorical method and truth-functional logic. Now add a third, hybrid approach, first-order predicate logic, which allows you to get inside sentences to map the logical structure within them.