scientific article; zbMATH DE number 2168553

No author found.

Publication date: 18 May 2005

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

logical consequence higher-order logic logicism formalism philosophy of mathematics nominalism predicativity intuitionism naturalism structuralism philosophy of logic application of mathematics early Wittgenstein and mathematics and logic empiricism and mathematics philosophy of mathematics in the modern period

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)

Related Items (62)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Representations and the foundations of mathematics ⋮ Modality via iterated enrichment ⋮ Why Predicative Sets? ⋮ On Arbitrary sets andZFC ⋮ Gödelian sentences and semantic arguments ⋮ RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES ⋮ Error and Predicativity ⋮ Duality as a category-theoretic concept ⋮ A SECOND PHILOSOPHY OF ARITHMETIC ⋮ THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION ⋮ Mathematics as the Art of Abstraction ⋮ Practical reasoning and the witnessably rigorous proof ⋮ Realism, reliability, and epistemic possibility: on modally interpreting the Benacerraf-Field challenge ⋮ Ordinals vs. Cardinals in ℕ and Beyond ⋮ Bibliography: Mark Steiner’s Main Works ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Grounding and a priori epistemology: challenges for conceptualism ⋮ The original sin of proof-theoretic semantics ⋮ POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND ⋮ A plea for KR ⋮ Hume's principle: a plea for austerity ⋮ The later Wittgenstein's guide to contradictions ⋮ An encoding approach to \textit{ante rem} structuralism ⋮ Making Sense of Sense Containment ⋮ Wittgenstein'sab-Notation: An Iconic Proof Procedure ⋮ Models and the dynamics of theory-building in physics. II: Case studies ⋮ Models and the dynamics of theory-building in physics. I: Modeling strategies ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ Semantic Nominalism: How I Learned to Stop Worrying and Love Universals ⋮ What’s So Bad About Second-Order Logic? ⋮ Asymptotic Quasi-completeness and ZFC ⋮ Multiverse Conceptions in Set Theory ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ Priest on Negation ⋮ BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS ⋮ The seven virtues of simple type theory ⋮ Multiverse conceptions in set theory ⋮ Philosophical pictures about mathematics: Wittgenstein and contradiction ⋮ Outline of a dynamical inferential conception of the application of mathematics ⋮ Wittgenstein on pure and applied mathematics ⋮ Logical structuralism and Benacerraf's problem ⋮ Permanence as a principle of practice ⋮ A categorical construction of Bachmann–Howard fixed points ⋮ Mathematical Existence ⋮ Necessity of Thought ⋮ On the Motives for Proof Theory ⋮ On the Indispensable Premises of the Indispensability Argument ⋮ Abstraction, Axiomatization and Rigor: Pasch and Hilbert ⋮ Predicativity and Regions-Based Continua ⋮ Feferman on Set Theory: Infinity up on Trial ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Classical harmony and separability ⋮ On the mathematical and foundational significance of the uncountable ⋮ Bad company generalized ⋮ Predicativity and constructive mathematics ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ ω-circularity of Yablo's paradox ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: