In propositional logic, which we can think of zeroth order logic, there is no quantification. In first order logic, we can quantify over propositional variables, but not over predicates. In second order logic, we can also quantify other predicates. There is higher order logic where we have predic...