Um panorama da lógica deôntica

O presente artigo é uma apresentação dos principais sistemas de lógica deôntica, na qual algumas conexões éticas e jurídicas relevantes são enfatizadas.

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.

O ENS TERTIO ADIACENS DE GERARDO ODON E O REALISMO PROPOSICIONAL

O artigo aborda o tratado lógico de Geraldo Odon "De duobos communissimis principiis scientiarum" focando na noção de ens tertio adiacens: o ente significado pela totalidade da proposição e seu verificador. Odon o identifica ao sujeito dos princípios de não-contradição e terceiro excluído. O ens tertio adiacens também corresponde ao primeiro objeto adequado do intelecto e ao sujeito da lógica, a qual é entendida como a primeira ciência. Na segunda parte do artigo, localizamos Odon no debate historiográfico do realismo proposicional, ao lado de Walter Burley.

Tumorogênese em plantas causadas por espécies de Agrobacterium

Tumores - sintomas hiperplásicos em plantas - incitados por espécies de Agrobacterium sp. sempre exerceram fascínio sobre fitopatologistas desde o início do Século XX, quando Erwin Smith e colaboradores demonstraram serem eles de etiologia bacteriana. No início, imaginava-se que os tumores eram decorrentes de alterações hormonais na planta provocadas pela bactéria. Contudo, até recentemente, a microbiologia e a biologia molecular não eram suficientemente avançadas para que os cientistas pudessem compreender e deduzir a forma através da qual o patógeno incitava os tumores. Demorou quase um século para que se deslindassem os complexos mecanismos bioquímicos, genéticos e fi­siológicos através dos quais o patógeno transforma a planta, inserindo no genoma desta uma região de seu megaplasmídeo de modo a criar para si mesmo um nicho ecológico espe­cífico. Neste trabalho é apresentada uma súmula histórica da evolução do conhecimento a respeito, das características genômicas do plasmídeo Ti, dos eventos e requerimentos ati­nentes ao processo infectivo bem como é discutida a dinâmica da transformação da planta pelo patógeno.

Caracterização da virulência de Magnaporthe grisea em cultivares diferenciadoras japonesas e linhas quase-isogênicas das cultivares IAC-25 e de CO-39 de arroz

Foi estudada a virulência de 681 isolados de Magnaporthe grisea provenientes de oito lavouras de arroz de terras altas, quatro da cv. BRS Bonança e quatro da cv. Primavera, localizadas em cinco municípios no Estado de Goiás. Foram avaliados 321 isolados de M. grisea de folha e de panícula obtidos da cv. BRS Bonança e 360 da cv. Primavera. Para diferenciar a virulência dos isolados foram utilizados nove cultivares diferenciadoras japonesas, seis linhagens quase-isogências (NIL's) da cv. IAC-25, cinco linhagens quase-isogênicas da cv. CO-39, e as cultivares Primavera, BRS Bonança, IAC-25 e CO-39. Os isolados de M. grisea provenientes da cv. BRS Bonança foram mais virulentos nas NIL's de IAC-25 do que isolados da cv. Primavera. A maioria das subpopulações de M. grisea provenientes de folhas e panícula, de ambas as cultivares, foram avirulentos à linhagem quase-isogênica CNA-8212. A virulência, em baixa freqüência, foi observada nos isolados de M. grisea provenientes de BRS Bonança aos genes Pi-z t (Toride-1) e de Primavera aos genes Pi-z (Fukunishiki). Uma baixa freqüência de isolados virulentos foram virulentos nas NIL's C101 LAC (Pi-1) e C101 A 51(Pi-2). Considerando as reações compatíveis e incompatíveis das NIL's de IAC-25 à população de M. grisea de BRS Bonança, o dendrograma mostrou um grupo (90% de similaridade), diferindo do parental recorrente. Por outro lado, a população de 'Primavera', com exceção da CNA-8199, formou um grupo (93% de similaridade), incluindo o parental recorrente. Os genes de resistência Pi-z e Pi-z t das cultivares Fukunishiki e Toride-1, respectivamente, os genes Pi-1 e Pi-2 das NIL's de CO-39 e os genes desconhecidos das NIL's IAC-25, que apresentaram maior espectro de resistência às populações estudadas podem ser utilizados no programa de melhoramento, para desenvolvimento de linhas isogênicas de BRS Bonança e Primavera.

Cenários de prática e a formação médica na assistência em saúde

O trabalho apresenta e analisa resultados provenientes da auto-avaliação a que se submeteram 28 escolas médicas brasileiras (EMBs) participantes do Projeto da Comissão de Avaliação das Escolas Médicas (Caem), da Associação Brasileira de Educação Médica (Abem), relativo ao eixo Cenários da Prática, um dos cinco eixos relevantes na formação do médico. Este eixo é composto de três vetores: locais de exercício da prática médica utilizados pela escola; prática proporcionada aos discentes com orientação docente; e oportunidades oferecidas aos estudantes para vivenciar as demandas espontâneas de atendimento em saúde - âmbito da prática. Em relação ao vetor Local de Prática, três quartos das escolas se colocam como predominantemente utilizando unidades do sistema de saúde voltadas à atenção primária, secundária e terciária, outro quarto se percebe utilizando predominantemente o hospital secundário e os serviços ambulatoriais da própria instituição. Quanto à Participação Discente, três quartos afirmam proporcionar ao estudante ampla participação, com orientação e supervisão docente nos diversos cenários de prática; as demais proporcionam aos discentes atividades selecionadas e parcialmente supervisionadas. No vetor que trata o Âmbito da Prática, um quarto das escolas se limita a oferecer práticas ligadas aos departamentos e especialidades/disciplinas; um terço oferece práticas que cobrem vários programas de forma estanque; e quase a metade das escolas (43%) oferece prática ao longo de todo o curso utilizando os serviços em todos os níveis de atenção de forma integral. Nem sempre as justificativas e evidências corresponderam às situações de inovação ou transformação percebidas pelas escolas.

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.

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.

Influência da temperatura do ar de secagem no calor latente de vaporização de água em feijão macassar (Vigna unguiculata (L.) Walp.), variedade sempre-verde

Em cálculos da quantidade de energia requerida em processos de secagem artificial de um produto agrícola, é necessário o conhecimento de uma expressão para a determinação do calor latente de vaporização (H) de água no produto. Normalmente, as expressões para H, encontradas na literatura, são dadas pelo calor latente de vaporização (h) de água livre multiplicado por funções que dependem apenas do teor de água do produto. Isso significa que a relação H/h, para um dado produto, só depende do teor de água, o que é uma simplificação, pois se sabe que tal relação depende também da temperatura. Neste artigo, é apresentada uma expressão para o cálculo de H para feijão macassar, variedade sempre-verde, levando em consideração a dependência de H/h com a temperatura. Para tal, foi desenvolvido e utilizado um programa computacional que ajusta, de forma automática, cerca de 500 funções contidas em sua biblioteca, com uma e duas variáveis independentes, a dados experimentais. O programa, que usa regressão não-linear, classifica as melhores funções ajustadas pelo critério do menor qui-quadrado reduzido. O conjunto de testes estatísticos realizados indica que a expressão apresentada neste artigo produz resultados mais precisos na determinação de H para feijão macassar que os de outras equações normalmente encontradas na literatura.

Determinação da difusividade e da energia de ativação para feijão macassar (Vigna unguiculata (L.) Walp.), variedade sempre-verde, com base no comportamento da secagem

Neste artigo, teve-se o objetivo de determinar curvas de secagem em camada fina para grãos de feijão macassar, variedade sempre-verde. Visou-se, também, à determinação da difusividade efetiva da água no interior do produto, bem como a energia de ativação. Para tal, foram utilizadas amostras com 150 g de feijão com teor inicial de água de 37% (bu), nas temperaturas de 40; 50 e 60 ºC. A velocidade do ar do secador convectivo foi mantida em 1,0 m s-1 e, durante todo o processo, os valores médios da temperatura e da umidade relativa do ar ambiente foram, respectivamente, 29 ºC e 58%. A difusividade efetiva da água no produto foi determinada, em cada temperatura, por meio da lei de Fick, pressupondo um modelo esférico para os grãos. Uma expressão para a difusividade efetiva da água em função da temperatura foi determinada por meio do ajuste da equação de Arrhenius aos dados obtidos. A análise dos resultados possibilita concluir que a equação de Page representa, de forma satisfatória, o processo de secagem em todas as condições estudadas. O modelo esférico estabelecido para os grãos é satisfatório, resultando em difusividade efetiva que variou de 7,13x10-11 até 14,0x10-11 m²s-1, e em energia de ativação igual a 26,9 kJ mol-1. Foi observado que, para a temperatura do ar de secagem mantida em 60 ºC, houve a formação de fissuras em quantidade significativa de grãos.