A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative (...) account of ‘mathematical importance’, broadly within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice. (shrink)

Frege claims that mathematical theories are collections of thoughts, and that scientific continuity turns on thought-identity. This essay explores the difficulties posed for this conception of mathematics by the conceptual development canonically involved in mathematical progress. The central difficulties are that mathematical development often involves sufficient conceptual progress that mature versions of theories do not involve easily-recognizable synonyms of their earlier versions, and that the introduction of new elements in the domains of mathematical theories (...) would seem to conflict with Frege’s view that the original theories involved determinate reference. It is argued here that the difficulties apparently posed to Frege’s central views stem from an overly-simple view of Frege’s understanding of mathematical objects and of reference. The positive view recommended is one on which Frege’s view of mathematical theories is largely consistent with, and helps make sense of, the phenomenon of theoretical unity across conceptual development. (shrink)

It is shown how the historiographic purport of Lakatosian methodology of mathematics is structured on the theme of analysis and synthesis. This theme is explored and extended to the revolutionary phase around 1800. On the basis of this historical investigation it is argued that major innovations, crucial to the appraisal of mathematical progress, defy reconstruction as irreducibly rational processes and should instead essentially be understood as processes of social-cognitive interaction. A model of conceptual change is developed whose essential (...) ingredients are the variability of rational responses to new intellectual and practical challenges arising in the cultural environment of mathematics, and the shifting selective pressure of society. The resulting view of mathematical development is compared with Kuhn's theory of scientific paradigms in the light of some personal communications. (shrink)

O objetivo deste artigo é tentarmos elucidar a extravagante tese de Wittgenstein de que todo e qualquer avanço matemático envolve alguma “mutação semântica”, ou seja, alguma alteração nos próprios significados dos termos envolvidos. Para isso, argumentaremos a favor da ideia de uma “incompatibilidade modal” entre os conceitos envolvidos, como eram antes do avanço, e o que se tornam após a obtenção do novo resultado. Também argumentaremos que a adoção dessa tese altera profundamente nossa maneira tradicional de construir a ideia de (...) “progresso” em matemática. (shrink)

This paper is a contribution to the question of how aspects of science have been perceived through history. In particular, I will discuss how the contribution of axiomatics to the development of science and mathematics was viewed in 20th century philosophy of science and philosophy of mathematics. It will turn out that in connection with scientific methodology, in particular regarding its use in the context of discovery, axiomatics has received only very little attention. This is a rather surprising result, since (...) axiomatizations have been employed extensively in mathematics, science, and also by the philosophers themselves. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

The vitality of mathematics, however, “is conditioned upon the connection of its parts.” What, however, are the “parts” and “connections”? Is there, perhaps, some general pattern to this ongoing enterprise? In other words, is there some recognisable order to the mathematical project, not as in something to be imposed, but an order that can be verified in actual works and collaborations? A main purpose of this paper is to offer an answer to this question in the affirmative. For there (...) is accumulating evidence for the existence of an eight-fold periodic sequence of functionally related zones of enquiry H1, … , H8 – where for the rest of this paper these zones will be called functional specialties. In particular, each functional specialty would seem to have its own main objective and to involve its own differentiated type of enquiry. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a (...) problem using an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

Mathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowl- edge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous? According to what I shall call the standard view, a mathematical proof is rigorous if and only if it can be routinely translated into a formal proof. The standard view (...) is almost an orthodoxy among contemporary mathematicians, and is endorsed by many logicians and philosophers, but it has also been heavily criticized in the philosophy of mathematics literature. Progress on the debate between the proponents and opponents of the standard view is, however, currently blocked by a major obstacle, namely the absence of a precise formulation of it. To remedy this deficiency, I undertake in this paper to provide a precise formulation and a thorough evaluation of the standard view of mathematical rigor. The upshot of this study is that the standard view is more robust to criticisms than it transpires from the various arguments advanced against it, but that it also requires a certain conception of how mathematical proofs are judged to be rigorous in mathematical practice, a conception that can be challenged on empirical grounds by exhibiting rigor judgments of mathematical proofs in mathematical practice conflicting with it. (shrink)

For courses in Transition to Advanced Mathematics or Introduction to Proof. Meticulously crafted, student-friendly text that helps build mathematical maturity Mathematical Proofs: A Transition to Advanced Mathematics, 4th Edition introduces students to proof techniques, analyzing proofs, and writing proofs of their own that are not only mathematically correct but clearly written. Written in a student-friendly manner, it provides a solid introduction to such topics as relations, functions, and cardinalities of sets, as well as optional excursions into fields such (...) as number theory, combinatorics, and calculus. The exercises receive consistent praise from users for their thoughtfulness and creativity. They help students progress from understanding and analyzing proofs and techniques to producing well-constructed proofs independently. This book is also an excellent reference for students to use in future courses when writing or reading proofs. 0134746759 / 9780134746753 Chartrand/Polimeni/Zhang, Mathematical Proofs: A Transition to Advanced Mathematics, 4/e. (shrink)

This paper provides an analysis of the use of axioms in Banach’s Ph.D. and their role in the progression of Banach’s mathematical thought. In order to give a precise account of the role of Banach’s axioms, we distinguish two levels of activity. The first one is devoted to the overall process of creating a new theory able to answer some prescribed problems in functional analysis. The second one concentrates on the epistemological role of axioms. In particular, the notion of (...) norm completeness, as it appears in Banach’s text, can be interpreted as an epistemic linchpin between several a priori inhomogeneous domains of mathematical thought. (shrink)

Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The (...) aim of this paper is to foster the philosophical debate about this form of mathematics. I begin by considering key elements of philosophical remarks by Bishop, especially focusing on Bishop's assessment of Brouwer. I then compare these remarks with ``traditional'' philosophical arguments for intuitionistic logic and argue that the latter are in tension with Bishop's views. ``Traditional'' arguments for intuitionistic logic turn out to be also in conflict with significant recent developments in constructive mathematics. This rises pressing questions for the philosopher of mathematics, especially with regard to the possibility of offering alternative philosophical arguments for constructive mathematics. I conclude with the suggestion to look anew at Bishop's own remarks for inspiration. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to (...) key intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

In this chapter, we discuss a specific kind of progress in economics, namely, progress that is pushed by the repeated use of mathematical models in most sub-branches of economics today. We adopt a functional account of progress to argue that progress in economics occurs via the use of what we call ‘common recipes’ and the use of model templates to define and solve problems of relevance for economists. We support our argument by discussing the case (...) of twentieth-century business cycle research. By presenting this case study in detail, we show how model templates are not only re-applied to different phenomena. We also show how scientists come up with them in the first place and how – once they are considered less useful – they are replaced with new ones. Finally, our case also illustrates that it is not only the mathematical structure that is re-used but that such a re-use also requires a shared conceptual vision of core properties of the phenomenon. If that vision is not shared anymore among economists, a model template can become useless and has to be replaced – sometimes through overcoming resistance – with a different one. (shrink)

Despite the importance of mathematics in our educational systems little is known about how abstract mathematical thinking emerges. Under the uniting thread of mathematical development, we hope to connect researchers from various backgrounds to provide an integrated view of abstract mathematical cognition. Much progress has been made in the last 20 years on how numeracy is acquired. Experimental psychology has brought to light the fact that numerical cognition stems from spatial cognition. The findings from neuroimaging and (...) single cell recording experiments converge to show that numerical representations take place in the intraparietal sulcus. Further research has demonstrated that supplementary neural networks might be recruited to carry out subtasks; for example, the retrieval of arithmetic facts is done by the angular gyrus. Now that the neural networks in charge of basic mathematical cognition are identified, we can move onto the stage where we seek to understand how these basics skills are used to support the acquisition and use of abstract mathematical concepts. (shrink)

This book draws its inspiration from Hilbert, Wittgenstein, Cavaillès and Lakatos and is designed to reconfigure contemporary philosophy of mathematics by making the growth of knowledge rather than its foundations central to the study of mathematical rationality, and by analyzing the notion of growth in historical as well as logical terms. Not a mere compendium of opinions, it is organised in dialogical forms, with each philosophical thesis answered by one or more historical case studies designed to support, complicate or (...) question it. The first part of the book examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. The second examines the role of abstraction, analysis and axiomatization. The third raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Readership: Students and scholars concerned with the history and philosophy of mathematics and the formal sciences. (shrink)

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is (...) kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis. (shrink)

Popular interest in the progress of physical science has increased very rapidly in the last few years. Perhaps the spectacular ‘mysteries’ of wireless and the intriguing paradoxes of the theory of relativity are the chief causes. For every home now has its Magic Box—a piece of pure physics; there is not a familiar thing in it, not even that sine qua non of all things that ‘work’—a wheel, only mysterious parts called condensers, grid-leaks, inductances, and thermionic valves. And surely, (...) when a Sunday newspaper produces a facsimile page of Einstein’s recent paper in German containing abstruse tensor equations, reverence for the mathematical physicist is nearing its zenith. (shrink)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users (...) have indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

In this chapter, we discuss a specific kind of progress that occurs in most branches of economics today: progress involving the repeated use of mathematical models. We adopt a functional account of progress to argue that progress in economics occurs through the use of what we call “common recipes” and model templates for defining and solving problems of relevance for economists. We support our argument by discussing the case of 20th century business cycle research. By (...) presenting this case study in detail, we show how model templates are not only reapplied to different phenomena. We also show how scientists first develop them and how, once they are considered less useful, they are replaced with new ones. Finally, our case also illustrates that it is not only the mathematical structure that is reused but that such reuse also requires a shared conceptual vision of the core properties of the phenomenon to be studied. If that vision is no longer shared among economists, a model template can become useless and has to be replaced, sometimes against resistance, with a different one. (shrink)

§1. Iterated Gödelian extensions of theories. The idea of iterating ad infinitum the operation of extending a theory T by adding as a new axiom a Gödel sentence for T, or equivalently a formalization of “T is consistent”, thus obtaining an infinite sequence of theories, arose naturally when Godel's incompleteness theorem first appeared, and occurs today to many non-specialists when they ponder the theorem. In the logical literature this idea has been thoroughly explored through two main approaches. One is that (...) initiated by Turing in his “ordinal logics” and taken very much further in Feferman's work on transfinite progressions, which also introduced the more general study of extensions by reflection principles, of which consistency statements are a special case. This approach starts from an assignment of theories to ordinal notations, and extracts sequences of theories through a suitable choice of a path in the set of ordinal notations. The second approach, illustrated in particular by the work of Schmerl and Beklemishev, starts instead from a suitably well-behaved primitive recursive well-ordering, which is used to define a sequence of theories. This second approach has led to precise results about the relative proof-theoretical strength of sequences of theories obtained by iterating different reflection principles. The Turing-Feferman approach, on the other hand, lends itself well to an investigation in qualitative and philosophical terms of the relevance of such iterated reflection extensions to mathematical knowledge, in particular because of two developments associated with this approach. (shrink)

Plato used mathematics extensively in his account of the cosmos in the Timaeus, but as he did not use equations, but did use geometry, harmony and according to some, numerology, it has not been clear how or to what effect he used mathematics. This paper argues that the relationship between mathematics and cosmology is not atemporally evident and that Plato’s use of mathematics was an open and rational possibility in his context, though that sort of use of mathematics has subsequently (...) been superseded as science has progressed. I argue that there is a philosophically and historically meaningful space between ‘primitive’ or unreflective uses of mathematics and the modern conception of how mathematics relates to cosmology. Plato’s use of mathematics in the Timaeus enabled the cosmos to be as good as it could be, allowed the demiurge a rational choice and allowed Timaeus to give an account of the cosmos. I also argue that within this space it is both meaningful and important to differentiate between Pythagorean and Platonic uses of number and that we need to reject the idea of ‘Pythagorean/platonic number mysticism’. Plato’s use of number in the Timaeus was not mystical even though it does not match modern usage. (shrink)

Advances in modern mathematics indicate that progress in this field of knowledge depends mainly on culturally inflected imaginative intuitions, or intuitive imaginings—which mysteriously result in the growth of systems of symbolism that are often efficacious, although fallible and very likely evolutionary. Thus the idea that a trouble-free epistemology can be constructed out of an intuition-free mathematical naturalism would seem to be question begging of a very high order. I illustrate the point by examining Philip Kitcher’s attempt to frame (...) an empiricist philosophy of mathematics, which he calls “mathematical naturalism,” wherein he proposes to explain novelty in mathematics by means of the notion of ‘rational interpractice transitions,’ only to end with an appeal to science to supply a meaning for rationality. A more promising naturalistic approach is adumbrated by Noam Chomsky who begins with a straightforward acceptance of mind and language as ‘natural’ or concrete facts which bespeak the need for a linguistic faculty. This indicates in turn that there may also be a mathematical faculty capable of generating and exploiting the powers of mathematical symbolisms in a manner analogous to the linguistic faculty. (shrink)

Philosophy has been characterized (e.g., by Benson Mates) as a field whose problems are unsolvable. This has often been taken to mean that there can be no progress in philosophy as there is in mathematics or science. The nature of problems and solutions is considered, and it is argued that solutions are always parts of theories, hence that acceptance of a solution requires commitment to a theory (as suggested by William Perry's scheme of cognitive development). Progress can be (...) had in philosophy in the same way as in mathematics and science by knowing what commitments are needed for solutions. Similar views of Rescher and Castañeda are discussed. (shrink)

The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis (...) profoundly alters the traditional way of con-struing the idea of “progress” in mathematics. (shrink)

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as (...) if it were the Third Eye, something only mathematical "mystics", like Ramanujan, possess. In mathematics the notion has also been used in a host of other senses: by "intuitive" one might mean informal, or non-rigourous, or visual, or holistic, or incomplete, or perhaps even convincing in spite of lack of proof. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati cal knowledge. I shall argue that mathematical intuition is not any special or mysterious kind of faculty, and that it is possible to make progress in the philosophical analysis of this notion. This kind of undertaking has a precedent in the philosophy of Kant. While I shall be mostly developing ideas about intuition due to Edmund Husser! there will be a kind of Kantian argument underlying the entire book. (shrink)

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

In a series of papers, a many-minds interpretation of quantum theory has been developed. The aim in these papers is to present an explicit mathematical formalism which constitutes a complete theory compatible with relativistic quantum field theory. In this paper, which could also serve as an introduction to the earlier papers, three issues are discussed. First, a significant, but fairly straightforward, revision in some of the technical details is proposed. This is used as an opportunity to introduce the formalism. (...) Then the probabilistic structure of the theory is revised, and it is proposed that the experience of an individual observer can be modelled as the experience of observing a particular, identified, discrete stochastic process. Finally, it is argued that the formalism can be modified to give a physics in which no constants are required. Instead, “constants” have to be determined by observation, and are fixed only to the extent to which they have been observed. (shrink)

At least since the seventeenth century, the strange combination of epistemological certainty and ontological power that characterizes mathematics has made it a major focus of philosophical, social, and cultural negotiation. In the eighteenth century, all of these factors were at play as mathematical thinkers struggled to assimilate and extend the analysis they had inherited from the seventeenth century. A combination of educational convictions and historical assumptions supported a humanistic mathematics essentially defined by its flexibility and breadth. This mathematics was (...) an expression of l’esprit humain, which was unfolding in a progressive historical narrative. The French Revolution dramatically altered the historical and educational landscapes that had supported this eighteenth‐century approach, and within thirty years Augustin Louis Cauchy had radically reconceptualized and restructured mathematics to be rigorous rather than narrative. (shrink)

Philosophy makes no progress. It fails to do so in the way science and mathematics make progress. By “no progress” is meant that there is no successive advance of a well-established body of knowledge—no views are definitively established or definitively refuted. Yet philosophers often talk and act as if the subject makes progress, and that its point and value lies in its doing so, while in fact they also approach the subject in ways that clearly contradict (...) any claim to progress. This article presents evidence for, and a theoretical explanation of, the view that philosophy makes no progress, concluding with an account of what philosophy is and what the point and value of it is. Philosophy should not be shy about being what it is, nor should it pretend to be what it is not. What it is should be reflected in philosophizing and the way it is taught. (shrink)

The affirmative answer to the title question is justified in two ways: logical and empirical. The logical justification is due to Gödel’s discovery that in any axiomatic formalized theory, having at least the expressive power of PA, at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owing to the so-amplified (...) axiomatic basis, new routine procedures like algorithms, can be reached. Those, in turn, help to gain new insights which lead to still more powerful axioms, and consequently again to ampler algorithmic resources. Thus scientific progress proceeds to an ever higher scope of solvability. The existence of such feedback cycles –in a formal way rendered with Turing’s systems of logic based on ordinal – gets empirically supported by the history of mathematics and other exact sciences. An instructive instance of such a process is found in the history of the number zero. Without that insight due to some ancient Hindu mathematicians there could not arise such an axiomatic theory as PA. It defines the algorithms of arithmetical operations, which in turn help intuitions; those, inturn, give rise to algorithmic routines, not available in any of the previous phases of the process in question. While the logical substantiation of the point of this essay is a well-established result of logico-semantic inquiries, its empiricalclaim, based on historical evidences, remains open for discussion. Hence the author’s intention to address philosophers and historians of science, and to encourage their critical responses. (shrink)