scientific article; zbMATH DE number 2212008
From MaRDI portal
Publication:5694788
zbMath1089.03001MaRDI QIDQ5694788
Publication date: 5 October 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Burgess’PVis Robinson’sQ ⋮ Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Carnap, Philosophy and “Politics in its Broadest Sense” ⋮ On Logicist Conceptions of Functions and Classes ⋮ FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE ⋮ Beppo Levi's analysis of the paradoxes ⋮ CONSISTENCY AND THE THEORY OF TRUTH ⋮ FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ A universal algebraic set theory built on mereology with applications ⋮ Plural \(Grundgesetze\) ⋮ Frege on number properties ⋮ Splittings and disjunctions in reverse mathematics ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ TRUTH AND SPEED-UP ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Indexicals, context-sensitivity and the failure of implication ⋮ Core Gödel ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Lying, more or less: a computer simulation study of graded lies and trust dynamics ⋮ TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE ⋮ Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory ⋮ Keeping logic in the trivium of computer science: a teaching perspective ⋮ The logical strength of compositional principles ⋮ The enhanced indispensability argument, the circularity problem, and the interpretability strategy ⋮ Quine's conjecture on many-sorted logic ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Zigzag and Fregean Arithmetic ⋮ Plural logicism ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Coalgebra and abstraction ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ The predicative Frege hierarchy ⋮ Predicative Fragments of Frege Arithmetic ⋮ THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK ⋮ Bernays and Set Theory ⋮ Frege’s Grundgesetze and a Reassessment of Predicativity ⋮ Logic in the Land of Make-Believe ⋮ On the mathematical and foundational significance of the uncountable ⋮ What is Neologicism? ⋮ From Hilbert's program to a logic tool box ⋮ Ramified Frege arithmetic ⋮ Bad company and neo-Fregean philosophy ⋮ Bad company tamed ⋮ Introduction to the special issue on the bad company problem ⋮ Nets and reverse mathematics ⋮ Rescuing implicit definition from abstractionism ⋮ Frege's ontological diagram completed ⋮ Neo-Logicism and Its Logic ⋮ Term models for abstraction principles
