This suggests that those of us building artificial reasoning systems should also build what I have called extended theorem provers that evolve and compare their methods of reasoning.".

Although the case for the judgment-dependence of many other domains has been pored over, surprisingly little attention has been paid to mathematics and logic. This paper presents two dilemmas for a judgment-dependent account of these areas. First, the extensionality-substantiality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the substantiality condition (roughly: non-vacuous specification). Second, the extensionality-extremality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot (...) meet the extremality condition (roughly: absence of independent explanation). The paper concludes with a moral concerning the judgment-dependence of a posteriori areas of discourse that emerges from consideration of these two a priori cases. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...) of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

This essay will inform the reader about Kant’s views on mathematics and aesthetics. It will also critically discuss these views and offer further suggestions and personal opinions from the author’s side. Kant (1724-1804) was not a mathematician, nor was he an artist. One must even admit that he had little understanding of higher mathematics and that he did not have much of a theory that could be called a “philosophy of mathematics” either. But he formulated a very influential aesthetic theory (...) that is contained in his “Critique of the Power of Aesthetic Judgment” (1790), and his views on mathematics, especially those that compare it with philosophy, are distinctive and worthy of our attention. Hence, combining mathematics and aesthetics, asking whether mathematics can be beautiful and why and how it can or cannot be so called, according to Kant’s theory, will be particularly interesting. This essay has three parts: it discusses mathematics, aesthetics, and the aesthetics of mathematics, primarily in Kantian perspectives but also in ways that critically evaluate those perspectives. (shrink)

Projections of future climate change cannot rely on a single model. It has become common to rely on multiple simulations generated by Multi-Model Ensembles (MMEs), especially to quantify the uncertainty about what would constitute an adequate model structure. But, as Parker points out (2018), one of the remaining philosophically interesting questions is: “How can ensemble studies be designed so that they probe uncertainty in desired ways?” This paper offers two interpretations of what General Circulation Models (GCMs) are and how MMEs (...) made of GCMs should be designed. In the first interpretation, models are combinations of modules and parameterisations; an MME is obtained by “plugging and playing” with interchangeable modules and parameterisations. In the second interpretation, models are aggregations of expert judgements that result from a history of epistemic decisions made by scientists about the choice of representations; an MME is a sampling of expert judgements from modelling teams. We argue that, while the two interpretations involve distinct domains from philosophy of science and social epistemology, they both could be used in a complementary manner in order to explore ways of designing better MMEs. (shrink)

In this paper, I elaborate the difference between the concept of infinity and the idea of infinity through Cantor's diagonalization proof to illuminate a passage in Kant's Critique of Judgment. Taking Lyotard's analysis of aesthetic judgments as the basis for my own project, I focus on the idea of a collapse of temporality required for objective cognition and its concomitant preclusion of cognitive subjectivity. Finally, after borrowing language from Hegel's Phenomenology of Spirit, I show that even though there is (...) not a cognitive subject in judgments of the sublime, there is nevertheless a subjectivity that consciousness is tasked with, even if it never fulfills this task when it is confronted with a mathematically sublime object, and it is an subjectivity that would transcend time in order to know the object in-itself. (shrink)

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)

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the similarities between their endeavours are not often emphasised. This book provides that emphasis. In particular, it focuses on two types of argumentative strategies that have been deployed in both areas. The first—debunking arguments—aims to put pressure on realism by emphasising (...) the seeming redundancy of mathematical or moral entities when it comes to explaining our judgements. In the moral realm this challenge has been made by Gilbert Harman and Sharon Street; in the mathematical realm it is known as the 'Benacerraf-Field' problem. The second strategy—indispensability arguments—aims to provide support for realism by emphasising the seeming intellectual indispensability of mathematical or moral entities, for example when constructing good explanatory theories. This strategy is associated with Quine and Putnam in mathematics and with Nicholas Sturgeon and David Enoch in ethics. Explanation in Ethics and Mathematics addresses these issues through an explicitly comparative methodology which we call the 'companions in illumination' approach. By considering how argumentative strategies in the philosophy of mathematics might apply to the philosophy of ethics, and vice versa, the papers collected here break new ground in both areas. For good measure, two further companions for illumination are also broached: the philosophy of chance and the philosophy of religion. Collectively, these comparisons light up new questions, arguments, and problems of interest to scholars interested in realism in any area. (shrink)

One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...) judgement stroke in a way that renders it readily comprehensible why Frege insisted that this symbol was an essential part of his logical system. The key point here is that Frege viewed logic as the study of inference relations amongst acts of judgement , rather than – as in the typical contemporary view – of consequence relations amongst certain objects (propositions or well-formed formulae). The paper also explains why Frege's use of the judgement stroke is not in conflict with his avowed anti-psychologism, and why Wittgenstein's criticism of the judgement stroke as 'logically quite meaningless' is unfounded. The key point here is that while the judgement stroke has no content , its use in logic and mathematics is subject to a very stringent norm of assertion. (shrink)

Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics but is otherwise self-contained, collecting together the key results on the subject, and formalising within a unified framework the main contemporary approaches and assumptions. The author has concentrated on giving clear mathematical formulations, analyses, justifications and consequences (...) of the main theories about uncertain reasoning, so the book can serve as a textbook for beginners or as a starting point for further basic research into the subject. It will be welcomed by graduate students and research workers in logic, philosophy, and computer science as a textbook for beginners, a starting point for further basic research into the subject, and not least, an account of how mathematics and artificial intelligence can complement and enrich each other. (shrink)

Van Fraassen and others have urged that judgements of explanations are relative to why-questions; explanations should be considered good in so far as they effectively answer why-questions. In this paper, I evaluate van Fraassen's theory with respect to mathematical explanation. I show that his theory cannot recognize any proofs as explanatory. I also present an example that contradicts the main thesis of the why-question approach—an explanation that appears explanatory despite its inability to answer the why-question that motivated it. This (...) example shows how explanatory judgements can be context-dependent without being why-question-relative. (shrink)

Mathematicians routinely pass judgements on mathematical proofs. A proof might be elegant, cumbersome, beautiful, or awkward. Perhaps the highest praise is that a proof is right, that is, that the proof fits the theorem in an optimal way. It is also common to judge that one proof fits better than another, or that a proof does not fit a theorem at all. This paper attempts to clarify the notion of mathematical fit. We suggest six criteria that distinguish proofs (...) as being more or less fitting, and provide examples from several different mathematical fields. (shrink)

Although Frege was eager to theoretically eliminate the judging subject from logic and mathematics, his system is permeated with notions that refer to subjective mental processes, such as grasping a thought, assuming, judging, and value. His semantic system depends on such notions, but since Frege in general shuns explaining them, his central conception of judgment and truth remains dark. In this paper it is proposed to fill out the gaps in Frege's explanations with the help of Husserl's phenomenological descriptions, (...) especially those of the sixth Logical Investigation. This leads to a comparison between Frege's notion of judgment and Husserl's "Evidenz", and finally also to a phenomenological classification of Frege's remarks on truth. (shrink)

Mathematicians often conduct aesthetic judgements to evaluate mathematical objects such as equations or proofs. But is there a consensus about which mathematical objects are beautiful? We used a comparative judgement technique to measure aesthetic intuitions among British mathematicians, Chinese mathematicians, and British mathematics undergraduates, with the aim of assessing whether judgements of mathematical beauty are influenced by cultural differences or levels of expertise. We found aesthetic agreement both within and across these demographic groups. We conclude that judgements (...) of mathematical beauty are not strongly influenced by cultural difference, levels of expertise, and types of mathematical objects. Our findings contrast with recent studies that found mathematicians often disagree with each other about mathematical beauty. (shrink)

This essay offers a critical appraisal of some claims recently advanced by Crispin Wright and others in support of a response-dispositional (RD) approach to issues in epistemology, ethics, political theory, and philosophy of the social sciences. These claims take a lead from Plato's discussion of the status of moral value-judgements in the Euthyphro and from Locke's account of 'secondary qualities' such as colour, texture and taste. The idea is that a suitably specified description of best opinion (or optimal response) for (...) some given area of discourse will provide all that is needed in the way of objectivity while avoiding the problems raised by anti-realists like Michael Dummett with respect to the existence of truth-values that transcend our utmost powers of recognition or verification. I focus on three main areas - mathematics, morals and constitutional law - and argue that an RD approach falls short in certain crucial respects. That is to say, it works out either as a trivial (tautological) claim to the effect that 'best judgement' cannot - per definiens - diverge from truth under conditions of idealized epistemic warrant, or as an approach that leans strongly towards the anti-realist side of the argument. Thus the promised 'third way' - here as in other present-day contexts of debate - most often carries no substantive implications for our thinking about truth, moral virtue, or justice. Elsewhere, especially when applied to juridical matters, it lays chief stress on the truth-constitutive role of human judgements or responses, and hence the impossibility of appealing to standards of natural justice beyond some existing highest authority or source of constitutional warrant. This point is made with specific reference to recent events surrounding the 'election' (or leverage-into-office) of President George W. Bush. In such cases, I conclude, an RD approach would tend strongly to endorse the view that 'best opinion' - as enshrined, say, in the deliverance of US Supreme Court justices - is the furthest we can get towards an adequate assessment of the moral and political issues. Key Words: anti-realism • ethics • judgement • mathematics • political theory • realism • response-dependence. (shrink)

Mathematicians sometimes judge a mathematical proof to be beautiful and in doing so seem to be making a judgement of the same kind as aesthetic judgements of works of visual art, music or literature. Mathematical proofs are also appraised for explanatoriness: some proofs merely establish their conclusions as true, while others also show why their conclusions are true. This paper will focus on the prima facie plausible assumption that, for mathematical proofs, beauty and explanatoriness tend to go (...) together. To make headway we need to have some grip on what it is for a proof to be beautiful, and for that we need some account of judgements of beauty in general. That is the concern of the first section. The second section faces the problem that it is far from obvious how abstract entities, such as mathematical proofs, can be beautiful, strictly and literally speaking. Reasons are given for the view that they can be. The third section introduces the distinction between proofs which explain their conclusions and proofs which do not. Finally, the question whether, for mathematical proofs, the beautiful and the explanatory tend to coincide is addressed. It is argued that we have reason to doubt that explanatory proofs tend to be beautiful, and insufficient reason to believe or disbelieve that beautiful proofs tend to be explanatory. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...) paper is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

Mathematics plays an inordinate role in the work of many of famous Western philosophers, from the time of Plato, through Husserl and Wittgenstein, and even to the present. Why? This paper points to the experience of learning or making mathematics, with an emphasis on proof. It distinguishes two sources of the perennial impact of mathematics on philosophy. They are classified as Ancient and Enlightenment. Plato is emblematic of the former, and Kant of the latter. The Ancient fascination arises from the (...) sense that mathematics explores something ‘out there’. This is illustrated by recent discussions by distinguished contemporary mathematicians. The Enlightenment strand often uses Kant's argot: ‘absolute necessity’, ‘apodictic certainty’ and ‘a priori’ judgement or knowledge. The experience of being compelled by proof, the sense that something must be true, that a result is certain, generates the philosophy. It also creates the illusion that mathematics is certain. Kant's leading question, ‘How is pure mathematics possible?’, is easily misunderstood because the modern distinction between pure and applied is an artefact of the 19th century. As Russell put it, the issue is to explain ‘the apparent power of anticipating facts about things of which we have no experience’. More generally the question is, how is it that pure mathematics is so rich in applications? Some six types of application are distinguished, each of which engenders its own philosophical problems which are descendants of the Enlightenment, and which differ from those descended from the Ancient strand. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite (...) belief in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

It has been observed that whereas painters and musicians are likely to be embarrassed by references to the beauty in their work, mathematicians instead like to engage in discussions of the beauty of mathematics. Professional artists are more likely to stress the technical rather than the aesthetic aspects of their work. Mathematicians, instead, are fond of passing judgment on the beauty of their favored pieces of mathematics. Even a cursory observation shows that the characteristics of mathematical beauty are (...) at variance with those of artistic beauty. For example, courses in art appreciation are fairly common; it is however unthinkable to find any mathematical beauty appreciation courses taught anywhere. The purpose of the present paper is to try to uncover the sense of the term beauty as it is currently used by mathematicians. (shrink)

A diagnostic judgment of a teacher can be seen as an inference from manifest observable evidence on a student’s behavior to his or her latent traits. This can be described by a Bayesian model of in-ference: The teacher starts from a set of assumptions on the student (hypotheses), with subjective probabilities for each hypothesis (priors). Subsequently, he or she uses observed evidence (stu-dents’ responses to tasks) and knowledge on conditional probabilities of this evidence (likelihoods) to revise these assumptions. Many (...) systematic deviations from this model (biases, e.g. base-rate neglect, inverse fallacy) are reported in literature on Bayesian reasoning. In a teacher’s situation the information (hypotheses, priors, likelihoods) is usually not explicitly represented numerically (as in most research on Bayesian reasoning), but only by qualitative esti-mations in the mind of the teacher. In our study, we ask to which extent individuals (approximately) apply a rational Bayesian strategy or resort on other biased strategies of processing information for their diagnostic judgments. We explicitly pose this question with respect to non-numerical settings. To investigate this question, we developed a scenario that visually displays all relevant information (hypotheses, priors, likelihoods) in a graphically displayed hypothesis space (called “hypothegon”) – without recurring to numerical representations or mathematical procedures. 42 pre-service teach-ers were asked to judge the plausibility of different misconceptions of six students based on their responses to decimal comparison tasks (e.g. 3.39 > 3.4). Applying a Bayesian classification proce-dure, we identified three updating strategies: A Bayesian update strategy (BUS, processing all probabilities), a combined evidence strategy (CES, ignoring the prior probabilities but including all likelihoods), and a single evidence strategy (SES, only using the likelihood of the most probable hypothesis). In study 1, an instruction on the relevance of using all probabilities (priors and likelihoods) only weakly increased the processing of more information. In study 2, we found strong evidence that a visual explication of the prior-likelihood interaction led to an increase of processing the interaction of all relevant information. These results show that the phenomena found in general research on Bayesian reasoning in numerical settings extend to diagnostic judgments in non-numerical settings. (shrink)

The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The contributions (...) concerned with Wittgenstein's investigations into the philosophy of logic and mathematics pursue issues relating to logical necessity, the undeniability of the law of the excluded middle, and the source of self-evidence, often characterized in the literature as the "rule-following considerations". Additionally, they examine Wittgenstein's attitudes towards the very idea of set-theory as a possible foundation for arithmetic. The volume also includes a number of contributions on specific issues concerning Wittgenstein's views on moral and religious judgements. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

Papers presented at a workshop held during 17th-18th, January, 2008 at Technische Universit'at Berlin.

According to Hartry Field, the mathematical Platonist is hostage of a dilemma. Faced with the request of explaining the mathematicians’ reliability, one option could be to maintain that the mathematicians are reliably responsive to a realm populated with mathematical entities; alternatively, one might try to contend that the mathematical realm conceptually depends on, and for this reason is reliably reflected by, the mathematicians’ (best) opinions; however, both alternatives are actually unavailable to the Platonist: the first one because (...) it is in tension with the idea that mathematical entities are causally ineffective, the second one because it is in tension with the suggestion that mathematical entities are mind-independent. John Divers and Alexander Miller have tried to reject the conclusion of this argument—according to which Platonism is inconsistent with a satisfactory epistemology for arithmetic—by redescribing the second horn of the dilemma in light of Crispin Wright’s notion of judgment-dependent truth; in particular they have contended that once arithmetical truth is conceived in this way the Platonist can have a substantial epistemology which does not conflict with the idea that the mathematical entities exist mind-independently. In this paper I analyze Wright’s notion of judgment-dependent truth, and reject Divers and Miller’s argument for the conclusion that arithmetical truth can be so characterized. In the final part, I address the worry that my argument generalizes very quickly to the conclusion that no area of discourse could be characterized as judgment-dependent. As against this conclusion, I indicate under what conditions—notably not satisfied in Divers and Miller’s case, but possibly satisfied in others—a discourse’s judgment-dependency can be successfully vindicated. (shrink)

This paper presents an elucidation of Kant’s notion of judgment, which clearly is a central challenge to the understanding of the Critic of Pure Reason, as well as of the Transcendental Idealism. In contrast to contemporary interpretation, but taking it as starting point, the following theses will be endorsed here: i) the synthesis of judgment expresses a conceptual relation understood as subordination in traditional Aristotelian logical scheme; ii) the logical form of judgment does not comprise intuitions ; (...) iii) the relation to intuition is not a judgment concern; iv) the response to the question about the ‘x’ that grounds the conceptual relation in judgments must be sought in transcendental aspects: 1) on construction in pure form of intuition, 2) in experience and 3) in the requirements to experience, respectively to mathematical, empirical, and philosophical judgments. The overall purpose is to build up an understanding of judgment that supports a latter assessment of Kant’s theoretical philosophy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Kant’s Worldview: How Judgment Shapes Human Comprehension by Rudolf A. MakkreelRiccardo PozzoRudolf A. Makkreel. Kant’s Worldview: How Judgment Shapes Human Comprehension. Evanston, IL: Northwestern University Press, 2021. Pp. 284. Hardback, $99.95. Paperback, $34.95.This is the last book Rudolf Makkreel published before passing away in October 2021. No wonder, then, that it makes some strong points, one of which is truly fundamental: the time has come to (...) recognize the expediency of reading Kant along with Dilthey for a better understanding of the workings of human comprehension. Makkreel maintains that Kant endorsed “a more inclusive idea of philosophizing according to a world-concept (Weltbegriff ),” for Kant had realized that, because reason cannot simply extrapolate from the ways in which the understanding proceeds to a determinate lawful order, it is necessary to tame the speculative projections of reason by our own powers of orientation and judgment. Hence, Makreel concludes that “the overall worldview we can actually arrive at will need [End Page 511] to include supplementary modes of organizational order that are not determinant but reflective” (3).Throughout the book, Makkreel is pleading for Kant scholars to acknowledge the heuristic value of a set of concepts whose philosophical effectiveness has been to date underestimated. Readers will find many convincing analyses of the lexical cloud around judgment: determining judgment (bestimmende Urteilskraft) against reflecting judgment (reflektierende Urteilskraft) in its connection with the Weberian distinction between explaining (Erklären), understanding (Verstehen), and comprehending (Begreifen). What is at stake in contrasting the last two, understanding and comprehension, insists Makkreel, is the scope of what humans can claim to know, for while it is important to base knowledge claims on the empirical understanding, we must remain open to what could lie beyond the horizon of sense. Hence, critical philosophy is there to supplement “the limits of actual geographical” surveys of the earth with the “boundaries of all possible descriptions of the earth” (KrV A 759/B 787), whereby limits (Schranken) are negative empirical markers that do not take into account what could be beyond them, while boundaries (Grenzen) are positive markers that “presuppose a space existing outside a certain definite space and enclosing it” (Prolegomena, AA 4:352). Makkreel suggests we can infer that whereas earthly limits are imposed from without, worldly boundaries are in some sense self-imposed. Earthly limits would act as external negative restraints on the understanding, while worldly bounds work as internal positive constraints on reason as it attempts to comprehend both what we can and cannot know. Comprehension, argues Makkreel, can be “shown to be a mode of reason whose bounds must be judgmentally self-binding” (14).Let me take a step back. Makkreel intends to show that the task of understanding in its relation with comprehension is what we need to provide an overall characterization of Kant’s philosophical project. This is a bold stance, given Kant’s argument that the faculty of understanding (Verstand) proceeds discursively, namely one step at a time, which makes the project of a more holistic comprehension (Begreifen) highly problematic. However, Makkreel notes that if it is true that “concepts of reason serve for comprehension” (KrV A 311/B 367), it is also true they are purely inferential and at times sophistical (13). To help define what Kant ends up meaning by ‘comprehension,’ Makkreel provides exhaustive references to important discussions about this notion in Kant’s Lectures on Logic and the Critique of Judgment (40–46).Here comes to the foreground the notion of worldview (Weltanschauung) that stands alone in the title of his book. It is in the context of his discussion of the mathematical sublime that Kant broached the idea of an overall “worldview [Weltanschauung]” (KU AA 5:255), which nineteenth- and twentieth-century philosophers (e.g. Hegel, Dilthey, and Jaspers) took to denote a common or generic outlook on life. For Makkreel, though, ‘worldview’ designates a comprehensive way of characterizing Kant’s distinctive philosophical project (13).As I said above, this is a bold stance. While the first part of the book focuses on philosophizing according to a world-concept, the second part turns to our practical concerns as we act in the world. In... (shrink)

This paper discusses how a subject's judgments about his actions, uncertainties and values may be improved by seeking out and reconciling inconsistences between related judgments. Decision theory tells us that there are relationships between coherent judgments, such as between a prior, likelihood and posterior, but does not tell us how a subject is to reconcile his own, possibly incoherent, views. The role of coherence in improving judgments is not clear. This paper discusses whether there is a unique, best reconciliation of (...) incoherent judgments and how such reconciliation could improve decision-making. The basic principles of the coherent view are explained and a language developed in which the problem of reconciliation can be discussed. The practical importance of the problem is emphasized, illustrated by several examples and possible solutions are explored. (shrink)

Although mathematicians often use it, mathematical beauty is a philosophically challenging concept. How can abstract objects be evaluated as beautiful? Is this related to their visualisations? Using an example from graph theory, this paper argues that, in making aesthetic judgements, mathematicians may be responding to a combination of perceptual properties of visual representations and mathematical properties of abstract structures; the latter seem to carry greater weight. Mathematical beauty thus primarily involves mathematicians’ sensitivity to aesthetics of the abstract.

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)

Kant argues in the Critique of Judgment (CJ) that there are two distinct modes of the sublime. This essay will concentrate on the mathematical mode. It is helpful to begin an examination of the mathematical sublime by elucidating the difference between logical estimation and aesthetic estimation; it is aesthetic estimation under strain, so Kant argues, that instigates the moment of the sublime. Logical estimation forms the cognitive basis of scientific calculations. He argues that scientific enquiry only requires (...) an understanding of the logical relationship of numbers and so does not require an aesthetic experience of those numbers. (shrink)

This chapter contains sections titled: The scaffolding of facts The role of our nature Forms of life Agreement: consensus of human beings and their actions.

While the philosophical literature has extensively studied how decisions relate to arguments, reasons and justifications, decision theory almost entirely ignores the latter notions. In this article, we elaborate a formal framework to introduce in decision theory the stance that decision-makers take towards arguments and counter-arguments. We start from a decision situation, where an individual requests decision support. We formally define, as a commendable basis for decision-aid, this individual’s deliberated judgment, a notion inspired by Rawls’ contributions to the philosophical literature, (...) and embodying the requirement that the decision-maker should carefully examine arguments and counter-arguments. We explain how models of deliberated judgment can be validated empirically. We then identify conditions upon which the existence of a valid model can be taken for granted, and analyze how these conditions can be relaxed. We then explore the significance of our framework for the practice of decision analysis. Our framework opens avenues for future research involving both philosophy and decision theory, as well as empirical implementations. (shrink)

We analyse the incentives of individuals to misrepresent their truthful judgments when engaged in collective decision-making. Our focus is on scenarios in which individuals reason about the incentives of others before choosing which judgments to report themselves. To this end, we introduce a formal model of strategic behaviour in logic-based judgment aggregation that accounts for such higher-level reasoning as well as the fact that individuals may only have partial information about the truthful judgments and preferences of their peers. We (...) find that every aggregation rule must belong to exactly one of three possible categories: it is either (i) immune to strategic manipulation for every level of reasoning, or (ii) manipulable for every level of reasoning, or (iii) immune to manipulation only for everykth level of reasoning, for some natural number kgreater than 1. (shrink)

Zalamea’s book is as original as it is belated. It is indeed surprising, if we give it a moment’s thought, just how greatly behind schedule philosophical reflection on contemporary mathematics lags, especially considering the momentous changes that took place in the second half of the twentieth century. Zalamea compares this situation with that of the philosophy of physics: he mentions D’Espagnat’s work on quantum mechanics, but we could add several others who, in the last few decades, have elaborated an extremely (...) timely philosophy of contemporary physics (see for example Bitbol 2000; Bitbol et al. 2009). As was the case in biology, philosophy – since Kant’s crucial observations in the Critique of Judgment, at least – has often “run ahead” of life sciences, exploring and opening up a space for reflections that are not derived from or integrated with its contemporary scientific practice. Some of these reflections are still very much auspicious today. And indeed, some philosophers today are saying something truly new about biology... (shrink)

According to Alberto Coffa in The Semantic Tradition from Kant to Carnap, Kant’s account of mathematical judgment is built on a ‘semantic swamp’. Kant’s primitive semantics led him to appeal to pure intuition in an attempt to explain mathematical necessity. The appeal to pure intuition was, on Coffa’s line, a blunder from which philosophy was forced to spend the next 150 years trying to recover. This dismal assessment of Kant’s contributions to the evolution of accounts of (...) class='Hi'>mathematical necessity is fundamentally backward-looking. Coffa’s account of how semantic theories of the a priori evolved out of Kant’s doctrine of pure intuition rightly emphasizes those developments, both scientific and philosophical, that collectively served to undermine the plausibility of Kant’s account. What is missing from Coffa’s story, apart from any recognition of Kant’s semantic innovations, is an attempt to appreciate Kant’s philosophical context and the distinctive perspective from which Kant viewed issues in the philosophy of mathematics. When Kant’s perspective and context are brought out, he can not only be seen to have made a genuinely progressive contribution to the development of accounts of mathematical necessity, but also to be relevant to contemporary issues in the philosophy of mathematics in underappreciated ways. (shrink)

This paper explores the nature of mathematical beauty from a Kantian perspective. According to Kant’s Critique of the Power of Judgment, satisfaction in beauty is subjective and non-conceptual, yet a proof can be beautiful even though it relies on concepts. I propose that, much like art creation, the formulation and study of a complex demonstration involves multiple and progressive interactions between the freely original imagination and taste. Such a proof is artistic insofar as it is guided by beauty, (...) namely, the mere feeling about the imagination’s free lawfulness. The beauty in a proof’s process and the perfection in its completion together facilitate a transition from subjective to objective purposiveness, a transition that Kant himself does not address in the third Critique. (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)

It is commonly thought that the distinction between subjectively valid judgements of perception and objectively valid judgements of experience in the Prolegomena is not consistent with the account of judgement Kant offers in the B Deduction, according to which a judgement is ‘nothing other than the way to bring given cognitions to the objective unity of apperception’. Contrary to this view, I argue that the Prolegomena distinction maps closely onto that drawn between the mathematical and dynamical principles in the (...) System of Principles: Kant’s account of the Prolegomena distinction strongly suggests that it is the Analogies of Experience that make it possible for judgements of perception to give rise to judgements of experience. This means that judgements of perception are objectively valid with regard to the quantity and quality of objects, and subjectively valid with regard to the relation they posit between objects. If that is the case, then the notion of a judgement of perception is consistent with the B Deduction account of judgement. (shrink)

The concept of infinity has a long and troubled history. Thus it is a promising concept with which to explore rejection, disagreement, controversy and acceptance in mathematical practice. This paper briefly considers four cases from the history of infinity, drawing on social constructionism as the background social theory. The unit of analysis of social constructionism is conversation. This is the social mechanism whereby new mathematical claims are proposed, scrutinised and critiqued. Minimally, conversation is based on the two roles (...) of proponent and critic. The proponent puts forward a proposal, which is reacted to and evaluated by those in the role of critic. There is a continuum of contexts in which such conversations take place from inner conversations the mathematician has within themselves, and casual face-to face interactions between mathematicians at the chalkboard, all the way to the formal responses of referees and editors to submitted journal papers. Such responses vary from unconditional acceptance, partial acceptance through to outright rejection. There may be disagreements between proponents and critics, among those in the joint role of critic, and broader, community-wide disagreements and controversies, according to specific mathematical proposal and the critical judgements of it. (shrink)

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 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)

One of the lessons we ought to have learned from the history of philosophy and science is that it is rarely, if ever, useful in dealing with challenges from a new movement or in distinguishing one’s position from a different school of thought, to “draw a line in the sand” and claim that everything on this side is legitimate and that everything on that side is not, and can therefore be dismissed without serious consideration or discussion. On some analyses, Plato (...) sought to dismiss all of natural science in this way, by claiming that since it dealt with change it can yield at best belief, not knowledge. The logical positivists, building on the work of Hume, tried to use the analytic/synthetic distinction and various forms of verificationism to dismiss as nonsense everything but science, logic, mathematics, and the philosophy of science. Neither of these moves succeeded in banishing what was placed on that side of the line to intellectual never-never land. More recently, critics of creationism have dismissed the views they are attacking as “not science at all” and therefore of neither concern nor interest to the scientific communities. These maneuvers tend to be unsuccessful not just because they rely on distinctions which cannot, in the end, be sustained—or can be drawn and maintained only after all the hard work which they are frequently claimed to make unnecessary has been done—but because they refuse to deal with the specific evidence and arguments advanced by the challengers, bad as those might be. (shrink)

The Critique of the Quantum Power of Judgement analyzes the a priori principles which underlie the empirical knowledge provided by quantum theory. In contrast to other transcendental approaches to quantum physics, none of the transcendental principles established by Kant is modified in order to cope with the new epistemological situation that arises with the asumption of the quantum postulate. Rather, by considering Bohr's views, it is argued that classical concepts provide the mathematical formalism of quantum theory with physical reference (...) through symbolic analogies in the strict Kantian sense. The main result of the investigation is the determination of the highest principle under which quantum objects are subsumed. This principle states that the conditions of the possibility of the systematic unity of contextual experience are at the same time the conditions of the possibility of quantum objects. Upon this principle rests the possibility of any a priori synthetic knowledge of quantum objects. Therefore, the Critique of the Quantum Power of Judgement yields the prolegomena to any future quantum metaphysics. (shrink)

With the publication of Locke’s early manuscripts on toleration and the drafts for the Essay, it is possible to understand to what extent Locke’s ideas on religious toleration have developed. Although the important arguments for toleration can already be found in these early texts, Locke was confronted with a problem in his defence of toleration that he needed to solve. If faith, as a form of judgement, is involuntary, as Locke claims, how can one be held accountable for the faith (...) one has? In answer to this question reason comes to play a more prominent role in Locke’s notion of faith and in his defence of religious toleration, and in his philosophy in general. This notion of reason is not the reason we use for mathematical demonstrations. It is rather reason as we use it in discussion, and is thus fallible. It is precisely this kind of reason that played a central role in the Remonstrant religion to which Locke was closely connected at the time he developed a new argument for religious toleration when he was in the Netherlands. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...) of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)