more on this theme | more from this thinker
Full Idea
Full second-order logic has all the expressive power needed to do mathematics, but has an unworkable model theory.
Gist of Idea
Second-order logic has the expressive power for mathematics, but an unworkable model theory
Source
Stewart Shapiro (Higher-Order Logic [2001], 2.1)
Book Ref
'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.34
A Reaction
[he credits Cowles for this remark] Having an unworkable model theory sounds pretty serious to me, as I'm not inclined to be interested in languages which don't produce models of some sort. Surely models are the whole point?
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |