Combining Texts

All the ideas for 'later work', 'Concepts:where cogn.science went wrong' and 'Mathematical logic and theory of types'

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

24 ideas

1. Philosophy / H. Continental Philosophy / 6. Deconstruction
6840 Derrida came to believe in the undeconstructability of justice, which cannot be relativised [Derrida, by Critchley]
2. Reason / D. Definition / 13. Against Definition
12619 We have no successful definitions, because they all use indefinable words [Fodor]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
11064 Classes can be reduced to propositional functions [Russell, by Hanna]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
6407 The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10418 Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
10047 Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
23478 Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
21718 Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
18126 A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
18128 Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
18124 Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
7. Existence / A. Nature of Existence / 2. Types of Existence
12620 If 'exist' is ambiguous in 'chairs and numbers exist', that mirrors the difference between chairs and numbers [Fodor]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / c. Dispositions as conditional
12613 Empiricists use dispositions reductively, as 'possibility of sensation' or 'possibility of experimental result' [Fodor]
12. Knowledge Sources / D. Empiricism / 2. Associationism
12617 Associationism can't explain how truth is preserved [Fodor]
18. Thought / C. Content / 2. Ideas
12615 Mental representations are the old 'Ideas', but without images [Fodor]
18. Thought / D. Concepts / 2. Origin of Concepts / c. Nativist concepts
6650 Fodor is now less keen on the innateness of concepts [Fodor, by Lowe]
18. Thought / D. Concepts / 3. Ontology of Concepts / a. Concepts as representations
12618 It is essential to the concept CAT that it be satisfied by cats [Fodor]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
12614 I prefer psychological atomism - that concepts are independent of epistemic capacities [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
12621 Definable concepts have constituents, which are necessary, individuate them, and demonstrate possession [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / d. Concepts as prototypes
12622 Many concepts lack prototypes, and complex prototypes aren't built from simple ones [Fodor]
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
12623 The theory theory can't actually tell us what concepts are [Fodor]
19. Language / C. Assigning Meanings / 2. Semantics
12616 English has no semantic theory, just associations between sentences and thoughts [Fodor]
24. Political Theory / A. Basis of a State / 1. A People / c. A unified people
21936 A community must consist of singular persons, with nothing in common [Derrida, by Glendinning]
21937 Can there be democratic friendship without us all becoming identical? [Derrida, by Glendinning]