•  4
    Disson'ncias e resson'ncias da filosofia kantiana sobre a filosofia de Maine de Biran
    Griot : Revista de Filosofia 21 (3): 408-425. 2021.
    The purpose of this paper is to question the legitimacy of the intervention that determines Kant's philosophy over Maine's philosophy of Biran. We will maintain, in this research, that Biranism is not a kind of Kantism and that the French philosopher's oppositions to the German philosopher are more striking than the apparent compatibility between them. To prove this proposition, we will demonstrate that the Biranian theses are essentially Biranian, contesting the words of our Lachelier that “Mai…Read more
  •  3
    This study explores and presents some of correspondences of Kant, how to use to touch up or follow the schedule of the ideas that have established the structure, problems and receipt of Pure Reason critique of Kant. Our focus in this exhibition is to demonstrate that the development issues involving Critique of Pure Reason. For this, we will make a chronological return starting this exhibition from the 1760s; advancing to the inaugural dissertation of 1770, this until the first edition of critic…Read more
  •  3
    Este trabalho tem por objetivo demonstrar elementos argumentativos apresentados por Kant em seu trabalho final: Opus Postumum, que comprovaria a tentativa de Kant em desenvolver ali uma dedução, contudo, demonstraremos que esta dedução em desenvolvimento no Opus articula elementos que a aproximaria significativamente da dedução transcendental de 1781. Com isto, temos a comprovação que no Opus há uma reavaliação da parte subjetiva da dedução transcendental exposta na primeira edição da Crítica, o…Read more
  •  6
    A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction
    with R. B. de Queiroz
    Logic Journal of the IGPL 7 (2): 173-215. 1999.
    The notion of normal proof theory, and yet it has been somewhat neglected by the systems of equational logic. The intention here is then to show the normalization procedure for the equational logic of the Labelled Natural Deduction system . With this we believe we are making a step towards filling a gap in the literature on equational logic. Besides presenting a normalization procedure for the LND equational fragment, we employ a new method to prove the normalization theorems for equational logi…Read more
  •  19
    Intuitionistic N-Graphs
    with M. Quispe-Cruz, R. J. G. B. de Queiroz, and V. de Paiva
    Logic Journal of the IGPL 22 (2): 274-285. 2014.
    The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between pre…Read more
  •  4
    Neste artigo, será deliberada a forma como a moral da existencialização começa por se formar nos escritos kierkegaardianos, principalmente aqueles que se restringem ao livro A alternativa e como a conceituação de tais princípios éticos relaciona-se formando um corpus sapiencial, aludindo-se, primariamente, à ética prudencial kantiana, em voga no século XIX.In this article, shall be decided how the moral´s fact existential begins to form in a Kierkegaardian writings, especially those confined to …Read more
  •  17
    On automorphisms of arbitrary mathematical systems
    with José Sebastião E. Silva
    History and Philosophy of Logic 6 (1): 91-116. 1985.
    Translator's summary The translated paper is an extract, published in 1945, of an unpublished thesis, of both historical and technical import, dealing with notions of definability and their relation to invariance under automorphisms. The author develops a metamathematical Galois theory, and discusses and anticipates some aspects of higher-order model theory in an informal but conceptually rich manner