34 ideas
9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
22278 | Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid] |
8673 | Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend] |
10250 | Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid] |
10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
7545 | Visible things are physical and external, but only exist when viewed [Russell] |
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] |
7549 | If my body literally lost its mind, the object seen when I see a flash would still exist [Russell] |
7553 | Sense-data are purely physical [Russell] |
9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
7546 | A man is a succession of momentary men, bound by continuity and causation [Russell] |
7550 | We could probably, in principle, infer minds from brains, and brains from minds [Russell] |
9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
9378 | If meaning depends on conceptual role, what properties are needed to do the job? [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] |
7547 | Matter requires a division into time-corpuscles as well as space-corpuscles [Russell] |
7551 | Matter is a logical construction [Russell] |
7552 | Six dimensions are needed for a particular, three within its own space, and three to locate that space [Russell] |