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.

Comparison of Local Feature Detectors and Descriptors for Visual Object Categorization

Local features are used in many computer vision tasks including visual object categorization, content-based image retrieval and object recognition to mention a few. Local features are points, blobs or regions in images that are extracted using a local feature detector. To make use of extracted local features the localized interest points are described using a local feature descriptor. A descriptor histogram vector is a compact representation of an image and can be used for searching and matching images in databases. In this thesis the performance of local feature detectors and descriptors is evaluated for object class detection task. Features are extracted from image samples belonging to several object classes. Matching features are then searched using random image pairs of a same class. The goal of this thesis is to find out what are the best detector and descriptor methods for such task in terms of detector repeatability and descriptor matching rate.

Webometric network analysis : mapping cooperation and geopolitical connections between local government administration on the web

Webben är en enorm källa för information. Innehållet på webbsidorna är en synlig typ av information, men webben innehåller även information av en annan typ, en mera gömd typ i form av sambanden och nätverken som hyperlänkarna skapar mellan webbsajterna och –sidorna som de kopplar ihop. Forskningsområdet webometri ämnar, bland annat, att skapa ny kunskap ur denna gömda information som finns inbyggt i hyperlänkarna samt att skapa förståelse för hurudana fenomen och förhållanden utanför webben kan finnas representerade i hyperlänkarna. Målet med denna forskning var att öka förståelse för användningen av hyperlänkar på webben och speciellt kommunernas användning av hyperlänkar. Denna forskning undersökte hur kommunerna i Egentliga Finland skapade och mottog hyperlänkar samt hurudana nätverk formades av dessa hyperlänkar. Forskningen kartlade nätverk av direkta länkar mellan kommunerna och av samlänkar till och från kommunerna och undersökte ifall dessa nätverk kunde användas för att undersöka geopolitiska förhållanden och samarbete mellan kommunerna i Egentliga Finland. De övergripande forskningsfrågorna som har besvarats i denna forskning är: 1) Från ett webometriskt perspektiv, hur använder kommunerna i Egentliga Finland webben? 2) Kan hyperlänkar (direkta länkar och samlänkar) användas för att kartlägga geopolitiska förhållanden och samarbete mellan kommuner? 3) Vilka är de viktigaste motiveringarna för att skapa länkar mellan, till och från kommunernas webbsajter? Denna forskning kom till ovanligt tydliga resultat för en webometrisk forskning, både när det gäller upptäckta geografiska faktorer som påverkar hyperlänkningarna och de klassificerade motivationerna för att skapa länkarna. Resultaten visade att de direkta hyperlänkarna mellan kommunerna kan användas för att kartlägga geopolitiska förhållanden och samarbete mellan kommunerna för att de direkta länkarna var motiverade av officiella orsaker och de var klart påverkade av distansen mellan kommunerna och av de ekonomiska regionerna. Samlänkningarna in till kommunerna visade sig fungera som ett mått för geografisk likhet mellan kommunerna, medan samlänkningarna ut från kommunerna visade potential för att kunna användas till för att kartlägga kommunernas gemensamma intressen. Forskningen kontribuerade även till utvecklandet av forskningsområdet webometri. En del av de viktigaste kontributionerna av denna forskning var utvecklandet av nya metoder för webometrisk forskning samt att öka kunskap om hur existerande metoder från nätverksanalys kan användas effektivt för webometrisk forskning. Resultaten från denna forskning och de utvecklade metoderna kan användas för snabba kartläggningar av diverse förhållanden mellan olika organisationer och företag genom att använda information gratis tillgängligt på webben.

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.

Avaliação de métodos de ajuste de curvas de índice de local em povoa mento de eucalipto desbastados

Este estudo teve como objetivo comparar a eficiência dos métodos da curva-guia, equação das diferenças e predição de parâmetros para construir curvas de índices de local em povoamentos de eucalipto desbastados. Os dados utilizados foram provenientes de um experimento de desbastes pertencente à empresa Copener Florestal, atualmente Bahia Pulp, BA. Para ajuste dos modelos, utilizaram-se dados de sete remedições (27, 40, 50, 61, 76, 87 e 101 meses) de 48 parcelas, com área média de 2.600 m². Na avaliação individual dos métodos, analisaram-se os coeficientes de determinação, de correlação e erros médios porcentuais, bem como análises gráficas das curvas de índices de local. Para testar a identidade entre os métodos, empregou-se o teste de Leite e Oliveira (2002). Para efetuar o teste, o método da curva-guia foi escolhido como método-padrão e comparado aos outros dois métodos alternativos. Na análise individual, os três métodos se enquadraram no critério adotado para avaliação da eficiência para construir as curvas de índices de local, porém o método da curva-guia foi o que apresentou melhor ajuste. A partir dos resultados do teste de identidade de modelos, constatou-se que as estimativas de índices de local, obtidas pelos métodos alternativos, diferiram estatisticamente do método-padrão, ou seja, não se confirmou a identidade entre os métodos testados. Dessa forma, o método da curva-guia foi considerado o mais adequado para construção das curvas de índices de local de povoamentos de eucalipto submetidos a desbaste.

Curvas de crescimento e de índice de local para povoamentos de Tectona grandis em Tangará da Serra, Mato Grosso

Este estudo teve por objetivo avaliar as tendências de crescimento de variáveis do povoamento e avaliar alternativas para construção de curvas de índice de local para teca (Tectona grandis), em plantios localizados na região de Tangará da Serra - Mato Grosso. Para isso, foram utilizados dados de 50 parcelas permanentes com no mínimo quatro medições sucessivas. As tendências de crescimento em altura, diâmetro, área basal e volume foram analisadas por meio da análise de regressão, utilizando o modelo Chapman-Richards. Dois métodos de construção de curvas de índices de local, com diferentes modelos, foram avaliados. Após análises, verificou-se que o modelo Chapman-Richards ajustou-se bem aos dados observados, descrevendo as tendências de crescimento das variáveis dos povoamentos. A melhor alternativa para construir curvas de índices de local foi o método da curva-guia, empregando o modelo Chapman-Richards.

Otimização do layout de marcenarias no sul do espírito santo baseado em parâmetros ergonômicos e de produtividade

Este estudo foi realizado em três marcenarias no sul do Estado do Espírito Santo, com o objetivo de analisar o layout e propor mudanças que otimizem o funcionamento harmônico entre o local de trabalho e o trabalhador, considerando-se fatores ergonômicos, fluxo de produção e produtividade. A coleta de dados foi feita analisando-se as condições do ambiente de trabalho (clima, ruído, iluminação) e aplicando uma entrevista para avaliar as condições gerais e de segurança no trabalho. O layout foi avaliado por medições, observação da sequência de trabalho nas máquinas e aplicação do software AutoCAD 2000. Os resultados indicaram que o Índice de Bulbo Úmido e o Termômetro de Globo estavam de acordo com a Norma Regulamentadora nº 15 (atividade moderada), sendo de 26,38 ºC, em média. Os níveis médios de ruído foram de 87,48 dB (A), acima do permitido para uma jornada de 8 h diárias (NR 15). A luminosidade média, encontrada em duas marcenarias, ficou acima da faixa de iluminação mínima recomendada para esse trabalho de maquinarias (NBR 5413/92). Todas as marcenarias tinham disposição desordenada do maquinário em razão da sequência lógica de trabalho, presença de pilastras e resíduos na área útil e de passagem, piso desnivelado, falta de rampas para acesso aos galpões, manutenção de máquinas e equipamentos de forma incorreta, falhas no telhado e ausência de bancadas para facilitar a adoção de uma melhor postura durante o manuseio das peças.

Aplicação da função hiperbólica na construção de curvas de índice de local

Neste estudo foi avaliada a eficiência da função hiperbólica, para geração de curvas anamórficas e polimórficas de índices de local. As curvas de índice de local foram construídas utilizando os métodos: da curva-guia, da equação das diferenças, da predição de parâmetros, de Hammer e dos índices de local definidos preliminarmente. Para aplicação desses métodos foram utilizados dados de parcelas permanentes de povoamentos de eucalipto. A eficiência foi confirmada, sendo a função indicada para descrever tendências polimórficas e anamórficas, podendo ser utilizada na classificação da capacidade produtiva de povoamentos de eucalipto.