Dieter Henrich, leitor de Kant: sobre o fato legitimador na dedução transcendental das categorias

Este artigo reconstrói os momentos principais dos trabalhos de Dieter Henrich sobre a filosofia teórica de Immanuel Kant. Henrich procura esclarecer e recuperar os fundamentos da teoria do conhecimento de Kant, dos quais seus seguidores teriam se distanciado, a partir da análise da dedução transcendental das categorias. De início, Henrich investiga a estrutura da prova na dedução, comparando a primeira e a segunda edição da Crítica da Razão Pura. Em seguida, Henrich investiga no argumento kantiano a relação entre o princípio de identidade da consciência de si, por um lado, e objetividade, por outro. Por fim, estendendo a comparação à Crítica da Razão Prática, Henrich elucida o programa e a metodologia na dedução, mostrando como o "fato" legitimador se torna o elemento fundamental.

Apercepção subjetiva e conhecimento objetivo: uma leitura sobre o lugar do 18 na estratégia da Dedução B da Crítica da Razão Pura

Neste artigo, procuro avaliar o sentido para o projeto dedutivo da Crítica da Razão Pura da distinção, apresentada no 18 dessa obra, entre unidade objetiva e unidade subjetiva da apercepção. Primeiramente, apresento o objetivo geral e os passos fundamentais da dedução transcendental das categorias do entendimento. Em seguida, identifico o esboço de uma estratégia argumentativa, inaugurada no 18 da Dedução, fundada na compreensão da unidade subjetiva da apercepção como um juízo de percepção acerca de "objetos subjetivos". Finalmente, defendo que uma dedução assim construída não é uma prova consistente da possibilidade do conhecimento objetivo, na medida em que pretende se furtar à tarefa de demonstrar que as categorias do entendimento são condições da possibilidade da nossa percepção pré-judicativa de objetos sensivelmente intuídos.

O conceito de objeto transcendental na Dedução A: revolução ou queda pré-crítica?

Pretendo defender a compatibilidade da concepção de objeto desenvolvida na Dedução Transcendental das categorias do entendimento da primeira edição da Crítica da Razão Pura com as demandas da filosofia crítica, ainda que pese em contrário o uso da expressão "objeto transcendental" por parte de Kant. Sugiro que o uso de tal expressão guarde justamente uma transição entre o conceito de objeto como coisa em si e o novo conceito de objeto do conhecimento em sentido crítico.

Dedução de Funções de Alívio para Priorização de Variantes de Chaveamento Adequadas à Eliminação de Sobrecargas

Eventually, violations of voltage limits at buses or admissible loadings of transmission lines and/or power transformers may occur by the power system operation. If violations are detected in the supervision process, corrective measures may be carried out in order to eliminate them or to reduce their intensity. Loading restriction is an extreme solution and should only be adopted as the last control action. Previous researches have shown that it is possible to control constraints in electrical systems by changing the network topology, using the technique named Corrective Switching, which requires no additional costs. In previous works, the proposed calculations for verifying the ability of a switching variant in eliminating an overload in a specific branch were based on network reduction or heuristic analysis. The purpose of this work is to develop analytical derivation of linear equations to estimate current changes in a specific branch (due to switching measures) by means of few calculations. For bus-bar coupling, derivations will be based on short-circuit theory and Relief Function methodology. For bus-bar splitting, a Relief Function will be derived based on a technique of equivalent circuit. Although systems of linear equations are used to substantiate deductions, its formal solution for each variant, in real time does not become necessary. A priority list of promising variants is then assigned for final check by an exact load flow calculation and a transient analysis using ATP Alternative Transient Program. At last, results obtained by simulation in networks with different features will be presented

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Técnica para dedução do modelo algébrico PTT, aplicações e análises numéricas em escoamentos bidimensionais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Sobre a necessidade de uma dedução transcendental no âmbito da razão prática em Kant

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)