Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The present dissertation provides a reconstruction of the categorical part of Aristotle s (384 BC 322 BC) syllogistic, from the standpoint of the theory given in Prior Analytics, a piece of the Organon. Throughout the work it will be explained the methods which Aristotle has proposed to give support to his theory, many of them suffering only occasional changes to the present days. So, on one hand, this demonstrates the relevance of syllogistic on heuristic respects, and on the other, it shows that modern logic inherited much from Aristotle s one - either by abandonment or improvement of parts of his theory, either by embedding their methods in more refined formal structures. Initially, I ll give an overview of the theory and its relation to the epistemology proposed by Aristotle, as well as the assumptions derived from his metaphysics. Next, the operation of the methods used to prove Aristotle s theory will be demonstrated. Finally, an heuristics for the theory will be outlined, also proposed by Aristotle himself. Evidently, it is not intended to argue that Aristotle's logic is suitable for scientific research nowadays, as it seems to have been conceived at the time of its emergence and rise. However, through this research it is possible to note that the simplicity behind the syllogistic theory gives us a relatively underrated power today, especially by the emergence of modern logic. / A presente dissertação traz uma reconstrução da parte categórica da silogística de Aristóteles (384 a.C. 322 a.C.), a partir da teoria presente nos Analíticos Anteriores, integrante da compilação Órganon. Ao longo do trabalho serão explicitados os métodos que Aristóteles propôs para dar sustento à sua teoria, muitos deles sofrendo apenas alterações pontuais até os dias de hoje. Por um lado, isto demonstra a atualidade da própria silogística quanto a aspectos heurísticos, e por outro, mostra o que a lógica moderna herdou de Aristóteles seja pelo abandono ou aperfeiçoamento de partes de sua teoria em detrimento de falhas, seja pela própria incorporação de seus métodos em estruturas formais mais aperfeiçoadas. Inicialmente, será dada uma visão geral da teoria, bem como sua relação com a epistemologia proposta por Aristóteles e seus pressupostos oriundos da metafísica. A seguir, serão demonstrados o funcionamento dos métodos utilizados por Aristóteles que provam a sagacidade da teoria. Finalmente, será explicitada uma heurística para a teoria, também proposta pelo próprio Aristóteles. Evidentemente, não se pretende defender que a lógica de Aristóteles seja adequada para a investigação científica, tal como ela parece ter sido pensada no momento de seu surgimento. Contudo, através da presente investigação é possível notar que a simplicidade teórica por detrás da silogística lhe confere um poder relativamente subestimado nos dias de hoje, sobretudo pelo surgimento da lógica moderna.

Submitted by Fernando Souza (fernando@biblioteca.ufpb.br) on 2017-10-02T13:42:54Z No. of bitstreams: 1 arquivototal.pdf: 2999468 bytes, checksum: 956cae684176d28e417f331d31b46a00 (MD5) / Made available in DSpace on 2017-10-02T13:42:54Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2999468 bytes, checksum: 956cae684176d28e417f331d31b46a00 (MD5) Previous issue date: 2017-07-29 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Incisions are a common task in most surgical procedures. Their learning is traditionally done in universities or teaching centers with the use of synthetic materials, animal parts, or, in more advanced stages, in real patients under the supervision of professionals. The use of simulators can contribute in this context of training, since with them it is possible to realistically simulate the materials used, carry out the practice repeatedly and immediately and automatically assess students' performance. Simulators capable of providing evaluation for the incision made in a given procedure are not common, and even those that exist do not have a specific assessment system for this task. The present study aimed to propose and develop an assessment system for surgical incisions simulated with computational methods, identifying the basic components of this process and using appropriate decision models for each of them. For this, the concepts and variables related to this procedure were studied, highlighting their most relevant characteristics and looking for ways to better provide assessment for them. The developed system considers two steps for the assessment of the incision, pre-surgical and surgical. The classical logic was the decision model used for most of the variables, with specific rules to deal with the particularities of each one. In order to evaluate the incision trajectory, the Support Vector Machine model was selected after experiments that compared the accuracy of the assessment of different decision models applied to databases containing rectilinear incision paths. For the validation of the system, metrics for the submental incision, component of the mandibular reconstruction procedure, used in the treatment of mandibular symphysis fractures, which has high prevalence in Brazil and in the world, were obtained and applied in an incision simulation in this region of the body. A computational incision simulation, the conceptualization of the evaluation system, a concrete implementation applied to the problem of the submental incision and conceptual maps, which systematize the knowledge used from different points of view, were produced in this work. It was verified that the assessment system responded adequately, with the classical logic rules and the Support Vector Machine providing results in accordance with the metrics used. Thus, it is observed that the assessment system proposed in this work represents an adequate tool for the use in the training of incision techniques. / As incisões são uma tarefa comum na maioria dos procedimentos cirúrgicos. O aprendizado delas é tradicionalmente feito nas universidades ou centros de ensino com o uso de materiais sintéticos, peças de animais, ou, em estágios mais avançados, em pacientes reais com a supervisão de profissionais. O uso de simuladores pode contribuir neste contexto de treinamento, uma vez que com eles é possível simular de forma realista os materiais utilizados, realizar a prática repetidas vezes e avaliar de forma imediata e automática o desempenho dos estudantes. Simuladores capazes de fornecer avaliação para a incisão feita em determinado procedimento não são comuns, e mesmo os existentes não possuem um método de avaliação específico para esta tarefa. O presente trabalho teve por objetivo propor e desenvolver um sistema de avaliação para incisões cirúrgicas simuladas com métodos computacionais, identificando os componentes básicos deste processo e empregando modelos de decisão adequados para cada um deles. Para isso, foram levantados os conceitos e as variáveis relacionadas a este procedimento, destacando suas características mais relevantes e buscando formas de melhor fornecer avaliação para eles. O sistema desenvolvido considera duas etapas para a avaliação da incisão, pré-cirúrgica e cirúrgica. A lógica clássica foi o modelo de decisão utilizado para a maior parte das variáveis, havendo regras específicas para lidar com as particularidades de cada uma. Para a avaliação da trajetória da incisão foi utilizado o modelo Support Vector Machine, selecionado após a realização de experimentos que compararam a precisão da avaliação de diferentes modelos de decisão aplicados a bancos de dados contendo caminhos de incisões retilíneas. Para a validação do sistema, métricas para a incisão submentoniana, componente do procedimento de reconstrução mandibular, utilizada no tratamento de fraturas na sínfise mandibular, o qual tem alta prevalência no Brasil e no mundo, foram obtidas e aplicadas em uma simulação de incisão nesta região do corpo. Foram produzidos então uma simulação de incisão computacional, a conceitualização do sistema de avaliação, uma implementação concreta aplicada ao problema da incisão submentoniana e mapas conceituais, que sistematizam os conhecimentos utilizados a partir de diferentes pontos de vista. Verificou-se que o sistema de avaliação respondeu adequadamente, com as regras da lógica clássica e a Support Vector Machine provendo resultados em conformidade com as métricas utilizadas. Desta forma, observa-se que o sistema de avaliação proposto neste trabalho representa uma ferramenta adequada para o uso no treinamento de técnicas de incisão.

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Made available in DSpace on 2016-04-27T16:58:50Z (GMT). No. of bitstreams: 1 RAIMUNDO DE SOUZA MARTINS NETO.pdf: 2924133 bytes, checksum: bd86d8e26a6a645a20f5228daea2e5f9 (MD5) Previous issue date: 2008-12-16 / Secretaria da Educação do Estado de São Paulo / This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning, regarding the origin, use and development, are analyzed and interpreted in the light of the theoreticians Piaget and Vygotsky. The activities were prepared based and on adapted the structure offered by the applet, and applied to students from the second year of high school, during seven meetings. The development, the implementation and analysis met the methodology of teaching engineering, making, firstly, a prior analysis, implementation and, also, a subsequent analysis. The application and the subsequent analysis confirmed our predictions indicating difficulty student s with the use of logical connective, however they showed that the activities have promoted an imbalance between what student has knowledge these of connectives and how he uses them in context and in the classic logic context. It shows that is possible to work classic logic in the high school level / Este trabalho tem por objetivo estabelecer em que medida é possível desenvolver em alunos do ensino médio o domínio e a habilidade na utilização de regras da lógica clássica através de atividades que mobilizem raciocínios utilizando-se dos conectivos lógicos: negação, conjunção, disjunção, implicação, bicondicional e quantificadores. Os raciocínios lógicos, em relação à origem, uso e desenvolvimento, são analisados e interpretados à luz dos teóricos Piaget e Vigotsky. As atividades foram elaboradas e adaptadas de uma estrutura oferecida por um applet, aplicadas em alunos do 2º ano do ensino médio, totalizando sete encontros. O desenvolvimento, aplicação e análise das atividades respeitaram a metodologia da engenharia didática, fazendo-se análise a priori, aplicação e análise a posteriori. A aplicação e análises a posteriori confirmaram nossas previsões, indicando dificuldades dos alunos quanto ao uso dos conectivos lógicos, porém mostrou que as atividades promoveram um desequilíbrio entre o que o aluno sabe sobre estes conectivos e como ele os utiliza no contexto comum e no contexto da lógica clássica. O que valida também nosso trabalho é a possibilidade de se trabalhar lógica clássica no ensino médio

Made available in DSpace on 2016-04-27T16:58:50Z (GMT). No. of bitstreams: 1 RAIMUNDO DE SOUZA MARTINS NETO.pdf: 2924133 bytes, checksum: bd86d8e26a6a645a20f5228daea2e5f9 (MD5) Previous issue date: 2008-12-16 / Secretaria da Educação do Estado de São Paulo / This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning, regarding the origin, use and development, are analyzed and interpreted in the light of the theoreticians Piaget and Vygotsky. The activities were prepared based and on adapted the structure offered by the applet, and applied to students from the second year of high school, during seven meetings. The development, the implementation and analysis met the methodology of teaching engineering, making, firstly, a prior analysis, implementation and, also, a subsequent analysis. The application and the subsequent analysis confirmed our predictions indicating difficulty student s with the use of logical connective, however they showed that the activities have promoted an imbalance between what student has knowledge these of connectives and how he uses them in context and in the classic logic context. It shows that is possible to work classic logic in the high school level / Este trabalho tem por objetivo estabelecer em que medida é possível desenvolver em alunos do ensino médio o domínio e a habilidade na utilização de regras da lógica clássica através de atividades que mobilizem raciocínios utilizando-se dos conectivos lógicos: negação, conjunção, disjunção, implicação, bicondicional e quantificadores. Os raciocínios lógicos, em relação à origem, uso e desenvolvimento, são analisados e interpretados à luz dos teóricos Piaget e Vigotsky. As atividades foram elaboradas e adaptadas de uma estrutura oferecida por um applet, aplicadas em alunos do 2º ano do ensino médio, totalizando sete encontros. O desenvolvimento, aplicação e análise das atividades respeitaram a metodologia da engenharia didática, fazendo-se análise a priori, aplicação e análise a posteriori. A aplicação e análises a posteriori confirmaram nossas previsões, indicando dificuldades dos alunos quanto ao uso dos conectivos lógicos, porém mostrou que as atividades promoveram um desequilíbrio entre o que o aluno sabe sobre estes conectivos e como ele os utiliza no contexto comum e no contexto da lógica clássica. O que valida também nosso trabalho é a possibilidade de se trabalhar lógica clássica no ensino médio

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.