Switch to: References

Citations of:

Formalism

In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317 (2005)

Add citations

You must login to add citations.
  1. Los números y el contar en Berkeley y Hume.Mauricio Algalan - 2015 - Dissertation, Universidad Panamericana Sede México
    Se puede considerar que Berkeley y Hume son antecedentes filosóficos del Formalismo Matemático. Ambos sostienen una visión instrumentalista y no-realista de las matemáticas. En la conferencia se explora las diferencias y similitudes de ambos autores, así como el porque se les puede considerar ser antecesores del Formalismo.
    Download  
     
    Export citation  
     
    Bookmark  
  • Is Bohr’s Correspondence Principle just Hankel’s Principle of Permanence?Iulian D. Toader - 2024 - Studies in History and Philosophy of Science 103 (C):137-145.
    No, but the paper argues that Bohr understood his correspondence principle, or at least an aspect of that principle expressed by the notion of rational generalization, as grounded in Hankel’s principle of permanence.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rules and Meaning in Quantum Mechanics.Iulian D. Toader - manuscript
    This book concerns the metasemantics of quantum mechanics (QM). Roughly, it pursues an investigation at an intersection of the philosophy of physics and the philosophy of language, and it offers a critical analysis of rival explanations of the semantic facts of standard QM. Two problems for such explanations are discussed: categoricity and permanence. New results include 1) a reconstruction of Einstein's incompleteness argument, which concludes that a local, separable, and categorical QM cannot exist, 2) a reinterpretation of Bohr's principle of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege, Thomae, and Formalism: Shifting Perspectives.Richard Lawrence - 2023 - Journal for the History of Analytical Philosophy 11 (2):1-23.
    Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • El Tractatus al rescate de Principia Mathematica: Ramsey y los fundamentos logicistas de las matemáticas.Emilio Méndez Pinto - 2022 - Critica 54 (161):43-69.
    Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hume against the Geometers.Dan Kervick -
    In the Treatise of Human Nature, David Hume mounts a spirited assault on the doctrine of the infinite divisibility of extension, and he defends in its place the contrary claim that extension is everywhere only finitely divisible. Despite this major departure from the more conventional conceptions of space embodied in traditional geometry, Hume does not endorse any radical reform of geometry. Instead Hume espouses a more conservative approach, claiming that geometry fails only “in this single point” – in its purported (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege, Hankel, and Formalism in the Foundations.Richard Lawrence - 2021 - Journal for the History of Analytical Philosophy 9 (11).
    Frege says, at the end of a discussion of formalism in the Foundations of Arithmetic, that his own foundational program “could be called formal” but is “completely different” from the view he has just criticized. This essay examines Frege’s relationship to Hermann Hankel, his main formalist interlocutor in the Foundations, in order to make sense of these claims. The investigation reveals a surprising result: Frege’s foundational program actually has quite a lot in common with Hankel’s. This undercuts Frege’s claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical Abstraction, Conceptual Variation and Identity.Jean-Pierre Marquis - 2014 - In Peter Schroeder-Heister, Gerhard Heinzmann, Wilfred Hodges & Pierre Edouard Bour (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the 14th International Congress. London, UK: pp. 299-322.
    One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Solutions in Constructive Field Theory.Leif Hancox-Li - 2017 - Philosophy of Science 84 (2):335-358.
    Constructive field theory aims to rigorously construct concrete, nontrivial solutions to Lagrangians used in particle physics. I examine the relationship of solutions in constructive field theory to both axiomatic and Lagrangian quantum field theory. I argue that Lagrangian QFT provides conditions for what counts as a successful constructive solution and other information that guides constructive field theorists to solutions. Solutions matter because they describe the behavior of QFT systems and thus what QFT says the world is like. Constructive field theory (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
    Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.
    The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.
    In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the axiom (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Non-deductive Logic in Mathematics: The Probability of Conjectures.James Franklin - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 11--29.
    Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Cognitive Approach to Benacerraf's Dilemma.Luke Jerzykiewicz - 2009 - Dissertation, University of Western Ontario
    One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II.Krzysztof Wójtowicz - 2007 - Roczniki Filozoficzne 55 (2):139-153.
    Download  
     
    Export citation  
     
    Bookmark  
  • Berkeley and Proof in Geometry.Richard J. Brook - 2012 - Dialogue 51 (3):419-435.
    Berkeley in his Introduction to the Principles of Human knowledge uses geometrical examples to illustrate a way of generating “universal ideas,” which allegedly account for the existence of general terms. In doing proofs we might, for example, selectively attend to the triangular shape of a diagram. Presumably what we prove using just that property applies to all triangles.I contend, rather, that given Berkeley’s view of extension, no Euclidean triangles exist to attend to. Rather proof, as Berkeley would normally assume, requires (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
    Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of mathematical instrumentalism (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Two Kinds of Definition in Spinoza's Ethics.Kristina Meshelski - 2011 - British Journal for the History of Philosophy 19 (2):201-218.
    Spinoza scholars have claimed that we are faced with a dilemma: either Spinoza's definitions in his Ethics are real, in spite of indications to the contrary, or the definitions are nominal and the propositions derived from them are false. I argue that Spinoza did not recognize the distinction between real and nominal definitions. Rather, Spinoza classified definitions according to whether they require a priori or a posteriori justification, which is a classification distinct from either the real/nominal or the intensional/extensional classification. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 10 Mathematics: Signification and Significance.Clare Marie Moriarty - 2024 - In Manuel Fasko & Peter West (eds.), Berkeley’s Doctrine of Signs. Boston: De Gruyter. pp. 185-210.
    Download  
     
    Export citation  
     
    Bookmark  
  • Frege, Poincaré, Carnap, Kripke: cuatro réplicas a un dogma kantiano.Emilio Méndez Pinto - 2021 - Estudios: Filosofía, Historia, Letras 19 (138):147-166.
    I present the replies that Gottlob Frege, Henri Poincaré, Rudolf Carnap, and Saul Kripke made to the assumption that apriority and necessity are interchangeable synonyms, an assumption that I take, together with the assumptions that there is a split between analytic truths and synthetic truths and that there is a dichotomy between our conceptual schemes and empirical content, as a Kantian dogma.
    Download  
     
    Export citation  
     
    Bookmark  
  • Objetores de Descartes, ¿y también de Frege? Apuntes críticos al artículo “La naturaleza de las entidades matemáticas. Gassendi y Mersenne: objetores de Descartes”.Emilio Méndez Pinto - 2021 - Dianoia 66 (86):129-144.
    Download  
     
    Export citation  
     
    Bookmark  
  • Arbitrary combination and the use of signs in mathematics: Kant’s 1763 Prize Essay and its Wolffian background.Katherine Dunlop - 2014 - Canadian Journal of Philosophy 44 (5-6):658-685.
    In his 1763 Prize Essay, Kant is thought to endorse a version of formalism on which mathematical concepts need not apply to extramental objects. Against this reading, I argue that the Prize Essay has sufficient resources to explain how the objective reference of mathematical concepts is secured. This account of mathematical concepts’ objective reference employs material from Wolffian philosophy. On my reading, Kant's 1763 view still falls short of his Critical view in that it does not explain the universal, unconditional (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Structuring Logical Space.Alejandro Pérez Carballo - 2014 - Philosophy and Phenomenological Research 92 (2):460-491.
    I develop a non-representationalist account of mathematical thought, on which the point of mathematical theorizing is to provide us with the conceptual capacity to structure and articulate information about the physical world in an epistemically useful way. On my view, accepting a mathematical theory is not a matter of having a belief about some subject matter; it is rather a matter of structuring logical space, in a sense to be made precise. This provides an elegant account of the cognitive utility (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A metaphysical foundation for mathematical philosophy.Wójtowicz Krzysztof & Skowron Bartłomiej - 2022 - Synthese 200 (4):1-28.
    Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Syntactic reduction in Husserl’s early phenomenology of arithmetic.Mirja Hartimo & Mitsuhiro Okada - 2016 - Synthese 193 (3):937-969.
    The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Frege’s puzzle and arithmetical formalism. Putting things in context.Sorin Costreie - 2013 - History and Philosophy of Logic 34 (3):207-224.
    The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Pasch’s philosophy of mathematics.Dirk Schlimm - 2010 - Review of Symbolic Logic 3 (1):93-118.
    Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Berkeley’s Doctrine of Signs.Manuel Fasko & Peter West (eds.) - 2024 - Boston: De Gruyter.
    This volume focuses on Berkeley's doctrine of signs. The 'doctrine of signs' refers to the use that Berkeley makes of a phenomenon that is central to a great deal of everyday discourse: one whereby certain perceivable entities are made to stand in for (as 'signs' of) something else. Things signified might be other perceivable entities or they might also be unperceivable notions - such as the meanings of words. From his earliest published work, A New Theory of Vision in 1710, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Domestication of Mathematical Pathologies.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):709-720.
    Certain mathematical objects bear the name “pathological”. They either occur as unexpected and unwilling in mathematical research practice, or are constructed deliberately, for instance in order to delimit the scope of application of a theorem. I discuss examples of mathematical pathologies and the circumstances of their emergence. I focus my attention on the creative role of pathologies in the development of mathematics. Finally, I propose a few reflections concerning the degree of cognitive accessibility of mathematical objects. I believe that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Burt C. Hopkins: The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein: Bloomington and Indianapolis, Indiana University Press, 2011, 559 pp., ISBN 978-0-253-35671-0. [REVIEW]Mirja Hartimo - 2013 - Husserl Studies 29 (3):239-249.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Kant’s Prize Essay and Nineteenth Century Formalism.Richard Lawrence - 2024 - Kant Yearbook 16 (1):31-52.
    Kant’s Prize Essay of 1764 emphasizes the importance for mathematical cognition of manipulating signs according to rules, which has led some recent commentators to ask whether Kant’s position there is a species of mathematical formalism. While most have hesitated to find formalism in the Prize Essay, this hesitation derives from misconceptions about what formalists actually believe. I therefore examine some nineteenth century formalists who were in dialogue with Kant, using their views as a model against which to compare the Prize (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.
    This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Cognitive Artifacts for Geometric Reasoning.Mateusz Hohol & Marcin Miłkowski - 2019 - Foundations of Science 24 (4):657-680.
    In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Golden Age of Polish Philosophy. Kaziemierz Twardowski’s philosophical legacy.Sandra Lapointe, Jan Wolenski, Mathieu Marion & Wioletta Miskiewicz (eds.) - 2009 - Dordrecht, Netherland: Springer.
    This volume portrays the Polish or Lvov-Warsaw School, one of the most influential schools in analytic philosophy, which, as discussed in the thorough introduction, presented an alternative working picture of the unity of science.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Are Mathematicians Better Described as Formalists or Pluralists?Andrea Pedeferri & Michele Friend - 2011 - Logic and Philosophy of Science 9 (1):173-180.
    In this paper we try to convert the mathematician who calls himself, or herself, “a formalist” to a position we call “meth-odological pluralism”. We show how the actual practice of mathe-matics fits methodological pluralism better than formalism while preserving the attractive aspects of formalism of freedom and crea-tivity. Methodological pluralism is part of a larger, more general, pluralism, which is currently being developed as a position in the philosophy of mathematics in its own right.1 Having said that, henceforth, in this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mathematics as the art of abstraction.Richard L. Epstein - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 257--289.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • What’s the Point of Complete Rigour?A. C. Paseau - 2016 - Mind 125 (497):177-207.
    Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Parthenon and liberal education.Geoff Lehman - 2018 - Albany: SUNY Press. Edited by Michael Weinman.
    Discusses the importance of the early history of Greek mathematics to education and civic life through a study of the Parthenon and dialogues of Plato.
    Download  
     
    Export citation  
     
    Bookmark  
  • Oswajanie patologii matematycznych.Jerzy Pogonowski - 2020 - Principia 2020:87-118.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I.Krzysztof Wójtowicz - 2007 - Roczniki Filozoficzne 55 (2):123-139.
    Download  
     
    Export citation  
     
    Bookmark