Combining Texts
Ideas for
'The Evolution of Logic', 'Lectures on the Philosophy of Right' and 'Models and Reality'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13512
|
Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD]
|
13513
|
Models are ways the world might be from a first-order point of view [Hart,WD]
|
13505
|
Model theory studies how set theory can model sets of sentences [Hart,WD]
|
13511
|
Model theory is mostly confined to first-order theories [Hart,WD]
|
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913
|
The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
|