20 ideas
19396 | Wisdom is knowing all of the sciences, and their application [Leibniz] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
4975 | A thought can be split in many ways, so that different parts appear as subject or predicate [Frege] |
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] |
9949 | There is the concept, the object falling under it, and the extension (a set, which is also an object) [Frege, by George/Velleman] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
18995 | Frege mistakenly takes existence to be a property of concepts, instead of being about things [Frege, by Yablo] |
10317 | It is unclear whether Frege included qualities among his abstract objects [Frege, by Hale] |
10535 | Frege's 'objects' are both the referents of proper names, and what predicates are true or false of [Frege, by Dummett] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
19397 | Perfect knowledge implies complete explanations and perfect prediction [Leibniz] |
9839 | Frege equated the concepts under which an object falls with its properties [Frege, by Dummett] |
4973 | As I understand it, a concept is the meaning of a grammatical predicate [Frege] |
9167 | Frege felt that meanings must be public, so they are abstractions rather than mental entities [Frege, by Putnam] |
4974 | For all the multiplicity of languages, mankind has a common stock of thoughts [Frege] |