scientific article

Publication date: 7 June 2011

Full work available at URL: http://www.cambridge.org/gb/knowledge/isbn/item6494925/?site_locale=en_GB

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

truth hierarchies partial logic classical logic theories of truth axiomatic theory disquotation grounded truth compositional truth axioms and rules symmetric truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Foundations of applied mathematics. I ⋮ Bicontextualism ⋮ , , AND REINHARDT’S PROGRAM ⋮ One hundred years of semantic paradox ⋮ Reflection algebras and conservation results for theories of iterated truth ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ Unwinding modal paradoxes on digraphs ⋮ Supervaluation-style truth without supervaluations ⋮ CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION ⋮ Yablo's paradox in second-order languages: consistency and unsatisfiability ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ A feasible theory of truth over combinatory algebra ⋮ Hyperarithmetical worm battles ⋮ THE POWER OF NAIVE TRUTH ⋮ Full satisfaction classes, definability, and automorphisms ⋮ Designing paradoxes: a revision-theoretic approach ⋮ Higher-order logic and disquotational truth ⋮ Truth, partial logic and infinitary proof systems ⋮ CONSISTENCY AND THE THEORY OF TRUTH ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ Adding a conditional to Kripke's theory of truth ⋮ Models of weak theories of truth ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ Local collection and end-extensions of models of compositional truth ⋮ AXIOMS FOR GROUNDED TRUTH ⋮ NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN ⋮ TRUTH AND SPEED-UP ⋮ Conditionals in theories of truth ⋮ The paradox of the knower revisited ⋮ BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH ⋮ The two halves of disjunctive correctness ⋮ SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ A fixed point theory over stratified truth ⋮ Systems for non-reflexive consequence ⋮ Limits in the revision theory. More than just definite verdicts ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Theories of truth without standard models and Yablo's sequences ⋮ TRUTH AND FEASIBLE REDUCIBILITY ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE ⋮ Compositional truth with propositional tautologies and quantifier-free correctness ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ Minimalism and the generalisation problem: on Horwich's second solution ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Classes and truths in set theory ⋮ MODELS OF POSITIVE TRUTH ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ More on Systems of Truth and Predicative Comprehension ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Remarks on compositionality and weak axiomatic theories of truth ⋮ REVISION REVISITED ⋮ A disquotational theory of truth as strong as $Z_2^-$ ⋮ About Truth and Types ⋮ Deflationary truth and the ontology of expressions ⋮ Sets and supersets ⋮ Disquotation and infinite conjunctions ⋮ Axiomatic theories of partial ground. I: The base theory ⋮ Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth ⋮ On the costs of nonclassical logic ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ Revision without revision sequences: self-referential truth ⋮ Ungroundedness in Tarskian languages ⋮ MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE ⋮ On the status of reflection and conservativity in replacement theories of truth ⋮ Some notes on truths and comprehension ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Plurals and mereology ⋮ A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ ⋮ Feferman and the Truth ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ Deflationism beyond arithmetic ⋮ What paradoxes depend on ⋮ Truthmaker maximalism and the truthmaker paradox ⋮ A note on Horwich's notion of grounding ⋮ A note on the unprovability of consistency in formal theories of truth ⋮ Truth, disjunction, and induction ⋮ Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy ⋮ Reference and truth ⋮ Formal notes on the substitutional analysis of logical consequence ⋮ Truth and the philosophy of mathematics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH ⋮ Sorites, Curry and Suitable Models ⋮ An update of Tarski: two usages of the word ``true ⋮ Reflecting and unfolding ⋮ Explicating the Notion of Truth Within Transparent Intensional Logic ⋮ INFINITARY TABLEAU FOR SEMANTIC TRUTH ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ FINITIST AXIOMATIC TRUTH ⋮ A note on typed truth and consistency assertions