10 ideas
18491 | The idea of 'making' can be mere conceptual explanation (like 'because') [Künne] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
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] |
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] |
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] |