more on this theme     |     more from this thinker


Single Idea 10594

[filed under theme 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 Ref

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.


The 1 idea from 'Second Philosophy'

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