Combining Philosophers

All the ideas for Theophrastus, Marcus Rossberg and John Dupr

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

29 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
7. Existence / E. Categories / 1. Categories
17377 All descriptive language is classificatory [Dupré]
7. Existence / E. Categories / 2. Categorisation
17376 We should aim for a classification which tells us as much as possible about the object [Dupré]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
17390 Natural kinds don't need essentialism to be explanatory [Dupré]
9. Objects / D. Essence of Objects / 10. Essence as Species
17389 A species might have its essential genetic mechanism replaced by a new one [Dupré]
17388 It seems that species lack essential properties, so they can't be natural kinds [Dupré]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
20921 How can we state relativism of sweet and sour, if they have no determinate nature? [Theophrastus]
14. Science / A. Basis of Science / 4. Prediction
17374 The possibility of prediction rests on determinism [Dupré]
18. Thought / C. Content / 5. Twin Earth
17378 Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
5990 Theophrastus doubted whether nature could be explained teleologically [Theophrastus, by Gottschalk]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
17381 Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré]
17385 Kinds don't do anything (including evolve) because they are abstract [Dupré]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
17375 Natural kinds are decided entirely by the intentions of our classification [Dupré]
17379 Borders between species are much less clear in vegetables than among animals [Dupré]
17384 Even atoms of an element differ, in the energy levels of their electrons [Dupré]
17387 Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré]
17382 Cooks, unlike scientists, distinguish garlic from onions [Dupré]
17380 Wales may count as fish [Dupré]
27. Natural Reality / G. Biology / 5. Species
17383 Species are the lowest-level classification in biology [Dupré]
17386 The theory of evolution is mainly about species [Dupré]