truth makers AND truth bearers - Palestra Giancarlo no SBBD

Dando uma googada

https://iep.utm.edu/truth/

There are two commonly accepted constraints on truth and falsehood:

    Every proposition is true or false.         [Law of the Excluded Middle.]
    No proposition is both true and false.         [Law of Non-contradiction.]

What is the difference between a truth-maker and a truth bearer?

Truth-bearers are either true or false; truth-makers are not since, not being representations, they cannot be said to be true, nor can they be said to be false. That's a second difference. Truth-bearers are 'bipolar,' either true or false; truth-makers are 'unipolar': all of them obtain.

What are considered truth bearers?

 

A variety of truth bearers are considered – statements, beliefs, claims, assumptions, hypotheses, propositions, sentences, and utterances.

When I speak of a fact . . . I mean the kind of thing that makes a proposition true or false. (Russell, 1972, p. 36.)

“Truthmaker theories” hold that in order for any truthbearer to be true there must be something “outside the text,” as people might say, that “makes” it true. If the truth is a truth about inanimate objects, then the world must contain those inanimate objects; if it is about a God then there must be a God; if it is about the way people conduct their lives, then there must be people and they must conduct their lives in that way; and so on.  

What is an example of a truth bearer?

If a man utters the words 'It is raining' in the rain, or the words 'I am hungry' while hungry, his verbal performance counts as true. Obviously one utterance of a sentence may be true and another utterance of the same sentence be false.

 

Truthmakers are the things in the world in virtue of which truth bearers are true. For example, any individual human makes it true that humans exist.

 

Junto com a definição de contexto que estamos adotando

 

“By context, we herein refer to the scope of truth, and thus talk about the context in which some data are held to be true”

Hogan et al. 2021. Knowledge Graphs. ACM Comput. Surv. 54, 4, Article 71 (May 2022), 37 pages. https://doi.org/10.1145/3447772
 

Contextualized Claims from KG are truth beares 

 

Verdade ao ponto de confiar e agir baseado na informação depende do Contexto da Tarefa e dos Truth Makers que o tomador de decisão reconhece como verdadeiros.