36 ideas
9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
4901 | Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry] |
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] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
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] |
4885 | Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry] |
4899 | Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry] |
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] |
4898 | Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry] |
9369 | 'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian] |
9367 | The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian] |
9373 | That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian] |
9380 | We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian] |
9384 | We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian] |
9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
4887 | We try to cause other things to occur by causing mental events to occur [Perry] |
4884 | Brain states must be in my head, and yet the pain seems to be in my hand [Perry] |
4888 | It seems plausible that many animals have experiences without knowing about them [Perry] |
4891 | If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry] |
4900 | Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry] |
4892 | If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry] |
4889 | Although we may classify ideas by content, we individuate them differently, as their content can change [Perry] |
4896 | The intension of an expression is a function from possible worlds to an appropriate extension [Perry] |
9378 | If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian] |
9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
9372 | Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian] |
4897 | A proposition is a set of possible worlds for which its intension delivers truth [Perry] |
17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
4890 | A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry] |
9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |