Combining Texts
Ideas for
'Wiener Logik', 'Barcan Formulae' and 'Tarski's Theory of Truth'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
22275
|
Logic gives us the necessary rules which show us how we ought to think [Kant]
|
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
10819
|
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
|
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10827
|
Model theory is unusual in restricting the range of the quantifiers [Field,H]
|