[Revised entry by Jouko Väänänen on August 31, 2024. Changes to: Main text, Bibliography] Second-order logic has a subtle role in the philosophy of mathematics. It is stronger than first order logic in that it incorporates “for all properties” into the syntax, while first order logic can only say “for all elements”. At the same […]

The post Second-order and Higher-order Logic appeared first on Philosophy News.