ESPECTRO ELETRÔNICO DA MOLÉCULA I2: UMA BREVE INTRODUÇÃO À PROGRAMAÇÃO CIENTÍFICA

This study proposes an activity to introduce scientific programming. In particular, the multidisciplinary concepts of scientific programming, quantum mechanics, and spectroscopy are presented in the study of the electronic spectrum of the I2 molecule. We use Python programming language and the IPython command shell, in particular, for their user friendliness and versatility.

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.

OMNIS HOMO DE NECESSITATE EST ANIMAL: SIGNIFICACIÓN Y REFERENCIA VACÍA EN LA SEGUNDA MITAD DEL SIGLO 13

A questão "se uma elocução (palavra/termo/nome) perde seu significado com a destruição das coisas (quer dizer, as coisas significadas)"surge como uma questão sobre o valor-verdade de declarações com um termo vazio como sujeito, a saber, como um subproblema do sofisma "Se 'omnis homo de necessitate est animal' é verdade quando não há homem algum (=OHNEA)". Neste trabalho, trarei as discussões conforme elas se apresentam em "De signis" IV.2 de Roger Bacon, em "Quaestiones logicales", q. 2–3 de Peter John Olivi, no OHNEA de Boethius of Dacia, e no OHNEA de Anonymus Alani. Tais textos nos apresentam quatro modos diversos de nos relacionarmos com a questão sobre significação para OHNEA e, assim, com quatro posições diferentes sobre a relação entre significação e referência vazia. Usarei Anonymus Alani como o fio conductor de minha análise, inserindo outras posições onde tal se fizer relevante.

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.

Acción, hecho y sucesso

Examino la semántica de las oraciones de acción de Davidson y sus aspectos más relevantes: la formalización cuantificacional y las tesis sobre preposiciones y sobre modificación adverbial. A partir de Grice, emprendo tres líneas de ataque contra esta propuesta: una mezclando predicados y preposiciones, otra basada en modificaciones adverbiales y una a partir del posible análisis acciones negativas. Con ello espero suscitar dudas acerca del papel de los hechos y sucesos en el análisis de la acción.

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.

PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

Problemas com o uso de programação linear com posterior arredondamento da solução ótima, em regulação florestal

O principal objetivo deste trabalho foi avaliar, com a ajuda da Programação Inteira, as conseqüências do uso da Programação Linear com posterior arredondamento das respostas, com ênfase na regulação de florestas eqüiâneas. Para isto, um problema de regulação florestal simplificado foi idealizado e resolvido pelo modelo I, por meio de Programação Linear, Programação Linear com posterior arredondamento e Programação Inteira. Ao final, concluiu-se que o arredondamento das respostas obtidas pelo modelo resolvido por Programação Linear levou a uma solução inviável para o problema de regulação proposto. O mesmo não ocorreu com o modelo de Programação Inteira, que apresentou um plano de regulação factível e otimizado, mostrando que, do ponto de vista matemático, respostas com arredondamento da solução de modelos de Programação Linear não devem ser adotadas.

Aplicação da programação dinâmica na substituição de equipamentos

Este trabalho teve como objetivo desenvolver um modelo de programação dinâmica, para determinar o momento ótimo de substituição de equipamentos, incorporando-se as receitas geradas pelo uso e descarte da máquina. Tal modelo deverá procurar maximizar os lucros através de uma relação de recorrência referente às receitas e aos custos ao longo dos anos. Desse modo, comparou-se o modelo proposto com um tradicional de substituição, que inclui apenas custos, utilizado por Filgueiras (1997). O modelo proposto foi satisfatório, de acordo com o objetivo do trabalho, pois com o seu desenvolvimento foi possível oferecer decisões ótimas de substituir ou reter o equipamento. Tal modelo se apresentou mais flexível, podendo ser utilizado em situações em que o equipamento gera receitas diretas (como no caso de aluguel ou receitas de fretes) ou não. Quando não se utilizam receitas, os resultados são idênticos aos do modelo tradicional. Constatou-se, também, que o modelo proposto é mais suscetível a aumentos no valor de aquisição do equipamento, enquanto o modelo sem receita é mais sensível a variações na taxa de juros. Observou-se que a aplicação da Programação Dinâmica oferece ao planejador uma gama de alternativas bem maior para auxiliar a tomada de decisão.

Aplicação da programação dinâmica na substituição de povoamentos florestais

Objetivaram-se, neste estudo, desenvolver e aplicar dois modelos de programação dinâmica para decidir sobre a melhor opção de manejo de um povoamento florestal ao longo do horizonte de planejamento. Com os modelos, procurou-se maximizar os lucros através de uma relação de recorrência referente às receitas e aos custos ao longo dos anos a partir de um modelo tradicional de substituição de equipamentos. Os resultados de ambos os modelos indicaram, para a maioria das situações, como melhor opção não cortar povoamentos jovens, seguido de cortar e reformar ou cortar e conduzir a brotação para os povoamentos com idades mais avançadas, isso para todos os estágios (de f1 a f7). A vantagem de se usar a PD, neste caso, é que esta ferramenta oferece ao planejador uma gama maior de alternativas na hora da tomada de decisão. Conclui-se que, quando uma empresa quer maximizar os lucros de um povoamento florestal, sem se preocupar com o horizonte de planejamento ou com a floresta regulada, deveria optar pela idade ótima de corte simples tradicionalmente conhecida como rotação econômica. Porém, se a empresa quer tomar decisões para um horizonte de planejamento definido e posteriormente deseja vender a terra e a floresta, as alternativas são muitas, pois a empresa pode optar por cortar agora ou postergar o corte, conduzir a brotação ou reformar. Nesse caso, o modelo de PD desenvolvido aqui pode apresentar tais alternativas e indicar a melhor.

Conversão de árvores em multiprodutos da madeira utilizando programação inteira

Este estudo foi conduzido visando aumentar a renda e a segurança de um empreendimento florestal através da conversão de árvores em multiprodutos de madeira utilizando programação inteira. Os dados utilizados são referentes a um plantio de um clone híbrido de Eucalyptus grandis x Eucalyptus urophylla, aos 7 anos de um produtor rural na zona da mata em Minas Gerais. Para realização da conversão otimizada, foram utilizadas informações de alternativas de comercialiação da madeira produzida no povoamento e das características dos produtos. Foram consideradas 4 alternativas de destino das toras: energia, celulose, escora e serraria, com diferentes dimensões requeridas quanto aos diâmetros mínimos e máximos e o comprimento das toras. O problema se resumiu em atender a combinação otimizada baseado em dois cenários propostos: a) Maximização do volume total obtido, e b) otimização da receita global obtida. A fim comparativo, destinou-se a floresta a um único produto sem estudo de otimização. A comparação dos resultados obtidos demonstra os benefícios econômicos obtidos pela conversão do plantio em multiprodutos quando comparado a uso único, tendo um acréscimo médio de 33,69% na receita média obtida por apenas um produto. A maximização da receita total obtida teve um acréscimo de 20,6% e 16,3% quando comparada a receita obtida pela destinação do povoamento para escora e pela maximização do volume respectivamente. Logo, conclui-se que a otimização da receita global demonstrou-se ser a melhor alternativa de remuneração advinda do povoamento florestal.

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.