Combining Texts

Ideas for 'fragments/reports', 'On the Moral and Legal State of Abortion' and 'Naturalism in Mathematics'

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

display all the ideas for this combination of texts

---

7 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic

8077	Stoic propositional logic is like chemistry - how atoms make molecules, not the innards of atoms [Chrysippus, by Devlin]

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL

20791

Chrysippus has five obvious 'indemonstrables' of reasoning [Chrysippus, by Diog. Laertius]

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST

18194

'Forcing' can produce new models of ZFC from old models [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

18195

A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

18191

Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII

18193

The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

18169

Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]