36 ideas
| 3600 | Slow and accurate thought makes the greatest progress [Descartes] |
| 3601 | Most things in human life seem vain and useless [Descartes] |
| 3602 | Almost every daft idea has been expressed by some philosopher [Descartes] |
| 3603 | Methodical thinking is cautious, analytical, systematic, and panoramic [Descartes, by PG] |
| 3612 | Clear and distinct conceptions are true because a perfect God exists [Descartes] |
| 3610 | Truth is clear and distinct conception - of which it is hard to be sure [Descartes] |
| 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] |
| 14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
| 8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
| 3605 | We can believe a thing without knowing we believe it [Descartes] |
| 1583 | In morals Descartes accepts the conventional, but rejects it in epistemology [Roochnik on Descartes] |
| 3607 | In thinking everything else false, my own existence remains totally certain [Descartes] |
| 3617 | I aim to find the principles and causes of everything, using the seeds within my mind [Descartes] |
| 3611 | Understanding, rather than imagination or senses, gives knowledge [Descartes] |
| 3606 | I was searching for reliable rock under the shifting sand [Descartes] |
| 3604 | When rebuilding a house, one needs alternative lodgings [Descartes] |
| 3618 | Only experiments can settle disagreements between rival explanations [Descartes] |
| 3615 | Little reason is needed to speak, so animals have no reason at all [Descartes] |
| 3609 | I am a thinking substance, which doesn't need a place or material support [Descartes] |
| 3608 | I can deny my body and the world, but not my own existence [Descartes] |
| 3613 | Reason is universal in its responses, but a physical machine is constrained by its organs [Descartes] |
| 3616 | The soul must unite with the body to have appetites and sensations [Descartes] |
| 3614 | A machine could speak in response to physical stimulus, but not hold a conversation [Descartes] |
| 1581 | Greeks elevate virtues enormously, but never explain them [Descartes] |
| 9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |
| 16686 | God has established laws throughout nature, and implanted ideas of them within us [Descartes] |