The article is devoted to the nature of science. To what extent are science and mathematics affected by the society in which they are developed? Philosophy of science has accepted the social influence on science, but limits it only to the context of discovery (a "locational" approach). An opposite "attributive" approach states that any part of science may be so influenced. L. Graham is sure that even the mathematical equations at the core of fundamental physical theories may display social attributes. (...) He has used the investigations of the famous Soviet physicist V. Fock on the General Theory of Relativity which were under the influence of Marxism. The Goal of the article is to demonstrate: 1) Why Soviet science is not an appropriate subject-matter for testing the thesis of social constructivism, 2) That differnt levels of science and different stages in the development of science undergo social influences in different degrees ranging from very significant and unavoidable to absolutely trivial and easy eliminated. (shrink)

International Studies in the Philosophy of Science, Volume 26, Issue 3, Page 345-348, September 2012.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...) encodings, industrial applications, specific tools, case studies, and empirical results. (shrink)

The rise of the field of “<span class='Hi'>experimental</span> mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize <span class='Hi'>experimental</span> mathematics. One suggestion is that <span class='Hi'>experimental</span> mathematics makes essential use of electronic computers. A second suggestion is that <span class='Hi'>experimental</span> mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and instead a (...) third suggestion is considered according to which <span class='Hi'>experimental</span> mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (shrink)

At their extremes, the modernization of ancient mathematical texts (absolute presentism) leaves nothing of the source and the refusal to modernize (absolute antiquarism) changes nothing. The extremes exist only as tendencies. This paper attempts to justify the admissibility of broad modernization of mathematical sources (presentism) in the context of a socio-cultural (non-fundamentalist) philosophy of mathematics.

V. Hendricks and H. Leitgeb, eds., Automatic Press, 2007.

Is alternative mathematics possible? More specifically, is it possible to imagine that mathematics could have developed in any other than the actual direction? The answer defended in this paper is yes, and the proof consists of a direct demonstration. An alternative mathematics that uses vague concepts and predicates is outlined, leading up to theorems such as "Small numbers have few prime factors".

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last (...) thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones. (shrink)

ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...) logic differed from Stoic logic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

In this paper, I shall provide a defence of second-order logic in the context of its use in the philosophy of mathematics. This shall be done by considering three problems that have been recently posed against this logic: (1) According to Resnik [1988], by adopting second-order quantifiers, we become ontologically committed to classes. (2) As opposed to what is claimed by defenders of second-order logic (such as Shapiro [1985]), the existence of non-standard models of first-order theories does not establish the (...) inadequacy of first—order axiomatisations (Melia [1995]). (3) In contrast with Shapiro’s suggestion (in his [1985]), second-order logic does not help us to establish referential access to mathematical objects (Azzouni [1994]). As I shall argue, each of these problems can be neatly solved by the second-order theorist. As a result, a case for second-order logic can be made. The first two problems will beconsidered rather briefly in the next section. The rest of the paper is dedicate to a discussion of the third. (shrink)

The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (shrink)

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...) terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

I never met Gian-Carlo Rota but I have often made references to his writings on the philosophy of mathematics, sometimes agreeing, sometimes disagreeing. In this paper I will discuss his views concerning four questions: the existence of mathematical objects, definition in mathematics, the notion of proof, the relation of philosophy of mathematics to mathematics.

It is commonly held that the change from the concrete view of the axiomatic method to the abstract one originated from the creation of non-Euclidean geometries and algebraic theories beyond the traditional theory of equations. Such explanation seems however to be too simple because, for instance, Lobačevskij presented his geometry not as an abstract system but as a concrete investigation of certain physical forces, and Boole presented his algebra not as an abstract system but as a concrete investigation of the (...) operations of the mind by which reasoning is performed. Lobačevskij and Boole did not even present their systems as axiomatic systems. In this paper it is argued that a more plausible explanation is that the change was due to a somewhat late impact of Romanticism on mathematics. -/- . (shrink)

Ethics and mathematics are normally treated independently in philosophical discussions. When comparisons are drawn between problems in the two areas, those comparisons tend to be highly local, concerning just one or two issues. Nevertheless, certain metaethicists have made bold claims to the effect that moral realism is on “no worse footing” than mathematical realism -- i.e. that one cannot reasonably reject moral realism without also rejecting mathematical realism. -/- In the absence of any remotely systematic survey of the relevant arguments, (...) however, the prima facie plausibility of such claims cannot be usefully judged. There is no way to guess whether the few local parallels that have been observed are symptomatic of pervasive ones. What is needed is a general overview of the relevant dialectical landscape – one which serves to suggest the likely extent of commonality between arguments in ethics and arguments in the philosophy of mathematics. -/- In this survey, I offer such an overview. I consider a wide array of arguments for mathematical realism, and against moral realism, and indiacte analogs to each. I argue that, while nothing definitive can be said at this point, the aforementioned bold claims do have significant prima facie plausibility. In particular, parallels between arguments in metaethics and arguments in the philosophy of mathematics seem to be much more systematic than is commonly supposed. (shrink)

Machine generated contents note: 1. Mathematics and its philosophy; 2. The limits of mathematics; 3. Plato's heaven; 4. Fiction, metaphor, and partial truths; 5. Mathematical explanation; 6. The applicability of mathematics; 7. Who's afraid of inconsistent mathematics?; 8. A rose by any other name; 9. Epilogue: desert island theorems.

This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section on fuzzy sets and systems, (...) fuzzy control, neuro-fuzzy systems, fuzzy decision theory and application, and soft computing in image processing. (shrink)

The paper deals with the meaning of the word ‘variable’ as used by various authors in various disciplines. In the first part of his article the author explains the synonyms used for this word such as indefinite numbers, mappings or concepts. He further discusses the meaning of variables and unknowns as applied in modern logic and traditional mathematics. In economic models the variable is inseparably linked to the economic quantity by which it is characterized and interpreted. Distinctions are made between (...) endogenous and exogenous variables and between a variable and its time path. (shrink)

The vivacity of mathematics results (partly) from the fact that mathematics is stretched between several poles, not being committed to any one. The paper presents the following polarities: realism - idealism, the finite - the infinite, the discrete - the continuous, the approximate - the exact, certitute - probability, simplicity - complexity, unity - multiplicity.

In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)

“Mathematical objects are not exactly of our own making, but we actually have to do something to get them. There’s something out there which we prod, but there’s the prodding that’s also required. Numbers are not exactly out there or in us, but somehow in between.”.

As such this book fills a void in the philosophical literature and presents a challenge to every would-be (anti-)reductionist.

If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..

Gödel's definitive results and his essays leave us with a rich legacy of philosophical programs that promise to be subject to mathematical treatment. After surveying some of these, we focus attention on the program of circumventing his demonstrated impossibility of a consistency proof for mathematics by means of extramathematical concepts.

It has been accepted since the early part of the Century that there is no problem formalizing mathematics in standard formal systems of axiomatic set theory. Most people feel that they know as much as they ever want to know about how one can reduce natural numbers, integers, rationals, reals, and complex numbers to sets, and prove all of their basic properties. Furthermore, that this can continue through more and more complicated material, and that there is never a real problem.

In the Foundational Life, philosophy is commonly used as a method for choosing and analyzing fundamental concepts, and mathematics is commonly used for rigorous development. The mathematics informs the philosophy and the philosophy informs the mathematics.

This distinction between logic and mathematics is subject to various criticisms and can be given various defenses. Nevertheless, the division seems natural enough and is commonly adopted in presentations of the standard foundations for mathematics.

The paper outlines a project in the philosophy of mathematics based on a proposed view of the nature of mathematical reasoning. It also contains a brief evaluative overview of the discipline and some historical observations; here it points out and illustrates the division between the philosophical dimension, where questions of realism and the status of mathematics are treated, and the more descriptive and looser dimension of epistemic efficiency, which has to do with ways of organizing the mathematical material. The paper’s (...) concern is with the first. The grand tradition in the philosophy of mathematics goes back to the foundational debates at the end of the 19th and the first decades of the 20th century. Logicism went together with a realistic view of actual infinities; rejection of, or skepticism about actual infinities derived from conceptions that were Kantian in spirit. Yet questions about the nature of mathematical reasoning should be distinguished from questions about realism (the extent of objective knowledge– independent mathematical truth). Logicism is now dead. Recent attempts to revive it are based on a redefinition of “logic”, which exploits the flexibility of the concept; they yield no interesting insight into the nature of mathematics. A conception of mathematical reasoning, broadly speaking along Kantian lines, need not imply anti–realism and can be pursued and investigated, leaving questions of realism open. Using some concrete examples of non–formal mathematical proofs, the paper proposes that mathematics is the study of forms of organization—-a concept that should be taken as primitive, rather than interpreted in terms of set–theoretic structures. For set theory itself is a study of a particular form of organization, albeit one that provides a modeling for the other known mathematical systems. In a nutshell: “We come to know mathematical truths through becoming aware of the properties of some of the organizational forms that underlie our world. This is possible, due to a capacity we have: to reflect on some of our own practices and the ways of organizing our world, and to realize what they imply.. (shrink)

From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I (...) connect it to two ongoing discussions: the Caesar problem, and absolute generality. (shrink)

This book provides an accessible, critical introduction to these three projects as it describes and investigates both their philosophical and their mathematical ...

Dynamic interaction is said to occur when two significanrly different fields A and B come into relation, and their interaction is dynamic in the sense that at first the flow of ideas is principally from A to B, but later ideas from B come to influence A. Two examples are given of dynamic interactions with the philosophy of mathematics. The first is with philosophy of scicnce, and thc sccond with computer science. Theanalysis cnables Lakatos to be charactcrised as thc first (...) to devclop the philosophy of mathematics using ideas taken from thc philosophy of science. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang (1921—1995), which includes all items known to the authors, including writings in Chinese and translations into other languages.

The circumstance that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical basis of exact (...) ideas—which is a common feature in the papers of the members of the Karácsony-circle—and Lakatos' way of thinking regarding mathematics is more direct and can be documented through his connection to Kalmár. The central element of Lakatos' philosophy of mathematics is criticism of formalism and his tendency is to use the empirical view. Discussions at the 1965 International Colloquium in the Philosophy of Science in London were very helpful in clarifying the quasi-empirical conception. Kalmár's lecture in London, based on one of his papers published by Karácsony in 1942, emphasized the empirical character of mathematics. After this colloquium some elements of the heritage of the Karácsony-circle were integrated again in the development of Lakatos' way of thinking. First I will analyze the Kalmár lecture of 1965 at the Colloquium of Philosophy of Science and Lakatos's reflections on the problem of the foundation of mathematics. Then I will present their common Hungarian background, their education and the beginning of their career, which have many important common features; third I draw attention to the network of contacts of Karácsony-disciples. (shrink)

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

Alfred North Whitehead's treatise Universal Algebra classifies algebras as either non-numerical or numerical according to whether they satisfy the law of idempotency, a + a = a. We undertake a technical critique of this classification scheme and examine how its flaws may reflect certain mathematical and philosophical biases in Whitehead's outlook. We argue further that Whitehead's presumption of immutable foundations for mathematics and his early commitment to the priority of objects over relations may in part account for (...) his relative obscurity as a mathematician. (shrink)