back to ideas for this text


Single Idea 10300

[from 'Higher-Order Logic' by Stewart Shapiro, in 5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence ]

Full Idea

Informally, logical consequence is sometimes defined in terms of the meanings of a certain collection of terms, the so-called 'logical terminology'.

Gist of Idea

Logical consequence can be defined in terms of the logical terminology

Source

Stewart Shapiro (Higher-Order Logic [2001], 2.4)

Book Reference

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.51


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.