A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.

This paper gives a contextualized reading of Kant's theory of real definitions in geometry. Though Leibniz, Wolff, Lambert and Kant all believe that definitions in geometry must be ‘real’, they disagree about what a real definition is. These disagreements are made vivid by looking at two of Euclid's definitions. I argue that Kant accepted Euclid's definition of circle and rejected his definition of parallel lines because his conception of mathematics placed uniquely stringent requirements on real definitions in geometry. Leibniz, Wolff (...) and Lambert thus accept definitions that Kant rejects because they assign weaker roles to real definitions. (shrink)

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...) propose a general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of pure mathematics. This insight makes it possible to throw new light on the evolution of Hilbert’s foundational ideas, including his early contributions to the foundations of geometry and the real number system. The context of Dedekind-style logicism makes it possible to offer a new (...) analysis of the emergence of Hilbert’s famous ideas on mathematical existence, now seen as a revision of basic principles of the “naive logic” of sets. At the same time, careful scrutiny of his published and unpublished work around the turn of the century uncovers deep differences between his ideas about consistency proofs before and after 1904. Along the way, we cover topics such as the role of sets and of the dichotomic conception of set theory in Hilbert’s early axiomatics, and offer detailed analyses of Hilbert’s paradox and of his completeness axiom (Vollständigkeitsaxiom). (shrink)

In this new book, Michael Friedman argues that Kant's continuing efforts to find a metaphysics that could provide a foundation for the sciences is of the utmost ...

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

This is the first volume of the first ever comprehensive edition of the works of Immanuel Kant in English translation. The eleven essays in this volume constitute Kant's theoretical, pre-critical philosophical writings from 1755 to 1770. Several of these pieces have never been translated into English before; others have long been unavailable in English. We can trace in these works the development of Kant's thought to the eventual emergence in 1770 of the two chief tenets of his mature philosophy: the (...) subjectivity of space and time, and the phenomena-noumena distinction. The volume has been furnished with substantial editorial apparatus, including a general introduction to the main themes of Kant's early thought, introduction to the individual works and re;sume;s of their contents, linguistic and factual notes, bibliographies, a glossary of key terms, and biographical-bibliographical sketches of persons mentioned by Kant. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

This book brings together papers of the conference on 'Space, Geometry and the Imagination from Antiquity to the Modern Age' held in Berlin, Germany, 27-29 August 2012. Focusing on the interconnections between the history of geometry and the philosophy of space in the pre-Modern and Early Modern Age, the essays in this volume are particularly directed toward elucidating the complex epistemological revolution that transformed the classical geometry of figures into the modern geometry of space. Contributors: Graciela De Pierris Franco Farinelli (...) Michael Friedman Daniel Garber Jeremy Gray Gary Hatfield Andrew Janiak Douglas Jesseph Alexander Jones Henry Mendell David Rabouin. (shrink)

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...) Hilbert dismisses elucidation and consequently treats the primitives as schematic. (shrink)

A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.

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 paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

Kant's views on logic and logical theory play an important role in his critical writings, especially the Critique of Pure Reason. However, since he published only one short essay on the subject, we must turn to the texts derived from his logic lectures to understand his views. The present volume includes three previously untranslated transcripts of Kant's logic lectures: the Blumberg Logic from the 1770s; the Vienna Logic (supplemented by the recently discovered Hechsel Logic) from the early 1780s; and the (...) Dohna-Wundlacken Logic from the early 1790s. Also included is a new translation of the Jasche Logic, compiled at Kant's request and published in 1800 but which also appears to stem in part from a transcript of his lectures. Together these texts provide a rich source of evidence for Kant's evolving views on logic, on the relations between logic and other disciplines, and on a variety of topics (e.g. analysis and synthesis) central to Kant's mature philosophy. They also provide a portrait of Kant as lecturer, a role in which he was both popular and influential. This volume contains substantial editorial apparatus: a general introduction, linguistic and factual notes, glossaries of key terms (both German/English and English/German) and concordances relating Kant's lectures to Georg Frederich Meier's Excerpts from the Doctrine of Reason, the book on which Kant lectured throughout his life and in which he left extensive notes. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

Dedekind’s structuralism is a crucial source for the structuralism of mathematical practice—with its focus on abstract concepts like groups and fields. It plays an equally central role for the structuralism of philosophical analysis—with its focus on particular mathematical objects like natural and real numbers. Tensions between these structuralisms are palpable in Dedekind’s work, but are resolved in his essay Was sind und was sollen die Zahlen? In a radical shift, Dedekind extends his mathematical approach to “the” natural numbers. He creates (...) the abstract concept of a simply infinite system, proves the existence of a “model”, insists on the stepwise derivation of theorems, and defines structure-preserving mappings between different systems that fall under the abstract concept. Crucial parts of these considerations were added, however, only to the penultimate manuscript, for example, the very concept of a simply infinite system. The methodological consequences of this radical shift are elucidated by an analysis of Dedekind’s metamathematics. Our analysis provides a deeper understanding of the essay and, in addition, illuminates its impact on the evolution of the axiomatic method and of “semantics” before Tarski. This understanding allows us to make connections to contemporary issues in the philosophy of mathematics and science. (shrink)

Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, supplemented by evidence from Stetigkeit und (...) irrationale Zahlen, his scientific correspondence, and his Nachlaß. (shrink)

Aristotelês (Ἀριστοτέλης) wurde 384 v.u.Z. in Stageira (im Grenzgebiet zwischen Thrakien und Makedonien) geboren. Er trat 367 in Platons „Akademie“ ein und blieb ihr Mitglied bis zu Platons Tod im Jahre 348/347. Im Jahre 343 wurde er am makedonischen Königshof Lehrer des damals 13-jährigen Alexander (später ;der Große‘ genannt). 336 kehrte er nach Athen zurück und wurde schon bald darauf Leiter des Lykeions. Zum Gebäude gehörte eine Wandelhalle (Peripatos, περίπατος). Die Mitglieder dieser Schule wurden daher „Peripatetiker“ genannt (περιπατέω = herumgehen).

Wilfred Sieg. Relative Consistency and Accesible Domains.

Review by A. Kanamori, Boston University (author of The Higher Infinite), review in The Bulletin of Symbolic Logic: “Notwithstanding and braving the daunting complexities of this labyrinth, José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in (...) mathematics from the early nineteenth century. Much of history is in the details, and much of good history is in tone, emphasis, and the drawing together of different strands. Without being Whiggish, Ferreirós is never far from major synthetic themes, themes that in the main work toward balance and pull back from excesses of emphasis of some recent histories. The main criticism of the book would have to be on matters of broad interpretation. Yet, Ferreirós brings a considerable mathematical acuity and expertise to his enterprise, and this makes his viewpoints the more compelling.” . (shrink)

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science. In this paper we will do two things. First of all, we will propose a (...) general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

This paper uses neo-Fregean-style abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are first-order abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of rational numbers. Let P be a property (of (...) rational numbers) and r a rational number. Say that r is an upper bound of P, written P≤r, if for any rational number s, if Ps then either s<r or s=r. In other words, P≤r if r is greater than or equal to any rational number that P applies to. Consider the Cut Abstraction Principle: (CP) ∀P∀Q(C(P)=C(Q) ≡ ∀r(P≤r ≡ Q≤r)). In other words, the cut of P is identical to the cut of Q if and only if P and Q share all of their upper bounds. The axioms of second-order real analysis can be derived from (CP), just as the axioms of second-order Peano arithmetic can be derived from Hume’s principle. The paper raises some of the philosophical issues connected with the neo-Fregean program, using the above abstraction principles as case studies. (shrink)

Richard Dedekind’s theorem 66 states that there exists an infinite set. Its proof invokes such apparently nonmathematical notions as the thought-world and the self. This article discusses the content and context of Dedekind’s proof. It is suggested that Dedekind took the notion of the thought-world from Hermann Lotze. The influence of Kant and Bernard Bolzano on the proof is also discussed, and the reception of the proof in the mathematical and philosophical literature is covered in detail.

Part I of Frege’s Grundgesetze is devoted to the “exposition [Darlegung]” of his formal system.

This influential 1888 publication explained the real numbers, and their construction and properties, from first principles.

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

The common thread running through the logicism of Frege, Dedekind, and Russell is their opposition to the Kantian thesis that our knowledge of arithmetic rests on spatio-temporal intuition. Our critical exposition of the view proceeds by tracing its answers to three fundamental questions: What is the basis for our knowledge of the infinity of the numbers? How is arithmetic applicable to reality? Why is reasoning by induction justified?

Daniel Sutherland - Kant on Arithmetic, Algebra, and the Theory of Proportions - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 533-558 Muse Search Journals This Journal Contents Kant on Arithmetic, Algebra, and the Theory of Proportions Daniel Sutherland Kant's philosophy of mathematics has both enthralled and exercised philosophers since the appearance of the Critique of Pure Reason. Neither the Critique nor any other work provides a sustained and focused account of his mature views (...) on mathematical cognition, forcing readers to glean what they can from disparate contexts. Despite these hurdles, Kant's views have been of great interest to philosophers of mathematics. They have also been of interest to philosophers wishing to understand Kant's philosophy more generally, since Kant maintains that mathematical judgments are synthetic a priori and that the type of synthesis underlying mathematics is the same as that underlying the perception of objects . Our understanding of Kant's views has been greatly improved during the last four decades by work on Kant's philosophy of mathematics. Despite these advances, however, I think the recent work has largely neglected the importance of Kant's theory of magnitudes and the extent to which that theory is influenced by the Eudoxian theory of proportions presented in Euclid's Elements. As a consequence, an important feature of Kant's.. (shrink)