21 ideas
2510 | Traditionally philosophy is an a priori enquiry into general truths about reality [Katz] |
2516 | Most of philosophy begins where science leaves off [Katz] |
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
2521 | 'Real' maths objects have no causal role, no determinate reference, and no abstract/concrete distinction [Katz] |
10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
11984 | Asserting a possible property is to say it would have had the property if that world had been actual [Plantinga] |
11980 | A possible world is a maximal possible state of affairs [Plantinga] |
11982 | If possible Socrates differs from actual Socrates, the Indiscernibility of Identicals says they are different [Plantinga] |
11983 | It doesn't matter that we can't identify the possible Socrates; we can't identify adults from baby photos [Plantinga] |
11985 | If individuals can only exist in one world, then they can never lack any of their properties [Plantinga] |
11986 | The counterparts of Socrates have self-identity, but only the actual Socrates has identity-with-Socrates [Plantinga] |
11987 | Counterpart Theory absurdly says I would be someone else if things went differently [Plantinga] |
2513 | We don't have a clear enough sense of meaning to pronounce some sentences meaningless or just analytic [Katz] |
2522 | Experience cannot teach us why maths and logic are necessary [Katz] |
2517 | Structuralists see meaning behaviouristically, and Chomsky says nothing about it [Katz] |
2519 | It is generally accepted that sense is defined as the determiner of reference [Katz] |
2520 | Sense determines meaning and synonymy, not referential properties like denotation and truth [Katz] |
2518 | Sentences are abstract types (like musical scores), not individual tokens [Katz] |