Joan Bertran-San-Millán | Universidade de Lisboa (original) (raw)
Uploads
Dissertation by Joan Bertran-San-Millán
In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottl... more In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I suggest a new reconstruction of Begriffsschrift's logic, which amounts to a completely novel reading of its formal system—one that contradicts the core of modern historical studies. In particular, I defend that this logic is not—as it has been repeatedly said—a second-order logic and provide the following reasons. (1) The language is not properly a formal language. (2) In Begriffsschrift there is only one sort of quantification: quantification over arguments. (3) Begriffsschrift's logic does not have a semantics in the modern sense. Second, I offer an explanation of the reasons that drive the evolution of Frege's logic. The transition from Begriffsschrift to Grundgesetze has been seldom addressed and never fully explained. According to my historical analysis, the switch from Frege's position concerning logic in Begriffsschrift to his later conception—finally established in Grundgesetze—can be articulated through the adoption of the distinction between concept and object as the basic element of the formal system. This leads to a formalisation of the notion of concept, which in the end drives to Grundgesetze's notion of function. Finally, I put forward a global analysis of Grundgesetze's logic. In this work, Frege develops a formal system that resembles in many relevant ways a second-order one. I suggest a reconstruction of this formal system that allows us to compare it with Begriffsschrift's. In particular, I formulate precisely every rule of inference proposed by Frege and especially focus on the rules of substitution. Moreover, I reflect on several meta-logical results that can be drawn from this reconstruction.
Papers by Joan Bertran-San-Millán
Cantù, P.; Schiemer, G. (Eds.) (2023). Logic, Epistemology, and Scientific Theories – From Peano to the Vienna Circle. Cham: Springer, 17-35, 2023
In Principii di Geometria (1889b) and ‘Sui fondamenti della Geometria’ (1894) Peano offers axioma... more In Principii di Geometria (1889b) and ‘Sui fondamenti della Geometria’ (1894) Peano offers axiomatic presentations of projective geometry. There seems to be a tension in Peano's construction of geometry in these two works: on the one hand, Peano insists that the basic components of geometry must be founded on intuition, and, on the other, he advocates the axiomatic method and an abstract understanding of the axioms. By studying Peano’s empiricist remarks and his conception of the notion of mathematical proof, and by discussing his critique of Segre’s foundation of hyperspace geometry, I will argue that the tension can be dissolved if these two seemingly contradictory positions are understood as compatible stages of a single process of construction rather than conflicting options.
Synthese, 2022
Recent historical studies have investigated the first proponents of methodological structuralism ... more Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language.
Logique et Analyse, 2021
In contemporary historical studies Peano is usually linked to the logical tradition pioneered by ... more In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I claim that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I argue that in later works on logic Peano advanced towards a deductive approach that was closer to Frege’s standpoint.
Philosophia Scientiae, 2021
In contemporary historical studies, Peano is usually included in the logical tradition pioneered ... more In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and proof of mathematical laws. However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.
Notre Dame Journal of Formal Logic, 2020
In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions ... more In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions of arithmetical notions and to deduce some noteworthy theorems by means of logical axioms and inference rules. From a contemporary perspective, Begriffsschrift’s deductions are, in general, straightforward; it is assumed that all of them can be reproduced in a second-order formal system. Some deductions in this work present—according to this perspective—oddities that have led many scholars to consider it to be Frege’s inaccuracies which should be amended. In this paper, we continue with the analysis of Begriffsschrift’s logic undertaken in an earlier work and argue that its deductive system must not be reconstructed as a second-order calculus. This leads us to argue that Begriffsschrift’s deductions do not need any correction but, on the contrary, can be explained in coherence with a global reading of this work and, in particular, with its fundamental distinction between function and argument.
The Review of Symbolic Logic, 2021
After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding... more After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic – logic as language and logic as calculus – and presented them as opposing views, but did not explain Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal.
In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme.
![Research paper thumbnail of Frege's Intellectual Life As a Logicist Project [Critical note of Jacquette, D. (2019) Frege: A Philosophical Biography]](https://attachments.academia-assets.com/63608306/thumbnails/1.jpg)
](Teorema, 2020
I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short ... more I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short overview of Jacquette’s book. Second, I evaluate Jacquette’s interpretation of Frege’s three major works, Begriffsschrift, Grundlagen der Arithmetik and Grundgesetze der Arithmetik; and conclude that the author does not faithfully represent their content. Finally, I offer some technical and general remarks.
Arazim, P.; Lávička, T. (2018) Logica Yearbook 2017. London: College Publications
I put forward a new interpretation of Frege's use of the formal system developed in Begriffsschri... more I put forward a new interpretation of Frege's use of the formal system developed in Begriffsschrift, the concept-script. In contrast with the commonly-held view, I argue that this use suggests that he did not articulate a logicist programme in 1879. Two lines of argument support this claim. First, I show that between 1879 and 1882 Frege presented the concept-script of Begriffsschrift as a tool for arithmetic, and not as a logical theory from which to deduce arithmetical theorems. Second, I consider Frege's results in Begriffsschrift and conclude that they do not imply an endorsement of his later logicist programme.
History and Philosophy of Logic, 2017
It is well known that the formal system developed by Frege in Begriffsschrift is based upon the d... more It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken as an essentially correct formal system for second-order logic: the first one in the history of logic. However, there is strong textual evidence that such an interpretation should be rejected. This evidence shows that the nature of the distinction between function and argument is stated by Frege in a significantly different way: it applies only to expressions and not to entities. The formal system based on this distinction is tremendously flexible and is suitable for making explicit the logical structure of contents as well as of deductive chains. We put forward a new reconstruction of the function-argument scheme and the quantification theory in Begriffsschrift. After that, we discuss the usual semantic interpretation of Begriffsschrift and show its inconsistencies with a rigorous reading of the text.
Book Reviews by Joan Bertran-San-Millán
Philosophia Mathematica, 2024
In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottl... more In this dissertation I offer a global and detailed reconstruction of the logic developed by Gottlob Frege throughout his career. Even though Frege's logic suffered profound modifications from his initial formulation in Begriffsschrift to its revised version in Grundgesetze, the significant differences between these two works have been rarely taken at face value. I not only argue that these differences exist, but I also explain how they should be understood in the light of the evolution of Frege's thought. First, I suggest a new reconstruction of Begriffsschrift's logic, which amounts to a completely novel reading of its formal system—one that contradicts the core of modern historical studies. In particular, I defend that this logic is not—as it has been repeatedly said—a second-order logic and provide the following reasons. (1) The language is not properly a formal language. (2) In Begriffsschrift there is only one sort of quantification: quantification over arguments. (3) Begriffsschrift's logic does not have a semantics in the modern sense. Second, I offer an explanation of the reasons that drive the evolution of Frege's logic. The transition from Begriffsschrift to Grundgesetze has been seldom addressed and never fully explained. According to my historical analysis, the switch from Frege's position concerning logic in Begriffsschrift to his later conception—finally established in Grundgesetze—can be articulated through the adoption of the distinction between concept and object as the basic element of the formal system. This leads to a formalisation of the notion of concept, which in the end drives to Grundgesetze's notion of function. Finally, I put forward a global analysis of Grundgesetze's logic. In this work, Frege develops a formal system that resembles in many relevant ways a second-order one. I suggest a reconstruction of this formal system that allows us to compare it with Begriffsschrift's. In particular, I formulate precisely every rule of inference proposed by Frege and especially focus on the rules of substitution. Moreover, I reflect on several meta-logical results that can be drawn from this reconstruction.
Cantù, P.; Schiemer, G. (Eds.) (2023). Logic, Epistemology, and Scientific Theories – From Peano to the Vienna Circle. Cham: Springer, 17-35, 2023
In Principii di Geometria (1889b) and ‘Sui fondamenti della Geometria’ (1894) Peano offers axioma... more In Principii di Geometria (1889b) and ‘Sui fondamenti della Geometria’ (1894) Peano offers axiomatic presentations of projective geometry. There seems to be a tension in Peano's construction of geometry in these two works: on the one hand, Peano insists that the basic components of geometry must be founded on intuition, and, on the other, he advocates the axiomatic method and an abstract understanding of the axioms. By studying Peano’s empiricist remarks and his conception of the notion of mathematical proof, and by discussing his critique of Segre’s foundation of hyperspace geometry, I will argue that the tension can be dissolved if these two seemingly contradictory positions are understood as compatible stages of a single process of construction rather than conflicting options.
Synthese, 2022
Recent historical studies have investigated the first proponents of methodological structuralism ... more Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language.
Logique et Analyse, 2021
In contemporary historical studies Peano is usually linked to the logical tradition pioneered by ... more In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I claim that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I argue that in later works on logic Peano advanced towards a deductive approach that was closer to Frege’s standpoint.
Philosophia Scientiae, 2021
In contemporary historical studies, Peano is usually included in the logical tradition pioneered ... more In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and proof of mathematical laws. However, I shall then suggest that Peano also used his mathematical logic in such a way that anticipated a formalisation of mathematical theories which was incompatible with Frege’s conception of logic.
Notre Dame Journal of Formal Logic, 2020
In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions ... more In Begriffsschrift, Frege presented a formal system and used it to formulate logical definitions of arithmetical notions and to deduce some noteworthy theorems by means of logical axioms and inference rules. From a contemporary perspective, Begriffsschrift’s deductions are, in general, straightforward; it is assumed that all of them can be reproduced in a second-order formal system. Some deductions in this work present—according to this perspective—oddities that have led many scholars to consider it to be Frege’s inaccuracies which should be amended. In this paper, we continue with the analysis of Begriffsschrift’s logic undertaken in an earlier work and argue that its deductive system must not be reconstructed as a second-order calculus. This leads us to argue that Begriffsschrift’s deductions do not need any correction but, on the contrary, can be explained in coherence with a global reading of this work and, in particular, with its fundamental distinction between function and argument.
The Review of Symbolic Logic, 2021
After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding... more After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic – logic as language and logic as calculus – and presented them as opposing views, but did not explain Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal.
In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme.
Teorema, 2020
I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short ... more I critically discuss Dale Jacquette’s Frege: A Philosophical Biography. First, I provide a short overview of Jacquette’s book. Second, I evaluate Jacquette’s interpretation of Frege’s three major works, Begriffsschrift, Grundlagen der Arithmetik and Grundgesetze der Arithmetik; and conclude that the author does not faithfully represent their content. Finally, I offer some technical and general remarks.
Arazim, P.; Lávička, T. (2018) Logica Yearbook 2017. London: College Publications
I put forward a new interpretation of Frege's use of the formal system developed in Begriffsschri... more I put forward a new interpretation of Frege's use of the formal system developed in Begriffsschrift, the concept-script. In contrast with the commonly-held view, I argue that this use suggests that he did not articulate a logicist programme in 1879. Two lines of argument support this claim. First, I show that between 1879 and 1882 Frege presented the concept-script of Begriffsschrift as a tool for arithmetic, and not as a logical theory from which to deduce arithmetical theorems. Second, I consider Frege's results in Begriffsschrift and conclude that they do not imply an endorsement of his later logicist programme.
History and Philosophy of Logic, 2017
It is well known that the formal system developed by Frege in Begriffsschrift is based upon the d... more It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argument—as opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken as an essentially correct formal system for second-order logic: the first one in the history of logic. However, there is strong textual evidence that such an interpretation should be rejected. This evidence shows that the nature of the distinction between function and argument is stated by Frege in a significantly different way: it applies only to expressions and not to entities. The formal system based on this distinction is tremendously flexible and is suitable for making explicit the logical structure of contents as well as of deductive chains. We put forward a new reconstruction of the function-argument scheme and the quantification theory in Begriffsschrift. After that, we discuss the usual semantic interpretation of Begriffsschrift and show its inconsistencies with a rigorous reading of the text.
Philosophia Mathematica, 2024