38 ideas
2319 | Metaphysics is the clarification of the ontological relationships between different areas of thought [Kim] |
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] |
18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
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] |
2317 | Reductionism is good on light, genes, temperature and transparency [Kim, by PG] |
2310 | Supervenience is linked to dependence [Kim] |
2315 | Mereological supervenience says wholes are fixed by parts [Kim] |
2329 | Causal power is a good way of distinguishing the real from the unreal [Kim] |
2320 | Properties can have causal powers lacked by their constituents [Kim] |
18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
530 | There are two contradictory arguments about everything [Kim] |
13314 | Protagoras says arguments on both sides are always equal [Kim, by Seneca] |
2065 | Not every person is the measure of all things, but only wise people [Plato on Kim] |
1550 | Why didn't Protagoras begin by saying "a tadpole is the measure of all things"? [Plato on Kim] |
2318 | Agency, knowledge, reason, memory, psychology all need mental causes [Kim, by PG] |
2325 | It seems impossible that an exact physical copy of this world could lack intentionality [Kim] |
18266 | Mathematics generalises by using variables [Coffa] |
2324 | Intentionality as function seems possible [Kim] |
2314 | Maybe intentionality is reducible, but qualia aren't [Kim] |
2313 | Emergentism says there is no explanation for a supervenient property [Kim] |
2328 | The only mental property that might be emergent is that of qualia [Kim] |
2309 | Non-Reductive Physicalism relies on supervenience [Kim] |
2311 | Maybe strong supervenience implies reduction [Kim] |
2308 | Identity theory was overthrown by multiple realisations and causal anomalies [Kim] |
2322 | Multiple realisation applies to other species, and even one individual over time [Kim] |
2327 | Knowledge and inversion make functionalism about qualia doubtful [Kim] |
2323 | Emotions have both intentionality and qualia [Kim] |
18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |