Hegel leitor de deleuze: uma perspectiva crítica da ontologia afirmativa a partir das objeções a spinoza na ciência da lógica

Este artículo se propone realizar un abordaje crítico de la ontología afirmativa de Gilles Deleuze a partir de las objeciones realizadas por Georg Hegel a Spinoza en su Ciencia de la lógica. La hipótesis de trabajo es que, dada la herencia spinozista del pensamiento de Deleuze, estas críticas pueden resultar pertinentes para reflexionar sobre algunos puntos fundamentales. De esta manera, se intenta contrariar la habitual tendencia de los estudios deleuzianos de trabajar en una clave anti-hegeliana, es decir, a partir de una separación teórica total con la problemática de Hegel. Se descarta la posibilidad de centrar las críticas de Hegel en torno a la sentencia "omni determinatio est negatio" o la imposibilidad de progresar desde la afirmación absoluta (por lo que el verdadero comienzo en Spinoza -y por tanto en Deleuze- sería la mera realidad empírica donde los elementos se vinculan de manera extrínseca, es decir, sin concepto). El punto de inconmensurabilidad es que Hegel afirma que es necesario que exista un movimiento de retorno (zurürckkehren) para que la afirmación no se degrade al punto de la disolución, mientras que Deleuze prefiere el movimiento de eterno retorno (ewige wiederkunft) como apertura insistente en el porvenir.

A caracterização da lógica pela força assertórica em frege. Resposta a Marco Ruffino

Segundo a caracterização padrão da lógica nos escritos fregeanos, a palavra "verdadeiro" indica a essência da lógica, assim como a palavra "bom" indica a essência da ética e a palavra "belo" a essência da estética. Num escrito póstumo de 1915, porém, Frege afirma que é a força assertórica, e não a palavra "verdadeiro", que indica a essência da lógica. Prima facie, esta correção está em conflito com a crítica fregeana à concepção psicologista da lógica. Pois, segundo esta crítica, a lógica não é a ciência das leis "do ser tomado como verdadeiro", mas a ciência das leis "do ser verdadeiro", ao passo que a força assertórica expressa o ser tomado como verdadeiro. Em escritos anteriores, tentei resolver este conflito por uma reconstrução da concepção fregeana da verdade baseada na tese fregeana de que verdade é expressa na linguagem natural pela "forma da sentença assertórica". A meta do presente trabalho é defender esta interpretação contra as objeções recentemente feitas por Marco Ruffino.

Uma nota sobre a lógica formal de Kant

O artigo apresenta um problema que surge da combinação da teoria kantiana dos juízos analíticos com a sua adesão oficial à silogística. Argumenta-se em seguida que o problema só pode ser inteiramente solucionado pelo reconhecimento de que a lógica com a qual Kant de fato operava não é consistente nem com a silogística, nem com a lógica clássica, consistindo, de fato, em uma espécie de lógica inclusiva.

Termos singulares, transcategoriais e Summa Genera na lógica de Aristóteles

Quais termos são suscetíveis de operações silogísticas? Para importantes intérpretes da lógica aristotélica - especialmente Ross, Patzig e Lukasiewicz - a resposta tende a introduzir um único e homogêneo grupo de termos, aqueles de generalidade intermediária (τὰ µεταξὺ). Fundamentada basicamente na classificação tripartite de entes que aparece no capítulo 27 de Primeiros Analíticos I, essa opinião atribui à silogística a exclusão de (i) termos singulares (como "Sócrates" e "este homem"), (ii) transcategoriais (como "ente" e "um"), bem como dos chamados (iii) summa genera ("substância", "qualidade", "quantidade", etc.). Em nossa opinião, esses resultados não derivam dos textos de Aristóteles, mas de leituras, traduções e interpretações impróprias das passagens centrais da discussão. Neste artigo, faremos um novo exame desses textos, a fim de mostrar que Aristóteles jamais afastou de sua lógica os tipos de termos que os intérpretes não hesitam em excluir da silogística. Assim, esperamos reintroduzir termos singulares, transcategoriais e summa genera, no domínio da silogística aristotélica.

Indiscernibilidade e identidade em química: aspectos filosóficos e formais

Neste artigo tratamos, de um ponto de vista formal e filosófico, com alguns conceitos que fazem parte da química usual. As teorias da química, e seus conceitos, normalmente são apresentadas de um ponto de vista informal (não axiomatizada), e isso pode trazer dificuldades filosóficas (embora a química propriamente - bem como também as outras disciplinas da ciência aplicada - pareçam não sofrer qualquer restrição quanto a isso). Aqui estaremos ocupados em um aspecto parti-cu-lar, que diz respeito à indiscernibilidade de alguns objetos básicos da química, tais como átomos, moléculas, bem como de seus componentes. Começamos com uma visão geral da identidade destes compostos e seus componentes a partir de uma perspectiva filosófica e, em seguida, mostramos em que sentido o conceito de identidade dos compostos químicos é problemático em relação ao conceito correspondente de identidade na lógica e matemática clássicas (que, como em geral é suposto, estão 'alicerçando' as teorias químicas). Argumentamos que, por um lado, a química parece supor que esses objetos básicos precisam ser 'idênticos' (indistinguíveis) uns aos outros (como enfatizado há muito tempo por John Dalton, como veremos.) Por outro lado, do ponto de vista formal, se a lógica subjacente à teoria atômica for a lógica clássica (que também é pano de fundo da matemática padrão), coisas idênticas devem ser a mesma coisa e logo 'colapsar' em apenas uma (e este não é o caso em química, uma vez que temos uma enorme quantidade de átomos e moléculas semelhantes, mas não apenas um). Esta aparente contradição pode ser tratada de várias perspectivas e, aqui, propomos o uso de uma teoria de conjuntos não-clássica (a saber, a teoria de quase-conjuntos) para alicerçar uma formulação axiomática de certas teoria químicas, mostrando como essa diferente base matemática pode nos levar a uma visão que está mais perto da química em si. Como esta teoria não é conhecida em geral, uma breve revisão se faz necessária. Por último, mostramos como podemos construir modelos matemáticos para átomos e moléculas utilizando esta teoria de conjuntos alternativa evitando, assim, o problema lógico acima mencionado, e discutimos um pouco da abordagem mereológica dos compostos químicos a partir dessa perspectiva quase-conjuntista.

ANÁLISE E MAPEAMENTO DO USO E OCUPAÇÃO DO SOLO DA BACIA DO ALTO DO DESCOBERTO, DF/GO, POR MEIO DE CLASSIFICAÇÃO AUTOMÁTICA BASEADA EM REGRAS E LÓGICA NEBULOSA

A Bacia do Alto do Descoberto é importante fonte de água para o Distrito Federal. Essa bacia tem apresentado ao longo dos anos expansão agrícola e urbana em detrimento das áreas de vegetação natural. A ocupação inadequada, assim como a falta de planejamento do uso e ocupação do solo, pode levar a alterações do escoamento superficial e, consequentemente, do ciclo hidrológico, a feições erosivas, à contaminação dos mananciais superficiais e subterrâneos e ao desequilíbrio do ecossistema da região. Portanto, o monitoramento e a análise do uso e ocupação do solo são imprescindíveis na prevenção desses impactos e na manutenção dos mananciais. Dessa forma, este estudo tem como objetivo o mapeamento e a análise comparativa do uso e ocupação do solo da Bacia do Alto do Descoberto entre os anos 1994 e 2011. As classificações de uso e ocupação do solo foram elaboradas utilizando um classificador orientado ao objeto baseado em regras e lógica nebulosa, permitindo uma análise dos avanços do uso do solo e a perda da cobertura vegetal da bacia. O sistema de classificação utilizado foi considerado bem-sucedido, com índice de exatidão temática (Kappa) de 0,64. Apesar de ainda haver algumas confusões temáticas no processo de classificação, as análises comparativas entre as classes temáticas dos mapas dos referidos anos evidenciaram a forte expansão agrícola da região em aproximadamente 11% da área da bacia, bem como uma perda de vegetação natural.

Modelagem matemática e simulação numérica do resfriamento rápido de morango com ar forçado

Este trabalho abordou o resfriamento rápido com ar forçado de morango via simulação numérica. Para tanto, foi empregado o modelo matemático que descreve o processo de transferência de calor, com base na lei de Fourier, escrito em coordenadas esféricas e simplificado para descrever o processo unidimensional. A resolução da equação expressa pelo modelo matemático deu-se por meio da implementação de um algoritmo, fundamentado no esquema explícito do método numérico das diferenças finitas, executado no ambiente de computação científica MATLAB 6.1. A validação do modelo matemático foi realizada a partir da comparação de dados teóricos com dados obtidos num experimento, no qual morangos foram resfriados com ar forçado. Os resultados mostraram que esse tipo de investigação para a determinação do coeficiente de transferência de calor por convecção é promissora como ferramenta no suporte à decisão do uso ou desenvolvimento de equipamentos na área de resfriamento rápido de frutos esféricos com ar forçado.

Projeto de um cortador de base para colhedora de cana-de-açúcar utilizando otimização matemática

Um cortador de base representado por um mecanismo de quatro barras foi desenvolvido utilizando-se do programa Autocad. Suas partes constituintes foram pré-dimensionadas em função das características operacionais de uma colhedora de cana-de-açúcar em sistema de cana crua e inteira, colhendo uma linha de cana por passada. A força normal de reação do perfil no ponto de contato foi determinada por meio da análise dinâmica, sendo as equações de equilíbrio dinâmico baseadas nas leis de Newton-Euler. O processo de otimização teve como objetivo minimizar a força normal de reação do solo, submetida a restrições de posição, trajetória, comprimento das barras, constante da mola e da força normal. Implementou-se o Algoritmo de Programação Quadrática Seqüencial - SQP do módulo de otimização do programa computacional Matlab. Os resultados mostraram melhora significativa no desempenho de flutuação do mecanismo, representada pela força normal de reação do perfil, a qual foi reduzida de 4.250,33 para 237,13 N. Posteriormente, outras variáveis foram incorporadas ao mecanismo otimizado e um segundo processo de otimização foi implementado.

Uso da lógica fuzzy na caracterização do ambiente produtivo para matrizes gestantes

O objetivo desta pesquisa consistiu na avaliação do ambiente de alojamento, estimando as condições favoráveis ao melhor desempenho de matrizes gestantes. O experimento foi realizado no período compreendido entre 4-1 e 11-3-2005, em propriedade de produção industrial de suínos, localizada no município de Elias Fausto - SP. A pesquisa foi desenvolvida no setor de gestação, com 24 matrizes primíparas, 12 fêmeas alojadas em baias individuais (T1) e 12 em baias coletivas (T2). O trabalho foi dividido em duas etapas, em função da forma de avaliação dos dados: análise bioclimática e da qualidade do ar, e estimativa dos padrões de conforto térmico ambiental. As variáveis bioclimáticas T (ºC), UR (%), Tgn (ºC) e fisiológicas, taxa respiratória (mov min-1) e temperatura retal (ºC) apontam o sistema de confinamento em baias coletivas como o que possibilitou melhor condicionamento térmico natural às matrizes em gestação. O uso da teoria dos conjuntos fuzzy permitiu que se fizesse inferência entre os dados resultantes do trabalho experimental com os estabelecidos pela literatura, por intermédio de base de regras, para a determinação do conforto ambiental aplicado a matrizes na fase de gestação.

Modelagem matemática para a descrição do processo de secagem do feijão (Phaseolus vulgaris L.) em camadas delgadas

O objetivo do presente trabalho foi a obtenção e a avaliação das curvas de secagem do feijão (Phaseolus vulgaris L.) e ajustar diferentes modelos matemáticos aos valores experimentais do teor de água para diversas condições do ar. Foram utilizados grãos de feijão colhidos com teor de água de 0,92 (b.s.) e submetidos à secagem até o teor 0,14 (b.s.) sob condições controladas de temperatura (35; 45 e 55 °C) e umidade relativa do ar de secagem de 40 ± 2%. Aos dados experimentais, foram ajustados 12 modelos matemáticos citados na literatura específica e utilizados para a representação do processo de secagem de produtos agrícolas. Pelos resultados obtidos e baseando-se em parâmetros estatísticos, pode-se concluir que metade dos modelos testados representa bem o fenômeno de secagem do feijão. Dentre esses, o modelo clássico de Page foi selecionado, pela sua simplicidade e pelo seu uso disseminado no meio científico, para descrever a cinética de secagem dos produtos vegetais. A relação entre a constante de secagem k desse modelo e a temperatura do ar pode ser descrita pela relação de Arrhenius, apresentando energia de ativação de 10,08 kJ mol-1.

Modelagem matemática e difusividade efetiva das sementes de pinhão-manso (Jatropha curcas L.) durante a secagem

O presente trabalho teve o objetivo de ajustar diferentes modelos matemáticos aos dados experimentais da secagem de sementes de pinhão-manso (Jatropha curcas L.), bem como determinar o coeficiente de difusão efetivo e obter a energia de ativação para a faixa de temperatura utilizada. As sementes de pinhão-manso com teor de água de 0,67 (decimal b.s.) passaram por um período de pré-secagem em ambiente natural para reduzir e homogeneizar o teor de água para 0,30 (decimal b.s.). Em seguida, a secagem foi realizada em secador experimental mantendo-se as temperaturas controladas de 30; 40; 50; 60 e 70 ± 1 ºC e umidades relativas de 55,98; 41,44; 35,35; 26,21 e 13,37 ± 3%, respectivamente. Aos dados experimentais foram ajustados onze modelos matemáticos utilizados para a representação do processo de secagem de produtos agrícolas. Conclui-se que, dentre os modelos analisados, Page e Henderson e Pabis Modificado apresentaram os melhores ajustes aos dados experimentais, sendo o modelo de Page selecionado para a descrição das curvas de secagem do pinhão-manso devido a sua simplicidade; o coeficiente de difusão efetiva aumenta com a elevação da temperatura, apresentando magnitudes entre 3,93x10-10 e 9,19x10-10 m² s-1 para o intervalo de temperatura de 30 a 70 ºC, respectivamente; e a energia de ativação para a difusão líquida do pinhão-manso durante a secagem foi de 15,781 kJ mol-1.

Modelagem matemática para seleção de conjuntos mecanizados agrícolas pelo menor custo operacional

A seleção de uma máquina agrícola pode tornar-se uma tarefa árdua, pois há diversas variáveis que devem ser consideradas. A escolha do equipamento mais adequado para uma propriedade agrícola é uma das etapas mais importantes do processo produtivo. O objetivo deste trabalho foi desenvolver um modelo de computador por programação linear em plataforma web para seleção automatizada de conjuntos mecanizados agrícolas, baseados no menor custo operacional. O programa, desenvolvido em linguagem ASP.NET, pode ser acessado gratuitamente pela Internet (http://www.maquinas.ufms.br). O usuário pode selecionar um conjunto mecanizado agrícola dentro de uma vasta lista de opções que contém suas especificações técnicas ou deixar que o programa lhe retorne automaticamente a melhor opção, pelo menor custo operacional. O programa desenvolvido proporciona ao usuário uma seleção racional via Internet de conjuntos mecanizados, permitindo o estudo econômico do uso das máquinas e implementos, sem a necessidade da instalação de programas dedicados no computador, que dificultariam a manutenção do banco de dados.

Análise matemática e biológica dos modelos de estimativa de perdas de rendimento na cultura devido à interferência de plantas daninhas

As plantas daninhas acarretam reduções no rendimento das culturas agrícolas. Os modelos matemáticos de estimativa de perda de rendimento na cultura devido à interferência dessas plantas podem ser instrumentos úteis à tomada de decisão de manejo. Se for possível prever as perdas de rendimento, será possível decidir se é viável ou não a aplicação de uma medida de controle. Há na literatura vários modelos matemáticos empíricos de regressão lineares, não-lineares e polinomiais usados para estimar as perdas de rendimento devido às plantas daninhas. O presente trabalho teve como objetivo apresentar uma análise dos modelos matemáticos presentes na literatura utilizados para estimar as perdas de rendimento que as plantas daninhas acarretam à cultura, considerando o ajuste matemático às observações e a descrição biológica do comportamento dessas perdas.