56 ideas
| 13310 | Wisdom does not lie in books, and unread people can also become wise [Seneca] |
| 13295 | Wise people escape necessity by willing it [Seneca] |
| 13317 | Philosophy aims at happiness [Seneca] |
| 13293 | What philosophy offers humanity is guidance [Seneca] |
| 13309 | That something is a necessary condition of something else doesn't mean it caused it [Seneca] |
| 13313 | Even philosophers have got bogged down in analysing tiny bits of language [Seneca] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 13297 | To the four causes Plato adds a fifth, the idea which guided the event [Seneca] |
| 23681 | The first motion or effect cannot be produced necessarily, so the First Cause must be a free agent [Reid] |
| 23676 | A willed action needs reasonable understanding of what is to be done [Reid] |
| 23680 | We are morally free, because we experience it, we are accountable, and we pursue projects [Reid] |
| 13307 | If everything can be measured, try measuring the size of a man's soul [Seneca] |
| 21399 | Referring to a person, and speaking about him, are very different [Seneca] |
| 23678 | A motive is merely an idea, like advice, and not a force for action [Reid] |
| 13325 | Trouble in life comes from copying other people, which is following convention instead of reason [Seneca] |
| 22239 | Humans acquired the concept of virtue from an analogy with bodily health and strength [Seneca, by Allen] |
| 13294 | We know death, which is like before birth; ceasing to be and never beginning are the same [Seneca] |
| 13299 | Living is nothing wonderful; what matters is to die well [Seneca] |
| 13300 | It is as silly to lament ceasing to be as to lament not having lived in the remote past [Seneca] |
| 13321 | Is anything sweeter than valuing yourself more when you find you are loved? [Seneca] |
| 13292 | Selfishness does not produce happiness; to live for yourself, live for others [Seneca] |
| 13303 | A man is as unhappy as he has convinced himself he is [Seneca] |
| 13302 | Life is like a play - it is the quality that matters, not the length [Seneca] |
| 13301 | We are scared of death - except when we are immersed in pleasure! [Seneca] |
| 13323 | The whole point of pleasure-seeking is novelty, and abandoning established ways [Seneca] |
| 13318 | Nature doesn't give us virtue; we must unremittingly pursue it, as a training and an art [Seneca] |
| 13324 | Living contrary to nature is like rowing against the stream [Seneca] |
| 13305 | Character is ruined by not looking back over our pasts, since the future rests on the past [Seneca] |
| 13312 | Excessive curiosity is a form of intemperance [Seneca] |
| 13308 | It's no good winning lots of fights, if you are then conquered by your own temper [Seneca] |
| 13315 | To govern used to mean to serve, not to rule; rulers did not test their powers over those who bestowed it [Seneca] |
| 13290 | One joy of learning is making teaching possible [Seneca] |
| 13322 | Both teachers and pupils should aim at one thing - the improvement of the pupil [Seneca] |
| 13298 | Suicide may be appropriate even when it is not urgent, if there are few reasons against it [Seneca] |
| 13319 | If we control our own death, no one has power over us [Seneca] |
| 13320 | Sometimes we have a duty not to commit suicide, for those we love [Seneca] |
| 23677 | We all know that mere priority or constant conjunction do not have to imply causation [Reid] |
| 23679 | The principle of the law of nature is that matter is passive, and is acted upon [Reid] |
| 13311 | Does time exist on its own? Did anything precede it? Did it pre-exist the cosmos? [Seneca] |