4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
8431 | Problems with Goodman's view of counterfactuals led to a radical approach from Stalnaker and Lewis [Horwich] |
16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
8432 | Analyse counterfactuals using causation, not the other way around [Horwich] |