scientific article; zbMATH DE number 194992

Publication date: 5 June 1993

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

modal logic structuralism nominalistic mathematics structuralistic approach toward mathematics

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Methodology of mathematics (00A35) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)

Related Items

The mereological foundation of megethology, Predicative foundations of arithmetic, European Summer Meeting of the Association for Symbolic Logic, The foundational problem of logic, Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES, Mathematical pluralism: The case of smooth infinitesimal analysis, Stevin numbers and reality, Discernibility by symmetries, Quasi-truth, paraconsistency, and the foundations of science, The objectivity of mathematics, Mathematical anti-realism and explanatory structure, Potential Infinity and De Re Knowledge of Mathematical Objects, Bounded revision: two-dimensional belief change between conservative and moderate revision, Fundamentality, Effectiveness, and Objectivity of Gauge Symmetries, Models, structures, and the explanatory role of mathematics in empirical science, Mathematical modality: an investigation in higher-order logic, Absence perception and the philosophy of zero, Hale's argument from transitive counting, Set theory, topology, and the possibility of junky worlds, Reflecting in epistemic arithmetic, Ontological realism and sentential form, Conclusive reasons that we perceive sets, A defense of second-order logic, Semantic Nominalism: How I Learned to Stop Worrying and Love Universals, True V or Not True V, That Is the Question, The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs, Plural quantifiers: a modal interpretation, Philosophy of mathematics: Prospects for the 1990s, Mathematical contingentism, Numbers and propositions versus nominalists: yellow cards for Salmon \& Soames, CAN MODALITIES SAVE NAIVE SET THEORY?, Concluding Comments by Martin, Multiverse Conceptions in Set Theory, Evidence for Set-Theoretic Truth and the Hyperuniverse Programme, THE CLASSICAL CONTINUUM WITHOUT POINTS, Structuralism as a philosophy of mathematical practice, Multiverse conceptions in set theory, Sets and supersets, Indispensability and explanation: an overview and introduction, The explanatory dispensability of idealizations, Nominalistic content, grounding, and covering generalizations: reply to `Grounding and the indispensability argument', Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices, Quine, Putnam, and the `Quine-Putnam' indispensability argument, Toward a modal-structural interpretation of set theory, NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS, Modalising plurals, Against Logical Realism, An empirically feasible approach to the epistemology of arithmetic, Structuralism and meta-mathematics, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, 1998–99 Annual Meeting of the Association for Symbolic Logic, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, On the Indispensable Premises of the Indispensability Argument, Extendability and Paradox, Putnam on Foundations: Models, Modals, Muddles, Putnam on Mathematics as Modal Logic, Theory of Quantum Computation and Philosophy of Mathematics. Part II, MODAL STRUCTURALISM AND REFLECTION, Infinity and the foundations of linguistics, Why is the universe of sets not a set?, Maximality and ontology: how axiom content varies across philosophical frameworks, The Search for New Axioms in the Hyperuniverse Programme, The Search for New Axioms in the Hyperuniverse Programme, Ontology, set theory, and the paraphrase challenge, Mathematical instrumentalism meets the conjunction objection, Bad company generalized, Rescuing implicit definition from abstractionism, Ontological dependence and grounding for a weak mathematical structuralism, Geometry and generality in Frege's philosophy of arithmetic., Formal semantics and applied mathematics: an inferential account, UNIVERSISM AND EXTENSIONS OF V, Modal Platonism: an easy way to avoid ontologial commitment to abstract entities, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05