Two families of mathematical methods lie at the heart of investigating the hierarchical structure of genetic variation in Homo sapiens: /diversity partitioning/, which assesses genetic variation within and among pre-determined groups, and /clustering analysis/, which simultaneously produces clusters and assigns individuals to these “unsupervised” cluster classifications. While mathematically consistent, these two methodologies are understood by many to ground diametrically opposed claims about the reality of human races. Moreover, modeling results are sensitive to assumptions such as preexisting theoretical commitments (...) to certain linguistic, anthropological, and geographic human groups. Thus, models can be perniciously reified. That is, they can be conflated and confused with the world. This fact belies standard realist and antirealist interpretations of “race,” and supports a pluralist conventionalist interpretation. (shrink)

This article is mainly a critique of Philip Kitcher's book, The Nature of Mathematical Knowledge. Four weaknesses in Kitcher's objection to Kant arise out of Kitcher's failure to recognize the perspectival nature of Kant's position. A proper understanding of Kant's theory of mathematics requires awareness of the perspectival nuances implicit in Kant's theory of pure intuition.

With the growing emphasis on early mathematics education, it is imperative to explore the preparedness of early years mathematics pre-service teachers in relation to content knowledge, beliefs, and dispositions. Therefore, this mixed-methods study explored Lebanese pre-service teachers’ mathematics dispositions and efficacy beliefs in the context of a mathematics methods course. The sample comprised of 11 pre-service teachers who completed a survey prior to and after completing the methods course. Additionally, they each participated in a semi-structured interview shortly (...) after beginning the course. Results revealed pre-service teachers had the most positive beliefs with regards to how mathematics is learned, the nature and usefulness of mathematics, and personal teaching efficacy. Following the course, statistically significant differences were observed with regards to how mathematics is learned, personal teaching efficacy beliefs, and general teaching efficacy beliefs. Practical implications include the importance of subject-specific mathematics methods courses for teachers of younger children, as well as supporting the development of pre-service teachers’ conceptual mathematical understanding prior to entering the profession. (shrink)

With the growing emphasis on early mathematics education, it is imperative to explore the preparedness of early years mathematics pre-service teachers in relation to content knowledge, beliefs, and dispositions. Therefore, this mixed-methods study explored Lebanese pre-service teachers’ mathematics dispositions and efficacy beliefs in the context of a mathematics methods course. The sample comprised of 11 pre-service teachers who completed a survey prior to and after completing the methods course. Additionally, they each participated in a semi-structured interview shortly (...) after beginning the course. Results revealed pre-service teachers had the most positive beliefs with regards to how mathematics is learned, the nature and usefulness of mathematics, and personal teaching efficacy. Following the course, statistically significant differences were observed with regards to how mathematics is learned, personal teaching efficacy beliefs, and general teaching efficacy beliefs. Practical implications include the importance of subject-specific mathematics methods courses for teachers of younger children, as well as supporting the development of pre-service teachers’ conceptual mathematical understanding prior to entering the profession. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to (...) naturalize mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

This paper focuses on the distinction between methods which are mathematically "clever", and those which are simply crude, typically repetitive and computer intensive, approaches for "crunching" out answers to problems. Examples of the latter include simulated probability distributions and resampling methods in statistics, and iterative methods for solving equations or optimisation problems. Most of these methods require software support, but this is easily provided by a PC. The paper argues that the crunchier methods often have (...) substantial advantages from the perspectives of user-friendliness, reliability (in the sense that misuse is less likely), educational efficiency and realism. This means that they offer very considerable potential for simplifying the mathematical syllabus underlying many areas of applied mathematics such as management science and statistics: crunchier methods can provide the same, or greater, technical power, flexibility and insight, while requiring only a fraction of the mathematical conceptual background needed by their cleverer brethren. (shrink)

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are obtained.that.

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

Introduction to the Special Volume, “Method, Science and Mathematics: Neo-Kantianism and Analytic Philosophy,” edited by Scott Edgar and Lydia Patton. At its core, analytic philosophy concerns urgent questions about philosophy’s relation to the formal and empirical sciences, questions about philosophy’s relation to psychology and the social sciences, and ultimately questions about philosophy’s place in a broader cultural landscape. This picture of analytic philosophy shapes this collection’s focus on the history of the philosophy of mathematics, physics, and psychology. The following essays (...) uncover, reflect on, and exemplify modes of philosophy that are engaged with these allied disciplines. They make the case that, to the extent that analytic philosophers are still concerned with philosophy’s ties to these disciplines, we would do well to pay attention to neo-Kantian views on those ties. (shrink)

One notable component to look at in the teaching-learning process is the way the subject is taught because one way or another, students are greatly affected by it. Viewing students’ perspectives on the use of the different teaching methods, this study determined the frequency of use of these teaching methods and their level of satisfaction. Through a systematic investigation, the findings from a critical questionnaire administered to first-year BS Hospitality Management college students at Ifugao State University were analyzed (...) and summarized. The frequency of use of the indicated instructional strategies was shown to have a significant relationship with student satisfaction in this study. Furthermore, the data reveal a substantial difference in student satisfaction with instructional approaches utilized before and during the pandemic. Students, on the other hand, prefer the teaching techniques employed before the outbreak to those utilized during the pandemic. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples (...) such as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.

We know very little about mathematical skepticism in modem times. Imre Lakatos once remarked that “in discussing modem efforts to establish foundations for mathematical knowledge one tends to forget that these are but a chapter in the great effort to overcome skepticism by establishing foundations for knowledge in general." And in a sense he was clearly right: modem thought — with its new discoveries in mathematical sciences, the mathematization of physics, the spreading of Pyrrhonist doctrines, the centrality (...) of epistemological foundationalism and the diffusion of the geometrical method in philosophy — was the most natural arena in which skepticism and mathematics could confront each other. The problem remains, however, that no investigation of the whole topic has yet been attempted. Thus, as far as we know, mathematical certainties should have clashed with skeptical doubts, but whether and to what extent there was indeed a historical debate on mathematical skepticism in modern thought remains to be ascertained. (shrink)

Francis Ysidro Edgeworth’s unduly neglected monograph New and Old Methods of Ethics (1877) advances a highly sophisticated and mathematized account of social well-being in the utilitarian tradition of his 19th-century contemporaries. This article illustrates how his usage of the ‘calculus of variations’ was combined with findings from empirical psychology and economic theory to construct a consequentialist axiological framework. A conclusion is drawn that Edgeworth is a methodological predecessor to several important methods, ideas, and issues that continue to be (...) discussed in contemporary social well-being studies. (shrink)

The present yearbook (which is the fourth in the series) is subtitled Trends & Cycles. It is devoted to cyclical and trend dynamics in society and nature; special attention is paid to economic and demographic aspects, in particular to the mathematical modeling of the Malthusian and post-Malthusian traps' dynamics. An increasingly important role is played by new directions in historical research that study long-term dynamic processes and quantitative changes. This kind of history can hardly develop without the application of (...) mathematical methods. There is a tendency to study history as a system of various processes, within which one can detect waves and cycles of different lengths – from a few years to several centuries, or even millennia. The contributions to this yearbook present a qualitative and quantitative analysis of global historical, political, economic and demographic processes, as well as their mathematical models. This issue of the yearbook consists of three main sections: (I) Long-Term Trends in Nature and Society; (II) Cyclical Processes in Pre-industrial Societies; (III) Contemporary History and Processes. We hope that this issue of the yearbook will be interesting and useful both for historians and mathematicians, as well as for all those dealing with various social and natural sciences. (shrink)

For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be knowledge (...) about? (2) How do we distinguish significant from insignificant mathematics? This is a fundamental philosophical problem concerning the nature of mathematics. But it is also a practical problem concerning mathematics itself. In the absence of the solution to the problem, there is the danger that genuinely significant mathematics will be lost among the unchecked growth of a mass of insignificant mathematics. This second problem cannot, it would seem, be solved granted knowledge-inquiry. For, in order to solve the problem, mathematics needs to be related to values, but this is, it seems, prohibited by knowledge-inquiry because it could only lead to the subversion of mathematical rigour. Both problems are solved, however, when mathematics is viewed from the perspective of wisdom-inquiry. (1) Mathematics is not a branch of knowledge. It is a body of systematized, unified and inter-connected problem-solving methods, a body of problematic possibilities. (2) A piece of mathematics is significant if (a) it links up to the interconnected body of existing mathematics, ideally in such a way that some problems difficult to solve in other branches become much easier to solve when translated into the piece of mathematics in question; (b) it has fruitful applications for (other) worthwhile human endeavours. If ever the revolution from knowledge to wisdom occurs, I would hope wisdom mathematics would flourish, the nature of mathematics would become much more transparent, more pupils and students would come to appreciate the fascination of mathematics, and it would be easier to discern what is genuinely significant in mathematics (something that baffled even Einstein). As a result of clarifying what should count as significant, the pursuit of wisdom mathematics might even lead to the development of significant new mathematics. (shrink)

Over the years, mathematics and statistics have become increasingly important in the social sciences1 . A look at history quickly confirms this claim. At the beginning of the 20th century most theories in the social sciences were formulated in qualitative terms while quantitative methods did not play a substantial role in their formulation and establishment. Moreover, many practitioners considered mathematical methods to be inappropriate and simply unsuited to foster our understanding of the social domain. Notably, the famous (...) Methodenstreit also concerned the role of mathematics in the social sciences. Here, mathematics was considered to be the method of the natural sciences from which the social sciences had to be separated during the period of maturation of these disciplines. All this changed by the end of the century. By then, mathematical, and especially statistical, methods were standardly used, and their value in the social sciences became relatively uncontested. The use of mathematical and statistical methods is now ubiquitous: Almost all social sciences rely on statistical methods to analyze data and form hypotheses, and almost all of them use (to a greater or lesser extent) a range of mathematical methods to help us understand the social world. Additional indication for the increasing importance of mathematical and statistical methods in the social sciences is the formation of new subdisciplines, and the establishment of specialized journals and societies. Indeed, subdisciplines such as Mathematical Psychology and Mathematical Sociology emerged, and corresponding journals such as The Journal of Mathematical Psychology (since 1964), The Journal of Mathematical Sociology (since 1976), Mathematical Social Sciences (since 1980) as well as the online journals Journal of Artificial Societies and Social Simulation (since 1998) and Mathematical Anthropology and Cultural Theory (since 2000) were established. What is more, societies such as the Society for Mathematical Psychology (since 1976) and the Mathematical Sociology Section of the American Sociological Association (since 1996) were founded. Similar developments can be observed in other countries. The mathematization of economics set in somewhat earlier (Vazquez 1995; Weintraub 2002). However, the use of mathematical methods in economics started booming only in the second half of the last century (Debreu 1991). Contemporary economics is dominated by the mathematical approach, although a certain style of doing economics became more and more under attack in the last decade or so. Recent developments in behavioral economics and experimental economics can also be understood as a reaction against the dominance (and limitations) of an overly mathematical approach to economics. There are similar debates in other social sciences. It is, however, important to stress that problems of one method (such as axiomatization or the use of set theory) can hardly be taken as a sign of bankruptcy of mathematical methods in the social sciences tout court. This chapter surveys mathematical and statistical methods used in the social sciences and discusses some of the philosophical questions they raise. It is divided into two parts. Sections 1 and 2 are devoted to mathematical methods, and Sections 3 to 7 to statistical methods. As several other chapters in this handbook provide detailed accounts of various mathematical methods, our remarks about the latter will be rather short and general. Statistical methods, on the other hand, will be discussed in-depth. (shrink)

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that though some versions of (...) class='Hi'>mathematical instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

The reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold provides a systematic account of the structure of Leibniz’s metaphysics in terms of its mathematical foundations. However, in doing so, Deleuze draws not only upon the mathematics developed by Leibniz—including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus—but also upon developments in mathematics made by a number of Leibniz’s contemporaries—including Newton’s method of fluxions. He also draws upon a number of (...) subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work—including the theory of functions and singularities, the Weierstrassian theory of analytic continuity, and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the Weierstrassian theory of analytic continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. This essay is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

This study primarily assessed students' achievement in mathematics using a mobile educational application to help them learn and adapt to changes in education. The study involved selected Grade 9 students at a public high school in Nueva Vizcaya, Philippines. This study used a quasi-experimental method, particularly a post-test control group design. Descriptive statistics such as frequencies, percent, mean, and standard deviation were used to describe the achievement of the students in mathematics. A t-test for independent samples was also computed to (...) determine if there is a significant difference between the students’ achievement in mathematics after using the mobile educational application by the control and experimental groups. Results revealed that students' achievement in mathematics was very proficient after using the application. Moreover, the usage of educational mobile applications has a better impact on students' achievement in mathematics than the traditional approach to teaching. Teachers are encouraged to place priority on solving problems. Overall, the use of the mobile educational application can enhance learning in mathematics, thus the continued use of the said application is advised. (shrink)

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In Second Philosophy, Penelope Maddy describes and practices a particularly austere form of naturalism called "Second Philosophy". Without a definitive criterion for what counts as "science" and what doesn't, Second Philosophy can't be specified directly ("trust only the methods of science" for example), so Maddy proceeds instead by illustrating the behaviors of an idealized inquirer she calls the "Second (...) Philosopher". mhis Second Philosopher begins from perceptual common sense experimentation, theory formation and testing, working all the while to asses, correct and improve her methods as she goes. Second Philosophy is then the result of the Second Philosopher's investigations. Maddy delineates the Second Philosopher's approach by tracing her reactions to various familiar skeptical and transcendental views (Descartes, Kant, Carnap, late Putnam, van Fraassen), comparing her methods to those of other self-described naturalists (especially Quine), and examining a prominent contemporary debate (between disquotationalists and correspondence theorists in the theory of truth) to extract a properly second-philosophical line of thought. She then undertakes to practice Second Philosophy in her reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and the general prospects for metaphysics naturalized. (shrink)

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of mathematics. Whatever the merits (...) of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of (...) “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to (...) naturalize in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

At the beginning of the present century, a series of paradoxes were discovered within mathematics which suggested a fundamental unclarity in traditional mathemati­cal methods. These methods rested on the assumption of a realm of mathematical idealities existing independently of our thinking activity, and in order to arrive at a firmly grounded mathematics different attempts were made to formulate a conception of mathematical objects as purely human constructions. It was, however, realised that such formulations necessarily result in (...) a mathematics which lacks the richness and power of the old ‘platonistic’ methods, and the latter are still defended, in various modified forms, as embodying truths about self-existent mathematical entities. Thus there is an idealism-realism dispute in the philosophy of mathematics in some respects parallel to the controversy over the existence of the experiential world to the settle­ment of which lngarden devoted his life. The present paper is an attempt to apply Ingarden’s methods to the sphere of mathematical existence. This exercise will reveal new modes of being applicable to non-real objects, and we shall put forward arguments to suggest that these modes of being have an importance outside mathematics, especially in the areas of value theory and the ontology of art. (shrink)

An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when the data of the issue (...) under study is classical data. In this research, we will present a study through, which we present the graphical method for solving Neutrosophical nonlinear models in the following case: A nonlinear programming issue, the objective function is a nonlinear function, and the constraints are linear functions. Note that we can use the same method if (i) the objective function follower is a linear follower and the constraints are nonlinear; (ii) the objective function is a non-linear follower and the constraints are non-linear. In the three cases, the nonlinear models are neutrosophic, and as we know, the mathematical model is a nonlinear model if any of the components of the objective function or the constraints are nonlinear expressions, and the nonlinear expressions may be in both. At the left end of the constraints are neutrosophic values, at least one or all of them. Then, the possible solutions to the neutrosophic nonlinear programming problem are the set of rays that fulfills all the constraints. As for the region of possible solutions, it is the region that contains all the rays that fulfill the constraints. The optimal solution is the beam that fulfills all constraints and at which the function reaches a maximum or minimum value, depending on the nature of the issue under study (noting that it is not necessary to be alone). (shrink)

The dominant approach to analyzing the meaning of natural language sentences that express mathematical knowl- edge relies on a referential, formal semantics. Below, I discuss an argument against this approach and in favour of an internalist, conceptual, intensional alternative. The proposed shift in analytic method offers several benefits, including a novel perspective on what is required to track mathematical content, and hence on the Benacerraf dilemma. The new perspective also promises to facilitate discussion between philosophers of mathematics and (...) cognitive scientists working on topics of common interest. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third (...) challenge comes from renormalisation group (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms (...) of argumentation schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that (...) it is in good epistemic standing. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, (...) its goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

The title of the present book suggests that scientific results obtained in mathematics and quantum physics can be in some way related to the question of the existence of God. This seems possible to us, because it is our conviction that reality in all its dimensions is intelligible. The really impressive progress in science and technology demonstrates that we can trust our intellect, and that nature is not offering us a collection of meaningless absurdities. We first of all intend to (...) show with results taken from mathematics and quantum physics: Mathematical Undecidability: man will never have a universal method to solve any mathematical problem. In arithmetic there always will be unsolved, solvable problems. Quantum Nonlocality: certain phenomena in nature seem to imply the existence of correlations based on faster-than-light influences. These influences, however, are not accessible to manipulation by man for use in, for example, faster than light communication. In the various contributions pieces of a puzzle are offered, which suggest that there exists more than the world of phenomena around us. The results discussed point to intelligent and unobservable causes governing the world. One is led to perceive the shade of a reality which many people would call God. (shrink)

It has become a fact that fluency and competency in utilizing the advancement of technology, specifically the computer and the internet is one way that could help in facilitating learning in mathematics. This study investigated the effects of Dynamic Geometry Software (DGS) and Computer Algebra Systems (CAS) in teaching Mathematics. This was conducted in Zamboanga del Sur National High School (ZSNHS) during the third grading period of the school year 2015-2016. The study compared the achievement and attitude towards Mathematics between (...) those students taught with DGS and CAS and those students who were taught without DGS and CAS. A quasi-experimental pretest-posttest control group design was used with two groups which was matched according to their mathematical level. An achievement test was developed and administered to assess the students’ achievement in Mathematics. Aiken’s attitude scale was also used to assess the students’ attitude towards Mathematics. The data were treated with One-Way Analysis of Covariance (ANCOVA) and t-test at 0.05 level of significance. The study revealed a significant difference between the mathematics achievement between students taught with DGS and CAS and those who were taught without it. The integration of DGS and CAS in Mathematics lessons leads to better academic achievement result compared with that of the conventional method of teaching. Moreover, there was no significant difference on the attitude level of the students between the two groups. (shrink)

Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.

This research aims at establishing the impact of information and communication technologies (ICT) on e-commerce development of industrial enterprises by means of economic and mathematical modelling. The goal was achieved using the following methods: theoretical generalization, analysis and synthesis (to critically analyse the scientific approaches of scientists regarding the expediency of using mathematical models in the context of enterprises’ e-commerce development), target, comparison and grouping (to reveal innovative methodological approach to assessing ICT impact on e-commerce development of (...) industrial enterprises), tabular, analytical and integral method (for summarizing the analysis results of enterprises readiness to implement ICT, ICT use in the activities of industrial enterprises of Ukraine and the analysis of e-commerce development), mathematical modelling (to build a regression model determining impact of changes in ICT use on the market share occupied by industrial enterprises), generalization (to determine promising directions of e-commerce developing of industrial enterprises). The implementation of a comprehensive approach to understanding the importance of ICT influence on e-commerce development of industrial enterprises will ensure acceleration of the digitalization of business processes, will contribute to the speed increase of enterprises response to customer requests, and increase the market share occupied by enterprises. A new vision of directions for developing e-commerce of industrial enterprises is suggested, which are determined by the need for enterprise rebranding, the development of e-commerce tools and technologies, the importance of outsourcing service automation and promotion of subscription trade. ICT is considered as integration factor that determines prospects for e-commerce development of industrial enterprises and contributes to increasing efficiency of online business management. Research results demonstrate that the use of economic and mathematical modelling is an important tool for assessing ICT impact, and its absence can negatively affect the accuracy and validity of online business management. (shrink)

►JOHN CORCORAN AND IDRIS SAMAWI HAMID, Two-method errors: having it both ways. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] Philosophy, Colorado State University, Fort Collins, CO 80523-1781 USA E-mail: [email protected] Where two methods produce similar results, mixing the two sometimes creates errors we call two-method errors, TMEs: in style, syntax, semantics, pragmatics, implicature, logic, or action. This lecture analyzes examples found in technical and in non-technical contexts. One can say “Abe knows whether Ben draws” in two (...) other ways: ‘Abe knows whether or not Ben draws’ or ‘Abe knows whether Ben draws or not’. But a stylistic TME occurs in ‘Abe knows whether or not Ben draws or not’. One can say “Abe knows how Ben looks” using ‘Abe knows what Ben looks like’. But syntactical TMEs are in ‘Abe knows what Ben looks’ and in ‘Abe knows how Ben looks like’. One can deny that Abe knows Ben by prefixing ‘It isn’t that’ or by interpolating ‘doesn’t’. But a pragmatic TME occurs in trying to deny that Abe knows Ben by using ‘It isn’t that Abe doesn’t know Ben’. There are several standard ways of defining truth using sequences. Quine’s discussions in the 1970 first printing of Philosophy of logic [3] and in previous lectures were vitiated by mixing two [1, p. 98]. The logical TME in [3], which eluded Quine’s colleagues, was corrected in the 1978 sixth printing [2]. But Quine never explicitly acknowledged, described, or even mentioned the error. This lecture presents and analyses two-method errors in the logic literature. [1] JOHN CORCORAN, Review of Quine’s 1970 Philosophy of Logic. In Philosophy of Science, vol. 39 (1972), pp. 97–99. [2] JOHN CORCORAN, Review of sixth printing of Quine’s 1970 Philosophy of Logic. In Mathematical Reviews MR0469684 (1979): 57 #9465. [3] WILLARD VAN ORMAN QUINE, Philosophy of logic, Harvard, 1970/1986. (shrink)

Curriculum integration is frequently promoted as a means of enabling deeper and more authentic learning, with Mathematics often considered a suitable subject for doing so. This review investigates which elements contribute to the effectiveness of Mathematics integration in secondary education. Teacher factors include attitudes towards integrative practices and knowledge of both disciplinary content and curriculum integration theory. Pedagogy factors concern utilising activities that best synthesise concepts from multiple subjects to enhance learning, especially projects. Institutional factors relate to curriculum and assessment (...) requirements as well as school-level variables such as access to planning time and professional development. Limitations in the research literature include a narrow focus on connecting Mathematics with scientific disciplines, a reliance on qualitative methods and small sample sizes, and unknown generalisability to education systems other than those in which studies were conducted. Even so, attempting to navigate the factors involved in effective curriculum integration with Mathematics appears worthwhile. (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)

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)

Three-dimensional material models of molecules were used throughout the 19th century, either functioning as a mere representation or opening new epistemic horizons. In this paper, two case studies are examined: the 1875 models of van ‘t Hoff and the 1890 models of Sachse. What is unique in these two case studies is that both models were not only folded, but were also conceptualized mathematically. When viewed in light of the chemical research of that period not only were both of these (...) aspects, considered in their singularity, exceptional, but also taken together may be thought of as a subversion of the way molecules were chemically investigated in the 19th century. Concentrating on this unique shared characteristic in the models of van ‘t Hoff and the models of Sachse, this paper deals with the shifts and displacements between their operational methods and existence: between their technical and epistemological aspects and the fact that they were folded, which was forgotten or simply ignored in the subsequent development of chemistry. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies (...) class='Hi'>methods from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Looks into evaluation of information provision probability from different sources, based on use of linguistic variables. Formation of functions appurtenant for its unclear variables provides for adoption of decisions by the decision maker, in conditions of nonprobabilistic equivocation. The development of market relations in Ukraine increases the independence and responsibility of enterprises in justifying and making management decisions that ensure their effective, competitive activities. As a result of the analysis, it is determined that the condition of economic facilities can be (...) described and determined by the decision-maker, in the presence of the necessary information. The confidence of the decision-maker in the information received is different and the decisions made have a correspondingly different level of information risk. It is important to substantiate the procedure for assessing the numerical extent of information risk in decision-making based on the information obtained in conditions of uncertainty. The use of a linguistic variable in the processing of expert data presented in the form of a matrix of binary relations of values of the membership function, which allowed to move to further processing of knowledge to support decision-making in the management of industrial, commercial, financial and other activities. As a mathematical model for estimating the numerical measure of information risk when making decisions based on the information obtained in conditions of non-stochastic uncertainty, a model has been developed to model natural language uncertainties, which differs from existing ones by formalizing knowledge taking into account uncertainty of input information. Making such a clear decision in a fuzzy environment has appropriate values of effectiveness and risk. The paper proposes all the functions and accessories of indicators of both quantitative nature and qualitative nature to bring their values in the field of definition to one scale. Then the indicator of the effectiveness of decision-making will be a measure of the clarity of the cross-section of fuzzy subsets, which correspond to the introduced indicators of information risk. The condition of economic facilities can be described and determined by the decision-maker, if the necessary information is available. Decision-making on thenumerical measure of information risk must be determined by a set of basic indicators, which can be both quantitative and qualitative in nature. Predictive values of indicators should be determined in conditions of nonstochastic uncertainty. In this case, the indicators of a quantitative nature can be determined by fuzzy triangular numbers, which implement a high level of confidence in the subjective judgments of experts. Indicators of qualitative nature should be presented in linguistic variables. The values of the indicators of qualitative nature that are predicted must be considered for all fuzzy variable terms-sets of linguistic variables introduced into consideration. For any fuzzy variable, the introduction to the consideration of a clear set of values as carriers of the α-level of its membership function allows to reduce to a single interpretation of the predicted values of indicators of quantitative and qualitative nature in terms of non-stochastic uncertainty. (shrink)

In mathematics, any form of probabilistic proof obtained through the application of a probabilistic method is not considered as a legitimate way of gaining mathematical knowledge. In a series of papers, Don Fallis has defended the thesis that there are no epistemic reasons justifying mathematicians’ rejection of probabilistic proofs. This paper identifies such an epistemic reason. More specifically, it is argued here that if one adopts a conception of mathematical knowledge in which an epistemic subject can know a (...) mathematical proposition based solely on a probabilistic proof, one is then forced to admit that such an epistemic subject can know several lottery propositions based solely on probabilistic evidence. Insofar as knowledge of lottery propositions on the basis of probabilistic evidence alone is denied by the vast majority of epistemologists, it is concluded that this constitutes an epistemic reason for rejecting probabilistic proofs as a means of acquiring mathematical knowledge. (shrink)

The classical (set-theoretic) concept of structure has become essential for every contemporary account of a scientific theory, but also for the metatheoretical accounts dealing with the adequacy of such theories and their methods. In the latter category of accounts, and in particular, the structural metamodels designed for the applicability of mathematics have struggled over the last decade to justify the use of mathematical models in sciences beyond their 'indispensability' in terms of either method or concepts/entities. In this paper, (...) I argue that these metamodels employ structures of different natures and epistemologies, and this diversity does pose a serious problem to the intended justification. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes (...) that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably less (...) prevalent in mathematics papers than in physics papers or in general English. Furthermore, we find that the proportion with which mathematicians use expressions related to ‘explaining why’ and ‘explaining how’ is significantly different to the equivalent proportion in physics and in general English. We discuss possible accounts for these differences. (shrink)

The leaders of the Scientific Revolution were not Baconian in temperament, in trying to build up theories from data. Their project was that same as in Aristotle's Posterior Analytics: they hoped to find necessary principles that would show why the observations must be as they are. Their use of mathematics to do so expanded the Aristotelian project beyond the qualitative methods used by Aristotle and the scholastics. In many cases they succeeded.

This is not a mathematics book, but a book about mathematics, which addresses both student and teacher, with a goal as practical as possible, namely to initiate and smooth the way toward the student’s full understanding of the mathematics taught in school. The customary procedural-formal approach to teaching mathematics has resulted in students’ distorted vision of mathematics as a merely formal, instrumental, and computational discipline. Without the conceptual base of mathematics, students develop over time a “mathematical anxiety” and abandon (...) any effort to understand mathematics, which becomes their “traditional enemy” in school. This work materializes the results of the inter- and trans-disciplinary research aimed toward the understanding of mathematics, which concluded that the fields with the potential to contribute to mathematics education in this respect, by unifying the procedural and conceptual approaches, are epistemology and philosophy of mathematics and science, as well as fundamentals and history of mathematics. These results argue that students’ fear of mathematics can be annulled through a conceptual approach, and a student with a good conceptual understanding will be a better problem solver. The author has identified those zones and concepts from the above disciplines that can be adapted and processed for familiarizing the student with this type of knowledge, which should accompany the traditional content of school mathematics. The work was organized so as to create for the reader a unificatory image of the complex nature of mathematics, as well as a conceptual perspective ultimately necessary to the holistic understanding of school mathematics. The author talks about mathematics to convince readers that to understand mathematics means first to understand it as a whole, but also as part of a whole. The nature of mathematics, its primary concepts (like numbers and sets), its structures, language, methods, roles, and applicability, are all presented in their essential content, and the explanation of non-mathematical concepts is done in an accessible language and with many relevant examples. (shrink)