Combining Philosophers

All the ideas for Rescher,N/Oppenheim,P, E Margolis/S Laurence and Wilfrid Hodges

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

40 ideas

1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
11147 Naturalistic philosophers oppose analysis, preferring explanation to a priori intuition [Margolis/Laurence]
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 / 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 / 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 / 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 / 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
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [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 / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
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]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
12887 A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim]
12. Knowledge Sources / D. Empiricism / 2. Associationism
11141 Modern empiricism tends to emphasise psychological connections, not semantic relations [Margolis/Laurence]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
11142 Body-type seems to affect a mind's cognition and conceptual scheme [Margolis/Laurence]
18. Thought / B. Mechanics of Thought / 4. Language of Thought
11121 Language of thought has subject/predicate form and includes logical devices [Margolis/Laurence]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
11120 Concepts are either representations, or abilities, or Fregean senses [Margolis/Laurence]
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
11122 A computer may have propositional attitudes without representations [Margolis/Laurence]
11124 Do mental representations just lead to a vicious regress of explanations [Margolis/Laurence]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
11123 Maybe the concept CAT is just the ability to discriminate and infer about cats [Margolis/Laurence]
11125 The abilities view cannot explain the productivity of thought, or mental processes [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
11140 Concept-structure explains typicality, categories, development, reference and composition [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
11128 Classically, concepts give necessary and sufficient conditions for falling under them [Margolis/Laurence]
11130 Typicality challenges the classical view; we see better fruit-prototypes in apples than in plums [Margolis/Laurence]
11129 The classical theory explains acquisition, categorization and reference [Margolis/Laurence]
11131 It may be that our concepts (such as 'knowledge') have no definitional structure [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / d. Concepts as prototypes
11132 The prototype theory is probabilistic, picking something out if it has sufficient of the properties [Margolis/Laurence]
11133 Prototype theory categorises by computing the number of shared constituents [Margolis/Laurence]
11134 People don't just categorise by apparent similarities [Margolis/Laurence]
11135 Complex concepts have emergent properties not in the ingredient prototypes [Margolis/Laurence]
11136 Many complex concepts obviously have no prototype [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
11137 The theory theory of concepts says they are parts of theories, defined by their roles [Margolis/Laurence]
11138 The theory theory is holistic, so how can people have identical concepts? [Margolis/Laurence]
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
11139 Maybe concepts have no structure, and determined by relations to the world, not to other concepts [Margolis/Laurence]
18. Thought / D. Concepts / 5. Concepts and Language / c. Concepts without language
11146 People can formulate new concepts which are only named later [Margolis/Laurence]