27 ideas
20109 | Hegel inserted society and history between the God-world, man-nature, man-being binary pairs [Hegel, by Safranski] |
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
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] |
23274 | World history has no room for happiness [Hegel] |
23275 | The state of nature is one of untamed brutality [Hegel] |
23276 | The soul of the people is an organisation of its members which produces an essential unity [Hegel] |
23272 | The human race matters, and individuals have little importance [Hegel] |
23273 | In a good state the goal of the citizens and of the whole state are united [Hegel] |
23271 | The goal of the world is Spirit's consciousness and enactment of freedom [Hegel] |
23270 | We should all agree that there is reason in history [Hegel] |