Combining Texts

Ideas for 'Unconscious Cerebral Initiative', 'Science without Numbers' and 'Naturalism in Mathematics'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

10260

Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro]

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

18168

'Propositional functions' are propositions with a variable as subject or predicate [Maddy]