5 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
5517 | Individuals don't exist, but are conventional names for sets of elements [Buddha] |
7600 | The Buddha believed the gods would eventually disappear, and Nirvana was much higher [Buddha, by Armstrong,K] |
7601 | Life is suffering, from which only compassion, gentleness, truth and sobriety can save us [Buddha] |