Combining Texts

All the ideas for 'fragments/reports', 'Meno' and 'Model Theory'

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

21 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
1922 Spiritual qualities only become advantageous with the growth of wisdom [Plato]
2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
5. Theory of Logic / L. Paradox / 2. Aporiai
11259 How can you seek knowledge of something if you don't know it? [Plato]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
11. Knowledge Aims / A. Knowledge / 3. Value of Knowledge
20219 True opinions only become really valuable when they are tied down by reasons [Plato]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
5985 Seeking and learning are just recollection [Plato]
5986 The slave boy learns geometry from questioning, not teaching, so it is recollection [Plato]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
1923 As a guide to action, true opinion is as good as knowledge [Plato]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
604 Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
1919 You don't need to learn what you know, and how do you seek for what you don't know? [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
1913 Is virtue taught, or achieved by practice, or a natural aptitude, or what? [Plato]
1921 If virtue is a type of knowledge then it ought to be taught [Plato]
1927 It seems that virtue is neither natural nor taught, but is a divine gift [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
1918 How can you know part of virtue without knowing the whole? [Plato]
1916 Even if virtues are many and various, they must have something in common to make them virtues [Plato]