40 ideas
| 7578 | I conceived it my task to create difficulties everywhere [Kierkegaard] |
| 22047 | Wherever there is painless contradiction there is also comedy [Kierkegaard] |
| 1708 | In "Callias is just/not just/unjust", which of these are contraries? [Aristotle] |
| 22092 | Kierkegaard's truth draws on authenticity, fidelity and honesty [Kierkegaard, by Carlisle] |
| 15999 | Pure truth is for infinite beings only; I prefer endless striving for truth [Kierkegaard] |
| 20313 | The highest truth we can get is uncertainty held fast by an inward passion [Kierkegaard] |
| 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] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 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] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 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] |
| 20742 | The real subject is ethical, not cognitive [Kierkegaard] |
| 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] |
| 7579 | While big metaphysics is complete without ethics, personal philosophy emphasises ethics [Kierkegaard] |
| 7581 | Speculative philosophy loses the individual in a vast vision of humanity [Kierkegaard] |
| 20314 | People want to lose themselves in movements and history, instead of being individuals [Kierkegaard] |
| 7582 | Becoming what one is is a huge difficulty, because we strongly aspire to be something else [Kierkegaard] |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |
| 7586 | God does not think or exist; God creates, and is eternal [Kierkegaard] |
| 20312 | God cannot be demonstrated objectively, because God is a subject, only existing inwardly [Kierkegaard] |
| 7580 | Pantheism destroys the distinction between good and evil [Kierkegaard] |
| 7583 | Faith is the highest passion in the sphere of human subjectivity [Kierkegaard] |
| 7584 | Without risk there is no faith [Kierkegaard] |