Combining Texts

All the ideas for 'Logical Consequence', 'Episteme and Logos in later Plato' and 'Number Determiners, Numbers, Arithmetic'

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

20 ideas

2. Reason / A. Nature of Reason / 2. Logos
17950 The logos enables us to track one particular among a network of objects [Nehamas]
17951 A logos may be short, but it contains reference to the whole domain of the object [Nehamas]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
10688 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10691 Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10695 Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
10689 A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
10001 An adjective contributes semantically to a noun phrase [Hofweber]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10007 Quantifiers for domains and for inference come apart if there are no entities [Hofweber]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
10696 A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10693 Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
9998 What is the relation of number words as singular-terms, adjectives/determiners, and symbols? [Hofweber]
10002 '2 + 2 = 4' can be read as either singular or plural [Hofweber]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692 Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10003 Why is arithmetic hard to learn, but then becomes easy? [Hofweber]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
10008 Arithmetic is not about a domain of entities, as the quantifiers are purely inferential [Hofweber]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
10005 Arithmetic doesn’t simply depend on objects, since it is true of fictional objects [Hofweber]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
10000 We might eliminate adjectival numbers by analysing them into blocks of quantifiers [Hofweber]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10006 First-order logic captures the inferential relations of numbers, but not the semantics [Hofweber]
15. Nature of Minds / C. Capacities of Minds / 4. Objectification
10004 Our minds are at their best when reasoning about objects [Hofweber]