19 ideas
| 9808 | Philosophy aims to reveal the grandeur of mathematics [Badiou] |
| 5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
| 8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
| 9812 | In mathematics, if a problem can be formulated, it will eventually be solved [Badiou] |
| 9813 | Mathematics shows that thinking is not confined to the finite [Badiou] |
| 9809 | Mathematics inscribes being as such [Badiou] |
| 16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
| 9811 | It is of the essence of being to appear [Badiou] |
| 16965 | All we have of general existence is what existential quantifiers express [Quine] |
| 16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
| 16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
| 4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
| 18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
| 14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
| 16961 | In formal terms, a category is the range of some style of variables [Quine] |
| 4692 | It is not true that killing and allowing to die (or acts and omissions) are morally indistinguishable [Foot] |
| 4694 | Making a runaway tram kill one person instead of five is diverting a fatal sequence, not initiating one [Foot] |
| 9814 | All great poetry is engaged in rivalry with mathematics [Badiou] |
| 4693 | The right of non-interference (with a 'negative duty'), and the right to goods/services ('positive') [Foot] |