3 ideas
| 18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
| Full Idea: We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC. | |
| From: Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30). |
| 12191 | Counterfactuals are true if logical or natural laws imply the consequence [Goodman, by McFetridge] |
| Full Idea: Goodman's central idea was: 'If that match had been scratched, it would have lighted' is true if there are suitable truths from which, with the antecedent, the consequent can be inferred by means of a logical, or more typically natural, law. | |
| From: report of Nelson Goodman (The Problem of Counterfactual Conditionals [1947]) by Ian McFetridge - Logical Necessity: Some Issues §4 | |
| A reaction: Goodman then discusses the problem of identifying the natural laws, and identifying the suitable truths. I'm inclined to think counterfactuals are vaguer than that; they are plausible if coherent reasons can be offered for the inference. |
| 7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
| Full Idea: The politics of Leibniz may be summed up in one word: theocracy. The specific agenda motivating much of his work was to reunite the Protestant and Catholic churches | |
| From: Matthew Stewart (The Courtier and the Heretic [2007], Ch. 5) | |
| A reaction: This would be a typical project for a rationalist philosopher, who thinks that good reasoning will gradually converge on the one truth. |