Combining Texts

All the ideas for 'Natural Kinds and Biological Realism', 'works' and 'Which Logic is the Right Logic?'

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

30 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10775 The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10766 Logic is either for demonstration, or for characterizing structures [Tharp]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10767 Elementary logic is complete, but cannot capture mathematics [Tharp]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10769 Second-order logic isn't provable, but will express set-theory and classic problems [Tharp]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
10762 In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10776 The main quantifiers extend 'and' and 'or' to infinite domains [Tharp]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
10774 There are at least five unorthodox quantifiers that could be used [Tharp]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10773 The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp]
10777 Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp]
5. Theory of Logic / K. Features of Logics / 3. Soundness
10765 Soundness would seem to be an essential requirement of a proof procedure [Tharp]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10763 Completeness and compactness together give axiomatizability [Tharp]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10770 If completeness fails there is no algorithm to list the valid formulas [Tharp]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10771 Compactness is important for major theories which have infinitely many axioms [Tharp]
10772 Compactness blocks infinite expansion, and admits non-standard models [Tharp]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
10764 A complete logic has an effective enumeration of the valid formulas [Tharp]
10768 Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
22121 The concept of being has only one meaning, whether talking of universals or of God [Duns Scotus, by Dumont]
22122 Being (not sensation or God) is the primary object of the intellect [Duns Scotus, by Dumont]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
22125 Duns Scotus was a realist about universals [Duns Scotus, by Dumont]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
22127 Scotus said a substantial principle of individuation [haecceitas] was needed for an essence [Duns Scotus, by Dumont]
9. Objects / D. Essence of Objects / 2. Types of Essence
22126 Avicenna and Duns Scotus say essences have independent and prior existence [Duns Scotus, by Dumont]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
22129 Certainty comes from the self-evident, from induction, and from self-awareness [Duns Scotus, by Dumont]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
22130 Scotus defended direct 'intuitive cognition', against the abstractive view [Duns Scotus, by Dumont]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
22128 Augustine's 'illumination' theory of knowledge leads to nothing but scepticism [Duns Scotus, by Dumont]
16. Persons / F. Free Will / 2. Sources of Free Will
22131 The will retains its power for opposites, even when it is acting [Duns Scotus, by Dumont]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
17371 Some kinds are very explanatory, but others less so, and some not at all [Devitt]
27. Natural Reality / G. Biology / 5. Species
17373 Species pluralism says there are several good accounts of what a species is [Devitt]
17372 The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt]
28. God / A. Divine Nature / 2. Divine Nature
22123 The concept of God is the unique first efficient cause, final cause, and most eminent being [Duns Scotus, by Dumont]
28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof
22124 We can't infer the infinity of God from creation ex nihilo [Duns Scotus, by Dumont]