structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth

[role of truth in various systems of formal logic]

6 ideas
There must be a general content-free account of truth in the rules of logic [Kant]
Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel]
No nice theory can define truth for its own language [Smith,P]
Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H]
Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian]
We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo]