16 found
Order:
See also
Javier Legris
Universidad de Buenos Aires (UBA)
  1.  23
    A Hundred Years of Logical Investigations. Reform Efforts of Logic in Germany 1781–1879.Javier Legris - 2004 - Bulletin of Symbolic Logic 10 (3):419-421.
  2.  63
    Deducción y conocimiento en los orígenes de la teoría de la demostración.Javier Legris - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (3):521-538.
    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 metamathematical deduction in Hilbert’s program showing its dependence (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  1
    El simposio de Königsberg sobre fundamentos de la matemática en perspectiva.Oscar M. Esquisabel & Javier Legris - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):7--15.
    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 (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  36
    On the Epistemological Justification of Hilbert's Metamathematics.Javier Legris - 2005 - Philosophia Scientiae 9 (2):225-238.
    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 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 manipulation. The second level of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Deducciones Estructurales y Análisis de la Consecuencia Lógica.Javier Legris - 2001 - Princípios 8 (10):86-108.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  1
    Carnap's Reconstruction of Intuitionistic Logic in The Logical Syntax of Language.Javier Legris - 1996 - In Ignacio Angelelli & María Cerezo (eds.), Studies on the History of Logic. Proceedings of the Iii. Symposium on the History of Logic. De Gruyter. pp. 369-376.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  11
    A Hundred Years Of Logical Investigations. [REVIEW]Javier Legris - 2004 - Bulletin of Symbolic Logic 10 (3):419-420.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  11
    Chateaubriand on Symbolism and Logical Form.Javier Legris - 2008 - Manuscrito 31 (1):203-215.
    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 deste artigo é localizar brevemente a concepção de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    On The Epistemological Justification of Hilbert’s Metamathematics.Javier Legris - 2005 - Philosophia Scientae 9:225-238.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Carl Prantl y la historia de la lógica de la investigación científica.Daniel Antonio Di Liscia & Javier Legris - 2016 - Scientiae Studia 14 (2):527.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  8
    Parafrasi Schröderiane Ovvero Ernst Schröder Le Operazioni Del Calcolo Logico. [REVIEW]Javier Legris - 2012 - History and Philosophy of Logic 33 (3):291-293.
    History and Philosophy of Logic, Volume 33, Issue 3, Page 291-293, August 2012.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Ideas acerca de los conceptos de demostración y de verdad matemática.Javier Legris - 1994 - Análisis Filosófico 14 (2):149.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Intención y conflicto: sobre la interpretación de la negación en el intuicionismo matemático.Javier Legris - 2008 - O Que Nos Faz Pensar:77-89.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. La lógica intuicionista como una lógica del conocimiento matemático.Javier Legris - 1995 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 30 (66):21-30.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Paul Hertz y los orígenes de la teoría de la demostración.Javier Legris - 1998 - Episteme 3 (7):148-157.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Sobre la ley de Peirce y las relaciones entre la lógica institucionalista y la lógica clásica.Javier Legris - 1996 - Analogía Filosófica: Revista de Filosofía, Investigación y Difusión 10 (1):165-178.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark