display all the ideas for this combination of texts
4 ideas
4705 | Logical relativism appears if we allow more than one legitimate logical system [O'Grady] |
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] |