48 ideas
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| 18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
| 5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |
| 23590 | Criminal responsibility can be fully assigned to each member of a group [Walzer] |
| 23578 | Double Effect needs a double intention - to achieve the good, and minimise the evil [Walzer] |
| 23564 | Deep ethical theory is very controversial, but we have to live with higher ethical practice [Walzer] |
| 20595 | You can't distribute goods from behind a veil, because their social meaning is unclear [Walzer, by Tuckness/Wolf] |
| 20592 | Complex equality restricts equalities from spilling over, like money influencing politics and law [Walzer, by Tuckness/Wolf] |
| 20549 | Equality is complex, with different spheres of equality where different principles apply [Walzer, by Swift] |
| 23568 | If whole states possess rights, there can be social relations between states [Walzer] |
| 23571 | States can rightly pre-empt real and serious threats [Walzer] |
| 23572 | Just wars are self-defence, or a rightful intercession in another's troubles [Walzer] |
| 23581 | The aim of reprisals is to enforce the rules of war [Walzer] |
| 23582 | Reprisal is defensible, as an alternative to war [Walzer] |
| 23588 | With nuclear weapons we have a permanent supreme emergency (which is unstable) [Walzer] |
| 23580 | States need not endure attacks passively, and successful reprisals are legitimate [Walzer] |
| 23587 | Nuclear bombs are not for normal war; they undermine the 'just war', with a new morality [Walzer] |
| 23567 | Even non-violent intrusive acts between states count as aggression, if they justify resistance [Walzer] |
| 23570 | The only good reason for fighting is in defence of rights [Walzer] |
| 23573 | For moral reasons, a just war must be a limited war [Walzer] |
| 23577 | Napoleon said 'I don't care about the deaths of a million men' [Walzer] |
| 23593 | Jus ad bellum and Jus in bello are independent; unjust wars can be fought in a just way [Walzer] |
| 23574 | The duties and moral status of loyal and obedient soldiers is the same in defence and aggression [Walzer] |
| 23575 | We can't blame soldiers for anything they do which clearly promotes victory [Walzer] |
| 23584 | Rejecting Combatant Equality allows just soldiers to be harsher, even to the extreme [Walzer] |
| 23589 | Kidnapped sailors and volunteers have different obligations to the passengers [Walzer] |
| 23614 | Even aggressor soldiers are not criminals, so they have equal rights with their opponents [Walzer] |
| 23579 | Soldiers will only protect civilians if they feel safe from them [Walzer] |
| 23586 | What matters in war is unacceptable targets, not unacceptable weapons [Walzer] |
| 23591 | If the oppressor is cruel, nonviolence is either surrender, or a mere gesture [Walzer] |
| 23592 | We can only lead war towards peace if we firmly enforce the rules of war [Walzer] |