93 ideas
13310 | Wisdom does not lie in books, and unread people can also become wise [Seneca] |
13560 | A wise man is not subservient to anything [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] |
10073 | There cannot be a set theory which is complete [Smith,P] |
10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
10074 | A 'total function' maps every element to one element in another set [Smith,P] |
10612 | An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P] |
10605 | Two functions are the same if they have the same extension [Smith,P] |
10075 | A 'partial function' maps only some elements to another set [Smith,P] |
10076 | The 'range' of a function is the set of elements in the output set created by the function [Smith,P] |
10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
10595 | A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P] |
10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
10613 | No nice theory can define truth for its own language [Smith,P] |
10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
10070 | If everything that a theory proves is true, then it is 'sound' [Smith,P] |
10086 | Soundness is true axioms and a truth-preserving proof system [Smith,P] |
10596 | A theory is 'sound' iff every theorem is true (usually from true axioms and truth-preservation) [Smith,P] |
10598 | A theory is 'negation complete' if it proves all sentences or their negation [Smith,P] |
10597 | 'Complete' applies both to whole logics, and to theories within them [Smith,P] |
10069 | A theory is 'negation complete' if one of its sentences or its negation can always be proved [Smith,P] |
10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
10087 | A theory is 'decidable' if all of its sentences could be mechanically proved [Smith,P] |
10088 | Any consistent, axiomatized, negation-complete formal theory is decidable [Smith,P] |
10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [Smith,P] |
10081 | A set is 'enumerable' is all of its elements can result from a natural number function [Smith,P] |
10083 | A set is 'effectively enumerable' if a computer could eventually list every member [Smith,P] |
10084 | A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes) [Smith,P] |
10085 | The set of ordered pairs of natural numbers <i,j> is effectively enumerable [Smith,P] |
10601 | The thorems of a nice arithmetic can be enumerated, but not the truths (so they're diffferent) [Smith,P] |
10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |
10618 | All numbers are related to zero by the ancestral of the successor relation [Smith,P] |
10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
10852 | Robinson Arithmetic (Q) is not negation complete [Smith,P] |
10851 | Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P] |
10068 | Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P] |
10603 | The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P] |
10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
13297 | To the four causes Plato adds a fifth, the idea which guided the event [Seneca] |
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] |
13558 | The supreme good is harmony of spirit [Seneca] |
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] |
13550 | To be always happy is to lack knowledge of one half of nature [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] |
13559 | I seek virtue, because it is its own reward [Seneca] |
13554 | True greatness is never allowing events to disturb you [Seneca] |
13305 | Character is ruined by not looking back over our pasts, since the future rests on the past [Seneca] |
13561 | Virtue is always moderate, so excess need not be feared [Seneca] |
13562 | It is shameful to not even recognise your own slaves [Seneca] |
13556 | Every night I critically review how I have behaved during the day [Seneca] |
13308 | It's no good winning lots of fights, if you are then conquered by your own temper [Seneca] |
13312 | Excessive curiosity is a form of intemperance [Seneca] |
13553 | Anger is a vice which afflicts good men as well as bad [Seneca] |
13552 | Anger is an extreme vice, threatening sanity, and gripping whole states [Seneca] |
13549 | Nothing bad can happen to a good man [Seneca] |
13563 | Why does your wife wear in her ears the income of a wealthy house? [Seneca] |
13564 | There is far more scope for virtue if you are wealthy; poverty only allows endurance [Seneca] |
13565 | If wealth was a good, it would make men good [Seneca] |
13315 | To govern used to mean to serve, not to rule; rulers did not test their powers over those who bestowed it [Seneca] |
13557 | Unfortunately the majority do not tend to favour what is best [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] |
13548 | The ocean changes in volume in proportion to the attraction of the moon [Seneca] |
13311 | Does time exist on its own? Did anything precede it? Did it pre-exist the cosmos? [Seneca] |