4 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
9465 | Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette] |
9466 | Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette] |
14296 | Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine] |