Search
Search
Second-order and Higher-order Logic
Second-order and Higher-order Logic

Date

source

share

[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 time it is arguably weaker than set theory in that its quantifiers range over one limited domain at a time, while set theory has the universalist approach in that its quantifiers range over all possible domains. This stronger-than-first-order-logic/weaker-than-set-theory duality is the…

Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)

More
articles

More
news

What is Disagreement?

What is Disagreement?

This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...

Models in Science

Models in Science

[Revised entry by Roman Frigg and Stephan Hartmann on April 2, 2025. Changes to: Main text, Bibliography] Models are of...

Quine’s New Foundations

Quine’s New Foundations

[Revised entry by Thomas Forster on April 2, 2025. Changes to: Main text, Bibliography] Quine’s system of axiomatic set theory,...

Philosophy and Race, Cody Gomez

Philosophy and Race, Cody Gomez

This “Philosophy and Race” course began somewhat accidentally due to my being a teaching assistant, then instructor, for a similar...