display all the ideas for this combination of texts
4 ideas
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
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] |