El presente texto es una guía para una primera lectura de los Los fundamentos de la aritmética de Gottlob Frege para estudiantes del grado de Filosofía. -/- No pretende hacer ninguna aportación a la investigación sobre Frege sino ofrecer los instrumentos para hacer una primera lectura mediante la recopilación y la ordenación de los textos relevantes de los estudiosos de Frege, especialmente de la literatura en inglés. En la mayor parte de los casos, las referencias a otros autores (Autorfecha) preceden (...) a una traducción de los escritos referidos así como una unificación de la terminología, el recorte de lo no relevante y el añadido de las explicaciones pertinentes para hacer el texto accesible a un estudiante del grado de Filosofía. En el caso de que la cita justifique una afirmación que no se desarrolla, se verá precedida por la palabra "ver" dentro del paréntesis de la referencia. El texto usado para las citas de Los fundamentos de la aritmética es la traducción de Ulises Moulines dado que el que esto escribe no sabe alemán. La guía no supone más matemáticas que las que se estudian en los cursos anteriores a la universidad. Sin embargo, es recomendable haber hecho un curso elemental de lógica matemática y teoría de conjuntos. La razón fundamental es que la formalización de ciertas proposiciones permite aclarar extremos que se hacen muy enojosos sin esos instrumentos. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Adherents of Ockham’s fundamental razor contend that considerations of ontological parsimony pertain primarily to fundamental objects. Derivative objects, on the other hand, are thought to be quite unobjectionable. One way to understand the fundamental vs. derivative distinction is in terms of the Aristotelian distinction between ontologically independent and dependent objects. In this paper I will defend the thesis that every natural number greater than 0 is an ontologically dependent object thereby exempting the natural numbers from Ockham’s fundamental razor.

Deductivism says that a mathematical sentence s should be understood as expressing the claim that s deductively follows from appropriate axioms. For instance, deductivists might construe “2+2=4” as “the sentence ‘2+2=4’ deductively follows from the axioms of arithmetic”. Deductivism promises a number of benefits. It captures the fairly common idea that mathematics is about “what can be deduced from the axioms”; it avoids an ontology of abstract mathematical objects; and it maintains that our access to mathematical truths requires nothing beyond (...) our ability to make logical deductions. Sections 1 and 2 define and motivate deductivism in more detail. Section 3 covers four authors (Russell, Hilbert, Pasch, Curry) who have endorsed deductivism at some point. Section 4 aims to clarify what semantic claim deductivists make. Sections 5–9 review objections to deductivism and possible replies. (shrink)

The question that is the subject of this article is not intended to be a sociological or statistical question about the practice of today’s mathematicians, but a philosophical question about the nature of mathematics, and specifically the method of mathematics. Since antiquity, saying that mathematics is problem solving has been an expression of the view that the method of mathematics is the analytic method, while saying that mathematics is theorem proving has been an expression of the view that the method (...) of mathematics is the axiomatic method. In this article it is argued that these two views of the mathematical method are really opposed. In order to answer the question whether mathematics is problem solving or theorem proving, the article retraces the Greek origins of the question and Hilbert’s answer. Then it argues that, by Gödel’s incompleteness results and other reasons, only the view that mathematics is problem solving is tenable. (shrink)

This volume of Metatheoria includes translations into Spanish of the three famous papers on the schools in foundations of mathematics, logicism, intuitionism and formalism, presented at the Königsberg’s Symposium on Foundations of Mathematics in September 1930 and finally published in the journal Erkenntnis in 1931. The three papers constituted a milestone in the Philosophy of Mathematics of the last century. In this introduction to the translations, the editors of the volume outline the historical context in which the original papers were (...) conceived and they include some details concerning their original publication. They also stress the decisive role played by the papers in the philosophy of mathematics in the last century. A summary of them is provided and the underlying ideas of the Vienna Circle on the nature of mathematics and the impact of Gödel theorems in the foundations programs are discussed. Moreover, they briefly introduce the original contributions to the volume that follow the translations. (shrink)

In the Grundlagen , Frege offers eight main arguments, together with a series of more minor supporting arguments, against Mill’s view that numbers are “properties of external things”. This paper reviews all eight of these arguments, arguing that none are conclusive.