"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, (...) it is a valuable addition to the literature." --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel. (shrink)

Carrie Jenkins presents a new account of arithmetical knowledge, which manages to respect three key intuitions: a priorism, mind-independence realism, and empiricism. Jenkins argues that arithmetic can be known through the examination of empirically grounded concepts, non-accidentally accurate representations of the mind-independent world.

In a recent book C.S. Jenkins proposes a theory of arithmetical knowledge which reconciles realism about arithmetic with the a priori character of our knowledge of it. Her basic idea is that arithmetical concepts are grounded in experience and it is through experience that they are connected to reality. I argue that the account fails because Jenkins’s central concept, the concept for grounding, is inadequate. Grounding as she defines it does not suffice for realism, and by revising the definition we (...) would abandon the idea that grounding is experiential. Her account falls prey to a problem of which Locke, whom she regards as a source of inspiration was aware and which he avoided by choosing anti-realism about mathematics. (shrink)

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

C. S. Jenkins has recently proposed an account of arithmetical knowledge designed to be realist, empiricist, and apriorist: realist in that what’s the case in arithmetic doesn’t rely on us being any particular way; empiricist in that arithmetic knowledge crucially depends on the senses; and apriorist in that it accommodates the time-honored judgment that there is something special about arithmetical knowledge, something we have historically labeled with ‘a priori’. I’m here concerned with the prospects for extending Jenkins’s account beyond arithmetic—in (...) particular, to set theory. After setting out the central elements of Jenkins’s account and entertaining challenges to extending it to set theory, I conclude that a satisfactory such extension is unlikely. (shrink)

Whether aristotle wrote a work on mathematics as he did on physics is not known, and sources differ. this book attempts to present the main features of aristotle's philosophy of mathematics. methodologically, the presentation is based on aristotle's "posterior analytics", which discusses the nature of scientific knowledge and procedure. concerning aristotle's views on mathematics in particular, they are presented with the support of numerous references to his extant works. his criticism of his predecessors is added at the end.

Carrie Jenkins (2005, 2008) has developed a theory of the a priori that she claims solves the problem of how justification regarding our concepts can give us justification regarding the world. She claims that concepts themselves can be justified, and that beliefs formed by examining such concepts can be justified a priori. I object that we can have a priori justified beliefs with unjustified concepts if those beliefs have no existential import. I then argue that only beliefs without existential import (...) can be justified a priori on the widely held conceptual approach. This limits the scope of the a priori and undermines arguments for essentialism. (shrink)

The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining fundamentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements (...) of the arithmetical structure of the independent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists. Preliminaries Justifying and grounding concepts Cameras and filters An epistemology for arithmetic Concluding remarks. (shrink)

Mathematical concepts are explications, in Carnap's sense, of vague or otherwise non-clear concepts; mathematical theories have an empirical and a deductive component. From this perspective, I argue that the empirical component of a mathematical theory may be tested together with the fruitfulness of its explications. Using these ideas, I furthermore give an argument for mathematical realism, based on the indispensability argument combined with a weakened version of confirmational holism.