Tarskian object-language/metalanguage distinction
E71181
The Tarskian object-language/metalanguage distinction is a foundational semantic framework that separates the language in which statements are made from the higher-level language used to talk about and define their truth, thereby avoiding self-referential paradoxes like the liar paradox.
All labels observed (6)
How this entity was disambiguated
This entity first appeared as the object of triple T568438 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Tarskian object-language/metalanguage distinction Context triple: [liar paradox, addressedBy, Tarskian object-language/metalanguage distinction]
-
A.
The Logical Syntax of Language
The Logical Syntax of Language is Rudolf Carnap’s seminal 1934 work that systematically develops a formal, logical framework for analyzing the structure and rules of scientific languages, helping to found logical empiricism and modern philosophy of language.
-
B.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
C.
On Denoting
"On Denoting" is a seminal 1905 philosophical essay by Bertrand Russell that introduced his influential theory of descriptions and reshaped analytic philosophy of language.
-
D.
Remarks on the Foundations of Mathematics
Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
-
E.
Frege’s system in "Grundgesetze der Arithmetik"
Frege’s system in "Grundgesetze der Arithmetik" is a foundational logical framework for arithmetic based on second-order logic and Basic Law V, whose inconsistency—revealed by Russell’s paradox—marked a turning point in the development of modern logic and set theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Tarskian object-language/metalanguage distinction Target entity description: The Tarskian object-language/metalanguage distinction is a foundational semantic framework that separates the language in which statements are made from the higher-level language used to talk about and define their truth, thereby avoiding self-referential paradoxes like the liar paradox.
-
A.
The Logical Syntax of Language
The Logical Syntax of Language is Rudolf Carnap’s seminal 1934 work that systematically develops a formal, logical framework for analyzing the structure and rules of scientific languages, helping to found logical empiricism and modern philosophy of language.
-
B.
The Logical Structure of the World
The Logical Structure of the World is Rudolf Carnap’s seminal 1928 work in which he develops a rigorous, formal reconstruction of all scientific concepts from a phenomenalist basis, serving as a foundational text of logical positivism.
-
C.
On Denoting
"On Denoting" is a seminal 1905 philosophical essay by Bertrand Russell that introduced his influential theory of descriptions and reshaped analytic philosophy of language.
-
D.
Remarks on the Foundations of Mathematics
Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
-
E.
Frege’s system in "Grundgesetze der Arithmetik"
Frege’s system in "Grundgesetze der Arithmetik" is a foundational logical framework for arithmetic based on second-order logic and Basic Law V, whose inconsistency—revealed by Russell’s paradox—marked a turning point in the development of modern logic and set theory.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
logical methodology
ⓘ
philosophical concept ⓘ semantic framework ⓘ theory of truth framework ⓘ |
| addresses |
conditions for a materially adequate definition of truth
ⓘ
self-reference in language ⓘ semantic closure ⓘ |
| aimsTo |
avoid semantic paradoxes
ⓘ
avoid the liar paradox ⓘ |
| appliesTo |
formal languages
ⓘ
natural languages (by extension) ⓘ |
| assumes |
clear syntactic definition of object language
ⓘ
metalanguage with greater expressive power ⓘ |
| contrastsWith |
type-free truth theories
ⓘ
unified language approaches to truth ⓘ |
| coreIdea |
a language cannot consistently contain its own global truth predicate
ⓘ
semantic notions are defined in a metalanguage, not in the object language itself ⓘ truth predicates for a language are formulated only in a higher-level metalanguage ⓘ |
| defines | separation between object language and metalanguage ⓘ |
| developedInContextOf |
formalized languages
ⓘ
mathematical logic ⓘ |
| field |
logic
ⓘ
metalogic ⓘ philosophy of language ⓘ philosophy of logic ⓘ |
| hasConsequence |
ban on global truth predicate in the object language
ⓘ
need for stratified truth predicates ⓘ prevention of certain forms of self-referential inconsistency ⓘ |
| hasPart |
metalanguage
ⓘ
object language ⓘ |
| historicalPeriod | 20th-century analytic philosophy ⓘ |
| influenced |
Kripkean fixed-point theories of truth
ⓘ
deflationary theories of truth ⓘ formal truth-definition theories ⓘ |
| involvesConcept |
hierarchy of languages
ⓘ
semantic hierarchy ⓘ |
| motivatedBy |
analysis of semantic paradoxes
ⓘ
liar paradox ⓘ |
| namedAfter | Alfred Tarski ⓘ |
| proposedBy | Alfred Tarski ⓘ |
| relatedTo |
T-schema
ⓘ
Tarski's semantic conception of truth ⓘ hierarchical solutions to semantic paradoxes ⓘ |
| usedIn |
formal semantics
ⓘ
model theory ⓘ philosophical logic ⓘ philosophy of language ⓘ theories of truth ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Tarskian object-language/metalanguage distinction Description of subject: The Tarskian object-language/metalanguage distinction is a foundational semantic framework that separates the language in which statements are made from the higher-level language used to talk about and define their truth, thereby avoiding self-referential paradoxes like the liar paradox.
Referenced by (8)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Tarskian object-language/metalanguage distinction
linked to: Tarskian object-language/metalanguage distinction
linked to: Tarskian object-language/metalanguage distinction
Tarskian object-language/metalanguage distinction
→
relatedTo
→
Tarski's semantic conception of truth
ⓘ
linked to: Tarskian object-language/metalanguage distinction
linked to: Tarskian object-language/metalanguage distinction
linked to: Tarskian object-language/metalanguage distinction
linked to: Tarskian object-language/metalanguage distinction