Tarski on ``essentially richer metalanguages

DOI10.1023/A:1004294325183MaRDI QIDQ1283316zbMATH OpenFDO

Authors David DeVidi, Graham Solomon

Publication date 26 May 1999

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

Full work available at URL https://doi.org/10.1023/A:1004294325183

zbMATH Keywords

consistencyhierarchiesmaterial adequacymetalanguageT-schemetruth definition for the object languagetruth in a language

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• On the matter of essential richness
• Truth without satisfaction
• On Tarski's assumptions
• What languages have Tarski truth definitions?
• Tarski on the necessity reading of convention T

Cites work

• A construction for consistent systems
• A guide to truth predicates in the modern era
• A survey of formal semantics
• Arithmetic Translations of Axiom Systems
• Arithmetization of metamathematics in a general setting
• Fregean Extensions of First‐Order Theories
• scientific article; zbMATH DE number 3128444 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 1028828 (Why is no real title available?)
• scientific article; zbMATH DE number 1092508 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3387290 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• Maximal consistent sets of instances of Tarski's schema (T)
• Natural models of set theories
• On undecidable statements in enlarged systems of logic and the concept of truth
• Sets and Classes
• Some impredicative definitions in the axiomatic set theory
• The liar paradox
• Tolerance and metalanguages in Carnap's \textit{Logical syntax of language}.
• Truth and paradox
• Truth Definitions and Consistency Proofs
• Truth without satisfaction

Cited in

(6)

• Tarski, Quine, and the transcendence of the vernacular ``true
• On Tarski's assumptions
• On the weak Kleene scheme in Kripke's theory of truth
• What is wrong with the Tarskian theory of truth?
• Truth as translation. Part A
• On the matter of essential richness

This page was built for publication: Tarski on ``essentially richer metalanguages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1283316)