Combining Philosophers

All the ideas for Rayo,A/Uzquiasno,G, GE Hughes/M Cresswell and Stephen Schiffer

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

12 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
9540 A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
9541 The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
9543 The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
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 / 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 / K. Features of Logics / 4. Completeness
9544 A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
19508 Contextualism needs a semantics for knowledge sentences that are partly indexical [Schiffer,S]
19509 The indexical aspect of contextual knowledge might be hidden, or it might be in what 'know' means [Schiffer,S]
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]