Combining Texts

All the ideas for 'fragments/reports', 'Completeness of Axioms of Logic' and 'Counterfactuals'

expand these ideas     |    start again     |     specify just one area for these texts

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals

14361

Lewis says indicative conditionals are truth-functional [Lewis, by Jackson]

10. Modality / B. Possibility / 9. Counterfactuals

8434	In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]

26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory

9419	A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis]