The Liberal Arts deal with the human being as a whole and hence with what lies at the essence of being human. As a result, the Liberal Arts have a far greater capacity to do good than other fields of study, for their foundation in philosophy enables them to bring students into contact with the ultimate questions which they are free to accept. Even if these questions have little or no ‘market value’, it should be obvious that the way they (...) are taught and learned is going to have a powerful impact upon the future of the students and society. It is suggested here that mathematics has an integral role in the study of the liberal arts in a first degree at a university where the ‘meal ticket’ is subsequently studied in the graduate or professional school. (shrink)

Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.

The history of the continuous inclusion of mathematics in liberal education in the West, from ancient times through the modern period, is sketched in the first two sections of this chapter. Next, the heart of this essay (Sects. 3, 4, 5, 6, and 7) delineates the central role mathematics has played throughout the history of Western civilization: not just a tool for science and technology, mathematics continually illuminates, interacts with, and sometimes challenges fields like art, music, literature, and philosophy – (...) subjects now universally considered to be liberal arts. Section 8 adds an international perspective to the contemporary liberal arts story by describing some instructive mathematical achievements from many cultures and societies. Finally, Sect. 9 addresses how contemporary mathematics teaching can use the history of mathematics viewed as a liberal art to enhance the appreciation and understanding of mathematics for all students. (shrink)

Summary In terms of control of composition, the fabrication of money was arguably the most demanding of all pre-Industrial Revolution metallurgical practices. The calculations involved in such control needed arithmetical computations involving repeated multiplications and divisions, not only of integers but also of mixed numbers. Such computations were possible using Roman numerals, but with some difficulties. The advantages gained by employing arithmetic using Indo-arabic numerals for alloying calculations would have been the same as for other types of commercial calculations. A (...) method of calculating the proportions of two coinage alloys of different compositions that were needed to produce a third alloy of specified intermediate composition, eventually known as the rule of alternate alligation, was however a specific requirement in the minting of money. This requirement made a particular demand on medieval mathematics, as a solution was not possible using arithmetic alone. Furthermore, the problem became indeterminate when more than two components were available for mixing. All the necessary methods of calculation were described by Fibonacci in his Liber abbaci. These methods are to be found in a sequence of practical arithmetics that stretch through the trattati d'abbaco of the Italian city states during the fourteenth and fifteenth centuries, to the first printed books of Continental authors such as Pacioli. Of the earliest sixteenth-century printed English books on practical arithmetic, The Grounde of Artes by Robert Recorde contained the first advance in the methodology of alternate alligation since Fibonacci. In the seventeenth century, formal proof of the rule of alternate alligation was given by Kersey in his practical arithmetics and in his treatise on algebra. The topic was also addressed by several authors of academic algebras. It was in this century that the problem of indeterminacy in the solution of alternate alligation involving the mixture of more than two components, was finally resolved. English mint accounts provide little direct information on the alloying calculation carried out, and nothing on the methods used. However, the continued description of such calculations in other mint documents, merchants notebooks, and in goldsmiths' handbooks spanning four centuries imply that the calculations described in practical arithmetics were used in practice. Monetary matters had high economic and political profiles during the whole of the time span covered in this study. The influence of such considerations pervades the history of the technology of minting and the mathematics on which it called, and is discussed in context. (shrink)

In terms of control of composition, the fabrication of money was arguably the most demanding of all pre-Industrial Revolution metallurgical practices. The calculations involved in such control needed arithmetical computations involving repeated multiplications and divisions, not only of integers but also of mixed numbers. Such computations were possible using Roman numerals, but with some difficulties. The advantages gained by employing arithmetic using Indo-arabic numerals for alloying calculations would have been the same as for other types of commercial calculations. A method (...) of calculating the proportions of two coinage alloys of different compositions that were needed to produce a third alloy of specified intermediate composition, eventually known as the rule of alternate alligation, was however, a specific requirement in the minting of money. This requirement made a particular demand on medieval mathematics, as a solution was not possible using arithmetic alone. Furthermore, the problem became indeterminate when more than two components were available for mixing. All the necessary methods of calculation were described by Fibonacci in his Liber abbaci. These methods are to be found in a sequence of practical arithmetics that stretch through the trattati d'abbaco of the Italian city states during the fourteenth and fifteenth centuries, to the first printed books of Continental authors such as Pacioli. Of the earliest sixteenth-century printed English books on practical arithmetic, The Grounde of Artes by Robert Recorde contained the first advance in the methodology of alternate alligation since Fibonacci. In the seventeenth century, formal proof of the rule of alternate alligation was given by Kersey in his practical arithmetics and his treatise on algebra. The topic was also addressed by several authors of academic algebras. It was in this century that the problem of indeterminacy in the solution of alternate alligation involving the mixture of more than two components, was finally resolved. English mint accounts provide little direct information on the alloying calculations carried out, and nothing on the methods used. However, the continued description of such calculations in other mint documents, merchants notebooks, and in goldsmiths' handbooks spanning four centuries imply that the calculations described in practical arithmetics were used in practice. Monetary matters had high economic and political profiles during the whole of the time span covered in this study. The influence of such considerations pervades the history of the technology of minting and the mathematics on which it called, and is discussed in context. (shrink)

In this article the philosophy of mathematics issues related to the procedure of mathematical symbolization are studied on the basis of phenomenon of implicit knowledge. The specificity of mathematical symbolization and conditions of its implementation, defines the role of mathematical symbolization in the development of mathematics. The author believes that the results can justify the thesis that the basis of mathematical symbolization is a priori epistemological ‘foundation‘. The author believes that the conclusions of the article significantly (...) limit the prospects of the popular contemporary philosophy of science epistemological relativism in the philosophy of mathematics, as well as in the theory of knowledge in general. Further studies on the role of implicit knowledge in the development of mathematics, according to the author, should contribute to the strengthening and further spread of a similar approach in the theory of knowledge. (shrink)

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue to (...) exist there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

In this paper, I shall argue that both cognitivism and liberal contractualism defend a pre-moral conception of human desire that has its origin in the Hobbesian and Humean tradition that both theories share. Moreover, the computational and syntactic themes in cognitive science support the notion, which Gauthier evidently shares, that the human mind ¿ or, in Gauthier¿s case, the mind of ¿economic man¿ ¿ is a purely formal mechanism, characterized by logical and mathematical operations. I shall conclude that a (...) single conception of human behaviour runs through the various dominant psychological, moral and political theories of analytic inspiration. (shrink)

The ‘value-free ideal’ has been called into question for several reasons. It does not include “epistemic values”—viewed as characteristic of ‘good science’—and rejects the so-called ‘contextual’, ‘non-cognitive’ or ‘non-epistemic’ values—all of them personal, moral, or political values. This paper analyzes a possible complementary argument about the dubitable validity of the value-free ideal, specifically focusing on social sciences, with a two-fold strategy. First, it will consider that values are natural facts in a broad or ‘liberal naturalist’ sense and, thus, a legitimate (...) part of those sciences. Second, the paper will not reject the value-free ideal; rather, it will construe this ideal in a special way, not casting values aside in sciences, but bringing them to the table and rationally discussing them. Today’s predominant naturalistic view has tended to ‘naturalize’ values by looking for physicalist explanations for them—a move resisted by defenders of normativism in social sciences. At the same time, a contending ‘liberal naturalist’ stream has emerged, claiming that not all natural entities can be explained by the methods and concepts of physical sciences, and favors a non-materialist naturalism which includes mind, consciousness, meaning and value as fundamental parts of nature that cannot be reduced to matter. Hence, it may be posited that non-epistemic values could be ‘naturally’ included in the field of human sciences. (shrink)

We provide a formal study of belief retraction operators that do not necessarily satisfy the postulate. Our intuition is that a rational description of belief change must do justice to cases in which dropping a belief can lead to the inclusion, or ‘liberation’, of others in an agent's corpus. We provide two models of liberation via retraction operators: ρ-liberation and linear liberation. We show that the class of ρ-liberation operators is included in the class of (...) linear ones and provide axiomatic characterisations for each class. We show how any retraction operator can be ‘converted’ into either a withdrawal operator ) or a revision operator via the Harper Identity and the Levi Identity respectively. (shrink)

It is well known that the largest philosophers differently explain the origin of mathematics. This question was investigated in antiquity, a substantial and decisive role in this respect was played by the Platonic doctrine. Therefore, discussing this issue the problem of interaction of philosophy and mathematics in the teachings of Plato should be taken into consideration. Many mathematicians believe that abstract mathematical objects belong in a certain sense to the world of ideas and that consistency of objects and theories (...) really describes mathematical reality, as Plato quite clearly expressed his views on math, according to which mathematical concepts objectively exist as distinct entities between the world of ideas and the world of material things. In the context of foundations of mathematics, so called ‘Gödel’s Platonism‘ is of particular interest. It is shown in the article how Platonic objectification of mathematical concepts contributes to the development of modern mathematics by revealing philosophical understanding of the nature of abstraction. To substantiate his point of view, the author draws the works of contemporary experts in the field of philosophy of mathematics. (shrink)

Many arguments found in the physics literature involve concepts that are not well-defined by the usual standards of mathematics. I argue that physicists are entitled to employ such concepts without rigorously defining them so long as they restrict the sorts of mathematical arguments in which these concepts are involved. Restrictions of this sort allow the physicist to ignore calculations involving these concepts that might lead to contradictory results. I argue that such restrictions need not be ad hoc, but can (...) sometimes be justified by considering some of the metaphysical issues surrounding the question of the applicability of mathematics to physical reality. 1 Introduction 2 Rejecting inferential permissiveness 3 The agreement problem 4 Independent objections to the liberal view. (shrink)

This is a book about liberal democratic values and their implications for the design of political institutions. Its distinctive feature is the use of some simple mathematical techniques (known as social choice theory) to clarify and defend a rather complex utilitarian conception of the liberal democratic 'way of life' based on John Stuart Mill's work. More specifically, the text focuses on three well-known 'social choice paradoxes' which are commonly held to destroy any possibility of an ideal harmony among liberal (...) democratic values; and draws upon suggestions implicit in Mill's writings to develop an ethically appealing liberal democratic social choice framework in which the aforementioned paradoxes no longer cause concern. The revised framework is a rather complex version of utilitarianism and should be of special interest to welfare economists, social choice theorists, democratic political theorists and philosophers concerned with utilitarian ethics. (shrink)

Nicholas of Cusa was first of all a theologian but he was interested also in mathematic and natural sciences. In fact philosophico-theological and mathematical ideas were intertwined by him, theological and philosophical ideas influenced his mathematical considerations, in particular when he considered philosophical problems connected with mathematics and vice versa, mathematical ideas and examples were used by him to explain some ideas from theology. In this paper we attempt to indicate this mutual influence. We shall concentrate on (...) the following problems: the role and place of mathematics and mathematical knowledge in knowledge in general and in particular in theological knowledge, ontology of mathematical objects and their origin, in particular their relations to God and their meaning for the description of the world and physical reality, infinity in mathematics versus infinity in theology and their mutual relations and connections. It will be shown that—according to Nicholas—mathematics and mathematical thinking are tools of rationalization of theology and liberating it in a certain sense from the trap of apophatic theology. (shrink)

This article does not give the answer to the title question, but is only limited to studying the possibility of giving it. In particular, the author defends that it is legitimate to pose the fundamental question of the philosophy of mathematics and offers several criteria for such a question. As a first approach we propose the question which is incorrect and requires rectification, but is understandable: ‘What is Mathematics?‘. We consider three groups of strategies of responding to it: 1) the (...) question is naive and does not require an answer; 2) the answer is contained in the mathematical knowledge itself; 3) only philosophy can give the answer. Further rectifications to the basic question are questions about the essence and existence of mathematics. The fundamentalist and cultural-historical philosophy of mathematics gave their not fully satisfactory answers to this question in the past century. The dualism problem of philosophy of mathematics is fundamentally resolved through a certain kind of dialectics, which requires the philosophy of mathematics to submit to metaphysics. The unity of existence and essence is considered in the unity of the subject of dialectic - the mathematician who generates the knowledge as self-realization in a series of existential choices, as a means of saving transcendence - the existence ‘toward being‘ rather than ‘toward nothing‘. Positive view of the mathematics turns out to be the explicit expression of negative unity i.e. the subject. (shrink)

In modern mathematics the value of applied research increases, for this reason, modern mathematics is initially focused on resolving the situation actually arose in this respect on a par with other disciplines. Using a new tool - computer systems, applied mathematics appealed to the new object: not to nature, not to society or the practical activity of man. In fact, the subject of modern applied mathematics is a problem situation for the actor-person, and the study is aimed at solving the (...) material and practical problems. Developing the laws of its internal logic, mathematical science today covers various practices and makes them its own requirements, subjugating and organizing in their own way a subject of study. This math activity is influenced by such external factors as the condition of the actor-person; capacity of computers together with service professionals; characteristics of the object, and the external circumstances act as constituting the essence of the case and not as minor issues. The modern applied mathematics is becoming more and more similar to the engineering sciences, and the importance of mathematical modeling problem is rising. In the studies the author bases on the broader context of modern science, including works of philosophy and methodology, as well as mathematicians and specialists in the field of natural sciences. (shrink)

The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic. It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters (...) into a transcendental clarification of the evidences and presuppositions of the mathematicians’ work, thus “transcendentalizing” his otherwise naturalist approach to mathematics. The result is a moderately revisionist view that takes the existing mathematical practices seriously, calls for reflection on them, and eventually gives suggestions for revisions if needed. (shrink)

The article is devoted to aesthetic nature of the philosophy of dance as a rapidly developing area of studying. The aesthetic issues of choreographies in the cognitive context have not been properly studied. The mathematical component of the classical ballet, which is shown through the internal patterns of the expressiveness of the different types of dance movements in the system of artistic thinking, is analyzed in a wide range of the philosophical problems of art of dancing. The substantial triad (...) of structure of dance is considered at the level of philosophical research. In it, along with static and dynamic forms of dance, the third component, which reflects physicality, related to the ‘sense of movement‘ or the perception of information through body movements is added to the binary structure of dance. (shrink)

While many histories of mathematics pay respectful attention to Liber abbaci, non offers the analysis of the algebraic section of chap. 15.3 offered here in two parts and an Appendix. The first part, on Fibonacci’s text, discusses the manuscripts and printed copies of Liber abbaci, his resources, the meaning of algebra and its content, the method of algebra, and terminology. The second part focuses on Fibonacci as a teacher; this includes what I view as his supposed method for teaching algebra, (...) expansion of the technique of completing the square, a list of algebraic skills, discussion of introductory equations and developmental problems, his reliance upon geometry, and his use of algebra outside chap. 15.3. The Appendix lists exemplary exercises and solved problems with probable sources and translations into symbolic equations for each problem. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

Discusses the importance of the early history of Greek mathematics to education and civic life through a study of the Parthenon and dialogues of Plato.

We propose a novel approach to logical pluralism based on algebra-valued models of set theory, systematically demonstrating how both classical and non-classical set theories can be constructed within a unified mathematical framework. Our approach extends Shapiro’s eclectic pluralism to the specific setting of algebra-valued models. This leads us to formulate two notions of logical pluralism: liberal pluralism, which recognizes as legitimate any logic that underpins a set theory capable of capturing a significant portion of mathematical practice, and strict (...) pluralism, which further requires that the resulting set theory satisfies a convergence constraint, ensuring its mathematical expressiveness is comparable to that of classical set theory. We argue that this latter notion of pluralism represents a departure from previous accounts, as it is based on convergence rather than divergence among classical and non-classical mathematical theories. (shrink)

The “unknown heritage” is the name usually given to a problem type in whose archetype a father leaves to his first son 1 monetary unit and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\frac{1}{n}}$$\end{document} (n usually being 7 or 10) of what remains, to the second 2 units and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\frac{1}{n}}$$\end{document} of what remains, and so on. In the end, all sons get the same, and nothing remains. The earliest known (...) occurrence is in Fibonacci’s Liber abbaci, which also contains a number of much more sophisticated versions, together with a partial algebraic solution for one of these and rules for all which do not follow from his algebraic calculation. The next time the problem turns up is in Planudes’s late thirteenth century Calculus according to the Indians, Called the Great. After that the simple problem type turns up regularly in Provençal, Italian and Byzantine sources. It seems never to appear in Arabic or Indian writings, although two Arabic texts (one from c. 1190) contain more regular problems where the number of shares is given; they are clearly derived from the type known from European and Byzantine works, not its source. The sophisticated versions turn up again in Barthélemy de Romans’ Compendy de la praticque des nombres (c. 1467) and, apparently inspired from there, in the appendix to Nicolas Chuquet’s Triparty (1484). Apart from a single trace in Cardano’s Practica arithmetice et mensurandi singularis, the sophisticated versions never surface again, but the simple version spreads for a while to German practical arithmetic and, more persistently, to French polite recreational mathematics. Close examination of the texts shows that Barthélemy cannot have drawn his familiarity with the sophisticated rules from Fibonacci. It also suggests that the simple version is originally either a classical, strictly Greek or Hellenistic, or a medieval Byzantine invention; and that the sophisticated versions must have been developed before Fibonacci within an environment (located in Byzantium, Provence, or possibly in Sicily?) of which all direct traces has been lost, but whose mathematical level must have been quite advanced. (shrink)

In some passages of the Opus maius and the Opus tertium, Roger Bacon holds that mathematical objects are the immediate and adequate objects of human’s intellect: in our sensible life, the intellect develops mostly around quantity itself. We comprehend quantities and bodies by a perception of the intellect because their forms belong to the intellect, namely, an understanding of mathematical truths is almost innate within us. A natural reaction to these sentences is to deduce a strong Pythagorean or (...) Platonic influence in Roger Bacon’s theory of mathematical knowledge. However, Bacon has always followed Aristotle’s view according to which numbers and figures have no real existence apart from the sensible substances, and universal knowledge comes from sensory experience as well. It appears that Bacon’s claim that quantity is the first object of human's intellect comes from an original reading of a passage of Aristotle’s On Memory and Reminiscence. In this paper, we try to clarify Bacon’s views about mathematical abstraction and intellectual perception of mathematical forms in his Parisian questions on Physics and Liber De causis, the Perspectiva, Opus maius, Opus tertium, the Communia mathematica and the Geometria speculativa. We conclude that Bacon considered mathematical abstraction as a mode of perception of the internal structure of the physical world: mathematical abstraction does not mean for Bacon an act of separation of ideal forms from the sensible matter, but a possibility of intuition of the internal structure of the sensible world itself, a faculty which is necessary for human’s perception of space and time. (shrink)

The article deals with historical dynamics of implicit and intuitive elements of mathematical knowledge. The author describes historical dynamics of implicit and intuitive elements and discloses a historical and evolutionary mechanism of building up mathematical knowledge. Each requirement to increase the level of theoretical rigor in mathematics is historically realized as a three-stage process. The first stage considers some general conditions of valid mathematical knowledge recognized by the mathematical community. The second one reveals the level of (...) theoretical rigor increasing, while the third one is characterized by explication of the hidden lemmas. A detailed discussion of historical substantiation of the basic algebra theorem is conducted according to the proposed technique. (shrink)

The prospects for realistic interpretation of the nature of initial mathematical truths and objects are considered in the article. The arguments of realism, reasons impeding its recognition among philosophers of mathematics as well as the ways to eliminate these reasons are discussed. It is proven that the absence of acceptable ontological interpretation of mathematical realism is the main obstacle to its recognition. This paper explicates the introductory positions of this interpretation and presents a realistic interpretation of the arithmetical (...) component of mathematics. In summary, we should like to note that such constructions, as it is shown to us, ought to bring the direct use not only for the philosophical foundation of mathematics but for mathematics itself. In the justification of the author’s conclusions based on the works of famous mathematicians of the twentieth century, interpreting their findings in a broad historical and philosophical context. To illustrate his point, the author gives examples of arithmetic and geometry - both Euclidean and non-Euclidean. (shrink)

In the article, questions from the field of philosophy of mathematics are studied. The author is driven by the need to achieve a balance between the philosophy of science and the history of science in formation of concepts of the science development. In this regard, the author justifies the reliance on the methodology of implicit knowledge, combined with the epistemology principle of criticism in studying the development of mathematics as the most expedient and effective. The author expresses the necessity of (...) criticizing the methodology of counterexamples typical for mathematical empiricism declared by I. Lakatos. In the article, an explanation of the concept of implicit knowledge, as well as the examples from mathematics are given. The author believes that application of the concept of implicit knowledge in philosophical and mathematical terms allows us to reveal the unique specificity of mathematical science deeper. The author concludes that it is necessary to recognize the fundamental importance of the methodology of implicit knowledge for the epistemology, as well as for the development of philosophy and methodology of science in general. (shrink)

The article examines the current state of the mathematical education of the students-philosophers that depends on language of the humanitarian mathematics, evidence of its statements and methodological problem of the cognition of the mathematical facts. One of important tasks of philosophy of mathematical education consists in motivation of the need for training mathematics of students-philosophers. The main criterion of the usefulness of mathematics for philosophers is revealed in the ways of justification of its truth and completeness of (...) reasoning of mathematical statements. This reflects the attractiveness of mathematical knowledge for philosophers that is characterized by the fact that the truth is revealed along with a proof in mathematics. One of the main so-called ‘acupuncture points‘ of mathematical education of philosophers, as the author believes, is the language of modern mathematics. In General, the linguistic aspect is very important in modern science. The second ‘acupuncture point‘ of mathematical education of philosophers is the level of evidence claims. Third, according to the author, is responsible for knowledge of mathematical truths, is involved in not only our existence, but also transcendental knowledge. In the context of philosophy of the future of modern civilization, mathematics is indispensable as a necessary element of scientific and philosophical picture of the world. To support the conclusions the author draws a broad philosophical and scientific context. (shrink)

The article is devoted to identifying the value of the phenomenon of aesthetic value and beauty of mathematical knowledge and the beauty of mathematical theory of teaching mathematics. The aesthetic potential of mathematical knowledge allows the use of theater technology in the educational process with the active dialogic interaction between teacher and students. The criteria of beauty in mathematical theories are distinguished: the realization of beauty as the unity of the whole, and in the disclosure of (...) the complex through the elementary; methodological interpretation of the beauty in the community of mathematical structures and optimal information content of the meta-language of mathematics; the practical embodiment of beauty in the formalization of the infinite through the finite. The beauty of mathematics is the force that permeates all the ‘layers of knowledge‘ not along, and across, although the effectiveness of mathematical activity due to aesthetic laws, which do not always lend themselves to unambiguous interpretation. In the article it is stated that, depending on the educational goals of communicative impact on the audience, in fact, ‘mathematical lectures theatricality‘ can have different characteristics, the most important of which are teachers artistry and artistic director’s work of a teacher. This cultural phenomenon that includes the theatrical talent, helps create an atmosphere of cooperation needed in varying degrees of activity for pedagogical interaction. The author believes that such approach, developed on the basis of the Stanislavsky system, allows university professors of mathematics significantly improve mathematical lectures. (shrink)

The late nineteenth century gradually witnessed a liberalization of the kinds of mathematical object and forms of mathematical reasoning permissible in physical argumentation. The construction of theories of units illustrates the slow and difficult spread of new “algebraic” modes of mathematical intelligibility, developed by leading mathematicians from the 1830s onwards, into elementary arithmetical pedagogy, experimental physics, and fields of physical practice like telegraphic engineering. A watershed event in this process was a clash that took place during 1878 (...) between J. D. Everett and James Thomson over the meaning and algebraic manipulation of dimensional formulae. This precipitated the emergence of rival “Maxwellian” and “Thomsonian” approaches towards interpreting and applying “dimensional” equations, which expressed the relationship between derived and fundamental units in an absolute system of measurement. What at first looks like a dispute over a seemingly esoteric mathematical tool for unit conversion turns out to concern Everett’s break with arithmetical algebra in the representation and manipulation of physical quantities. This move prompted a vigorous rebuttal from Thomsonian defenders of an orthodox “arithmetical empiricism” on epistemological, semantic, or pedagogical grounds. Their resistance in Victorian Britain to a shift in mathematical intelligibility is suggestive of the difficult birth of theoretical physics, in which the intermediate steps of a mathematical argument need have no direct physical meaning. (shrink)

From the late 1960s onwards, the early second women’s movement encompassed all areas of West German society. This included debates about how women’s healthcare could be improved in a self-determined, women-friendly way and in line with feminist ideals. These debates were also held with regard to the general boom in psychotherapy at the time. This article explores the question of how debates around feminist therapy emerged in the Federal Republic of Germany. It also looks at the tense relationship between psychology (...) and psychotherapy. While feminist women’s counselling and therapy centers became a widespread part of a psychosocial care network from the late 1970s onwards, scientific psychology in German speaking countries remained largely closed to feminist influences. The article traces how this imbalance between feminist therapeutic practice and psychological women’s research came about. Therefore, the article sets out from 1974, when psychologists tried to introduce feminist impulses into academic psychology and feminist activists made psychotherapeutic approaches usable for the women’s movement. Many female psychologists shifted their commitment from the academic to the therapeutic field. It is argued, that this was due to the less than conducive conditions that feminist-oriented psychologists found in German-speaking academic psychology. (shrink)

In the context of reverse mathematics, effective transfinite recursion refers to a principle that allows us to construct sequences of sets by recursion along arbitrary well orders, provided that each set is ‐definable relative to the previous stages of the recursion. It is known that this principle is provable in. In the present note, we argue that a common formulation of effective transfinite recursion is too restrictive. We then propose a more liberal formulation, which appears very natural and is still (...) provable in. (shrink)

As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of 'closed operator', this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may (...) still be possible necessarily involve additional 'incompleteness' in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a 'liberal' stance but not with a 'radical', verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify. (shrink)

Most philosophers still tend to believe that mathematics is basically about producing formal proofs. A consequence of this view is that some aspects of mathematical practice are entirely lost from view. My contention is that it is precisely in those aspects that similarities can be found between practices in the exact sciences and in mathematics. Hence, if we are looking for a (more) unified treatment of science and mathematics it is necessary to incorporate these elements into our view of (...) what mathematics is about. As a helpful tool I introduce the notion of a mathematical argument as a more liberalized version of the notion of mathematical proof. (shrink)

In the article, philosophical and methodological analysis of the program of Hilbert’s formalism as a really working direction for consideration of the bases of modern mathematics is presented. For the professional mathematicians methodological advantages of the program of formalism advanced by David Hilbert, consist primarily in the fact that the highest possible level of theoretical rigor of modern mathematical theories was practically represented there. To resolve the fundamental difficulties of the problem of bases of mathematics, according to Hilbert, the (...) theory of mathematical proof is needed, but contrary to popular belief rigorous formalization of the proof is not a synonym of reliability and rigor of mathematical reasoning from the point of view of the philosophy of the foundations of mathematics. In fact, the consistency of the theories is "more important" than their logical consistency because not every statement, which does not contradict to the reasonable ones, can be attributed to a true statement. However, for working mathematicians, Hilbert is logical and consistent and the axiomatic method and formalism are an essential part of their rules of thinking. (shrink)

The paper is devoted to the analysis and identification of new philosophical aspects of the problem of justification of modern mathematics according to which to the end of the 20th century the most exact of sciences had experienced new shocks associated with the crisis of excessive complexity of the mathematical theories. In the context of justification of mathematics philosophical conclusion consists in the fact that from a methodological point of view for general assessment of whether mathematics is developed or (...) not just the lack of crises is more negative phenomenon than its too long trouble-free state. Accomplished fact is that a computer can be regarded as one of the serious revolutionary technological inventions of the last century, which has had a huge influence on mathematics. In this development of progress of contemporary mathematics, more precisely, in its instrumental technologies the new philosophical problems are revealed - this is the role of computers and the new standards of mathematical thinking. In addition, with the development of contemporary mathematics and the emergence of increasingly complicated and long proofs, they lose their methodological advantage - the property of visibility and convincingness. Within the philosophy of mathematics this problem has not been discussed yet, possibly because the leading mathematicians haven’t expressed their opinions on the subject. After that, we can wait for a methodologically important period clarifying details, which can make the process itself foundations of mathematics philosophical consummation as the crisis complexity; in mathematics it is not a ‘systemic crisis‘ carrying the potential danger of the destruction of all mathematical knowledge. (shrink)

The author of the work proposes a philosophical and methodological interpretation of the mathematical objects, using the system triad of the main directions of substantiation of mathematics: the formalism of Hilbert, Brouwer’s intuitionism and Godel’s Platonism. The need for these directions in the concept of substantiation of mathematics from the point of view of the current state of the philosophy of mathematics is shown on the mathematical examples. The philosophical and methodological analysis of objects of mathematics has never (...) been unambiguous, therefore in this paper the results of studies of philosophers, logicians and mathematicians, in which the problem of substantiation is explicated in the context of trends in the development of mathematics, are used. Their professional view on philosophical characteristics of the objects of mathematics contributes to the identification of the unity of all mathematical knowledge maintaining the initial mathematical base of knowledge and revealing new ways of integrating the directions of substantiation in the philosophy of mathematics. The practical problem of substantiation of mathematics is realized through the elaboration of metatheoretical knowledge under the paradigm shift in the philosophy of mathematics to the productive direction from analysis to synthesis. (shrink)

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse of (...) possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

Applied mathematics often operates by way of shakily rationalizedexpedients that can neither be understood in a deductive-nomological nor in an anti-realist setting.Rather do these complexities, so a recent paper of Mark Wilson argues, indicate some element in ourmathematical descriptions that is alien to the physical world. In this vein the mathematical opportunistopenly seeks or engineers appropriate conditions for mathematics to get hold on a given problem.Honest mathematical optimists, instead, try to liberalize mathematical ontology so as to include (...) all physicalsolutions. Following John von Neumann, the present paper argues that the axiomatization of a scientifictheory can be performed in a rather opportunistic fashion, such that optimism and opportunism appear as twomodes of a single strategy whose relative weight is determined by the status of the field to beinvestigated. Wilson's promising approach may thus be reformulated so as to avoid precarious talk about a physicalworld that is void of mathematical structure. This also makes the appraisal of the axiomatic method inapplied matthematics less dependent upon foundationalist issues. (shrink)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

In the past generation, various philosophers have been concerned with the so-called “placement problem” for naturalism. The problem has taken on the shorthand alliteration of the 4Ms, since Mind/Mentality, Meaning, Morality, and Modality/Mathematics are four important phenomena that are difficult to place within orthodox construals of naturalism, typified by physicalism and a methodological preference for ways of knowing associated with the natural sciences. In this paper I highlight the importance of temporality to this ostensibly forced choice between naturalism and the (...) 4Ms, and then reframe the problem by advocating a temporal naturalism rather than the atemporal versions that remain the orthodoxy. In short, I argue in Section 1 that scientific naturalism is standardly atemporal in outlook and in philosophical presuppositions, in Section 2 that temporality is a fundamental condition for each of the 4Ms (drawing on insights from classical phenomenology), and hence the intransigence of the dilemma. Instead of accepting this construal, in Section 3 I outline a temporal naturalism that owes more to biology than to physics (and hence more to Peter Godfrey-Smith than Huw Price), where we also see temporally dependent “points of view” in incipient biological forms, and where the norms surrounding explanation are less nomological and reductive in orientation. (shrink)

This is a companion paper to my preceding one on Harriot's experimentations in the field of the sign-rule of multiplication in algebra. Cardano had earlier attacked the conventional rule in a chapter of his De Aliza regula liber, published in 1570 as an appendix to the second edition of his Ars magna. He returned to the subject in a brief tract, published nearly a century later in his collected works as Sermo de plus et minus. Only Cardano's valid contention that (...) the standard ‘proof’ of the accustomed sign-rule was faulty made impact, in the Euclidean background to which the ‘proof’ belonged. His cause was to preserve the purity of the Euclidean tradition. It overshadows the true aim in the De Aliza chapter, but the Sermo reveals it plainly as far from retrograde: he wished to retain all the new techniques of algebra that brought in not only ‘minus’ quantities but also their square roots, and to escape the ‘impossible’ status of these last. This the rebel sign-rule did for him by making every root of a ‘minus’ just another ‘minus’. (shrink)

It has been suggested that philosophers should adopt a methodology largely inspired by mathematics and that the “mathematical” virtues of rigor, clarity, and precision are also fundamental philosophical virtues. In reply, this paper argues that some excellent philosophy lacks these virtues and that too much emphasis on the mathematical virtues excludes potentially valuable forms of philosophical discourse and makes the profession less diverse than it should be. Unduly restrictive conceptions of philosophical argumentation should be avoided. On a contributory (...) conception, philosophy should try to make a positive contribution to human emancipation where possible. The paper argues that it is possible and desirable for epistemology to contribute in this way and that the mathematical virtues are less significant in this context than the emancipatory virtues of what one might call “liberation philosophy.” These include irony, reflectiveness, imagination, contrarianism, and worldliness. (shrink)