Erratum to: ``Between proof and truth

DOI10.1007/S11229-011-0043-1zbMATH Open1275.03020OpenAlexW1966594406MaRDI QIDQ383075FDOQ383075

Authors: Julien Boyer, Gabriel Sandu 

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-0043-1

Recommendations

• RIGOUR AND PROOF – CORRIGENDUM
• Erratum to ``Confirmation as partial entailment
• Erratum to: ``How negative truths are made true
• Erratum to: Computational Complexity Theory and the Philosophy of Mathematics
• SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION
• KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM
• Corrigendum
• Shorter Notes: Erratum to "A Simple Proof of Rado's Theorem"
• Erratum to: ``Natural implication and modus ponens principle
• Erratum to: ``Localizing the axioms

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A semantics of evidence for classical arithmetic
• Title not available (Why is that?)
• Dependent choice, `quote' and the clock
• Games in dynamic-epistemic logic
• Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
• Can proofs be animated by games?
• On Godel Sentences and What They Say

Cited In (4)

• Mimicking, errors, and the optimal standard of proof
• Erratum
• KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM
• Erratum to: ``How negative truths are made true

This page was built for publication: Erratum to: ``Between proof and truth

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