Combining Philosophers

All the ideas for Anaxarchus, Rayo,A/Uzquiasno,G and Dag Prawitz

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

12 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
13451 The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
13452 Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13827 Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
13449 We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
13450 Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
13453 Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13826 Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
3061 Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
13448 The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]