17 ideas
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
14664 | Necessary beings (numbers, properties, sets, propositions, states of affairs, God) exist in all possible worlds [Plantinga] |
14666 | Socrates is a contingent being, but his essence is not; without Socrates, his essence is unexemplified [Plantinga] |
20475 | Maybe modal sentences cannot be true or false [Casullo] |
20476 | If the necessary is a priori, so is the contingent, because the same evidence is involved [Casullo] |
14662 | Possible worlds clarify possibility, propositions, properties, sets, counterfacts, time, determinism etc. [Plantinga] |
16472 | Plantinga's actualism is nominal, because he fills actuality with possibilia [Stalnaker on Plantinga] |
20471 | Epistemic a priori conditions concern either the source, defeasibility or strength [Casullo] |
20477 | The main claim of defenders of the a priori is that some justifications are non-experiential [Casullo] |
20472 | Analysis of the a priori by necessity or analyticity addresses the proposition, not the justification [Casullo] |
20474 | 'Overriding' defeaters rule it out, and 'undermining' defeaters weaken in [Casullo] |
16469 | Plantinga has domains of sets of essences, variables denoting essences, and predicates as functions [Plantinga, by Stalnaker] |
16470 | Plantinga's essences have their own properties - so will have essences, giving a hierarchy [Stalnaker on Plantinga] |
14663 | Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga] |