Pular para o conteúdo principal

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.  
 

Comentários

  1. Na palestra do Giancarlo ele comentou sobre truth-makers e truth-bearers em relação às diferentes perspectivas que podem ser representadas em modelos conceituais. Eu li um pouco sobre estes conceitos na Enciclopédia de Filosofia de Standford - SEP (que o professor Hermann recomendou como referência para as definições de Verdade) e me parece que os CKGs, com a possibilidade de representar diferentes perspectivas através de alegações contextualizadas (e não fatos) sob a hipótese DOWA, seriam repositórios de truth-bearers (alegações, proposições, hipóteses, ...) enquanto que a Camada de Confiança, com as políticas de confiança baseadas inclusive em contexto, seria responsável por associar truth-bearers aos respectivos truth-makers (fatos).

    https://plato.stanford.edu/entries/truthmakers/
    https://plato.stanford.edu/entries/truth-pragmatic/

    ResponderExcluir

Postar um comentário

Sinta-se a vontade para comentar. Críticas construtivas são sempre bem vindas.

Postagens mais visitadas deste blog

Connected Papers: Uma abordagem alternativa para revisão da literatura

Durante um projeto de pesquisa podemos encontrar um artigo que nos identificamos em termos de problema de pesquisa e também de solução. Então surge a vontade de saber como essa área de pesquisa se desenvolveu até chegar a esse ponto ou quais desdobramentos ocorreram a partir dessa solução proposta para identificar o estado da arte nesse tema. Podemos seguir duas abordagens:  realizar uma revisão sistemática usando palavras chaves que melhor caracterizam o tema em bibliotecas digitais de referência para encontrar artigos relacionados ou realizar snowballing ancorado nesse artigo que identificamos previamente, explorando os artigos citados (backward) ou os artigos que o citam (forward)  Mas a ferramenta Connected Papers propõe uma abordagem alternativa para essa busca. O problema inicial é dado um artigo de interesse, precisamos encontrar outros artigos relacionados de "certa forma". Find different methods and approaches to the same subject Track down the state of the art rese...

Knowledge Graph Toolkit (KGTK)

https://kgtk.readthedocs.io/en/latest/ KGTK represents KGs using TSV files with 4 columns labeled id, node1, label and node2. The id column is a symbol representing an identifier of an edge, corresponding to the orange circles in the diagram above. node1 represents the source of the edge, node2 represents the destination of the edge, and label represents the relation between node1 and node2. >> Quad do RDF, definir cada tripla como um grafo   KGTK defines knowledge graphs (or more generally any attributed graph or hypergraph ) as a set of nodes and a set of edges between those nodes. KGTK represents everything of meaning via an edge. Edges themselves can be attributed by having edges asserted about them, thus, KGTK can in fact represent arbitrary hypergraphs. KGTK intentionally does not distinguish attributes or qualifiers on nodes and edges from full-fledged edges, tools operating on KGTK graphs can instead interpret edges differently if they so desire. In KGTK, e...

Vague Queries

VAGUE QUERIES https://youtu.be/7tmqQ-y-hNQ Consultas vagas: Consultas que permitem resultados aproximados ao que se busca  https://dl.acm.org/doi/pdf/10.1145/45945.48027 Utiliza métricas de distância e de similaridade para o resultado 1988 Requisitos Simplicidade Conceitual Adaptabilidade Externalidade ao SGBD Estende o modelo relacional com um único conceito: métrica de similaridade na linguagem de consulta, é um novo comparador Usuário escolhe qual é a métrica de similaridade / distância Externalidade para posterior incorporação (como o Daniel comentou que é usual em BD) Interativo: pergunta ao usuário qual é a interpretação de similar, qual o critério de ordenação do resultado, se o usuário deseja flexibilizar mais a consulta (em caso não houver resultado) Não é linguagem natural, é linguagem do BD (SQL) estendida Extraído do Texto A specific query establishes a rigid qualification and is concerned only with data that match it precisely. A vague query establishes a target qualif...