It is commonly agreed that the doctrines of classical Greek philosophers and scientists were transformed by commentators of, roughly, the second to sixth centuries AD. It is, however, less clear how these transformations precisely took place. This article contributes to the discussion by exploring explanative practices in ancient Greek commentaries on authors such as the Hippocratic Corpus, Aristotle, and Euclid and by arguing that among the practices concerned there was a tendency to blur the distinction of nature and text. Among (...) the commentators discussed are Apollonius of Citium, Galen, Proclus, Pappus, Palladius, Simplicius, and Eutocius. Disciplines concerned are mathematics, medicine and natural philosophy. Having distinguished ontological and pragmatic approaches to explanation, I provide an overview of exegetical practices in commentaries which deal with natural phenomena through authoritative texts. The second part of the paper discusses the commentator’s problem of how to decide where to stop explaining or how to select the problems that deserve explanation. The last part analyzes the habit of many commentators to turn perceived gaps into stories. I conclude by returning to the communicative functions of the explanations discussed. It turns out that they, to differing degrees, all contain self-referential aspects that serve to enhance the commentator’s position within his field. (shrink)

Philosophical arguments usually are and nearly always should be abductive. Across many areas, philosophers are starting to recognize that often the best we can do in theorizing some phenomena is put forward our best overall account of it, warts and all. This is especially true in esoteric areas like logic, aesthetics, mathematics, and morality where the data to be explained is often based in our stubborn intuitions. -/- While this methodological shift is welcome, it's not without problems. Abductive arguments involve (...) significant theoretical resources which themselves can be part of what's being disputed. This means that we will sometimes find otherwise good arguments which suggest their own grounds are problematic. In particular, sometimes revising our beliefs on the basis of such an argument can undermine the very justification we used in that argument. -/- This feature, which I'll call self-effacingness, occurs most dramatically in arguments against our standing views on the esoteric subject matters mentioned above: logic, mathematics, aesthetics, and morality. This is because these subject matters all play a role in how we reason abductively. This isn't an idle fact; we can resist some challenges to our standing beliefs about these subject matters exactly because the challenges are self-effacing. The self-effacing character of certain arguments is thus both a benefit and limitation of the abductive turn and deserves serious attention. I aim to give it the attention it deserves. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

ArgumentThis article gives the background to a public lecture delivered in Hebrew by Edmund Landau at the opening ceremony of the Hebrew University in Jerusalem in 1925. On the surface, the lecture appears to be a slightly awkward attempt by a distinguished German-Jewish mathematician to popularize a few number-theoretical tidbits. However, quite unexpectedly, what emerges here is Landau's personal blend of Zionism, German nationalism, and the proud ethos of pure, rigorous mathematics – against the backdrop of the situation of Germany (...) after World War I. Landau's Jerusalem lecture thus shows how the Zionist cause was inextricably linked to, and determined by political agendas that were taking place in Europe at that time. The lecture stands in various historical contexts - Landau's biography, the history of Jewish scientists in the German Zionist movement, the founding of the Hebrew University in Jerusalem, and the creation of a modern Hebrew mathematical language. This article provides a broad historical introduction to the English translation, with commentary, of the original Hebrew text. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

The present paper will argue that, for too long, many nominalists have concentrated their researches on the question of whether one could make sense of applications of mathematics (especially in science) without presupposing the existence of mathematical objects. This was, no doubt, due to the enormous influence of Quine's "Indispensability Argument", which challenged the nominalist to come up with an explanation of how science could be done without referring to, or quantifying over, mathematical objects. I shall admonish nominalists to enlarge (...) the target of their investigations to include the many uses mathematicians make of concepts such as structures and models to advance pure mathematics. I shall illustrate my reasons for admonishing nominalists to strike out in these new directions by using Hartry Field's nominalistic view of mathematics as a model of a philosophy of mathematics that was developed in just the sort of way I argue one should guard against. I shall support my reasons by providing grounds for rejecting both Field's fictionalism and also his deflationist account of mathematical knowledge—doctrines that were formed largely in response to the Indispensability Argument. I shall then give a refutation of Mark Balaguer's argument for his thesis that fictionalism is "the best version of anti-realistic anti-platonism". (shrink)

In a very influential paper Rota stresses the relevance of mathematical beauty to mathematical research, and claims that a piece of mathematics is beautiful when it is enlightening. He stops short, however, of explaining what he means by ‘enlightening’. This paper proposes an alternative approach, according to which a mathematical demonstration or theorem is beautiful when it provides understanding. Mathematical beauty thus considered can have a role in mathematical discovery because it can guide the mathematician in selecting which hypothesis to (...) consider and which to disregard. Thus aesthetic factors can have an epistemic role qua aesthetic factors in mathematical research. (shrink)

Although “theory” has been the prevalent unit of analysis in the meta-study of science throughout most of the twentieth century, the concept remains elusive. I further explore the leitmotiv of several authors in this issue: that we should deal with theorizing (rather than theory) in biology as a cognitive activity that is to be investigated naturalistically. I first contrast how philosophers and biologists have tended to think about theory in the last century or so, and consider recent calls to upgrade (...) the role of theory in the life sciences against the background of the recent “data deluge” in molecular biology, systems biology, etc. I then review thinking about theory in biology in relation to physical theory as a positive or negative exemplar. I conclude by discussing various aspects of a positive program for “naturalizing theorizing.”. (shrink)

My aim is to vindicate two distinct and important moral categories – ideals and aspirations – which have received modest, and sometimes negative, attention in recent normative debates. An ideal is a conception of perfection or model of excellence around which we can shape our thoughts and actions. An aspiration, by contrast, is an attitudinal position of steadfast commitment to, striving for, or deep desire or longing for, an ideal. I locate these two concepts in relation to more familiar moral (...) concepts such as duty, virtue, and the good to demonstrate, amongst other things, first, that what is morally significant about ideals and aspirations cannot be fully accommodated within a virtue ethical framework that gives a central role to the Virtuous Person as a purported model of excellence. On a certain interpretation, the Virtuous Person is not a meaningful ideal formoral agents. Second, I articulate one sense in which aspirations are morally required imaginative acts given their potential to expand the realm of practical moral possibility. (shrink)

It is a common thought that mathematics can be not only true but also beautiful, and many of the greatest mathematicians have attached central importance to the aesthetic merit of their theorems, proofs and theories. But how, exactly, should we conceive of the character of beauty in mathematics? In this paper I suggest that Kant's philosophy provides the resources for a compelling answer to this question. Focusing on §62 of the ‘Critique of Aesthetic Judgment’, I argue against the common view (...) that Kant's aesthetics leaves no room for beauty in mathematics. More specifically, I show that on the Kantian account beauty in mathematics is a non-conceptual response felt in light of our own creative activities involved in the process of mathematical reasoning. The Kantian proposal I thus develop provides a promising alternative to Platonist accounts of beauty widespread among mathematicians. While on the Platonist conception the experience of mathematical beauty consists in an intellectual insight into the fundamental structures of the universe, according to the Kantian proposal the experience of beauty in mathematics is grounded in our felt awareness of the imaginative processes that lead to mathematical knowledge. The Kantian account I develop thus offers to elucidate the connection between aesthetic reflection, creative imagination and mathematical cognition. (shrink)

This paper examines the view of ethical language that Wittgenstein took in later years. It argues that according to this view, ethics falls into place as a part of our natural history, while every sense of the mystical or supernatural that once surrounded it is irrevocably lost. Moreover, Wittgenstein argues that ethical language does not correspond to reality “in the way” in which a physical theory does. I propose an interpretation of this claim that shows how it sets his view (...) apart from a “realist” theory of ethics. The reality of which he speaks is the reality of human life. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

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

The first part of the paper is devoted to surveying the remarks that philosophers and mathematicians such as Maddy, Hardy, Gowers, and Zeilberger have made about mathematical depth. The second part is devoted to the question of whether we can make the notion precise by a more formal proof-theoretical approach. The idea of measuring depth by the depth and bushiness of the proof is considered, and compared to the related notion of the depth of a chess combination.

Aesthetics in philosophy of mathematics is too narrowly construed. Beauty is not the only feature in mathematics that is arguably aesthetic. While not the highest aesthetic value, being interesting is a sine qua non for publishability. Of the many ways to be interesting, being explanatory has recently been discussed. The motivational power of what is interesting is important for both directing research and stimulating education. The scientific satisfaction of curiosity and the artistic desire for beautiful results are complementary but both (...) aesthetic. (shrink)

ABSTRACT This paper explores the role of aesthetic judgements in mathematics by focussing on the relationship between the epistemic and aesthetic criteria employed in such judgements, and on the nature of the psychological experiences underpinning them. I claim that aesthetic judgements in mathematics are plausibly understood as expressions of what I will call ‘aesthetic-epistemic feelings’ that serve a genuine cognitive and epistemic function. I will then propose a naturalistic account of these feelings in terms of sub-personal processes of representing and (...) assessing the relation between cognitive processes and certain properties of the stimuli at which they are directed. (shrink)

ABSTRACT Mathematicians frequently use aesthetic vocabulary and sometimes even describe themselves as engaged in producing art. Yet aestheticians, in so far as they have discussed this at all, have often downplayed the ascriptions of aesthetic properties as metaphorical. In this paper I argue firstly that the aesthetic talk should be taken literally, and secondly that it is at least reasonable to classify some mathematics as art.

One of the general criteria G. H. Hardy identifies and discusses in his famous essay A Mathematician’s Apology (Cambridge University Press, Cambridge, 1940) by which a mathematician’s patterns must be judged is seriousness. This article focuses on one of Hardy’s examples of a non-serious theorem, namely that 8712 and 9801 are the only numbers below 10000 which are integral multiples of their reversals, in the sense that 8712 = 4·2178, and 9801 = 9·1089. In the context of a discussion of (...) generality, which he considers an essential quality of seriousness, he explains that there is nothing in this example which “appeals much to a mathematician” and that it is “not capable of any significant generalization.” Interestingly, since the publication of the Apology, more than a dozen papers—including one by the renowned mathematician Neil Sloane—have been published that discuss generalizations of Hardy’s example. By identifying the most important aspect of Hardy’s notion of generality, it is argued that, contrary to the views of several researchers, Hardy’s claim regarding the non-capability of any significant generalization is still tenable. Furthermore, this case study is presented and discussed as an example of the multifaceted nature of mathematical interest. (shrink)

Mathematics stand in a privileged relationship with aesthetics: a relationship that follows two main directions. The first concerns the introduction of mathematical considerations into aesthetic discourse. For instance, it is common to mention the mathematical architecture of certain artistic productions. The second leads from aesthetics to mathematics. In this case, the question is that of the role and meaning that aesthetic considerations may assume in mathematics. It is indeed a widely held view among mathematicians, of whatever socio-historical context, not only (...) to see their discipline as presenting a strong aesthetic dimension, but also to consider that this dimension plays a fundamental role in the process of developing and understanding mathematics. The main ambition of this paper is to show how Nelson Goodman’s aesthetics can be used to justify this point of view and to propose a thesis concerning the aesthetic functioning of mathematics. This first result allows to resituate Goodman’s aesthetics within a very classical tradition that will be described. Finally, the underlying ambition is to show the keys provided by Goodman’s theory for the philosophy of mathematics. (shrink)

I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...) (4) the transcommunal universality of mathematics; (5) the big jump to the potential infinite; (6) the reconciliation of local creation with the hypothesis of discovery; (7) Platonism as realism plus conceptualism; (8) foundational studies and mathematical practice; and (9) the decomposition of philosophical disagreements. The views of Gödel and Wittgenstein are emphasized in order to add specificity to the discussions. (shrink)

This paper discusses the viability of claims of mathematical beauty, asking whether mathematical beauty, if indeed there is such a thing, should be conceived of as a sub-variety of the more commonplace kinds of beauty: natural, artistic and human beauty; or, rather, as a substantive variety in its own right. If the latter, then, per the argument, it does not show itself in perceptual awareness – because perceptual presence is what characterises the commonplace kinds of beauty, and mathematical beauty is (...) not among these. I conclude that the reference to mathematical beauty merely expresses the awe in the mathematician about the intricate complexities and simplicity of certain proofs, theorems or mathematical “objects.”. (shrink)

In this article I examine the status of putative aesthetic judgements in science and mathematics. I argue that if the judgements at issue are taken to be genuinely aesthetic they can be divided into two types, positing either a disjunction or connection between aesthetic and epistemic criteria in theory/proof assessment. I show that both types of claim face serious difficulties in explaining the purported role of aesthetic judgements in these areas. I claim that the best current explanation of this role, (...) McAllister's 'aesthetic induction' model, fails to demonstrate that the judgements at issue are genuinely aesthetic. I argue that, in light of these considerations, there are strong reasons for suspecting that many, and perhaps all, of the supposedly aesthetic claims are not genuinely aesthetic but are in fact 'masked' epistemic assessments. (shrink)

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)

The 1990s could be called The Decade of Sociology in mathematics education. It was during those years that the sociology of mathematics became a core ingredient of discourse in mathematics education and the philosophy of mathematics and mathematics education. Unresolved questions and uncertainties have emerged out of this discourse that hinge on the key concept of social construction. More generally, what is at issue is the very idea of “the social”. Within the framework of the general problem of “the social”, (...) we want to open a discussion of boundaries and margins in mathematics and mathematics education. By theorizing the divisions of purity and danger, we will be able to better understand the intersection of logic, mathematics, and thinking with gender, race, and class, and morals, ethics, and values in the classroom. The process of transforming the sociology of mathematics and the sociology of mind into pedagogical tools for mathematics educators and philosophers of education has already begun. One of the tasks before us is the development of a more profound and at the same time more practical grasp of “the social”. Our objective in this paper is to move ourselves and our readers in the direction of just such a grasp of the social. (shrink)

Professor Rahn takes the approach to the analysis of Western art music developed recently by theorists such as Benjamin Boretz and extends it to address non-Western forms. In the process, he rejects recent ethnomusicological formulations based on mentalism, cultural determinism, and the psychology of perception as potentially fruitful bases for analysing music in general. Instead he stresses the desirability of formulating a theory to deal with all music, rather than merely Western forms, and emphasizes the need to evaluate an analysis (...) and compare it with other interpretations, and demonstrates how this may be done. The theoretical concepts which form the basis of Rahn's approach are discussed and applied: first to individual pieces of non-Western music which have enjoyed a fairly high profile in ethnomusicological literature, and second to repertoires or groups of pieces. The author also discusses the fields of anthropology and psychology, showing how his approach serves as a starting point for studies of perception and the concepts, norms, and values found in specific music cultures. In conclusion, he lists what he considers to be musical universals and takes up the more controversial issues implicit in his discussion. (shrink)

RésuméDans leur livre récent, George Lakoff et Rafael Núñez se livrent à une critique naturaliste soutenue du platonisme traditionnel concernant les entités mathématiques. Ils affirment que des résultats récents en sciences cognitives démontrent qu'il est faux. En particulier, ils estiment que la découverte que la cognition mathématique s'appuie pour une large part sur les métaphores conceptuelles est incompatible avec le platonisme. Nous montrons ici que tel n'est pas le cas. Nous examinons et rejetons également quelques arguments philosophiques que formulent Lakoff (...) et Núñez contre le platonisme. Enfin, nous lions leur hostilité au platonisme à certaines opinions sur les ramifications politiques de celui-ci. Pour conclure, nous faisons valoir que ces opinions sont sans fondements et présentent une image distordue des dimensions politiques du platonisme. (shrink)

The concept of the "linear model of innovation" was introduced by authors belonging to the field of innovation studies in the middle of the 1980s. According to the model, there is a simple sequence of steps going from basic science to innovations - an innovation being defined as an invention that is profitable. In innovation studies, the LMI is held to be assumed in Science the endless frontier , the influential report prepared by Vannevar Bush in 1945. In this paper, (...) it is argued that: the LMI was introduced with critical purposes, as part of the questioning of the conception of science and the proposals for science policies put forward in Sef; at a first level of analysis, the LMI appears as a straw man, defended neither in Sef, nor anywhere else; the LMI is a weapon against the importance attributed to basic science in Sef, and its defense of the financing of basic research by the state; the LMI is a component of the process of commodification of science promoted by neoliberalism. The last section of the paper presents a qualified defense of basic science and basic research. (shrink)

It is well known that reductio ad absurdum arguments raise a number of interesting philosophical questions. What does it mean to assert something with the precise goal of then showing it to be false, i.e. because it leads to absurd conclusions? What kind of absurdity do we obtain? Moreover, in the mathematics education literature number of studies have shown that students find it difficult to truly comprehend the idea of reductio proofs, which indicates the cognitive complexity of these constructions. In (...) this paper, I start by discussing four philosophical issues pertaining to reductio arguments. I then briefly present a dialogical conceptualization of deductive arguments, according to which such arguments are best understood as a dialogue between two participants—Prover and Skeptic. Finally, I argue that many of the philosophical and cognitive difficulties surrounding reductio arguments are dispelled or at least further clarified once one adopts a dialogical perspective. (shrink)

In Beauty and Revolution in Science, James McAllister advances a rationalistic picture of science in which scientific progress is explained in terms of aesthetic evaluations of scientific theories. Here I present a new model of aesthetic evaluations by revising McAllister’s core idea of the aesthetic induction. I point out that the aesthetic induction suffers from anomalies and theoretical inconsistencies and propose a model free from such problems. The new model is based, on the one hand, on McAllister’s original model and (...) on further developments by Theo Kuipers in his “Beauty, a Road to the Truth?”. On the other hand, it is based on empirical findings about affection and emotion, and a naturalistic aesthetic theory. The new model is thus a naturalistic model with a wider explanatory range and much more internal consistency that McAllister’s. (shrink)

A rationalist and realist model of scientific revolutions will be constructed by reference to two categories of criteria of theory-evaluation, denominated indicators of truth and of beauty. Whereas indicators of truth are formulateda priori and thus unite science in the pursuit of verisimilitude, aesthetic criteria are inductive constructs which lag behind the progression of theories in truthlikeness. Revolutions occur when the evaluative divergence between the two categories of criteria proves too wide to be recomposed or overlooked. This model of revolutions (...) depends upon a substantial new treatment of aesthetic criteria in science with which much of the paper will therefore be occupied. (shrink)

Abstract: Particularism is usually understood as a position in moral philosophy. In fact, it is a view about all reasons, not only moral reasons. Here, I show that particularism is a familiar and controversial position in the philosophy of science and mathematics. I then argue for particularism with respect to scientific and mathematical reasoning. This has a bearing on moral particularism, because if particularism about moral reasons is true, then particularism must be true with respect to reasons of any sort, (...) including mathematical and scientific reasons. (shrink)

Abstract: Philosophy is often conceived in the Anglophone world today as a subject that focuses on questions in particular “core areas,” pre-eminently epistemology and metaphysics. This article argues that the contemporary conception is a new version of the scholastic “self-indulgence for the few” of which Dewey complained nearly a century ago. Philosophical questions evolve, and a first task for philosophers is to address issues that arise for their own times. The article suggests that a renewal of philosophy today should turn (...) the contemporary conception inside out, attending to and developing further the valuable work being done on the supposed “periphery” and attending to the “core areas” only insofar as is necessary to address genuinely significant questions. (shrink)

It is shown how mathematical discoveries such as De Moivre's theorem can result from patterns among the symbols of existing formulae and that significant mathematical analogies are often syntactic rather than semantic, for the good reason that mathematical proofs are always syntactic, in the sense of employing only formal operations on symbols. This radically extends the Lakatos approach to mathematical discovery by allowing proof-directed concepts to generate new theorems from scratch instead of just as evolutionary modifications to some existing theorem. (...) The emphasis upon syntax and proof permits discoveries to go beyond the limits of any prevailing semantics. It also helps explain the shortcomings of inductive AI systems of mathematics learning such as Lenat's AM, in which proof has played no part in the formation of concepts and conjectures. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

I offer the first sustained defence of the claim that ugliness is constituted by the disposition to disgust. I advance three main lines of argument in support of this thesis. First, ugliness and disgustingness tend to lie in the same kinds of things and properties (the argument from ostensions). Second, the thesis is better placed than all existing accounts to accommodate the following facts: ugliness is narrowly and systematically distributed in a heterogenous set of things, ugliness is sometimes enjoyed, and (...) ugliness sits opposed to beauty across a neutral midpoint (the argument from proposed intensions). And third, ugliness and disgustingness function in the same way in both giving rise to representations of contamination (the argument from the law of contagion). In making these arguments, I show why prominent objections to the thesis do not succeed, cast light on some of the artistic functions of ugliness, and, in addition, demonstrate why a dispositional account of disgustingness is correct, and present a novel problem for warrant-based accounts of disgustingness (the ‘too many reasons’ problem). (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

An interview with Charles McCarty by Piotr Urbańczyk concerning mathematical explanation.

Many of the methods commonly used to research mathematical practice, such as analyses of historical episodes or individual cases, are particularly well-suited to generating causal hypotheses, but less well-suited to testing causal hypotheses. In this paper we reflect on the contribution that the so-called hypothetico-deductive method, with a particular focus on experimental studies, can make to our understanding of mathematical practice. By way of illustration, we report an experiment that investigated how mathematicians attribute aesthetic properties to mathematical proofs. We demonstrate (...) that perceptions of the aesthetic properties of mathematical proofs are, in some cases at least, subject to social influence. Specifically, we show that mathematicians’ aesthetic judgements tend to conform to the judgements made by others. Pedagogical implications are discussed. (shrink)