13 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| 22808 | Liberalism is minimal government, or individual rights, or equality [Avineri/De-Shalit] |
| 22803 | Can individualist theories justify an obligation to fight in a war? [Avineri/De-Shalit] |
| 22804 | Autonomy is better achieved within a community [Avineri/De-Shalit] |
| 22806 | Communitarians avoid oppression for the common good, by means of small mediating communities [Avineri/De-Shalit] |
| 22807 | If our values are given to us by society then we have no grounds to criticise them [Avineri/De-Shalit] |