79 ideas
| 9199 | Wisdom for one instant is as good as wisdom for eternity [Chrysippus] |
| 20853 | Wise men should try to participate in politics, since they are a good influence [Chrysippus, by Diog. Laertius] |
| 20772 | Three branches of philosophy: first logic, second ethics, third physics (which ends with theology) [Chrysippus] |
| 5969 | Chrysippus said the uncaused is non-existent [Chrysippus, by Plutarch] |
| 21388 | The causes of future true events must exist now, so they will happen because of destiny [Chrysippus, by Cicero] |
| 20780 | Graspable presentations are criteria of facts, and are molded according to their objects [Chrysippus, by Diog. Laertius] |
| 20793 | How could you ever know that the presentation is similar to the object? [Sext.Empiricus on Chrysippus] |
| 21752 | Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine] |
| 8077 | Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin] |
| 20791 | Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius] |
| 17835 | Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M] |
| 8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
| 6023 | Every proposition is either true or false [Chrysippus, by Cicero] |
| 17886 | The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner] |
| 10071 | Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P] |
| 19123 | If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh] |
| 10621 | Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel] |
| 17888 | The undecidable sentence can be decided at a 'higher' level in the system [Gödel] |
| 10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
| 10072 | First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P] |
| 9590 | Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman] |
| 3198 | Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey] |
| 11069 | Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna] |
| 10118 | First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman] |
| 10122 | Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman] |
| 10611 | There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P] |
| 10867 | 'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg] |
| 8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
| 5992 | Chrysippus says action is the criterion for existence, which must be physical [Chrysippus, by Tieleman] |
| 21673 | There are simple and complex facts; the latter depend on further facts [Chrysippus, by Cicero] |
| 16652 | Stoics categories are Substrate, Quality, Disposition, and Relation [Chrysippus, by Pasnau] |
| 16058 | Dion and Theon coexist, but Theon lacks a foot. If Dion loses a foot, he ousts Theon? [Chrysippus, by Philo of Alexandria] |
| 16059 | Change of matter doesn't destroy identity - in Dion and Theon change is a condition of identity [Chrysippus, by Long/Sedley] |
| 11052 | Psychological logic can't distinguish justification from causes of a belief [Frege] |
| 1875 | Dogs show reason in decisions made by elimination [Chrysippus, by Sext.Empiricus] |
| 20834 | Chrysippus allows evil to say it is fated, or even that it is rational and natural [Plutarch on Chrysippus] |
| 20833 | A swerve in the atoms would be unnatural, like scales settling differently for no reason [Chrysippus, by Plutarch] |
| 20808 | Everything is fated, either by continuous causes or by a supreme rational principle [Chrysippus, by Diog. Laertius] |
| 20835 | Chrysippus is wrong to believe in non-occurring future possibilities if he is a fatalist [Plutarch on Chrysippus] |
| 20836 | The Lazy Argument responds to fate with 'why bother?', but the bothering is also fated [Chrysippus, by Cicero] |
| 20837 | Fate is an eternal and fixed chain of causal events [Chrysippus] |
| 21679 | When we say events are fated by antecedent causes, do we mean principal or auxiliary causes? [Chrysippus] |
| 5971 | Destiny is only a predisposing cause, not a sufficient cause [Chrysippus, by Plutarch] |
| 3192 | Basic logic can be done by syntax, with no semantics [Gödel, by Rey] |
| 20787 | A proposition is what can be asserted or denied on its own [Chrysippus] |
| 20850 | Passions are judgements; greed thinks money is honorable, and likewise drinking and lust [Chrysippus, by Diog. Laertius] |
| 20869 | The highest degree of morality performs all that is appropriate, omitting nothing [Chrysippus] |
| 3044 | Stoics say that beauty and goodness are equivalent and linked [Chrysippus, by Diog. Laertius] |
| 20838 | Fate initiates general causes, but individual wills and characters dictate what we do [Chrysippus] |
| 20813 | Human purpose is to contemplate and imitate the cosmos [Chrysippus] |
| 3045 | Stoics say justice is a part of nature, not just an invented principle [Chrysippus, by Diog. Laertius] |
| 20774 | Only nature is available to guide action and virtue [Chrysippus] |
| 20864 | Live in agreement, according to experience of natural events [Chrysippus] |
| 5972 | Living happily is nothing but living virtuously [Chrysippus, by Plutarch] |
| 1777 | Pleasure is not the good, because there are disgraceful pleasures [Chrysippus, by Diog. Laertius] |
| 5973 | Justice can be preserved if pleasure is a good, but not if it is the goal [Chrysippus, by Plutarch] |
| 20845 | There are shameful pleasures, and nothing shameful is good, so pleasure is not a good [Chrysippus, by Diog. Laertius] |
| 5967 | People need nothing except corn and water [Chrysippus, by Plutarch] |
| 5966 | All virtue is good, but not always praised (as in not lusting after someone ugly) [Chrysippus] |
| 20855 | Chrysippus says virtue can be lost (though Cleanthes says it is too secure for that) [Chrysippus, by Diog. Laertius] |
| 5970 | Chrysippus says nothing is blameworthy, as everything conforms with the best nature [Chrysippus, by Plutarch] |
| 20842 | Rational animals begin uncorrupted, but externals and companions are bad influences [Chrysippus, by Diog. Laertius] |
| 20856 | Justice, the law, and right reason are natural and not conventional [Chrysippus, by Diog. Laertius] |
| 1779 | We don't have obligations to animals as they aren't like us [Chrysippus, by Diog. Laertius] |
| 20857 | Justice is irrelevant to animals, because they are too unlike us [Chrysippus, by Diog. Laertius] |
| 20812 | Covers are for shields, and sheaths for swords; likewise, all in the cosmos is for some other thing [Chrysippus] |
| 21403 | The later Stoics identified the logos with an air-fire compound, called 'pneuma' [Chrysippus, by Long] |
| 20828 | Fire is a separate element, not formed with others (as was previously believed) [Chrysippus, by Stobaeus] |
| 5975 | Stoics say earth, air, fire and water are the primary elements [Chrysippus, by Plutarch] |
| 20819 | The past and the future subsist, but only the present exists [Chrysippus, by Plutarch] |
| 20818 | The present does not exist, so our immediate experience is actually part past and part future [Chrysippus, by Plutarch] |
| 20821 | Time is continous and infinitely divisible, so there cannot be a wholly present time [Chrysippus, by Stobaeus] |
| 3048 | Stoics say that God the creator is the perfection of all animals [Chrysippus, by Diog. Laertius] |
| 20773 | The origin of justice can only be in Zeus, and in nature [Chrysippus] |
| 3042 | Stoics teach that law is identical with right reason, which is the will of Zeus [Chrysippus, by Diog. Laertius] |
| 5965 | The source of all justice is Zeus and the universal nature [Chrysippus] |
| 1782 | Stoics teach that God is a unity, variously known as Mind, or Fate, or Jupiter [Chrysippus, by Diog. Laertius] |
| 20830 | Death can't separate soul from body, because incorporeal soul can't unite with body [Chrysippus] |
| 21404 | There is a rationale in terrible disasters; they are useful to the whole, and make good possible [Chrysippus] |