23 ideas
9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
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] |
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] |
17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |