Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Una reconstrucción de la lógica de la investigación de John Dewey : Antecedentes y derivaciones

El objetivo de esta tesis es ofrecer una reconstrucción de la teoría de la investigación de John Dewey, prestando atención a sus antecedentes en los escritos del padre del pragmatismo, Charles Sanders Peirce, y a algunas derivaciones de tal teoría en la teoría de la argumentación contemporánea y en los estudios sociales de la ciencia. La misma está dividida en tres partes dedicadas a (I) explorar algunos antecedentes de la teoría de la investigación de Dewey, (II) desarrollar y analizar críticamente los aspectos centrales de tal teoría y, por último, (III) seguir la pista de algunas de sus derivaciones. El punto de partida es el análisis de la concepción de la lógica de la investigación de Peirce, tal como éste la fuera construyendo a partir de su crítica a la filosofía moderna. Ofrecemos una reconstrucción de las ideas de Peirce que permite dar cuenta de que, pese a las importantes diferencias entre las ideas de Peirce y Dewey, los desarrollos de este último pueden ser considerados como una prosecución, en nuevas y profundas direcciones, de algunas de las ideas más destacadas del primero y que constituyen, por ello, una lectura posible de algunos de los escritos más destacados de Peirce. En la segunda parte, la central de esta tesis, se aborda la teoría de la investigación de Dewey. En este marco, se reconstruye la teoría de la experiencia de Dewey, que constituye, como se argumenta, un verdadero punto de partida para la teoría de la investigación. Se argumenta que la teoría de la experiencia de Dewey puede ser considerada como un análisis de las consecuencias para la filosofía de algunos de los resultados más influyentes en el campo de la biología, la psicología y la antropología social en relación con la comprensión de los seres humanos. Se reconstruye también la teoría de la investigación que, al ser comprendida como una forma de la experiencia, permite dar cuenta del carácter mediador y transformacional del conocimiento. Se analizan, asimismo, las consecuencias que para la comprensión de la lógica se siguen de dicha concepción y se argumenta que, pese a lo que Peirce y algunos intérpretes contemporáneos sostienen, la lógica de Dewey puede ser considerada una verdadera lógica. Además, en esta segunda parte se analiza la concepción deweyana de la valoración y se reconstruye una perspectiva acerca de la interdependencia del conocimiento y los valores. Asimismo, se argumenta que, y contra lo que las críticas de Horkheimer y Adorno sugieren, la teoría de la valoración de Dewey tiene un potencial crítico que permite plantear y abordar el problema de los fines de la acción y, en especial, los de esa acción cognitiva a la que llamamos ciencia. En la tercera y última parte de esta tesis se abordan algunas de las derivaciones de la teoría de la investigación de Dewey. En primer lugar, se exploran las relaciones entre la propuesta de Dewey y la de uno de los más destacados representantes de la teoría de la argumentación contemporánea, a saber, Stephen Toulmin. Se muestra que en la obra de este último puede identificarse una dimensión pragmatista y deweyana. En segundo lugar, se aborda la cuestión de la relación entre la teoría de la investigación de Dewey y el giro hacia las prácticas de los estudios sociales de la ciencia. En particular, se analizan algunos aspectos de la obra de Bruno Latour y de la de Karin Knorr Cetina, mostrando las profundas e interesantes continuidades que suponen con el trabajo de Dewey. Además, se aborda un problema fuertemente discutido en el ámbito de la sociología del conocimiento, a saber, el problema de la reflexividad de los estudios de la ciencia, con el objetivo de ofrecer una mirada deweyana sobre tal cuestión, lo que permitirá sostener una interpretación de la filosofía del conocimiento de Dewey como filosofía política de la ciencia

Contribución al estudio de la incompatibilidad y otras medidas relacionadas en la lógica borrosa

Resumen La investigación descrita en esta memoria se enmarca en el campo de la lógica borro¬sa. Más concretamente, en el estudio de la incompatibilidad, de la compatibilidad y de la suplementaridad en los conjuntos borrosos y en los de Atanassov. En este orden de ideas, en el primer capítulo, se construyen, tanto de forma directa como indirecta, funciones apropiadas para medir la incompatibilidad entre dos conjuntos borro-sos. Se formulan algunos axiomas para modelizar la continuidad de dichas funciones, y se determina si las medidas propuestas, y otras nuevas que se introducen, verifican algún tipo de continuidad. Finalmente, se establece la noción de conjuntos borrosos compatibles, se introducen axiomas para medir esta propiedad y se construyen algunas medidas de compa¬tibilidad. El segundo capítulo se dedica al estudio de la incompatibilidad y de la compatibilidad en el campo de los conjuntos de Atanassov. Así, en primer lugar, se presenta una definición axiomática de medida de incompatibilidad en este contexto. Después, se construyen medidas de incompatibilidad por medio de los mismos métodos usados en el caso borroso. Además, se formulan axiomas de continuidad y se determina el tipo de continuidad de las medidas propuestas. Finalmente, se sigue un camino similar al caso borroso para el estudio de la compatibilidad. En el tercer capítulo, después de abordar la antonimia de conjuntos borrosos y de conjuntos de Atanassov, se formalizan las nociones de conjuntos suplementarios en estos dos entornos y se presenta, en ambos casos, un método para obtener medidas de suplementaridad a partir de medidas de incompatibilidad vía antónimos. The research described in this report pertains to the field of fuzzy logic and specifically studies incompatibility, compatibility and supplementarity in fuzzy sets and Atanassov's fuzzy sets. As such is the case, Chapter 1 describes both the direct and indirect construction of appropriate functions for measuring incompatibility between two fuzzy sets. We formulate some axioms for modelling the continuity of functions and determine whether the proposed and other measures introduced satisfy any type of continuity. Chapter 2 focuses on the study of incompatibility and compatibility in the field of Ata¬nassov's fuzzy sets. First, we present an axiomatic definition of incompatibility measure in this field. Then, we use the same methods to construct incompatibility measures as in the fuzzy case. Additionally, we formulate continuity axioms and determine the type of conti¬nuity of the proposed measures. Finally, we take a similar approach as in the fuzzy case to the study of compatibility. After examining the antonymy of fuzzy sets and Atanassov's sets, Chapter 3 formalizes the notions of supplementary sets in these two domains, and, in both cases, presents a method for obtaining supplementarity measures from incompatibility measures via antonyms.

Estructuras óptimas de detección y corrección de errores dirigidas a computadores construidos con lógica de alto nivel de Integración: aplicación industrial

Este trabajo trata de la aplicación de los códigos detectores y correctores de error al diseño de los Computadores Tolerantes a Fallos, planteando varias estrategias óptimas de detección y corrección para algunos subsistemas. En primer lugar,"se justifica la necesidad de aplicar técnicas de Tolerancia a Fallos. A continuación se hacen previsiones de evolución de la tecnología de Integración, así como una tipificación de los fallos en circuitos Integrados. Partiendo de una recopilación y revisión de la teoría de códigos, se hace un desarrollo teórico cuya aplicación permite obligar a que algunos de estos códigos sean cerrados respecto de las operaciones elementales que se ejecutan en un computador. Se plantean estrategias óptimas de detección y corrección de error para sus subsistemas mas Importantes, culminando en el diseño, realización y prueba de una unidad de memoria y una unidad de proceso de datos con amplias posibilidades de detección y corrección de errores.---ABSTRACT---The present work deals with the application of error detecting and correctíng codes to the désign of Fault Tolerant Computers. Several óptimo» detection and correction strategies are presented to be applied in some subsystems. First of all, the necessity of applying Fault Tolerant techniques is explained. Later, a study on íntegration technology evolution and typification of Integrated circuit faults 1s developed. Based on a compilation and revisión of Coding Theory, a theoretical study is carried out. It allows us to force some of these codes to be closed over elementary operations. Optimum detection and correction techniques are presented for the raost important subsystems. Flnally, the design, building and testing of a memory unit and a processing unit provided with wlde error detection and correction posibilities 1s shown.

Bases para un planteamiento jerárquico de la lógica aplicable a la representación e interpretación del conocimiento

Uno de los campos de investigación más activos hoy en dia dentro del terreno de la inteligencia artificial (I.A.) es el de la representación del conocimiento. Actualmente es usual el clasificar los esquemas de representación del conocimiento en tres grandes grupos [Mylos 82]: Lógicos, de redes semánticas y procedimentales. Ponemos en primer lugar las representaciones lógicas porque es precisamente dentro de ellas donde el presente trabajo se puede encuadrar.

Bases de Datos I. La perspectiva lógica del modelo relacional

Extracto de los apuntes referido al cálculo relacional y la perspectiva del modelo relacional desde el cálculo de predicados de primer orden.

Can previous acid etching increase the bond strength of a self-etching primer adhesive to enamel?

Because a greater research effort has been directed to analyzing the adhesive effectiveness of self etch primers to dentin, the aim of this study was to evaluate, by microtensile testing, the bond strength to enamel of a composite resin combined with a conventional adhesive system or with a self-etching primer adhesive, used according to its original prescription or used with previous acid etching. Thirty bovine teeth were divided into 3 groups with 10 teeth each (n= 10). In one of the groups, a self-etching primer (Clearfil SE Bond - Kuraray) was applied in accordance with the manufacturer's instructions and, in the other, it was applied after previous acid etching. In the third group, a conventional adhesive system (Scotchbond Multipurpose Plus - 3M-ESPE) was applied in accordance with the manufacturer's instructions. The results obtained by analysis of variance revealed significant differences between the adhesive systems (F = 22.31). The self-etching primer (Clearfil SE Bond) presented lower enamel bond strength values than the conventional adhesive system (Scotchbond Multipurpose Plus) (m = 39.70 ± 7.07 MPa) both when used according to the original prescription (m = 27.81 ± 2.64 MPa) and with previous acid etching (m = 25.08 ± 4.92 MPa).

Piaget segundo seus próprios argumentos

Neste artigo tivemos a intenção de oferecer ao leitor o resumo de um dos aspectos mais importantes da análise estrutural que realizamos, durante décadas, do texto de Jean Piaget, sobretudo as estreitas relações entre a Biologia e a Lógica na construção e na explicação do conhecimento científico. Nesse sentido, procuramos demonstrar que, a partir dos conceitos de implicação significante e de imagem mental criados por Piaget, um novo campo de investigações se abre, a saber, aquele que denominamos como o dos sistemas de significação não lógica, campo de suma relevância e que vem preencher uma secular lacuna entre a razão e a emoção até hoje presente nas pesquisas sobre os fenômenos normais e patológicos do psiquismo.

An oligonucleotide primer set for PCR amplification of the complete honey bee mitochondrial genome

Mitochondrial DNA markers have been widely used to address population and evolutionary questions in the honey bee Apis mellifera. Most of the polymorphic markers are restricted to few mitochondrial regions. Here we describe a set of 24 oligonucleotides that allow PCR amplification of the entire mitochondrial genome of the honey bee A. mellifera in 12 amplicons. These fragments have important applications for the study of mitochondrial genes in different subspecies of A. mellifera and as heterospecific probes to characterize mitochondrial genomes in other bee species.

Rapid genotyping of loci involved in antifolate drug resistance in Plasmodium falciparum by primer extension

Current methods used to genotype point mutations in Plasmodium falciparum genes involved in resistance to antifolate drugs include restriction digestion of PCR products, allele-specific amplification or sequencing. Here we demonstrate that known point mutations in dihydrofolate reductase and dihydropteroate synthase can be scored quickly and accurately by single-nucleotide primer extension and detection of florescent products on a capillary sequencer. We use this method to genotype parasites in natural infections from the Thai-Myanmar border. This approach could greatly simplify large-scale screening of resistance mutations of the type required for evaluating and updating antimalarial drug treatment policies. The method can be easily adapted to other P. falciparum genes and will greatly simplify scoring of point mutations in this and other parasitic organisms. © 2002 Australian Society for Parasitology Inc. Published by Elsevier Science Ltd. All rights reserved.

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Utilização da lógica fuzzy na geração de zonas de manejo

Este trabalho teve como objetivo utilizar a lógica fuzzy para geração de zonas de manejo, na área agrária e ambiental. Uma das aplicações consistiu da utilização do método fuzzy C-means, para geração de zonas de manejo para a cultura do mamoeiro, em um plantio comercial localizado em São Mateus-ES, com base em determinações realizadas através de amostragens e análises químicas do solo, considerando os atributos: P, K, Ca, Mg, e Saturação por bases (V%). Aplicou-se também a lógica fuzzy para desenvolver e executar um procedimento para dar suporte ao processo de tomada de decisões, envolvendo análise multicritério, gerando mapas de adequabilidade ao uso público e a conservação no Parque Estadual da Cachoeira da Fumaça, no município de Alegre-ES, considerando como fatores a localização da cachoeira, o uso do solo, os recursos hídricos, as trilhas, os locais de acessos, a infraestrutura, a declividade da área, e utilizando a abordagem de Sistema de Informações Geográficas para análise e combinação da base de dados. A partir das zonas de manejo geradas, foi possível explicar a variabilidade espacial dos atributos do solo na área de estudo da cultura do mamoeiro, e observa-se que as similaridades entre as zonas geradas, a partir de diferentes atributos, mostrou variação, mas observa-se uma influência nos dados, principalmente pelos atributos P e V. A partir do zoneamento da Unidade de Conservação foi possível selecionar áreas mais aptas ao ecoturismo, sendo encontradas próximas da cachoeira, trilhas em zonas de reflorestamento e de Mata Atlântica. Quanto às áreas propensas a medidas de conservação localizam-se próximas à cachoeira e às estruturas do parque, devido à maior pressão antrópica exercida nesses locais. Outras áreas que se destacaram, foram as áreas de pastagem, por estarem em estágio de regeneração natural. Os resultados indicam áreas de mesmo potencial de produção do mamoeiro, ou quando aplicado à área ambiental, áreas que devem receber maior cuidado para utilização por ecoturismo e para preservação e servem de base para a tomada de decisões, visando melhor aproveitamento da área.