The Nature of First-Order Logic What most people call logic is technically called first-order logic. The nomenclature suggests that there must be second-, third-, fourth-, and infinite other higher-order logics. Most people are unaware of these higher-order logics because they violate the three principles of first-order logic—(a) the law of […]