36 ideas
| 21406 | Because there is only one human reason, there can only be one true philosophy from principles [Kant] |
| 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] |
| 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] |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| 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] |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| 21081 | We are equipped with the a priori intuitions needed for the concept of right [Kant] |
| 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] |
| 21082 | A power-based state of nature may not be unjust, but there is no justice without competent judges [Kant] |
| 21089 | Monarchs have the highest power; autocrats have complete power [Kant] |
| 21086 | Hereditary nobility has not been earned, and probably won't be earned [Kant] |
| 21080 | Actions are right if the maxim respects universal mutual freedoms [Kant] |
| 21083 | Women have no role in politics [Kant] |
| 21407 | Equality is not being bound in ways you cannot bind others [Kant] |
| 21084 | In the contract people lose their rights, but immediately regain them, in the new commonwealth [Kant] |
| 21090 | If someone has largely made something, then they own it [Kant] |
| 21087 | Human life is pointless without justice [Kant] |
| 21088 | Justice asserts the death penalty for murder, from a priori laws [Kant] |
| 21085 | The church has a political role, by offering a supreme power over people [Kant] |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |