Combining Texts

All the ideas for 'teaching', 'First-Order Logic' and 'Of the original contract'

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

26 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
5896 Speak the truth, for this alone deifies man [Pythagoras, by Porphyry]
1. Philosophy / B. History of Ideas / 2. Ancient Thought
3051 Pythagoras discovered the numerical relation of sounds on a string [Pythagoras, by Diog. Laertius]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
7485 For Pythagoreans 'one' is not a number, but the foundation of numbers [Pythagoras, by Watson]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
20. Action / C. Motives for Action / 5. Action Dilemmas / a. Dilemmas
21103 Moral questions can only be decided by common opinion [Hume]
22. Metaethics / B. Value / 2. Values / d. Health
3053 Pythagoras taught that virtue is harmony, and health, and universal good, and God [Pythagoras, by Diog. Laertius]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
5244 For Pythagoreans, justice is simply treating all people the same [Pythagoras, by Aristotle]
24. Political Theory / A. Basis of a State / 3. Natural Values / b. Natural equality
21099 People must have agreed to authority, because they are naturally equal, prior to education [Hume]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
21100 The idea that society rests on consent or promises undermines obedience [Hume]
20495 We no more give 'tacit assent' to the state than a passenger carried on board a ship while asleep [Hume]
21101 The people would be amazed to learn that government arises from their consent [Hume]
25. Social Practice / A. Freedoms / 7. Freedom to leave
6703 Poor people lack the knowledge or wealth to move to a different state [Hume]
25. Social Practice / C. Rights / 4. Property rights
21102 We all know that the history of property is founded on injustices [Hume]
26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature
644 For Pythagoreans the entire universe is made of numbers [Pythagoras, by Aristotle]
638 Pythagoreans define timeliness, justice and marriage in terms of numbers [Pythagoras, by Aristotle]
553 Pythagoreans think mathematical principles are the principles of all of nature [Pythagoras, by Aristotle]
554 Pythagoreans say things imitate numbers, but Plato says things participate in numbers [Pythagoras, by Aristotle]
375 When musical harmony and rhythm were discovered, similar features were seen in bodily movement [Pythagoras, by Plato]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
7467 The modern idea of an immortal soul was largely created by Pythagoras [Pythagoras, by Watson]