Levels of truth

DOI10.1305/NDJFL/1040248454MaRDI QIDQ1903585zbMATH OpenOpenAlexFDO

Authors Andrea Cantini

Publication date 11 December 1995

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040248454

zbMATH Keywords

second order arithmeticpredicative analysisformal theory of truthfunctional abstractioninteraction between formal semantics and the foundations of mathematicsprimitive truth predicatetruth approximationstype-free comprehension

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 1790411
• Some observations on truth hierarchies
• Truth and gradability
• Taking degrees of truth seriously
• scientific article; zbMATH DE number 5045216
• Truth, reflection and hierarchies
• Truth and assertibility
• About Truth and Types
• scientific article; zbMATH DE number 3898861

Cites work

• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3825795 (Why is no real title available?)
• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• scientific article; zbMATH DE number 4021110 (Why is no real title available?)
• scientific article; zbMATH DE number 3781165 (Why is no real title available?)
• scientific article; zbMATH DE number 65526 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3506652 (Why is no real title available?)
• scientific article; zbMATH DE number 3532923 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 515742 (Why is no real title available?)
• scientific article; zbMATH DE number 3006302 (Why is no real title available?)
• A logic of abstraction related to finite constructive number classes
• Constructive definition of certain analytic sets of numbers
• Jon Barwise's Papers on Natural Language Semantics
• Logical frameworks for truth and abstraction. An axiomatic study
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Proof-theoretical analysis: Weak systems of functions and classes
• Reflecting on incompleteness
• Some remarks on extending and interpreting theories with a partial predicate for truth
• The lambda calculus, its syntax and semantics
• The liar paradox
• The strength of admissibility without foundation
• Toward useful type-free theories. I

Cited in

(5)

• A mathematical theory of truth and an application to the regress problem
• Truth in the limit
• Universes over Frege structures
• Some notes on truths and comprehension
• Pragmatic truth and approximation to truth

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Levels of truth

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