32 ideas
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
7306 | If the only property of a name was its reference, we couldn't explain bearerless names [Miller,A] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
7322 | Constitutive scepticism is about facts, and epistemological scepticism about our ability to know them [Miller,A] |
7325 | Dispositions say what we will do, not what we ought to do, so can't explain normativity [Miller,A] |
7324 | Explain meaning by propositional attitudes, or vice versa, or together? [Miller,A] |
7323 | If truth is deflationary, sentence truth-conditions just need good declarative syntax [Miller,A] |
7315 | 'Jones is a married bachelor' does not have the logical form of a contradiction [Miller,A] |
7328 | The principle of charity is holistic, saying we must hold most of someone's system of beliefs to be true [Miller,A] |
7329 | Maybe we should interpret speakers as intelligible, rather than speaking truth [Miller,A] |
7333 | The Frege-Geach problem is that I can discuss the wrongness of murder without disapproval [Miller,A] |
16682 | Other things could occupy the same location as an angel [Suárez] |