19 ideas
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
22227 | For Sartre there is only being for-itself, or being in-itself (which is beyond experience) [Sartre, by Daigle] |
20743 | Appearances do not hide the essence; appearances are the essence [Sartre] |
6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
6151 | Sartre says consciousness is just directedness towards external objects [Sartre, by Rowlands] |
6164 | Sartre rejects mental content, and the idea that the mind has hidden inner features [Sartre, by Rowlands] |
7074 | Man is a useless passion [Sartre] |
6687 | Man is the desire to be God [Sartre] |
22228 | Sartre's freedom is not for whimsical action, but taking responsibility for our own values [Sartre, by Daigle] |
22233 | Love is the demand to be loved [Sartre] |
20755 | Fear concerns the world, but 'anguish' comes from confronting my self [Sartre] |
20760 | Sincerity is not authenticity, because it only commits to one particular identity [Sartre, by Aho] |
22231 | We flee from the anguish of freedom by seeing ourselves objectively, as determined [Sartre] |