58 ideas
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| 18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
| 18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
| 18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
| 18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
| 18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
| 18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| 18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
| 18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
| 18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
| 18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
| 18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
| 18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
| 18182 | The extension of concepts is not important to me [Maddy] |
| 18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| 18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
| 18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
| 18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
| 18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
| 18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
| 18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
| 18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
| 18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| 18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
| 9476 | If dispositions are more fundamental than causes, then they won't conceptually reduce to them [Bird on Lewis] |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| 8425 | For true counterfactuals, both antecedent and consequent true is closest to actuality [Lewis] |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| 18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
| 8424 | Determinism says there can't be two identical worlds up to a time, with identical laws, which then differ [Lewis] |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| 8420 | A proposition is a set of possible worlds where it is true [Lewis] |
| 8405 | A theory of causation should explain why cause precedes effect, not take it for granted [Lewis, by Field,H] |
| 8427 | I reject making the direction of causation axiomatic, since that takes too much for granted [Lewis] |
| 10392 | It is just individious discrimination to pick out one cause and label it as 'the' cause [Lewis] |
| 8419 | The modern regularity view says a cause is a member of a minimal set of sufficient conditions [Lewis] |
| 8421 | Regularity analyses could make c an effect of e, or an epiphenomenon, or inefficacious, or pre-empted [Lewis] |
| 17525 | The counterfactual view says causes are necessary (rather than sufficient) for their effects [Lewis, by Bird] |
| 17524 | Lewis has basic causation, counterfactuals, and a general ancestral (thus handling pre-emption) [Lewis, by Bird] |
| 8397 | Counterfactual causation implies all laws are causal, which they aren't [Tooley on Lewis] |
| 8423 | My counterfactual analysis applies to particular cases, not generalisations [Lewis] |
| 8426 | One event causes another iff there is a causal chain from first to second [Lewis] |
| 4795 | Lewis's account of counterfactuals is fine if we know what a law of nature is, but it won't explain the latter [Cohen,LJ on Lewis] |