more from this thinker | more from this text
Full Idea
A truth assignment is a function from propositions to the set {T,F}. We will think of T and F as the truth values true and false, but for our purposes all we need to assume about the identity of these objects is that they are different from each other.
Gist of Idea
We make a truth assignment to T and F, which may be true and false, but merely differ from one another
Source
José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.4)
Book Ref
Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.50
A Reaction
Note that T and F are 'objects'. This remark is important in understanding modern logical semantics. T and F can be equated to 1 and 0 in the language of a computer. They just mean as much as you want them to mean.
| 5542 | There must be a general content-free account of truth in the rules of logic [Kant] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 10613 | No nice theory can define truth for its own language [Smith,P] |
| 10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
| 9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |