back to ideas for this text

---

Single Idea 13650

[from 'Foundations without Foundationalism' by Stewart Shapiro, in 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

---