Combining Texts

Ideas for 'Logical Consequence', 'Bertrand Russell: Spirit of Solitude' and 'Properties and Predicates'

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 / I. Semantics of Logic / 3. Logical Truth

10696	A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
	Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'.
	From: JC Beall / G Restall (Logical Consequence [2005], 4)
	A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules.