This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...) relevant for a better understanding of the respective geometrical practices. On the other hand, we claim that these conceptual relations unveil interesting issues between the two main contemporary approaches to the study of area of plane rectilinear figures, i.e., the geometrical approach consisting in the geometrical theory of equivalence and the metrical approach based on the notion of measure of area. Finally, in an appendix logical relations among equivalence, comparison and addition of magnitudes are examined schematically in an abstract setting. (shrink)

In 1930, Johann von Neumann, together with Rudolf Carnap and Arend Heyting, participated in a conference held in Königsberg, called “Second Seminar on the Epistemology of Exact Sciences”. The idea behind the reunion of these three researchers was to compose a fairly faithful picture of the three main foundational programs of mathematics at the time: formalism, logicism, and intuitionism. The main objective of this paper is to propose an analysis of the text “The Formalist Foundation of Mathematics” presented by von (...) Neumann in this conference. We show how, from von Neumann's perspective, the problem of the consistency of mathematical theories results from the transformation of a genuinely philosophical question into a genuinely logical-mathematical question and how a proof of consistency could be seen as the solution to the foundational problem. In the final part of the text, we present some considerations about Gerhard Gentzen’s consistency proofs and their importance to contemporary proof theory. (shrink)

In his doctoral dissertation, O. Chateaubriand favored Dedekind’s analysis of the notion of number; whereas in Logical Forms, he favors a fregean approach to the topic. My aim in this paper is to examine the kind of logicism he defends. Three aspects will be considered: the concept of analysis; the universality of arithmetical properties and their definability; the irreducibility of arithmetical objects.

En este artículo proponemos que el examen del concepto de demostración de Oswaldo Chateaubriand en los capítulos 19, 20 y 21 de la Parte II de Logical Forms incluye aspectos retóricos y dialécticos .In this paper we argue that Oswaldo Chateaubriand’s conception of proof, in chapters 19, 20, and 21 of Part II of Logical Forms, incorporates rhetorical aspects , and dialectical aspects.