Combining Philosophers

Ideas for H.Putnam/P.Oppenheim, Nathan Salmon and David Bostock

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

29 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
13439 Venn Diagrams map three predicates into eight compartments, then look for the conclusion [Bostock]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
13421 'Disjunctive Normal Form' is ensuring that no conjunction has a disjunction within its scope [Bostock]
13422 'Conjunctive Normal Form' is ensuring that no disjunction has a conjunction within its scope [Bostock]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
13355 'Disjunction' says that Γ,φ∨ψ|= iff Γ,φ|= and Γ,ψ|= [Bostock]
13350 'Assumptions' says that a formula entails itself (φ|=φ) [Bostock]
13351 'Thinning' allows that if premisses entail a conclusion, then adding further premisses makes no difference [Bostock]
13352 'Cutting' allows that if x is proved, and adding y then proves z, you can go straight to z [Bostock]
13356 The 'conditional' is that Γ|=φ→ψ iff Γ,φ|=ψ [Bostock]
13353 'Negation' says that Γ,¬φ|= iff Γ|=φ [Bostock]
13354 'Conjunction' says that Γ|=φ∧ψ iff Γ|=φ and Γ|=ψ [Bostock]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
13610 A logic with ¬ and → needs three axiom-schemas and one rule as foundation [Bostock]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML
14684 A world is 'accessible' to another iff the first is possible according to the second [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
14669 For metaphysics, T may be the only correct system of modal logic [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / f. System B
14667 System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N]
14668 In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N]
14692 System B implies that possibly-being-realized is an essential property of the world [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
14671 What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14627 S4, and therefore S5, are invalid for metaphysical modality [Salmon,N, by Williamson]
14686 S5 modal logic ignores accessibility altogether [Salmon,N]
14691 S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N]
14693 The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
14670 Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
18122 Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock]
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
13846 A 'free' logic can have empty names, and a 'universally free' logic can have empty domains [Bostock]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
18114 There is no single agreed structure for set theory [Bostock]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / a. Types of set
18107 A 'proper class' cannot be a member of anything [Bostock]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
18115 We could add axioms to make sets either as small or as large as possible [Bostock]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
18139 The Axiom of Choice relies on reference to sets that we are unable to describe [Bostock]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
18105 Replacement enforces a 'limitation of size' test for the existence of sets [Bostock]