18 ideas
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
8358 | There are no rules for the exact logic of ordinary language, because that doesn't exist [Strawson,P] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
6413 | 'The present King of France is bald' presupposes existence, rather than stating it [Strawson,P, by Grayling] |
8354 | Russell asks when 'The King of France is wise' would be a true assertion [Strawson,P] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
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] |
8356 | The meaning of an expression or sentence is general directions for its use, to refer or to assert [Strawson,P] |
10430 | Reference is mainly a social phenomenon [Strawson,P, by Sainsbury] |
10448 | If an expression can refer to anything, it may still instrinsically refer, but relative to a context [Bach on Strawson,P] |
8355 | Expressions don't refer; people use expressions to refer [Strawson,P] |
8357 | If an utterance fails to refer then it is a pseudo-use, though a speaker may think they assert something [Strawson,P] |
7331 | A theory of meaning comes down to translating sentences into Fregean symbolic logic [Davidson, by Macey] |