Second-Order and Higher-Order Logic

Shapiro, S., & Vaananen, J. (2023). Second-Order and Higher-Order Logic. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Year

2023

Link

https://plato.stanford.edu/entries/logic-higher-order/

Cited by

1 citation across 1 artifact.

Domain-specific

• Second-order logic
  • Under full semantics, relation variables range over all relations of the appropriate arity on the domain; under Henkin or general semantics, they range over specified collections satisfying declared closure or comprehension conditions.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:b58c1d48dd19 · see in the full table