Single Idea 10594

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

Full Idea

Henkin-style semantics seem to me more plausible for plural logic than for second-order logic.

Gist of Idea

Henkin semantics is more plausible for plural logic than for second-order logic

Source

Penelope Maddy (Second Philosophy [2007], III.8 n1)

Book Reference

Maddy,Penelope: 'Second Philosophy: naturalistic method' [OUP 2007], p.299


A Reaction

Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic.