Combining Texts

Ideas for 'Defending the Axioms', 'Thinking About Logic' and 'Tractatus de corpore Christi'

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

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic

10973	A theory is logically closed, which means infinite premisses [Read]
	Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses.
	From: Stephen Read (Thinking About Logic [1995], Ch.2)
	A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite.