A report on Truth and Truth-bearer
The thesis that some things are true while others are false has led to different theories about the nature of these entities.
- Truth-bearerIdentifying things are truth-bearers and are therefore capable of being true or false.
- Truth2 related topics with Alpha
Proposition
0 linksMeaning of a declarative sentence.
Meaning of a declarative sentence.
Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false.
Interpretation (logic)
0 linksAssignment of meaning to the symbols of a formal language.
Assignment of meaning to the symbols of a formal language.
In many presentations, it is literally a truth value that is assigned, but some presentations assign truthbearers instead.
For example, primitive signs must permit expression of the concepts to be modeled; sentential formulas are chosen so that their counterparts in the intended interpretation are meaningful declarative sentences; primitive sentences need to come out as true sentences in the interpretation; rules of inference must be such that, if the sentence turns out to be a true sentence, with meaning implication, as usual.