scientific article; zbMATH DE number 3099243
From MaRDI portal
Publication:5839923
zbMath0061.00807MaRDI QIDQ5839923
No author found.
Publication date: 1944
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (82)
The justification of the basic laws of logic ⋮ Did Descartes make a diagonal argument? ⋮ Speedith: a reasoner for spider diagrams ⋮ Truth and the liar in De Morgan-valued models ⋮ Unnamed Item ⋮ Building Specifications in the Event-B Institution ⋮ Tarski, Quine, and the transcendence of the vernacular ``true ⋮ Quantum physical symbol systems ⋮ Disentangling contradiction from contrariety via incompatibility ⋮ Tarski's definition and truth-makers ⋮ Leśniewski's early Liar, Tarski and natural language ⋮ Gödel on Tarski ⋮ Philosophical reflection on mathematics in Poland in the interwar period ⋮ The elimination of self-reference: Generalized Yablo-series and the theory of truth ⋮ Conditionals in theories of truth ⋮ Platitudes against paradox ⋮ An introduction to category-based equational logic ⋮ On Jan Łukasiewicz's ‘The Principle of Contradiction and Symbolic Logic’ ⋮ On the fundamental role of `means that' in semantic theorizing ⋮ From \textit{counterfactual} conditionals to \textit{temporal} conditionals ⋮ Identifying logical evidence ⋮ Linguistic\(\leftrightarrow \)rational agents' semantics ⋮ Philosophical Logic = Philosophy + Logic? ⋮ Contributions of Logical Analysis for Mathematics Education ⋮ Alternating (in)dependence-friendly logic ⋮ The final cut ⋮ Conjunctive paraconsistency ⋮ The uncertainty relation for quantum propositions ⋮ The objectivity of truth, a core truism? ⋮ Unnamed Item ⋮ A new semantics for vagueness ⋮ Norms of truth and logical revision ⋮ Carnapian and Tarskian semantics ⋮ Truth, explanation, minimalism ⋮ Intersubstitutivity principles and the generalization function of truth ⋮ Tarski's 1944 polemical remarks and Naess' ``experimental philosophy ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Categories of First-Order Quantifiers ⋮ Unnamed Item ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Circularity or lacunae in Tarski's truth-schemata ⋮ Formulating deflationism ⋮ Deflationism and the dependence of truth on reality ⋮ The many faces of counts-as: A formal analysis of constitutive rules ⋮ Some uses of logic in rigorous philosophy ⋮ Tarski's theorem and the extensionality of truth ⋮ Recovering quantum logic within an extended classical framework ⋮ The `natural' and the `formal' ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ Comparing more revision and fixed-point theories of truth ⋮ Mathematical perspectives on liar paradoxes ⋮ Leśniewski on metalogic and definitions ⋮ A non-probabilist principle of higher-order reasoning ⋮ Interpreting quantum logic as a pragmatic structure ⋮ Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth ⋮ Two paradoxes of semantic information ⋮ Associative substitutional semantics and quantified modal logic ⋮ Truth as translation. Part A ⋮ In Defence of Dialetheism: A Reply to Beziau and Tkaczyk ⋮ An institution-independent proof of the Beth definability theorem ⋮ Inverse problems ⋮ Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} ⋮ The logic of the ontological square ⋮ REFERENCE IN ARITHMETIC ⋮ Unnamed Item ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ Extendability and Paradox ⋮ Paradoxical hypodoxes ⋮ Two types of deflationism ⋮ A survey of formal semantics ⋮ Deflationary truth and the Liar ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Tarski on ``essentially richer metalanguages ⋮ Unifying threads in Alfred Tarski's work ⋮ Reference and truth ⋮ Truth and the philosophy of mathematics ⋮ Truth and paradox ⋮ An update of Tarski: two usages of the word ``true ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections ⋮ What truth depends on ⋮ On the matter of essential richness ⋮ Truth Definitions and Consistency Proofs
This page was built for publication:
