40 ideas
| 1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
| 1703 | It is necessary that either a sea-fight occurs tomorrow or it doesn't, though neither option is in itself necessary [Aristotle] |
| 1704 | Statements are true according to how things actually are [Aristotle] |
| 22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
| 9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
| 9728 | Modal Square 1: □P and ¬◊¬P are 'contraries' of □¬P and ¬◊P [Aristotle, by Fitting/Mendelsohn] |
| 9729 | Modal Square 2: ¬□¬P and ◊P are 'subcontraries' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 9730 | Modal Square 3: □P and ¬◊¬P are 'contradictories' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 9731 | Modal Square 4: □¬P and ¬◊P are 'contradictories' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| 9732 | Modal Square 5: □P and ¬◊¬P are 'subalternatives' of ¬□¬P and ◊P [Aristotle, by Fitting/Mendelsohn] |
| 9733 | Modal Square 6: □¬P and ¬◊P are 'subalternatives' of ¬□P and ◊¬P [Aristotle, by Fitting/Mendelsohn] |
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 21593 | In talking of future sea-fights, Aristotle rejects bivalence [Aristotle, by Williamson] |
| 1701 | A prayer is a sentence which is neither true nor false [Aristotle] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 1706 | Non-existent things aren't made to exist by thought, because their non-existence is part of the thought [Aristotle] |
| 1707 | Maybe necessity and non-necessity are the first principles of ontology [Aristotle] |
| 7845 | When we need to do something, we depute an inner servant to remind us of it [Proust] |
| 2337 | For Aristotle meaning and reference are linked to concepts [Aristotle, by Putnam] |
| 13763 | Spoken sounds vary between people, but are signs of affections of soul, which are the same for all [Aristotle] |
| 1705 | It doesn't have to be the case that in opposed views one is true and the other false [Aristotle] |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |