display all the ideas for this combination of philosophers
1 idea
13724 | In model theory, first define truth, then validity as truth in all models, and consequence as truth-preservation [Sider] |
Full Idea: In model theory one normally defines some notion of truth in a model, and then uses it to define validity as truth in all models, and semantic consequence as the preservation of truth in models. | |
From: Theodore Sider (Logic for Philosophy [2010], 10.1) |