29 ideas
| 9247 | Life will be lived better if it has no meaning [Camus] |
| 6707 | Suicide - whether life is worth living - is the one serious philosophical problem [Camus] |
| 9245 | To an absurd mind reason is useless, and there is nothing beyond reason [Camus] |
| 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] |
| 9244 | Logic is easy, but what about logic to the point of death? [Camus] |
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| 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] |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| 9249 | Whether we are free is uninteresting; we can only experience our freedom [Camus] |
| 9253 | The human heart has a tiresome tendency to label as fate only what crushes it [Camus] |
| 9250 | Discussing ethics is pointless; moral people behave badly, and integrity doesn't need rules [Camus] |
| 9252 | The more one loves the stronger the absurd grows [Camus] |
| 9251 | One can be virtuous through a whim [Camus] |
| 6708 | Happiness and the absurd go together, each leading to the other [Camus] |
| 9243 | If we believe existence is absurd, this should dictate our conduct [Camus] |
| 9242 | Essential problems either risk death, or intensify the passion of life [Camus] |
| 9246 | Danger and integrity are not in the leap of faith, but in remaining poised just before the leap [Camus] |
| 9248 | It is essential to die unreconciled and not of one's own free will [Camus] |