March 2018
Intermediate to advanced
480 pages
13h 46m
English
Chapter 2 started with a variation of a classic example concerning Socrates. Traditionally, the example actually proceeds as follows:
All humans are mortal.
Socrates is a human.
Therefore, Socrates is mortal.
The reasoning here is that every entity in the set of humans is mortal, Socrates is in that set, and so Socrates is mortal. Propositional logic is only concerned with propositions that are true or false; it does not address properties of sets of objects. First-order logic, also called predicate calculus, models reasoning with sets of objects.
Section 3.1 discusses the basic properties of first-order logic, while ...
Read now
Unlock full access