34 ideas
12619 | We have no successful definitions, because they all use indefinable words [Fodor] |
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] |
17453 | The meaning of a number isn't just the numerals leading up to it [Heck] |
17457 | A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck] |
17448 | In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck] |
17455 | Is counting basically mindless, and independent of the cardinality involved? [Heck] |
17456 | Counting is the assignment of successively larger cardinal numbers to collections [Heck] |
17450 | Understanding 'just as many' needn't involve grasping one-one correspondence [Heck] |
17451 | We can know 'just as many' without the concepts of equinumerosity or numbers [Heck] |
17459 | Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck] |
17454 | Children can use numbers, without a concept of them as countable objects [Heck] |
17458 | Equinumerosity is not the same concept as one-one correspondence [Heck] |
17449 | We can understand cardinality without the idea of one-one correspondence [Heck] |
12620 | If 'exist' is ambiguous in 'chairs and numbers exist', that mirrors the difference between chairs and numbers [Fodor] |
12613 | Empiricists use dispositions reductively, as 'possibility of sensation' or 'possibility of experimental result' [Fodor] |
12617 | Associationism can't explain how truth is preserved [Fodor] |
12615 | Mental representations are the old 'Ideas', but without images [Fodor] |
6650 | Fodor is now less keen on the innateness of concepts [Fodor, by Lowe] |
12618 | It is essential to the concept CAT that it be satisfied by cats [Fodor] |
12614 | I prefer psychological atomism - that concepts are independent of epistemic capacities [Fodor] |
12621 | Definable concepts have constituents, which are necessary, individuate them, and demonstrate possession [Fodor] |
12622 | Many concepts lack prototypes, and complex prototypes aren't built from simple ones [Fodor] |
12623 | The theory theory can't actually tell us what concepts are [Fodor] |
12616 | English has no semantic theory, just associations between sentences and thoughts [Fodor] |