scientific article
From MaRDI portal
Publication:3093483
zbMath1242.03001MaRDI QIDQ3093483
Publication date: 17 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
Related Items
One hundred years of semantic paradox ⋮ Gödelian sentences and semantic arguments ⋮ Adding a conditional to Kripke's theory of truth ⋮ The paradox of classical reasoning ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER ⋮ TRUTH AND SPEED-UP ⋮ Conditionals in theories of truth ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ A step towards absolute versions of metamathematical results ⋮ Bicontextualism ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Paradox and logical revision. A short introduction ⋮ Tarski's 1944 polemical remarks and Naess' ``experimental philosophy ⋮ Alfred Tarski (1901–1983) ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Truth without standard models: some conceptual problems reloaded ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Remarks on compositionality and weak axiomatic theories of truth ⋮ REVISION REVISITED ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Deflationary truth and the ontology of expressions ⋮ Disquotation and infinite conjunctions ⋮ AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING ⋮ LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Reinflating logical consequence ⋮ Deflationism beyond arithmetic ⋮ Paradoxical hypodoxes ⋮ Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy ⋮ Non-reflexivity and revenge ⋮ Truth and the philosophy of mathematics ⋮ Explicating the Notion of Truth Within Transparent Intensional Logic ⋮ THE EXPRESSIVE POWER OF TRUTH ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ FINITIST AXIOMATIC TRUTH ⋮ A note on typed truth and consistency assertions
This page was built for publication: