Single Idea 13678

[catalogued under 5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence]

Full Idea

On the question of the nature of genuine logical consequence, ...the most popular answer is the semantic, or model-theoretic one.

Gist of Idea

The most popular account of logical consequence is the semantic or model-theoretic one

Source

Theodore Sider (Logic for Philosophy [2010], 1.5)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.8


A Reaction

Reading the literature, one might be tempted to think that this is the only account that anyone takes seriously. Substitutional semantics seems an interesting alternative.

Related Ideas

Idea 13674 We might reduce ontology by using truth of sentences and terms, instead of using objects satisfying models [Shapiro]

Idea 13679 Maybe logical consequence is more a matter of provability than of truth-preservation [Sider]