42 ideas
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] |
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] |
13047 | It is knowing 'why' that gives scientific understanding, not knowing 'that' [Salmon] |
13065 | Understanding is an extremely vague concept [Salmon] |
13054 | Correlations can provide predictions, but only causes can give explanations [Salmon] |
13067 | For the instrumentalists there are no scientific explanations [Salmon] |
13055 | Good induction needs 'total evidence' - the absence at the time of any undermining evidence [Salmon] |
13046 | Scientific explanation is not reducing the unfamiliar to the familiar [Salmon] |
13058 | Why-questions can seek evidence as well as explanation [Salmon] |
14366 | An explanation is a table of statistical information [Salmon, by Strevens] |
13064 | The three basic conceptions of scientific explanation are modal, epistemic, and ontic [Salmon] |
13050 | The 'inferential' conception is that all scientific explanations are arguments [Salmon] |
13059 | Ontic explanations can be facts, or reports of facts [Salmon] |
13049 | We must distinguish true laws because they (unlike accidental generalizations) explain things [Salmon] |
13051 | Deductive-nomological explanations will predict, and their predictions will explain [Salmon] |
13053 | A law is not enough for explanation - we need information about what makes a difference [Salmon] |
13061 | Flagpoles explain shadows, and not vice versa, because of temporal ordering [Salmon] |
17093 | Causation produces productive mechanisms; to understand the world, understand these mechanisms [Salmon] |
17492 | Salmon's interaction mechanisms needn't be regular, or involving any systems [Glennan on Salmon] |
13045 | Explanation at the quantum level will probably be by entirely new mechanisms [Salmon] |
13062 | Does an item have a function the first time it occurs? [Salmon] |
13063 | Explanations reveal the mechanisms which produce the facts [Salmon] |
16557 | Salmon's mechanisms are processes and interactions, involving marks, or conserved quantities [Salmon, by Machamer/Darden/Craver] |
13060 | Can events whose probabilities are low be explained? [Salmon] |
13056 | Statistical explanation needs relevance, not high probability [Salmon] |
13057 | Think of probabilities in terms of propensities rather than frequencies [Salmon] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |
8412 | A causal interaction is when two processes intersect, and correlated modifications persist afterwards [Salmon] |
8413 | Cause must come first in propagations of causal interactions, but interactions are simultaneous [Salmon] |
8411 | Instead of localised events, I take enduring and extended processes as basic to causation [Salmon] |
4784 | Salmon says processes rather than events should be basic in a theory of physical causation [Salmon, by Psillos] |
8409 | Probabilistic causal concepts are widely used in everyday life and in science [Salmon] |