
55This paper is part of a series in which we had worked in the last 6 months, and, specifically, intend to investigate the notion of timbre through the ecological perspective proposed by James Gibson in his Theory of Direct Perception. First of all, we discussed the traditional approach to timbre, mainly as developed in acoustics and psychoacoustics. Later, we proposed a new conception of timbre that was born in concepts of ecological approach. The ecological approach to perception proposed by Gib…Read more

31Intuitionistic NGraphsLogic Journal of the IGPL 22 (2): 274285. 2014.The geometric system of deduction called NGraphs 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 proofsasgraphs, Buss' logical flow graphs, and Girard's proofnets. Given that all these geometric systems appeal to the classical symmetry between pre…Read more

25On automorphisms of arbitrary mathematical systemsHistory and Philosophy of Logic 6 (1): 91116. 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 higherorder model theory in an informal but conceptually rich manner

203rd workshop on logic, language, information and computation (wollic'96)Bulletin of Symbolic Logic 2 (3). 1996.

11A Normalization Procedure For The Equational Fragment Of Labelled Natural DeductionLogic Journal of the IGPL 7 (2): 173215. 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

9Disson'ncias e resson'ncias da filosofia kantiana sobre a filosofia de Maine de BiranGriot : Revista de Filosofia 21 (3): 408425. 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

6A formulação do problema da dedução transcendental em Opus Postumum: é possível identificar, neste, elementos de uma dedução próxima àquela de 1781?Griot : Revista de Filosofia 20 (2): 5060. 2020.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

6A Construção De Uma Moral Da Existencialização Do Indivíduo A Partir Da Ética Sapiencial Kierkegaardiana Em Conson'ncia Com A Ética Prudencial KantianaPensando: Revista de Filosofia 2 (4): 1649. 2011.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 relacionase formando um corpus sapiencial, aludindose, 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

4Uma exposição cronológica das ideias acerca da constituição da Crítica da razão pura retratada nas Correspondências de KantGriot : Revista de Filosofia 21 (1): 114153. 2021.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

This work aims to analyze the action of the poetic or inventive imaginative faculty (Dichtungsvermögen) in the Transcendental Deduction of the Categories, in the first edition of Kant's Critique of Pure Reason (1781), and to examine the emphasis that this author attributes to it in his Anthropology. This work defends the thesis that this capacity of the imaginative faculty would have a fundamental role in the development of the subjective deduction presented by Kant in the first edition of his C…Read more