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] |
6020 | 'Man is a rational mortal animal' is equivalent to 'if something is a man, that thing is a rational mortal animal' [Sext.Empiricus] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |