Computation is central to contemporary mathematics. Many accept that we can acquire genuine mathematical knowledge of the Four Color Theorem from Appel and Haken's program insofar as it is simply a repetitive application of human forms of mathematical reasoning. Modern LLMs / DNNs are, by contrast, opaque to us in significant ways, and this creates obstacles in obtaining mathematical knowledge from them. We argue, however, that if a proof-checker automating human forms of proof-checking is attached to such machines, then we (...) can obtain apriori mathematical knowledge from them, even though the original machines are entirely opaque to us and the proofs they output are not human-surveyable. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

A basic thesis of Neokantian epistemology and philosophy of science contends that the knowing subject and the object to be known are only abstractions. What really exists, is the relation between both. For the elucidation of this “knowledge relation ("Erkenntnisrelation") the Neokantians of the Marburg school used a variety of mathematical metaphors. In this con-tribution I reconsider some of these metaphors proposed by Paul Natorp, who was one of the leading members of the Marburg school. It is shown (...) that Natorp's metaphors are not unrelated to those used in some currents of contemporary epistemology and philosophy of science. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out (...) and compares these options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

In spite of Ernst Cassirer’s criticisms of psychologism throughout Substance and Function, in the final chapter he issues a demand for a “psychology of relations” that can do justice to the subjective dimensions of mathematics and natural science. Although these remarks remain somewhat promissory, the fact that this is how Cassirer chooses to conclude Substance and Function recommends it as a topic worthy of serious consideration. In this paper, I argue that in order to work out the details of (...) Cassirer’s psychology of relations in Substance and Function, we need to situate it within two broader frameworks. First, I position Cassirer’s view in relation to the view of psychology and logic endorsed by his Marburg Neo-Kantian predecessors, Hermann Cohen and Paul Natorp. Second, I augment Cassirer’s early account of the psychology of relations in Substance and Function with the more mature view of psychology that he presents in The Philosophy of Symbolic Forms. By placing Cassirer’s account within these contexts, I claim that we gain insight into his psychology of relations, not just as it pertains to mathematics and natural science, but to culture as a whole. Moreover, I maintain that pursuing this strategy helps shed light on one of the most controversial features of his philosophy of mathematics and natural science, viz., his theory of the a priori. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the (...) physical world and are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, (...) for example, is a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree,a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity. (shrink)

The Polish philosophy of mathematics in the 19th century had its origins in the Romantic period under the influence of the then-predominant idealist philosophies. The decline of Romantic philosophy precipitated changes in general philosophy, but what is less well known is how it triggered changes in the philosophy of mathematics. In this paper, we discuss how the Polish philosophy of mathematics evolved from the metaphysical approach that had been formed during the Romantic era to the (...) more modern positivistic paradigm. These evolutionary changes are attributed to the philosophers Henryk Struve, Antoni Molicki and Julian Ochorowicz, and mathematicians Karol Hertz and Samuel Dickstein. We also show how implicit ideas (i.e., those not declared openly) from the area between the philosophy of science and general philosophy played a crucial role in the paradigm shift in the Polish philosophy of mathematics. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle (...) in Posterior analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

This chapter argues that the standard conception of Spinoza as a fellow-travelling mechanical philosopher and proto-scientific naturalist is misleading. It argues, first, that Spinoza’s account of the proper method for the study of nature presented in the Theological-Political Treatise (TTP) points away from the one commonly associated with the mechanical philosophy. Moreover, throughout his works Spinoza’s views on the very possibility of knowledge of nature are decidedly sceptical (as specified below). Third, in the seventeenth-century debates over proper methods in (...) the sciences, Spinoza sided with those that criticized the aspirations of those (the physico-mathematicians, Galileo, Huygens, Wallis, Wren, etc) who thought the application of mathematics to nature was the way to make progress. In particular, he offers grounds for doubting their confidence in the significance of measurement as well as their piece-meal methodology (see section 2). Along the way, this chapter offers a new interpretation of common notions in the context of treating Spinoza’s account of motion (see section 3). (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in (...) this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the (...) important role played by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

In this paper, I describe some strategies for teaching an introductory philosophy of science course to Science, Technology, Engineering, and Mathematics (STEM) students, with reference to my own experience teaching a philosophy of science course in the Fall of 2020. The most important strategy that I advocate is what I call the “Second Philosophy” approach, according to which instructors ought to emphasize that the problems that concern philosophers of science are not manufactured and (...) imposed by philosophers from the outside, but rather are ones that arise internally, during the practice of science itself. To justify this approach, I appeal to considerations from both educational research and the epistemology of testimony. In addition, I defend some distinctive learning goals that philosophy of science instructors ought to adopt when teaching STEM students, which include rectifying empirically well-documented shortcomings in students’ conceptions of the “scientific method” and the “nature of science.” Although my primary focus will be on teaching philosophy of science to STEM students, much of what I propose can be applied to non-philosophy majors generally. Ultimately, as I argue, a successful philosophy of science course for non-philosophy majors must be one that advances a student’s science education. The strategies that I describe and defend here are aimed at precisely that end. (shrink)

Computational and information-theoretic research in philosophy has become increasingly fertile and pervasive, giving rise to a wealth of interesting results. Consequently, a new and vitally important field has emerged, the philosophy of information (PI). This paper introduces PI as the philosophical field concerned with (i) the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilisation and sciences, and with (ii) the elaboration and application of information-theoretic and computational methodologies to philosophical problems. It (...) is argued that PI is a mature discipline for three reasons: it represents an autonomous field of research; it provides an innovative approach to both traditional and new philosophical topics; and it can stand beside other branches of philosophy, offering a systematic treatment of the conceptual foundations of the world of information and the information society. (shrink)

This paper deals with Natorp’s version of the Marburg mathematical philosophy of science characterized by the following three features: The core of Natorp’s mathematical philosophy of science is contained in his “knowledge equation” that may be considered as a mathematical model of the “transcendental method” conceived by Natorp as the essence of the Marburg Neo-Kantianism. For Natorp, the object of knowledge was an infinite task. This can be elucidated in two different ways: Carnap, in the Aufbau, (...) contended that this endeavor can be divided into two distinct parts, namely, a finite “constitution” of the object of knowledge and an infinite incompletable empirical description. In contrast, and more in the original spirit of Cohen and Natorp, the physicist and philosopher Margenau in The Nature of Physical Reality (Margenau. 1950) conceived the infinity of this “Aufgabe” as an infinite dialectical process, in which relative “data” and “conceptual constructs” determine each other. This dialectical process eliminates the dichotomy between Anschauung and Begriff that distinguished the Marburg Neo-Kantianism from Kantian orthodoxy, namely, the abandonment of the difference between intuition and concept. Finally, the paper deals with the non-Archimedean geometrical systems that played a central role in Natorp’s defence of Cohen’s “infinitesimal” metaphysics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have (...) been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these (...) disciplines as well as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

The vicissitudes of mathematical reason in the 20th century Content Type Journal Article Pages 1-6 DOI 10.1007/s11016-011-9556-y Authors Thomas Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EPU, Donostia-San Sebastian, Spain, Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

The irrational exuberance associated with contemporary artificial intelligence (AI) reminds me of Charles Dickens: "it was the age of foolishness, it was the epoch of belief" (cf. Nature Editorial, 2016; to get a feel for the vanity fair that is AI, see Mitchell and Krakauer, 2023; Stilgoe, 2023). It is particularly distressing—feels like yet another rerun of Seinfeld, which is all about nothing (pun intended); we have seen it in the 60s and again in the 90s. AI might have had (...) an inauspicious beginning, which may very well be the original sin, and our current predicament is the attendant divine condemnation. Being unable to stand it, however divine it may be, without further ado, I get to the genesis (instead of getting lost in the here-and-now of this or that so-called breakthrough of AI). Here's my unvarnished critique! (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of (...) class='Hi'>Science, which gave rise to this special issue. Lastly, we provide a summary of the contributions to this issue. (shrink)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the (...) 1976a paper are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

The Polish philosophy of mathematics in the 19th century is not a well-researched topic. For this period, only five philosophers are usually mentioned, namely Jan Śniadecki, Józef Maria Hoene-Wroński, Henryk Struve, Samuel Dickstein, and Edward Stamm. This limited and incomplete perspective does not allow us to develop a well-balanced picture of the Polish philosophy of mathematics and gauge its influence on 19th- and 20th-century Polish philosophy in general. To somewhat complete our picture of the history of the (...) Polish philosophy of mathematics in those times, we here present the profiles of some lesser-known Polish Romantic philosophers of the 19th century, namely Karol Libelt, Bronisław Trentowski, and Józef Kremer. We discuss their contributions to the philosophy of mathematics and their metaphysical perspectives, and we also show how their metaphysical ideas have found some continuity in the studies of some Catholic philosophers. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. (...) Burgess and G. Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between (...) scientific theories as linguistic systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

This rich book differs from much contemporary philosophy of mathematics in the author’s witty, down to earth style, and his extensive experience as a working mathematician. It accords with the field in focusing on whether mathematical entities are real. Franklin holds that recent discussion of this has oscillated between various forms of Platonism, and various forms of nominalism. He denies nominalism by holding that universals exist and denies Platonism by holding that they are concrete, not abstract - looking to (...) Aristotle for inspiration. (shrink)

This collection of articles was written over the last 10 years and edited to bring them up to date (2017). The copyright page has the date of the edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) and (...) manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it is critical to keep in mind not that we evolved from apes, but that in every important way, we are apes. If everyone was given a real understanding of this (i.e., of human ecology and psychology to actually give them some control over themselves), maybe civilization would have a chance. As things are however the leaders of society have no more grasp of things than their constituents and so collapse into anarchy is inevitable. The first group of articles attempts to give some insight into how we behave that is reasonably free of the theoretical delusions that are universal. In the next group, I show how these insights apply by reviewing some books in philosophy and psychology. Next I review books on science and religion and finally provide reviews and articles showing how understanding of both science and philosophy gives insight into the tragic delusions destroying the world. People believe that society can be saved by science, religion and politics, so I provide some suggestions as to why this is unlikely via short articles and reviews of recent books by well-known writers. It is critical to understand why we behave as we do and so the first section presents articles that try to describe (not explain as Wittgenstein insisted) behavior. I start with a brief review of the logical structure of rationality, which provides some heuristics for the description of language (mind, rationality, personality) and gives some suggestions as to how this relates to the evolution of social behavior. This centers around the two writers I have found the most important in this regard, Ludwig Wittgenstein and John Searle, whose ideas I combine and extend within the dual system (two ii systems of thought) framework that has proven so useful in recent thinking and reasoning research. As I note, there is in my view essentially complete overlap between philosophy, in the strict sense of the enduring questions that concern the academic discipline, and the descriptive psychology of higher order thought (behavior). Once one has grasped Wittgenstein’s insight that there is only the issue of how the language game is to be played, one determines the Conditions of Satisfaction (what makes a statement true or satisfied etc.) and that is the end of the discussion. Since philosophical problems are the result of our innate psychology, or as Wittgenstein put it, due to the lack of perspicuity of language, they run throughout human discourse and behavior, so there is endless need for philosophical analysis, not only in the ‘human sciences’ of philosophy, sociology, anthropology, political science, psychology, history, literature, religion, etc., but in the ‘hard sciences’ of physics, mathematics, and biology. It is universal to mix the language game questions with the real scientific ones as to what the empirical facts are. Scientism is ever present and the master has laid it before us long ago, i.e., Wittgenstein (hereafter W) beginning with the Blue and Brown Books in the early 1930’s. "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." (BBB p18) The key to everything about us is biology, and it is obliviousness to it that leads millions of smart educated people like Obama, Chomsky, Clinton and the Pope to espouse suicidal utopian ideals that inexorably lead straight to Hell on Earth. As W noted, it is what is always before our eyes that is the hardest to see. We live in the world of conscious deliberative linguistic System 2, but it is unconscious, automatic reflexive System 1 that rules. This is the source of the universal blindness described by Searle’s The Phenomenological Illusion (TPI), Pinker’s Blank Slate and Tooby and Cosmides’ Standard Social Science Model. The astute may wonder why we cannot see System 1 at work, but it is clearly counterproductive for an animal to be thinking about or second guessing every action, and in any case, there is no time for the slow, massively integrated System 2 to be involved in the constant stream of split second ‘decisions’ we must make. As W noted, our ‘thoughts’ (T1 or the ‘thoughts’ of System 1) must lead directly to actions. iii It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative System 2 and unconscious automated System 1 actions or reflexes. Thus, all the articles, like all behavior, are intimately connected if one knows how to look at them. As I note, The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, (or that that they differ only in degree from drug and sex addicts in being motivated by stimulation of their frontal cortices by the delivery of dopamine (and over 100 other chemicals) via the ventral tegmentum and the nucleus accumbens), but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth and their descendant’s futures. Many of the articles describe the ‘digital delusions’, which confuse the language games of System 2 with the automatisms of System 1, and so cannot distinguish biological machines (i.e., people) from other kinds of machines (i.e., computers). The ‘reductionist’ claim is that one can ‘explain’ behavior at a ‘lower’ level, but what actually happens is that one does not explain human behavior but a ‘stand in’ for it. Hence the title of Searle’s classic review of Dennett’s book (“Consciousness Explained”)— “Consciousness Explained Away”. In most contexts ‘reduction’ of higher level emergent behavior to brain functions, biochemistry, or physics is incoherent. Also for ‘reduction’ of chemistry or physics, the path is blocked by chaos and uncertainty. Anything can be ‘represented’ by equations, but when they ‘represent’ higher order behavior, it is not clear (and cannot be made clear) what the ‘results’ mean. Reductionist metaphysics is a joke, but most scientists and philosophers lack the appropriate sense of humor. Other digital delusions are that we will be saved from the pure evil (selfishness) of System 1 by computers/AI/robotics/ nanotech/genetic engineering created by System 2. The No Free Lunch principal tells us there will be serious and possibly fatal consequences. The adventurous may regard this principle as a higher order emergent expression of the Second Law of Thermodynamics. Hi-tech enthusiasts hugely underestimate the problems iv resulting from unrestrained motherhood, and of course it is neither profitable nor politically correct (and now with third world supremacism dominant, not even possible) to be honest about it. The last section describes various versions of the ‘altruism delusion’ that we are selected for cooperation, and that the euphonious ideals of Democracy, Diversity and Equality will lead us into utopia, if we just manage things correctly (the possibility of politics). Again, the No Free Lunch Principle ought to warn us it cannot be true, and we see throughout history and all over the contemporary world, that without strict controls, selfishness and stupidity gain the upper hand and soon destroy any nation that embraces it. In addition, the monkey mind steeply discounts the future, and so we cooperate in selling our descendant’s heritage for temporary comforts, greatly exacerbating the problems. I describe versions of this delusion (i.e., that we are basically ‘friendly’ if just given a chance) as it appears in some recent books on sociology/biology/economics. I end with an essay on the great tragedy playing out in America and the world, which can be seen as a direct result of our evolved psychology manifested as the inexorable machinations of System 1. Our psychology, eminently adaptive and eugenic on the plains of Africa from ca. 6 million years ago, when we split from chimpanzees, to ca. 50,000 years ago, when many of our ancestors left Africa (i.e., in the EEA or Environment of Evolutionary Adaptation), is now maladaptive and dysgenic and the source of our Suicidal Utopian Delusions. So, like all discussions of behavior (philosophy, psychology, sociology, biology, anthropology, politics, law, literature, history, economics, soccer strategies, business meetings, etc.), this book is about evolutionary strategies, selfish genes and inclusive fitness (kin selection). Many accept the delusion that we are selected for cooperation with people generally (group selection or altruism) and not just our immediate relatives (kin selection or inclusive fitness), so I spend some time in the essays of the last section demolishing this fantasy. One thing rarely mentioned by the group selectionists is the fact that, even were ‘group selection’ possible, selfishness is at least as likely (probably far more likely in most contexts) to be group selected for as altruism. Just try to find examples of true altruism in nature –the fact that we can’t (which we know is not possible if we understand evolution) tells us that its apparent presence in humans is an artefact of modern life concealing the facts, and that it can no more be selected for than the tendency to suicide (which in fact it is). One does not really need science or mathematics to grasp this – it is crushingly obvious that an v organism cannot be selected for behavior that decreases the frequency of its own genes in the next generation. One might also benefit from considering a phenomenon never (in my experience) mentioned by group selectionists -- cancer. No group has as much in common as the (originally) genetically identical cells in our own bodies-a 100 trillion cell clone-- but we are all born with thousands and perhaps millions of cells that have already taken the first step on the path to cancer and generate millions to billions of cancer cells in our life. If we did not die of other things first, we (and perhaps all multicellular organisms) would all die of cancer. Only a massive and hugely complex mechanism built into our genome that represses or derepresses trillions of genes in trillions of cells, and kills and creates billions of cells a second, keeps the majority of us alive long enough to reproduce. One might take this to imply that a just, democratic and enduring society for any kind of entity on any planet in any universe is only a dream, and that no being or power could make it otherwise. It is not only ‘the laws’ of physics that are universal and inescapable, or perhaps we should say that inclusive fitness is a law of physics. The great mystic Osho said that the separation of God and Heaven from Earth and Humankind was the most evil idea that ever entered the Human mind. In the 20th century an even more evil notion arose—that humans are born with rights, rather than having to earn privileges. Thus, every day the population increases by 200,000, who must be provided with resources to grow and space to live, and who soon produce another 200,000 etc. And one almost never hears it noted that what they receive must be taken from those already alive. Their lives diminish those already here in both major obvious and countless subtle ways. Every new baby destroys the earth from the moment of conception. There cannot be human rights without human wrongs. It cannot be more obvious, but one will never see the streets full of protesters against motherhood. America and the world are in the process of collapse from excessive population growth, most of it for the last century and now all of it due to 3rd world people. Consumption of resources and the addition of 4 billion more ca. 2100 will collapse industrial civilization and bring about starvation, disease, violence and war on a staggering scale. The earth loses about 2% of it’s topsoil every year, so as it nears 2100, most of it’s food growing capacity will be gone. Billions will die and nuclear war is all but certain. In America, this is being hugely accelerated by massive immigration and immigrant reproduction, combined with abuses made possible by democracy. Depraved human nature inexorably turns the dream of democracy and diversity into a vi nightmare of crime and poverty. China will continue to overwhelm America and the world, as long as it maintains the dictatorship which limits selfishness. The root cause of collapse is the inability of our innate psychology to adapt to the modern world, which leads people to treat unrelated persons as though they had common interests. This, plus ignorance of basic biology and psychology, leads to the social engineering delusions of the partially educated who control democratic societies. Few understand that if you help one person you harm someone else—there is no free lunch and every single item anyone consumes destroys the earth beyond repair. Consequently, social policies everywhere are unsustainable and one by one all societies without stringent controls on selfishness will collapse into anarchy or dictatorship. Without dramatic and immediate changes, there is no hope for preventing the collapse of America, or any country that follows a democratic system. The popular notions supported by the Democratic Party and Third World Supremacists are that Democracy, Diversity, Equality and Social Justice will produce a Utopia in America and the world, but it is clear as crystal that they unavoidably foster selfishness and divisiveness and are producing collapse. Hence my concluding essay “Suicide by Democracy”. The most basic facts, almost never mentioned, are that there are not enough resources in America or the world to lift a significant percentage of the poor out of poverty and keep them there. Even the attempt to do this is already bankrupting America and destroying the world. The earth’s capacity to produce food decreases daily, as does our genetic quality. And now, as always, by far the greatest enemy of the poor is other poor and not the rich. -/- My writings are available as paperbacks and Kindles on Amazon. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) ASIN B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) ASIN B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) 2nd printing with corrections (Feb 2018) ASIN B0711R5LGX -/- Suicide by Democracy: an Obituary for America and the World (2018) ASIN B07CQVWV9C -/- . (shrink)

This collection of articles was written over the last 10 years and edited them to bring them up to date (2017). All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, (...) it is critical to keep in mind not that we evolved from apes, but that in every important way, we are apes. If everyone was given a real understanding of this (i.e., of human ecology and psychology to actually give them some control over themselves), maybe civilization would have a chance. As things are however the leaders of society have no more grasp of things than their constituents and so collapse into anarchy is inevitable. -/- It is critical to understand why we behave as we do and so the first section presents articles that try to describe (not explain as Wittgenstein insisted) behavior. Section one starts with a brief review of the logical structure of rationality which provides some heuristics for the description of language (mind) and gives some suggestions as to how this relates to the evolution of social behavior. This centers around the two writers I have found the most important in this regard, Ludwig Wittgenstein and John Searle, whose ideas I combine and extend within the dual system (two systems of thought) framework that has proven so useful in recent thinking and reasoning research. As I note, there is in my view essentially complete overlap between philosophy, in the strict sense of the enduring questions that concern the academic discipline, and the descriptive psychology of higher order thought (behavior). Once one has grasped Wittgenstein’s insight that there is only the issue of how the language game is to be played, one determines the Conditions of Satisfaction (what makes a statement true or satisfied etc.) and that is the end of the discussion. -/- Since philosophical problems are the result of our innate psychology, or as Wittgenstein put it, due to the lack of perspicuity of language, they run throughout human discourse, so there is endless need for philosophical analysis, not only in the ‘human sciences’ of philosophy, sociology, anthropology, political science, psychology, history, literature, religion, etc., but in the ‘hard sciences’ of physics, mathematics, and biology. It is universal to mix the language game questions with the real scientific ones as to what the empirical facts are. Scientism is ever present and the master has laid it before us long ago, i.e., Wittgenstein (hereafter W) beginning with the Blue and Brown Books in the early 1930’s. -/- "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." (BBB p18) -/- The key to everything about us is biology, and it is obliviousness to it that leads millions of smart educated people like Obama, Chomsky, Clinton and the Pope to espouse suicidal utopian ideals that inexorably lead straight to Hell On Earth. As W noted, it is what is always before our eyes that is the hardest to see. We live in the world of conscious deliberative linguistic System 2, but it is unconscious, automatic reflexive System 1 that rules. This is the source of the universal blindness described by Searle’s The Phenomenological Illusion (TPI), Pinker’s Blank Slate and Tooby and Cosmides’ Standard Social Science Model. -/- The astute may wonder why we cannot see System 1 at work, but it is clearly counterproductive for an animal to be thinking about or second guessing every action, and in any case there is no time for the slow, massively integrated System 2 to be involved in the constant stream of split second ‘decisions’ we must make. As W noted, our ‘thoughts’ (T1 or the ‘thoughts’ of System 1) must lead directly to actions. -/- It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative System 2 and unconscious automated System 1 actions or reflexes. -/- Thus all the articles, like all behavior, are intimately connected if one knows how to look at them. As I note, The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, (or that that they differ only in degree from drug and sex addicts in being motivated by stimulation of their frontal cortices by the delivery of dopamine via the ventral tegmentum and the nucleus accumbens) but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth and their descendant’s future. Section one continues with other views of behavior which my reviews attempt to correct and put in context with minimal theory. -/- The next section describes the digital delusions which confuse the language games of System 2 with the automatisms of System one, and so cannot distinguish biological machines (i.e., people) from other kinds of machines (i.e., computers). The ‘reductionist’ claim is that one can ‘explain’ behavior at a ‘lower’ level, but what actually happens is that one does not explain human behavior but a ‘stand in’ for it. Hence the title of Searle’s classic review of Dennett’s book (“Consciousness Explained”)— “Consciousness Explained Away”. In most contexts ‘reduction’ of higher level emergent behavior to brain functions, biochemistry, or physics is incoherent. Even for chemistry or physics the path is blocked by chaos and uncertainty. Anything can be ‘represented’ by equations, but when they ‘represent’ higher order behavior, it is not clear what the ‘results’ mean. Reductionist metaphysics is a joke but most scientists and philosophers lack the appropriate sense of humor. -/- Another hi-tech delusion is that the we will be saved from the pure evil (selfishness) of System 1 by computers/AI/robotics/ nanotech/genetic engineering created by System 2. The No Free Lunch principal tells us there will be serious and possibly fatal consequences. The adventurous may regard this principle as a higher order emergent expression of the Second Law of Thermodynamics. -/- The last section describes The One Big Happy Family Delusion , i.e., that we are selected for cooperation with everyone and that the euphonious ideals of Democracy, Diversity and Equality will lead us into utopia. Again the No Free Lunch Principle ought to warn us it cannot be true, and we see throughout history and all over the contemporary world, that without strict controls, selfishness and stupidity gain the upper hand and soon destroy any nation that embraces it. In addition, the monkey mind steeply discounts the future, and so we sell our descendant’s heritage for temporary comforts greatly exacerbating the problems. -/- I describe versions of this delusion (i.e., that we are basically ‘friendly’ if just given a chance) as it appears in some recent books on sociology/biology/economics. I end with an essay on the great tragedy playing out in America and the world, which can be seen as a direct result of our evolved psychology manifested as the inexorable machinations of System 1. Our evolved psychology, eminently adaptive and eugenic on the plains of Africa ca. 50,000 years ago, when many of our ancestors left Africa, to ca. 6 million years ago, when we split from chimpanzees (i.e., in the EEA or Environment of Evolutionary Adaptation), but now maladaptive and dysgenic and the source of our Suicidal Utopian Delusions. So, like all discussions of behavior, this book is about evolutionary strategies, selfish genes and inclusive fitness. (shrink)

The predisposition of the Indispensability Argument to objections, rephrasing and versions associated with the various views in philosophy of mathematics grants it a special status of a “blueprint” type rather than a debatable theme in the philosophy of science. From this point of view, it follows that the Argument has more an epistemic character than ontological.

Although the main focus of Hume’s career was in the humanities, his work also has an observable role in the historical development of natural sciences after his time. To show this, I shall center on the relation between Hume and two major figures in the history of the natural sciences: Charles Darwin (1809–1882) and Albert Einstein (1879–1955). Both of these scientists read Hume. They also found parts of Hume’s work useful to their sciences. Inquiring into the relations between Hume and (...) the two scientists shows that his philosophical positions had a partial but constructive role in the formation of modern biology and physics. This is accordingly a clear indication of Hume’s impact on the scientific tradition. Before proceeding to analyze Hume’s contribution to the history of science, it is important to address his broader role in the history of philosophy of science. Hume’s discussions concerning the topics of causation, induction, the distinction between mathematical and empirical propositions, and laws of nature have been important for the philosophy of science of the nineteenth and twentieth centuries. (shrink)

K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics and their (...) interpretation. Concomitantly, she was one of the pioneers of mathematical logic in the Soviet Union, in an era of fierce disputes on its compatibility with Marxist philosophy. Yanovskaya managed to embrace in an originally Marxist spirit the contemporary level of logico-philosophical research of her time. Due to her highly esteemed status within Soviet academia, she became one of the most significant pillars for the culmination of modern mathematics in the Soviet Union. In this paper, I attempt to trace the influence of the complex socio-cultural context of the first decades of the Soviet Union on Yanovskaya’s work. Among the several issues I discuss, her encounter with L. Wittgenstein is striking. (shrink)

Since 2004, it has been mandated by law that all Danish undergraduate university programmes have to include a compulsory course on the philosophy of science for that particular program. At the Faculty of Science and Technology, Aarhus University, the responsibility for designing and running such courses were given to the Centre for Science Studies, where a series of courses were developed aiming at the various bachelor educations of the Faculty. Since 2005, the Centre has been running (...) a dozen different courses ranging from mathematics, computer science, physics, chemistry over medical chemistry, biology, molecular biology to sports science, geology, molecular medicine, nano science, and engineering. -/- We have adopted a teaching philosophy of using historical and contemporary case studies to anchor broader philosophical discussions in the particular subject discipline under consideration. Thus, the courses are tailored to the interests of the students of the particular programme whilst aiming for broader and important philosophical themes as well as addressing the specific mandated requirements to integrate philosophy, some introductory ethics, and some institutional history. These are multiple and diverse purposes which cannot be met except by compromise. -/- In this short presentation, we discuss our ambitions for using case studies to discuss philosophical issues and the relation between the specific philosophical discussions in the disciplines and the broader themes of philosophy of science. We give examples of the cases chosen to discuss various issues of scientific knowledge, the role of experiments, the relations between mathematics and science, and the issues of responsibility and trust in scientific results. Finally, we address the issue of how and why science students can be interested in and benefit from mandatory courses in the philosophy of their subject. (shrink)

In the chapter of Difference and Repetition entitled ‘Ideas and the synthesis of difference,’ Deleuze mobilizes mathematics to develop a ‘calculus of problems’ that is based on the mathematical philosophy of Albert Lautman. Deleuze explicates this process by referring to the operation of certain conceptual couples in the field of contemporary mathematics: most notably the continuous and the discontinuous, the infinite and the finite, and the global and the local. The two mathematical theories that Deleuze draws upon for this (...) purpose are the differential calculus and the theory of dynamical systems, and Galois’ theory of polynomial equations. For the purposes of this paper I will only treat the first of these, which is based on the idea that the singularities of vector fields determine the local trajectories of solution curves, or their ‘topological behaviour’. These singularities can be described in terms of the given mathematical problematic, that is for example, how to solve two divergent series in the same field, and in terms of the solutions, as the trajectories of the solution curves to the problem. What actually counts as a solution to a problem is determined by the specific characteristics of the problem itself, typically by the singularities of this problem and the way in which they are distributed in a system. Deleuze understands the differential calculus essentially as a ‘calculus of problems’, and the theory of dynamical systems as the qualitative and topological theory of problems, which, when connected together, are determinative of the complex logic of different/ciation. (DR 209). Deleuze develops the concept of a problematic idea from the differential calculus, and following Lautman considers the concept of genesis in mathematics to ‘play the role of model ... with respect to all other domains of incarnation’. While Lautman explicated the philosophical logic of the actualization of ideas within the framework of mathematics, Deleuze (along with Guattari) follows Lautman’s suggestion and explicates the operation of this logic within the framework of a multiplicity of domains, including for example philosophy, science and art in What is Philosophy?, and the variety of domains which characterise the plateaus in A Thousand Plateaus. While for Lautman, a mathematical problem is resolved by the development of a new mathematical theory, for Deleuze, it is the construction of a concept that offers a solution to a philosophical problem; even if this newly constructed concept is characteristic of, or modelled on the new mathematical theory. (shrink)

Contents: Danuta Ługowska, Incommensurability of Paradigms Exemplified by the Differences Between the Western and Eastern European Image of the Human Person ; Maria-Magdalena Weker, Light, Body and Soul – the Issues Fundamental for Theories of Vision. A Historical Survey ; Dariusz Kucharski, The Conception of Sensory Perception and Scientific Research. (The Theory of Sign within Philosophy of G. Berkeley and T. Reid) ; Grzegorz Bugajak, Causality and Determinism in Physics ; Anna Lemańska, Truth in Mathematics ; Anna Latawiec, Troubles (...) with the Philosophy of Medicine ; Adam Świeżyński, Values, Axiological Experience, and Scientific Research ; Grzegorz Bugajak, Fears of Science. Nature and Human Actions ; Adam Świeżyński, Some Remarks on the Human Search for Sense in the Context of Human Actions. (shrink)

Newton’s impact on Enlightenment natural philosophy has been studied at great length, in its experimental, methodological and ideological ramifications. One aspect that has received fairly little attention is the role Newtonian “analogies” played in the formulation of new conceptual schemes in physiology, medicine, and life science as a whole. So-called ‘medical Newtonians’ like Pitcairne and Keill have been studied; but they were engaged in a more literal project of directly transposing, or seeking to transpose, Newtonian laws into quantitative (...) models of the body. I am interested here in something different: neither the metaphysical reading of Newton, nor direct empirical transpositions, but rather, a more heuristic, empiricist construction of Newtonian analogies. Figures such as Haller, Barthez, and Blumenbach constructed analogies between the method of celestial mechanics and the method of physiology. In celestial mechanics, they held, an unknown entity such as gravity is posited and used to mathematically link sets of determinate physical phenomena (e.g., the phases of the moon and tides). This process allows one to remain agnostic about the ontological status of the unknown entity, as long as the two linked sets of phenomena are represented adequately. Haller et. al. held that the Newtonian physician and physiologist can similarly posit an unknown called ‘life’ and use it to link various other phenomena, from digestion to sensation and the functioning of the glands. These phenomena consequently appear as interconnected, goal-oriented processes which do not exist either in an inanimate mechanism or in a corpse. In keeping with the empiricist roots of the analogy, however, no ontological claims are made about the nature of this vital principle, and no attempts are made to directly causally connect such a principle and observable phenomena. The role of the “Newtonian analogy” thus brings together diverse schools of thought, and cuts across a surprising variety of programs, models and practices in natural philosophy. (shrink)

ABSTRACT. May scientists rely on substantive, a priori presuppositions? Quinean naturalists say "no," but Michael Friedman and others claim that such a view cannot be squared with the actual history of science. To make his case, Friedman offers Newton's universal law of gravitation and Einstein's theory of relativity as examples of admired theories that both employ presuppositions (usually of a mathematical nature), presuppositions that do not face empirical evidence directly. In fact, Friedman claims that the use of such presuppositions (...) is a hallmark of "science as we know it." But what should we say about the special sciences, which typically do not rely on the abstruse formalisms one finds in the exact sciences? I identify a type of a priori presupposition that plays an especially striking role in the development of empirical psychology. These are ontological presuppositions about the type of object a given science purports to study. I show how such presuppositions can be both a priori and rational by investigating their role in an early flap over psychology's contested status as a natural science. The flap focused on one of the field's earliest textbooks, William James's Principles of Psychology. The work was attacked precisely for its reliance on a priori presuppositions about what James had called the "mental state," psychology's (alleged) proper object. I argue that the specific presuppositions James packed into his definition of the "mental state" were not directly responsible to empirical evidence, and so in that sense were a priori; but the presuppositions were rational in that they were crafted to help overcome philosophical objections (championed by neo-Hegelians) to the very idea that there can be a genuine science of mind. Thus, my case study gives an example of substantive, a priori presuppositions being put to use—to rational use—in the special sciences. In addition to evaluating James's use of presuppositions, my paper also offers historical reflections on two different strands of pragmatist philosophy of science. One strand, tracing back through Quine to C. S. Peirce, is more naturalistic, eschewing the use of a priori elements in science. The other strand, tracing back through Kuhn and C. I. Lewis to James, is more friendly to such presuppositions, and to that extent bears affinity with the positivist tradition Friedman occupies. (shrink)

What is the ontological status of mathematical structures? Michael Resnic, Stewart Shapiro and Gianluigi Oliveri, are contemporaries of American philosophers on mathematics, they give Platonic answers on this question.

The development of machine learning and deep learning (DL) in the field of AI (artificial intelligence) is the direct result of the advancement of nano-electronics. Machine learning is a function that provides the system with the capacity to learn from data without being programmed explicitly. It is basically a mathematical and probabilistic model. DL is part of machine learning methods based on artificial neural networks, simply called neural networks (NNs), as they are inspired by the biological NNs that constitute organic (...) brains. Despite its similarity to biological organs such as human brains, major problems arise in trying to attribute moral responsibility to autonomic systems based on hardware including nano-electronic devices, which are sought to replace humans (moral agents) in the context of AI. It is suggested that the required emotional environment which enables actions according to reasons in humans is not witnessed at AI devices. Though AI technology raises an enticing resemblance to human actions, this resemblance is to be considered with a skeptical eye. It is because actions are associated with reasons while causes are connected to operations. Human agents are capable of acting upon their reasons, while AI devices are limited only to operations as they are conditioned by their programming, which is considered as an embodiment of some causes. As moral responsibility goes hand in hand with the capacity to act (according to reasons), attributing moral responsibility to AI devices is revealed to be but a misleading metaphor. (shrink)

This paper argues for an interpretation of Leibniz’s claim that physics requires both mechanical and teleological principles as a view regarding the interpretation of physical theories. Granting that Leibniz’s fundamental ontology remains non-physical, or mentalistic, it argues that teleological principles nevertheless ground a realist commitment about mechanical descriptions of phenomena. The empirical results of the new sciences, according to Leibniz, have genuine truth conditions: there is a fact of the matter about the regularities observed in experience. Taking this stance, however, (...) requires bringing non-empirical reasons to bear upon mechanical causal claims. This paper first evaluates extant interpretations of Leibniz’s thesis that there are two realms in physics as describing parallel, self-sufficient sets of laws. It then examines Leibniz’s use of teleological principles to interpret scientific results in the context of his interventions in debates in seventeenth-century kinematic theory, and in the teaching of Copernicanism. Leibniz’s use of the principle of continuity and the principle of simplicity, for instance, reveal an underlying commitment to the truth-aptness, or approximate truth-aptness, of the new natural sciences. The paper concludes with a brief remark on the relation between metaphysics, theology, and physics in Leibniz. (shrink)

The field of AI ethics during the current and previous decade is receiving an increasing amount of attention from all involved stakeholders: the public, science, philosophy, religious organizations, enterprises, governments, and various organizations. However, this field currently lacks consensus on scope, ethico-philosophical foundations, or common methodology. This thesis aims to contribute towards filling this gap by providing an answer to the two main research questions: first, what theory can explain moral scenarios in which AI entities are participants?; and (...) second, what theory can explain the process of moral reasoning, decision and action, for AI entities in virtual, simulated and real-life moral scenarios? This thesis answers these two research questions with its two main contributions to the field of AI ethics, a substantial and a methodological contribution. The substantial contribution is a coherent and novel theory named Ethics of Systems Framework, as well as a possible inception of a new field of study: ethics of systems. The methodological contribution is the creation of its main methodological tool, the Ethics of Systems Interface. The second part of the research effort was focused on testing and demonstrating the capacities of the Ethics of Systems Framework and Interface in modeling and managing moral scenarios in which AI and other entities participate. Further work can focus on building on top of the foundations of the Framework provided here, increasing the scope of moral theories and simulated scenarios, improving the level of detail and parameters to reflect real-life situations, and field-testing the Framework on actual AI systems. (shrink)

Current advances in research, development and application of artificial intelligence systems have yielded a far-reaching discourse on AI ethics. In consequence, a number of ethics guidelines have been released in recent years. These guidelines comprise normative principles and recommendations aimed to harness the “disruptive” potentials of new AI technologies. Designed as a semi-systematic evaluation, this paper analyzes and compares 22 guidelines, highlighting overlaps but also omissions. As a result, I give a detailed overview of the field of AI ethics. Finally, (...) I also examine to what extent the respective ethical principles and values are implemented in the practice of research, development and application of AI systems—and how the effectiveness in the demands of AI ethics can be improved. (shrink)

Indonesia has recently faced problems in various aspects of life. The results of a social media survey in Indonesia in early 2021 that the biggest threat to the Pancasila ideology is communism and other western ideologies. Communism has a dark history in the life of the Indonesian people. It shows the problem of thinking and philosophical views of the Indonesian people. This research is textbook research that aims to analyze philosophy books, namely mathematics education philosophy textbooks written with (...) a Western cultural background by Paul Ernest. This book was chosen as the object of analysis because this book is the essential reference textbook for the philosophy of mathematics education in universities providing prospective mathematics teachers in Indonesia. The research results show that this book contributes to developing Western thoughts that are contrary to Pancasila. It needs to eliminate the most critical thing in this book. It is the atheistic and individualistic philosophy underlying the ideology of mathematics education because this is not in line with the theistic collectivistic Pancasila. Therefore, this research recommends developing a textbook on the philosophy of mathematics education. It should be under the Pancasila ideology or written based on the Pancasila ideology. (shrink)

Accounts of Hobbes’s ‘system’ of sciences oscillate between two extremes. On one extreme, the system is portrayed as wholly axiomtic-deductive, with statecraft being deduced in an unbroken chain from the principles of logic and first philosophy. On the other, it is portrayed as rife with conceptual cracks and fissures, with Hobbes’s statements about its deductive structure amounting to mere window-dressing. This paper argues that a middle way is found by conceiving of Hobbes’s _Elements of Philosophy_ on the model of (...) a mixed-mathematical science, not the model provided by Euclid’s _Elements of Geometry_. I suggest that Hobbes is a test case for understanding early-modern system-construction more generally, as inspired by the structure of the applied mathematical sciences. This approach has the additional virtue of bolstering, in a novel way, the thesis that the transformation of philosophy in the long seventeenth century was heavily indebted to mathematics, a thesis that has increasingly come under attack in recent years. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought (...) to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

The role of mathematics in the development of Gilles Deleuze's (1925-95) philosophy of difference as an alternative to the dialectical philosophy determined by the Hegelian dialectic logic is demonstrated in this paper by differentiating Deleuze's interpretation of the problem of the infinitesimal in Difference and Repetition from that which G. W. F Hegel (1770-1831) presents in the Science of Logic . Each deploys the operation of integration as conceived at different stages in the development of the infinitesimal (...) calculus in his treatment of the problem of the infinitesimal. Against the role that Hegel assigns to integration as the inverse transformation of differentiation in the development of his dialectical logic, Deleuze strategically redeploys Leibniz's account of integration as a method of summation in the form of a series in the development of his philosophy of difference. By demonstrating the relation between the differential point of view of the Leibnizian infinitesimal calculus and the differential calculus of contemporary mathematics, I argue that Deleuze effectively bypasses the methods of the differential calculus which Hegel uses to support the development of the dialectical logic, and by doing so, sets up the critical perspective from which to construct an alternative logic of relations characteristic of a philosophy of difference. The mode of operation of this logic is then demonstrated by drawing upon the mathematical philosophy of Albert Lautman (1908-44), which plays a significant role in Deleuze's project of constructing a philosophy of difference. Indeed, the logic of relations that Deleuze constructs is dialectical in the Lautmanian sense. (shrink)

Since antiquity well into the beginnings of the 20th century geometry was a central topic for philosophy. Since then, however, most philosophers of science, if they took notice of topology at all, considered it as an abstruse subdiscipline of mathematics lacking philosophical interest. Here it is argued that this neglect of topology by philosophy may be conceived of as the sign of a conceptual sea-change in philosophy of science that expelled geometry, and, more generally, mathematics, (...) from the central position it used to have in philosophy of science and placed logic at center stage in the 20th century philosophy of science. Only in recent decades logic has begun to loose its monopoly and geometry and topology received a new chance to find a place in philosophy of science. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians (...) already there, ready to meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)