scientific article; zbMATH DE number 1066668
From MaRDI portal
Publication:4357731
zbMath0877.01042MaRDI QIDQ4357731
A. N. Whitehead, Bertrand A. W. Russell
Publication date: 28 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Collected or selected works; reprintings or translations of classics (01A75)
Related Items (27)
The anticipatory profile. An attempt to describe anticipation as process ⋮ Fragmentary structure of global knowledge: constructive processes for interoperability ⋮ Universe of discourse and existence ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ Logic in Russell's Principles of Mathematics ⋮ Logical consequence in Avicenna's theory ⋮ Unnamed Item ⋮ From Dedekind to Zermelo versus Peano to Gödel ⋮ Historical development of modern logic ⋮ Unnamed Item ⋮ On fundamental differences between dependent and independent meanings ⋮ The need for a dialectical tier in arguments ⋮ Sets and plural comprehension ⋮ The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ Polymorphic type-checking for the ramified theory of types of Principia Mathematica ⋮ Predicative logic and formal arithmetic ⋮ Nominalism and constructivism in seventeenth-century mathematical philosophy ⋮ Schönfinkel-type operators for classical logic ⋮ Hilbert's logic. From axiomatics to proof theory ⋮ A Debate About Anderson's Logic ⋮ ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM ⋮ Definite Descriptions in Intuitionist Positive Free Logic ⋮ Extension and Self-Connection ⋮ The Limits of Predicativity Revisited ⋮ Why ramify?
This page was built for publication:
