Single Idea 13650

[catalogued under 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic]

Full Idea

In 'Henkin' semantics, in a given model the relation variables range over a fixed collection of relations D on the domain, and the function variables range over a collection of functions F on the domain.

Gist of Idea

Henkin semantics has separate variables ranging over the relations and over the functions

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 3.3)

Book Reference

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.73