-
10Peirce’s Diagrammatic Logic and the Opposition between Logic as Calculus vs. Logic as Universal LanguageRevista Portuguesa de Filosofia 73 (3-4): 1095-1114. 2017.In the last century Jaakko Hintikka tried to determine Peirce’s locus within the framework of the “Logic as Calculus vs. Logic as Universal Language” opposition in the history of mathematical logic, placing it in the former tradition. For this purpose Hintikka reformulated the opposition devised earlier by Jean van Heijenoort in order to investigate not only the development of notations and formal languages in the origins of mathematical logic but also the very original ideas in them. The aim of…Read more
-
43A Hundred Years of Logical Investigations. Reform Efforts of Logic in Germany 1781–1879Bulletin of Symbolic Logic 10 (3): 419-421. 2004.
-
1El simposio de Königsberg sobre fundamentos de la matemática en perspectivaMetatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2): 7--15. 2020.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 histori…Read more
-
6Carnap's Reconstruction of Intuitionistic Logic in The Logical Syntax of LanguageIn Ignacio Angelelli & María Cerezo (eds.), Studies on the History of Logic: Proceedings of the III. Symposium on the History of Logic, Walter De Gruyter. pp. 369-376. 1996.
-
18On The Epistemological Justification of Hilbert’s MetamathematicsPhilosophia Scientiae 9 225-238. 2005.The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulatio…Read more
-
Sobre la ley de Peirce y las relaciones entre la lógica institucionalista y la lógica clásicaAnalogía Filosófica 10 (1): 165-178. 1996.
-
Ideas acerca de los conceptos de demostración y de verdad matemáticaAnálisis Filosófico 14 (2): 149. 1994.
-
Intención y conflicto: sobre la interpretación de la negación en el intuicionismo matemáticoO Que Nos Faz Pensar 77-89. 2008.
-
La lógica intuicionista como una lógica del conocimiento matemáticoDiálogos. Revista de Filosofía de la Universidad de Puerto Rico 30 (66): 21-30. 1995.
-
11Parafrasi Schröderiane ovvero Ernst Schröder Le Operazioni del Calcolo Logico (review)History and Philosophy of Logic 33 (3): 291-293. 2012.History and Philosophy of Logic, Volume 33, Issue 3, Page 291-293, August 2012
-
43On The Epistemological Justification of Hilbert’s MetamathematicsPhilosophia Scientiae 9 (2): 225-238. 2005.The aim of this paper is to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence of epistemological notions, specially the notion of intuitive knowledge. It will be argued that two levels of foundations of deduction can be found in the last stages (in the 1920s) of Hilbert’s Program. The first level is related to the reduction – in a particular sense – of mathematics to formal systems, which are ‘metamathematically’ justified in terms of symbolic manipulatio…Read more
-
14A Hundred Years Of Logical Investigations (review)Bulletin of Symbolic Logic 10 (3): 419-420. 2004.
-
10Deducciones Estructurales y Análisis de la Consecuencia LógicaPrincípios 8 (10): 86-108. 2001.Indisponível
-
19Chateaubriand on symbolism and logical formManuscrito 31 (1): 203-215. 2008.The aim of this paper is to frame briefly Chateaubriand’s conception of logical forms in the distinction between logic and language as calculus and logic as universal language, devised by Jean van Heijenoort and later generalized by Jaakko Hintikka. The most important reasons to connect Chateaubriand’s conception with this distinction are perhaps Chateaubriand’s criticism of the linguistic approach to logical forms and the role Chateaubriand assigns to symbolism in his own account.O propósito de…Read more
-
68Deducción y conocimiento en los orígenes de la teoría de la demostración (Deduction and Knowledge in the Origins of Proof Theory)Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3): 521-538. 2001.Este trabajo tiene por objetivo examinar la idea de deducción metamatemática en el programa de Hilbert, mostrando su dependencia de conceptos gnoseológicos, tales como el de conocimiento intuitivo. También se comparará esta concepcion de la deducción con la fundamentación intuicionista de la logica. Sostendré que esta deducción metamatemática lleva a una caracterización de la logica como una teoría de las deducciones formales en un sentido particular.This paper aims to examine the idea of metama…Read more
-
11Carl Prantl y la historia de la lógica de la investigación científicaScientiae Studia 14 (2): 527. 2016.
Areas of Specialization
Science, Logic, and Mathematics |