33 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
22358 | Scientific objectivity lies in inter-subjective testing [Popper] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
11946 | Propensities are part of a situation, not part of the objects [Popper] |
12177 | Human artefacts may have essences, in their purposes [Popper] |
5451 | Popper felt that ancient essentialism was a bar to progress [Popper, by Mautner] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
22188 | Give Nobel Prizes for really good refutations? [Gorham on Popper] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
7780 | Falsification is the criterion of demarcation between science and non-science [Popper, by Magee] |
16830 | We don't only reject hypotheses because we have falsified them [Lipton on Popper] |
6794 | If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper] |
6795 | When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper] |
3856 | Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith] |
7779 | There is no such thing as induction [Popper, by Magee] |
3860 | Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper] |
12176 | Science does not aim at ultimate explanations [Popper] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
12175 | Galilean science aimed at true essences, as the ultimate explanations [Popper] |
12179 | Essentialist views of science prevent further questions from being raised [Popper] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |