display all the ideas for this combination of texts
4 ideas
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
16967 | 'Are Coriscus and Callias at home?' sounds like a single question, but it isn't [Aristotle] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |