display all the ideas for this combination of texts
2 ideas
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |