display all the ideas for this combination of texts
4 ideas
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |