First-order logic

Home > Philosophy > Analytical Philosophy > Logic > First-order logic

First-order logic is a more advanced version of predicate logic that allows for quantifiers and variables.