112 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] |
13634 | Satisfaction is 'truth in a model', which is a model of 'truth' [Shapiro] |
13643 | Aristotelian logic is complete [Shapiro] |
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] |
13651 | A set is 'transitive' if contains every member of each of its members [Shapiro] |
13647 | Choice is essential for proving downward Löwenheim-Skolem [Shapiro] |
13631 | Are sets part of logic, or part of mathematics? [Shapiro] |
13640 | Russell's paradox shows that there are classes which are not iterative sets [Shapiro] |
13654 | It is central to the iterative conception that membership is well-founded, with no infinite descending chains [Shapiro] |
13666 | Iterative sets are not Boolean; the complement of an iterative set is not an iterative sets [Shapiro] |
13653 | 'Well-ordering' of a set is an irreflexive, transitive, and binary relation with a least element [Shapiro] |
13627 | There is no 'correct' logic for natural languages [Shapiro] |
13642 | Logic is the ideal for learning new propositions on the basis of others [Shapiro] |
13669 | Can one develop set theory first, then derive numbers, or are numbers more basic? [Shapiro] |
13667 | Skolem and Gödel championed first-order, and Zermelo, Hilbert, and Bernays championed higher-order [Shapiro] |
13668 | Bernays (1918) formulated and proved the completeness of propositional logic [Shapiro] |
13624 | The 'triumph' of first-order logic may be related to logicism and the Hilbert programme, which failed [Shapiro] |
13660 | Maybe compactness, semantic effectiveness, and the Löwenheim-Skolem properties are desirable [Shapiro] |
13662 | First-order logic was an afterthought in the development of modern logic [Shapiro] |
13673 | The notion of finitude is actually built into first-order languages [Shapiro] |
13650 | Henkin semantics has separate variables ranging over the relations and over the functions [Shapiro] |
15944 | Second-order logic is better than set theory, since it only adds relations and operations, and nothing else [Shapiro, by Lavine] |
13645 | In standard semantics for second-order logic, a single domain fixes the ranges for the variables [Shapiro] |
13649 | Completeness, Compactness and Löwenheim-Skolem fail in second-order standard semantics [Shapiro] |
13629 | Broad standard semantics, or Henkin semantics with a subclass, or many-sorted first-order semantics? [Shapiro] |
13637 | If a logic is incomplete, its semantic consequence relation is not effective [Shapiro] |
13626 | Semantic consequence is ineffective in second-order logic [Shapiro] |
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] |
13632 | Finding the logical form of a sentence is difficult, and there are no criteria of correctness [Shapiro] |
13674 | We might reduce ontology by using truth of sentences and terms, instead of using objects satisfying models [Shapiro] |
13633 | 'Satisfaction' is a function from models, assignments, and formulas to {true,false} [Shapiro] |
13644 | Semantics for models uses set-theory [Shapiro] |
13636 | An axiomatization is 'categorical' if its models are isomorphic, so there is really only one interpretation [Shapiro] |
13670 | Categoricity can't be reached in a first-order language [Shapiro] |
13648 | The Löwenheim-Skolem theorems show an explosion of infinite models, so 1st-order is useless for infinity [Shapiro] |
13658 | Downward Löwenheim-Skolem: each satisfiable countable set always has countable models [Shapiro] |
13659 | Upward Löwenheim-Skolem: each infinite model has infinite models of all sizes [Shapiro] |
13675 | Substitutional semantics only has countably many terms, so Upward Löwenheim-Skolem trivially fails [Shapiro] |
13635 | 'Weakly sound' if every theorem is a logical truth; 'sound' if every deduction is a semantic consequence [Shapiro] |
13628 | We can live well without completeness in logic [Shapiro] |
13630 | Non-compactness is a strength of second-order logic, enabling characterisation of infinite structures [Shapiro] |
13646 | Compactness is derived from soundness and completeness [Shapiro] |
13661 | A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro] |
13641 | Complex numbers can be defined as reals, which are defined as rationals, then integers, then naturals [Shapiro] |
13676 | Only higher-order languages can specify that 0,1,2,... are all the natural numbers that there are [Shapiro] |
13677 | Natural numbers are the finite ordinals, and integers are equivalence classes of pairs of finite ordinals [Shapiro] |
13652 | The 'continuum' is the cardinality of the powerset of a denumerably infinite set [Shapiro] |
13657 | First-order arithmetic can't even represent basic number theory [Shapiro] |
13656 | Some sets of natural numbers are definable in set-theory but not in arithmetic [Shapiro] |
13664 | Logicism is distinctive in seeking a universal language, and denying that logic is a series of abstractions [Shapiro] |
13625 | Mathematics and logic have no border, and logic must involve mathematics and its ontology [Shapiro] |
13663 | Some reject formal properties if they are not defined, or defined impredicatively [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] |
13638 | Properties are often seen as intensional; equiangular and equilateral are different, despite identity of objects [Shapiro] |
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] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
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] |
21679 | When we say events are fated by antecedent causes, do we mean principal or auxiliary causes? [Chrysippus] |
20837 | Fate is an eternal and fixed chain of causal events [Chrysippus] |
5971 | Destiny is only a predisposing cause, not a sufficient cause [Chrysippus, by Plutarch] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
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] |