Properties (72)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
philosophical concept
|
| gptkbp:appliesTo |
formal languages
|
| gptkbp:competesWith |
correspondence theory
|
| gptkbp:defines |
Alfred Tarski
|
| gptkbp:hasRelatedPatent |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Tarski's definitions
|
| gptkbp:influencedBy |
semantic theory
|
| gptkbp:isActiveIn |
philosophical debates
philosophical inquiries |
| gptkbp:isAssociatedWith |
formal semantics
analytic philosophy logical positivism |
| gptkbp:isAttendedBy |
logical paradoxes
examples of truth |
| gptkbp:isAvenueFor |
mathematical proofs
|
| gptkbp:isChallengedBy |
alternative theories
intuitive theories postmodern theories pragmatic theories |
| gptkbp:isCitedIn |
textbooks
academic papers scholarly articles |
| gptkbp:isConsidered |
a foundational concept
|
| gptkbp:isCriticizedFor |
deflationary theory
|
| gptkbp:isDiscussedIn |
scholars
academic conferences philosophical literature philosophers philosophical circles |
| gptkbp:isExaminedBy |
academic research
philosophical texts theoretical physicists logicians logic courses Tarski's_theorem |
| gptkbp:isExploredIn |
case studies
theoretical discussions academic literature formal logic graduate studies |
| gptkbp:isInfluencedBy |
theoretical computer science
logical empiricism Kantian_philosophy |
| gptkbp:isLinkedTo |
axiomatic systems
|
| gptkbp:isNotedFor |
its rigor
defining truth |
| gptkbp:isPartOf |
theoretical discussions
model theory the philosophy of mathematics the study of semantics the study of logic |
| gptkbp:isRecognizedFor |
a significant contribution
a pivotal theory |
| gptkbp:isReflectedIn |
formal proofs
logical expressions truth tables logical frameworks |
| gptkbp:isRelatedTo |
the nature of truth
logical consequence the concept of meaning |
| gptkbp:isSupportedBy |
empirical evidence
logical analysis |
| gptkbp:isUsedIn |
philosophy of language
|
| gptkbp:isUtilizedFor |
linguists
|
| gptkbp:isUtilizedIn |
computational linguistics
mathematical modeling philosophical analysis theoretical frameworks |
| gptkbp:isVisitedBy |
the 1930s
|
| gptkbp:relatedTo |
truth
|
| gptkbp:usedIn |
mathematical logic
|
| gptkbp:winner |
truth conditions
|