scientific article; zbMATH DE number 3068529

Publication date: 1951

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

philosophy and foundations of mathematics

Related Items (45)

Modifications of Quine's ML and inclusive quantification systems ⋮ Eigentliche Klassen als Urelemente in der Mengenlehre ⋮ Combinatory logic with polymorphic types ⋮ A brief history of negation ⋮ The categoricity question of certain grand logics ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Deductive reasoning in the structuralist approach ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Unification of universes in set theory ⋮ On the relative consistency of set theory ⋮ A Set Theory Founded on Unique Generating Principle ⋮ R. M. Martin’s Logic of Belief ⋮ A theory of restricted quantification I ⋮ Wittgenstein'sab-Notation: An Iconic Proof Procedure ⋮ `Identity' as a mereological term ⋮ Identification of probabilities ⋮ Planning temporal events using point-interval logic ⋮ The complexity of the modal predicate logic of “true in every transitive model of ZF” ⋮ What Were Tarski's Truth-Definitions for? ⋮ Sentential connectives and translation ⋮ External and internal syntax of the \(\lambda \)-calculus ⋮ Bases for first-order theories and subtheories ⋮ Holographic or Fourier logic ⋮ Category theory and set theory as theories about complementary types of universals ⋮ Gödel, Tarski, Church, and The Liar ⋮ First-Order Logic Without Bound Variables: Compositional Semantics ⋮ Creative and non-creative definitions in the calculus of probability ⋮ Fregean grammar: A formal outline ⋮ Propositions, representation, and truth ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ On proper quantifiers. I ⋮ The axiom of infinity in Quine's New Foundations ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ A relative consistency proof ⋮ Quantification and the empty domain ⋮ Distributivity and an axiom of choice ⋮ A New–old Characterisation of Logical Knowledge ⋮ String theory ⋮ Schemata: The Concept of Schema in the History of Logic ⋮ Systems of combinatory logic related to Quine's `New Foundations' ⋮ TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS ⋮ Tarskian Classical Relevant Logic ⋮ A new reading of Archytas' doubling of the cube and its implications

This page was built for publication: