61 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] |
| 9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
| 9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
| 9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
| 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] |
| 9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
| 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] |
| 23101 | Intuitions don't prove things; they just receptivity to interpretations [Kekes] |
| 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] |
| 23086 | Liberals say we are only responsible for fully autonomous actions [Kekes] |
| 23100 | Collective responsibility conflicts with responsibility's requirement of authonomy [Kekes] |
| 23093 | Moral and causal responsibility are not clearly distinct [Kekes] |
| 23096 | Morality should aim to prevent all evil actions, not just autonomous ones [Kekes] |
| 23087 | Much human evil is not autonomous, so moral responsibility need not be autonomous [Kekes] |
| 23098 | Effects show the existence of moral responsibility, and mental states show the degree [Kekes] |
| 23089 | Evil people may not be autonomously aware, if they misjudge the situation [Kekes] |
| 23094 | Ought implies can means moral responsibility needs autonomy [Kekes] |
| 23095 | Why should moral responsibility depend on autonomy, rather than social role or experience? [Kekes] |
| 23090 | Liberals assume people are naturally free, equal, rational, and morally good [Kekes] |
| 23117 | Love should be partial, and discriminate in favour of its object [Kekes] |
| 23119 | Sentimental love distorts its object [Kekes] |
| 23088 | Evil is not deviation from the good, any more than good is a deviation from evil [Kekes] |
| 23097 | What matters for morality is the effects of action, not the psychological causes [Kekes] |
| 23099 | It is said that if an agent is not autonomous then their evil actions don't reflect on their character [Kekes] |
| 23118 | Awareness of others' suffering doesn't create an obligation to help [Kekes] |
| 23109 | The veil of ignorance is only needed because people have bad motivations [Kekes] |
| 23114 | The chief function of the state is to arbitrate between contending visions of the good life [Kekes] |
| 23116 | Citizenship is easier than parenthood [Kekes] |
| 23103 | Power is meant to be confined to representatives, and subsequent delegation [Kekes] |
| 23107 | Prosperity is a higher social virtue than justice [Kekes] |
| 23081 | Liberal basics are pluralism, freedom, rights, equality, and distributive justice - for autonomy [Kekes] |
| 23085 | The key liberal values are explained by the one core value, which is autonomy [Kekes] |
| 23092 | Agents have little control over the capacities needed for liberal autonomy [Kekes] |
| 23102 | Liberals are egalitarians, but in varying degrees [Kekes] |
| 23084 | Are egalitarians too coercive, or not egalitarian enough, or lax over morality? [Kekes] |
| 23079 | Liberal justice ignores desert, which is the essence of justice [Kekes] |
| 23091 | Why do liberals not see a much wider range of values as basic? [Kekes] |
| 23112 | Liberals ignore contingency, and think people are good and equal, and institutions cause evil [Kekes] |
| 23082 | Liberal distribution cares more about recipients than donors [Kekes] |
| 23106 | To rectify the undeserved equality, we should give men longer and women shorter lives [Kekes] |
| 23121 | It is just a fact that some people are morally better than others [Kekes] |
| 23105 | It is not deplorable that billionaires have more than millionaires [Kekes] |
| 23120 | The problem is basic insufficiency of resources, not their inequality [Kekes] |
| 23108 | Justice combines consistency and desert; treat likes alike, judging likeness by desert [Kekes] |
| 23083 | Liberal welfare focuses on need rather than desert [Kekes] |
| 23113 | Sexual morality doesn't require monogamy, but it needs a group of sensible regulations [Kekes] |
| 1702 | Things may be necessary once they occur, but not be unconditionally necessary [Aristotle] |