Truth predicate

http://dbpedia.org/resource/Truth_predicate an entity of type: WikicatTheoriesOfTruth

In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement or idea "is true." rdf:langString
rdf:langString Truth predicate
xsd:integer 4807326
xsd:integer 1065874593
rdf:langString In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement or idea "is true."
xsd:nonNegativeInteger 1803
yago:WikicatTheoriesOfTruth
yago:Abstraction100002137
yago:Cognition100023271
yago:Explanation105793000
yago:HigherCognitiveProcess105770664
yago:Process105701363
yago:PsychologicalFeature100023100
yago:Theory105989479
yago:Thinking105770926
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Category:Theories_of_truth>
<http://dbpedia.org/resource/Transfinite_induction>
<http://dbpedia.org/resource/Countable_set>
<http://dbpedia.org/resource/Mathematical_induction>
<http://dbpedia.org/resource/Truth>
<http://dbpedia.org/resource/Formal_language>
<http://dbpedia.org/resource/Well-formed_formula>
<http://dbpedia.org/resource/Category:Mathematical_logic>
<http://dbpedia.org/resource/Category:Theories_of_truth>
<http://dbpedia.org/resource/Sentence_(mathematical_logic)>
<http://dbpedia.org/resource/Pluralist_theory_of_truth>
<http://dbpedia.org/resource/ZF_set_theory>
<http://rdf.freebase.com/ns/m.0cp3h4>
<http://yago-knowledge.org/resource/Truth_predicate>
<http://www.wikidata.org/entity/Q7848347>
<http://et.dbpedia.org/resource/Tõepredikaat>
<https://global.dbpedia.org/id/4wbhW>
<http://dbpedia.org/resource/Template:Ling-stub>
<http://dbpedia.org/resource/Template:More_citations_needed>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Theories_of_truth>
<http://dbpedia.org/resource/Template:Logic-stub>
<http://dbpedia.org/resource/Template:Mathematical_logic>
<http://dbpedia.org/resource/Concept>
<http://en.wikipedia.org/wiki/Truth_predicate?oldid=1065874593&ns=0>
<http://en.wikipedia.org/wiki/Truth_predicate>

data from the linked data cloud