Combining Texts

Ideas for 'Truth (frags)', 'Higher-Order Logic' and 'Meditatio de principio individui'

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 / B. Logical Consequence / 1. Logical Consequence

10300	Logical consequence can be defined in terms of the logical terminology [Shapiro]
	Full Idea: Informally, logical consequence is sometimes defined in terms of the meanings of a certain collection of terms, the so-called 'logical terminology'.
	From: Stewart Shapiro (Higher-Order Logic [2001], 2.4)
	A reaction: This seems to be a compositional account, where we build a full account from an account of the atomic bits, perhaps presented as truth-tables.