21 ideas
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] |
18890 | Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
7705 | The Twin Earth theory suggests that intentionality is independent of qualia [Jacquette on Putnam] |
4099 | If Twins talking about 'water' and 'XYZ' have different thoughts but identical heads, then thoughts aren't in the head [Putnam, by Crane] |
12026 | We say ice and steam are different forms of water, but not that they are different forms of H2O [Forbes,G on Putnam] |
3208 | Does 'water' mean a particular substance that was 'dubbed'? [Putnam, by Rey] |
3893 | Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton] |
11191 | The hidden structure of a natural kind determines membership in all possible worlds [Putnam] |
11192 | If causes are the essence of diseases, then disease is an example of a relational essence [Putnam, by Williams,NE] |
11190 | Archimedes meant by 'gold' the hidden structure or essence of the stuff [Putnam] |