37 ideas
| 10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
| 10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
| 10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
| 10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
| 10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
| 10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
| 10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
| 10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
| 10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
| 10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
| 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] |
| 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] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |