scientific article; zbMATH DE number 3020851
From MaRDI portal
Publication:5761282
zbMath0013.28903MaRDI QIDQ5761282
Publication date: 1935
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (64)
Towards an adequate definition of distribution for first-order logic ⋮ Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. ⋮ Truth and the liar in De Morgan-valued models ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Unnamed Item ⋮ Completeness: from Husserl to Carnap ⋮ Axiom of comparable choice and uniformizability of projective classes ⋮ AN ALGORITHM FOR SOLVING RULE SETS-BASED BILEVEL DECISION PROBLEMS ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ On elementary equivalence in fuzzy predicate logics ⋮ Abharī’s Solution to the Liar Paradox: A Logical Analysis ⋮ On the Axiom of Canonicity ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Tarski's theory of the formal correctness of definitions ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Communication and strong compositionality ⋮ Why the liar does not matter ⋮ Variables and Attitudes ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Unnamed Item ⋮ Weak theories of concatenation and arithmetic ⋮ Epistemology Without Knowledge and Without Belief ⋮ Pure quotation in linguistic context ⋮ Carnap on logic and rationality ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Tarski’s Influence on Computer Science ⋮ Formulating deflationism ⋮ First-order concatenation theory with bounded quantifiers ⋮ Unnamed Item ⋮ An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion ⋮ Absolute Generality and Semantic Pessimism ⋮ Submodels in Carnap's early axiomatics revisited ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ Disquotation and infinite conjunctions ⋮ Too naturalist and not naturalist enough: Reply to Horsten ⋮ Quantum logics seen as quantum testability theories ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ A note on formality and logical consequence ⋮ ON THE PROBABILISTIC CONVENTION T ⋮ E. W. Beth as a philosopher of physics ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics ⋮ Significato e verita nell'aritmetica peaniana ⋮ Truth via anaphorically unrestricted quantifiers ⋮ Truth in the Tractatus ⋮ Plurals and mereology ⋮ Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} ⋮ The logic of the ontological square ⋮ REFERENCE IN ARITHMETIC ⋮ Two types of deflationism ⋮ Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls ⋮ What is a truth value and how many are there? ⋮ Reference and truth ⋮ Modal Platonism: an easy way to avoid ontologial commitment to abstract entities ⋮ Grounding, dependence, and paradox ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections ⋮ Carnap and the compulsions of interpretation: reining in the liberalization of empiricism ⋮ A portrait of Alfred Tarski ⋮ How truthlike can a predicate be? A negative result ⋮ What truth depends on ⋮ On the matter of essential richness
This page was built for publication:
