47 found
Order:
Disambiguations
Marco Panza [49]Marco Longa Panza [1]
  1.  59
    Plato's Problem: An Introduction to Mathematical Platonism.Marco Panza & Andrea Sereni - 2013 - New York: Palgrave-Macmillan. Edited by Andrea Sereni & Marco Panza.
    What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  78
    Frege’s Theory of Real Numbers: A Consistent Rendering.Francesca Boccuni & Marco Panza - forthcoming - Review of Symbolic Logic:1-44.
    Frege's definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege's ill-fated Basic Law V. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3. The twofold role of diagrams in Euclid’s plane geometry.Marco Panza - 2012 - Synthese 186 (1):55-102.
    Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based unless diagrams (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4. Analysis and Synthesis in Mathematics,.Michael Otte & Marco Panza (eds.) - 1997 - Kluwer Academic Publishers.
  5. The varieties of indispensability arguments.Marco Panza & Andrea Sereni - 2016 - Synthese 193 (2):469-516.
    The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  34
    Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  73
    Frege’s Constraint and the Nature of Frege’s Foundational Program.Marco Panza & Andrea Sereni - 2019 - Review of Symbolic Logic 12 (1):97-143.
    Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how$AC$generalizes Frege’s views while$FC$comes closer to his original conceptions. Different authors diverge on the interpretation of$FC$and on whether it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Diagrams in mathematics: history and philosophy.John Mumma & Marco Panza - 2012 - Synthese 186 (1):1-5.
    Diagrams are ubiquitous in mathematics. From the most elementary class to the most advanced seminar, in both introductory textbooks and professional journals, diagrams are present, to introduce concepts, increase understanding, and prove results. They thus fulfill a variety of important roles in mathematical practice. Long overlooked by philosophers focused on foundational and ontological issues, these roles have come to receive attention in the past two decades, a trend in line with the growing philosophical interest in actual mathematical practice.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  71
    The Agnostic Structure of Data Science Methods.Domenico Napoletani, Marco Panza & Daniele Struppa - 2021 - Lato Sensu: Revue de la Société de Philosophie des Sciences 8 (2):44-57.
    In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the (...)
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  18
    Abstraction and Epistemic Economy.Marco Panza - 2016 - In Sorin Costreie (ed.), Early Analytic Philosophy – New Perspectives on the Tradition. Cham, Switzerland: Springer Verlag.
    Most of the arguments usually appealed to in order to support the view that some abstraction principles are analytic depend on ascribing to them some sort of existential parsimony or ontological neutrality, whereas the opposite arguments, aiming to deny this view, contend this ascription. As a result, other virtues that these principles might have are often overlooked. Among them, there is an epistemic virtue which I take these principles to have, when regarded in the appropriate settings, and which I suggest (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  13
    Was Frege a Logicist for Arithmetic?Marco Panza - 2018 - In Annalisa Coliva, Paolo Leonardi & Sebastiano Moruzzi (eds.), Eva Picardi on Language, Analysis and History. Londra, Regno Unito: Palgrave. pp. 87-112.
    The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Classical sources for the concepts of analysis and synthesis.Marco Panza - 1997 - Boston Studies in the Philosophy of Science:365-414.
  13. From Lagrange to Frege: Functions and Expressions.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms. Cham, Switzerland: Springer Verlag.
    Both Frege's Grundgesetze, and Lagrange's treatises on analytical functions pursue a foundational purpose. Still, the former's program is not only crucially different from the latter's. It also depends on a different idea of what foundation of mathematics should be like . Despite this contrast, the notion of function plays similar roles in their respective programs. The purpose of my paper is emphasising this similarity. In doing it, I hope to contribute to a better understanding of Frege's logicism, especially in relation (...)
     
    Export citation  
     
    Bookmark   3 citations  
  14.  19
    Lagrange’s theory of analytical functions and his ideal of purity of method.Marco Panza & Giovanni Ferraro - 2012 - Archive for History of Exact Sciences 66 (2):95-197.
    We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  54
    The logical system of Frege's grundgestze: A rational reconstruction.Méven Cadet & Marco Panza - 2015 - Manuscrito 38 (1):5-94.
    This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Mathematical proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
    The aim I am pursuing here is to describe some general aspects of mathematical proofs. In my view, a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects (possibly a certain object) enjoy a certain property. Because it is proved, such a statement is a mathematical theorem. In my view, in order to understand the nature of a mathematical proof it is necessary to understand the nature of mathematical objects. If we understand them as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  50
    Processes Rather than Descriptions?Domenico Napoletani, Marco Panza & Daniele C. Struppa - 2013 - Foundations of Science 18 (3):587-590.
    As a reply to the commentary (Humphreys in Found Sci, 2012), we explore the methodological implications of seeing artificial neural networks as generic classification tools, we show in which sense the use of descriptions and models in data analysis is not equivalent to the original empirical use of epicycles in describing planetary motion, and we argue that agnostic science is essentially related to the type of problems we ask about a phenomenon and to the processes used to find answers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  7
    Il problema di Platone: un'introduzione storica alla filosofia della matematica.Marco Panza & Andrea Sereni - 2010 - Roma: Carocci. Edited by Andrea Sereni.
  19.  10
    Platonism, De Re, and (Philosophy of) Mathematical Practice.Marco Panza - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2307-2335.
    The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called “Plato’s problem,” in line with the program of a philosophy of mathematical practice. It then provides a sketch of a platonist solution, following the same perspective. This solution disregards as nonsensical the question of the existence of abstract, and specifically mathematical, objects, by rather focusing on the modalities of our access to them: objects (in general, both concrete and abstract) are regarded (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  56
    Artificial Diamonds are Still Diamonds.Domenico Napoletani, Marco Panza & Daniele C. Struppa - 2013 - Foundations of Science 18 (3):591-594.
    As a reply to the commentary (Lenhard in Found Sci, 2012), we stress here that structural understanding of data analysis techniques is the natural counterpart to the lack of understanding of phenomena in agnostic science. We suggest moreover that the dynamics of computational processes, and their parallels with the dynamics of natural processes, will increasingly be, possibly, the driving force of the development of data analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  19
    Breathing fresh air into the philosophy of mathematics.Marco Panza - unknown
    The philosophy of mathematical practice is not only a research topic, but overall a disciplinary field that is extending its importance and attracting the interest of an increasing number of scholars from different communities. The book edited by Paolo Mancosu provides a comprehensive and vivid account of the philosophy of mathematical practice, by showing it at work on different and multifarious topics, and by suggesting a substantial agenda for its development. This is also a momentous programme for the philosophy of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  18
    Enthymemathical proofs and canonical proofs in Euclid's plane geometry.Abel Lassalle & Marco Panza - 2018 - In Claudio Bartocci (ed.), The Philosophers and Mathematics. Springer Verlag. pp. 127-144.
    Since the application of Postulate I.2 in Euclid's Elements is not uniform, one could wonder in what way should it be applied in Euclid's plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Breathing fresh air into the philosophy of mathematics: Paolo Mancosu : The philosophy of mathematical practice. Oxford, New York: Oxford University Press, 2008, xii+448pp, £58.95, $100.00 HB.Marco Panza - 2010 - Metascience 20 (3):495-500.
    Breathing fresh air into the philosophy of mathematics Content Type Journal Article DOI 10.1007/s11016-010-9470-8 Authors Marco Panza, IHPST, 13, rue du Four, 75006 Paris, France Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Précis de philosophie de la logique et des mathématiques, Volume 2, philosophie des mathématiques.Andrew Arana & Marco Panza (eds.) - 2022 - Paris: Editions de la Sorbonne.
    The project of this Précis de philosophie de la logique et des mathématiques (vol. 1 under the direction of F. Poggiolesi and P. Wagner, vol. 2 under the direction of A. Arana and M. Panza) aims to offer a rich, systematic and clear introduction to the main contemporary debates in the philosophy of mathematics and logic. The two volumes bring together the contributions of thirty researchers (twelve for the philosophy of logic and eighteen for the philosophy of mathematics), specialists in (...)
     
    Export citation  
     
    Bookmark  
  25.  28
    From Logic to Practice: Italian Studies in the Philosophy of Mathematics.Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.) - 2014 - Cham: Springer International Publishing.
    In the Tractatus, it is stated that questions about logical formatting cannot be meaningfully formulated, since it is precisely the application of logical rules which enables the formulation of a question whatsoever; analogously, Wittgenstein’s celebrated infinite regress argument on rule-following seems to undermine any explanation of deduction, as relying on a logical argument. On the other hand, some recent mathematical developments of the Curry-Howard bridge between proof theory and type theory address the issue of describing the “subjective” side of logic, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Analysis and synthesis in mathematics, Boston studies in the philosophy of science, vol. 196.Michaël Otte & Marco Panza - 1999 - Revue Philosophique de la France Et de l'Etranger 189 (1):99-99.
     
    Export citation  
     
    Bookmark  
  27.  12
    Diagrams in Intra-Configurational Analysis.Marco Longa Panza - 2021 - Philosophia Scientiae 25:81-102.
    In this paper we would like to attempt to shed some light on the way in which diagrams enter into the practice of ancient Greek geometrical analysis. To this end, we will first distinguish two main forms of this practice, i.e., trans-configurational and intra-configurational. We will then argue that, while in the former diagrams enter in the proof essentially in the same way they enter in canonical synthetic demonstrations, in the latter, they take part in the analytic argument in a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  20
    Discussion Note On: “Semantic Nominalism: How I Learned to Stop Worrying and Love Universals” by G. Aldo Antonelli.Marco Panza & Robert May - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
    Editorial NoteThe following Discussion Note is an edited transcription of the discussion on G. Aldo Antonelli’s paper “Semantic Nominalism: How I Learned to Stop Worrying and Love Universals”, held among participants at the IHPST-UC Davis Workshop Ontological Commitment in Mathematics which took place, in memoriam of Aldo Antonelli, at IHPST in Paris on December, 14–15, 2015. The note’s and volume’s editors would like to thank all participants in the discussion for their contributions, and Alberto Naibo, Michael Wright and the personnel (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  30
    Das velocidades às fluxões.Marco Panza - 2010 - Scientiae Studia 8 (4):509-546.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  8
    Espace et horizon de réalité: philosophie mathématique de Ferdinand Gonseth.Marco Panza & Jean-Claude Pont - 1992
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. (1 other version)Enthymemathical Proofs and Canonical Proofs in Euclid’s Plane Geometry.Marco Panza & Abel Lassalle-Casanave - 2018 - In Claudio Bartocci (ed.), The Philosophers and Mathematics. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  39
    François Viète: between analysis and cryptanalysis.Marco Panza - 2006 - Studies in History and Philosophy of Science Part A 37 (2):269-289.
    François Viète is considered the father both of modern algebra and of modern cryptanalysis. The paper outlines Viète’s major contributions in these two mathematical fields and argues that, despite an obvious parallel between them, there is an essential difference. Viète’s ‘new algebra’ relies on his reform of the classical method of analysis and synthesis, in particular on a new conception of analysis and the introduction of a new formalism. The procedures he suggests to decrypt coded messages are particular forms of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Geometria, Flussioni E Differenziali.Marco Panza & Clara Silvia Roero (eds.) - 1995 - La Città Del Sole.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  40
    Infini, logique, geométrie.Marco Panza - 2016 - History and Philosophy of Logic 37 (4):396-399.
    The book contains eight papers previously published in English—three of which also appeared in Mancosu's papers collection —and now translated into French (two of them are co-authored with J....
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  16
    Joseph Louis Lagrange.Marco Panza - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press. pp. 751--752.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. La Forma Della Quantitáa Analisi Algebrica E Analisi Superiore : Il Problema Dell'unitáa Della Matematica Nel Secolo Dell'illuminismo = la Forme de la Quantit'e : Analyse Alg'ebrique Et Analyse Sup'erieure : Le Probláeme de l'Unit'e des Math'ematiques Dans le Siáecle des Lumiáeres.Marco Panza - 1992 - Sociâetâe Franðcaise d'Histoire des Sciences Et des Techniques Diffusion Belin.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  7
    L'objectivité mathématique: platonismes et structures formelles.Marco Panza & Jean-Michel Salanskis - 1995 - Elsevier Masson.
    L'objectivité mathématique est le point de mire de nombreux débats logiques et philosophiques. L'opposition platonisme-nominalisme héritée de la tradition a évolué vers une discussion plus technique, qui conjugue des positions fines et complexes. Logiciens, mathématiciens et philosophes décrivent dans cet ouvrage le déplacement progressif de la question de l'objet non sensible vers celle, plus ancrée dans la pensée mathématique, de l'objet infinitaire ou de l'objet structural. Les compétences multiples mises ici à contribution font apparaître que les positions "platoniciennes" sont aujourd'hui (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  14
    La révolution scientifique les révolutions et l'histoire des sciences.Marco Panza - 2001 - Revue de Synthèse 122 (2-4):411-424.
    Dans son intervention au colloque Koyré (Paris, 1986), Ernest Coumet a suggéré que le terme « révolution scientifique » ne désigne pas chez Koyré un événement historique, mais un idéaltype, au sens de Max Weber. L'auteur discute d'abord cette thèse de Coumet et expose les arguments que ce dernier apporte pour la soutenir. Dans la deuxième partie de l'article, il critique l'usage de la notion de révolution en histoire des sciences, en s'opposant en particulier à la possibilité de distinguer dans (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  9
    Les savants et l'épistémologie vers la fin du XIXe siècle.Marco Panza & Jean-Claude Pont (eds.) - 1995 - Paris: Albert Blanchard.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  25
    Peirce et le continu.Marco Panza - 1998 - Revue de Synthèse 119 (4):603-611.
  41. Pour une critique de la philosophie mathématique : le cas de Imre Lakatos.Marco Panza - 1988 - le Cahier (Collège International de Philosophie) 5:186-189.
    No categories
     
    Export citation  
     
    Bookmark  
  42. The role of algebraic inferences in na‘īm Ibn mūsā’s collection of geometrical propositions.Marco Panza - 2008 - Arabic Sciences and Philosophy 18 (2):165-191.
    Nam ibn M recently edited and translated in French by Roshdi Rashed and Christian Houzel bit ibn Qurras treatise is its large use of a form of inferences that can be said in a sense that will be explained. They occur both in proofs of theorems and in solutions of problems. In the latter case, they enter different sorts of problematic analyses that are mainly used to reduce the geometrical problems they are concerned with to al-Khw’s equations.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  43.  12
    Forcing Optimality and Brandt’s Principle.Daniele Struppa, Marco Panza & Domenico Napoletani - 2017 - In Martin Carrier & Johannes Lenhard (eds.), Mathematics as a Tool: Tracing New Roles of Mathematics in the Sciences. Springer Verlag.
    We argue that many optimization methods can be viewed as representatives of “forcing”, a methodological approach that attempts to bridge the gap between data and mathematics on the basis of an a priori trust in the power of a mathematical technique, even when detailed, credible models of a phenomenon are lacking or do not justify the use of this technique. In particular, we show that forcing is implied in particle swarms optimization methods, and in modeling image processing problems through optimization. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Publications de la SMF.Marco Panza - 1986 - History of Science 24:125-144.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Reviews: Mathematics and Logic-Analysis and Synthesis in Mathematics. History and Philosophy. [REVIEW]Michael Otte, Marco Panza & I. Grattan-Guinness - 1998 - Annals of Science 55 (4):436-437.
  46.  24
    (1 other version)De la nature épargnante aux forces généreuses: le principe de moindre action entre mathématiques et métaphysique. Maupertuis et Euler, 1740-1751/From nature that economizes to generous forces: the principle of least action between mathematics and metaphysics, Maupertuis and Euler, 1740-1751. [REVIEW]Marco Panza - 1995 - Revue d'Histoire des Sciences 48 (4):435-520.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    (1 other version)Pluralité de l'algèbre à la Renaissance. [REVIEW]Marco Panza - 2013 - Isis 104:838-839.
    Direct download  
     
    Export citation  
     
    Bookmark