Tarski on ``essentially richer metalanguages
From MaRDI portal
Publication:1283316
DOI10.1023/A:1004294325183zbMath0940.03003MaRDI QIDQ1283316
Publication date: 26 May 1999
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
consistency; hierarchies; metalanguage; T-scheme; material adequacy; truth definition for the object language; truth in a language
03A05: Philosophical and critical aspects of logic and foundations
Related Items
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