Publication:4949915
From MaRDI portal
zbMath0955.03008MaRDI QIDQ4949915
Publication date: 7 May 2000
set theory; second-order logic; provability logic; mathematical induction; Gödel's incompleteness theorems; logic of plurals; lengths of proofs; Frege studies
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
01A75: Collected or selected works; reprintings or translations of classics
03-03: History of mathematical logic and foundations
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03Bxx: General logic
03Fxx: Proof theory and constructive mathematics
Related Items
On Russell's vulnerability to Russell's paradox, Logic, logics, and logicism, Frege's proof of referentiality, Frege's other program, Iteration one more time, A defense of second-order logic, Quasi-truth, paraconsistency, and the foundations of science, Focus restored: Comments on John MacFarlane, The good, the bad and the ugly, Bad company tamed, Bad company generalized, Introduction to the special issue on the bad company problem, Broadening the iterative conception of set, Cardinality, counting, and equinumerosity, On the origin and status of our conception of number, Realism and paradox, Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint, Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory, `Now' and `then' in tense logic, Tarski's staggering existential assumptions, A modest logic of plurals, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY, FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION