display all the ideas for this combination of texts
3 ideas
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
Full Idea: Second-order logic raises doubts because of its ontological commitment to the set-theoretic hierarchy, and the allegedly problematic epistemic status of the second-order consequence relation. | |
From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §1) | |
A reaction: The 'epistemic' problem is whether you can know the truths, given that the logic is incomplete, and so they cannot all be proved. Rossberg defends second-order logic against the second problem. A third problem is that it may be mathematics. |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
Full Idea: Henkin semantics (for second-order logic) specifies a second domain of predicates and relations for the upper case constants and variables. | |
From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
A reaction: This second domain is restricted to predicates and relations which are actually instantiated in the model. Second-order logic is complete with this semantics. Cf. Idea 10756. |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
Full Idea: In addition to standard and Henkin semantics for second-order logic, one might also employ substitutional or game-theoretical or topological semantics, or Boolos's plural interpretation, or even a semantics inspired by Lesniewski. | |
From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
A reaction: This is helpful in seeing the full picture of what is going on in these logical systems. |