Tarski on ``essentially richer metalanguages

DOI10.1023/A:1004294325183zbMath0940.03003MaRDI QIDQ1283316

Graham Solomon, David DeVidi

Publication date: 26 May 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

consistency; hierarchies; metalanguage; T-scheme; material adequacy; truth definition for the object language; truth in a language

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

Related Items

Truth as translation. Part A, On the matter of essential richness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth without satisfaction
• Maximal consistent sets of instances of Tarski's schema (T)
• The liar paradox
• Tolerance and metalanguages in Carnap's \textit{Logical syntax of language}.
• Truth and paradox
• A survey of formal semantics
• Natural models of set theories
• Arithmetization of metamathematics in a general setting
• Fregean Extensions of First‐Order Theories
• A guide to truth predicates in the modern era
• Sets and Classes
• On undecidable statements in enlarged systems of logic and the concept of truth
• A construction for consistent systems
• Some impredicative definitions in the axiomatic set theory
• Arithmetic Translations of Axiom Systems
• Truth Definitions and Consistency Proofs