Levels of truth
From MaRDI portal
Publication:1903585
DOI10.1305/NDJFL/1040248454zbMATH Open0836.03033OpenAlexW2042433712MaRDI QIDQ1903585FDOQ1903585
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
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
second order arithmeticpredicative analysisformal theory of truthfunctional abstractioninteraction between formal semantics and the foundations of mathematicsprimitive truth predicatetruth approximationstype-free comprehension
Cites Work
- The liar paradox
- Outline of a Theory of Truth
- Title not available (Why is that?)
- Toward useful type-free theories. I
- Notes on Formal Theories of Truth
- Reflecting on incompleteness
- The lambda calculus, its syntax and semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof-theoretical analysis: Weak systems of functions and classes
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical frameworks for truth and abstraction. An axiomatic study
- Title not available (Why is that?)
- A logic of abstraction related to finite constructive number classes
- Title not available (Why is that?)
- Constructive definition of certain analytic sets of numbers
- The strength of admissibility without foundation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Jon Barwise's Papers on Natural Language Semantics
Cited In (1)
Uses Software
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)
