Spelling suggestions: "subject:"nonclassic logic"" "subject:"nonclassic yogic""
1 |
A SILOGÍSTICA CATEGÓRICA DOS ANALÍTICOS ANTERIORES DE ARISTÓTELESRasch, Elton Luiz 13 September 2013 (has links)
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.
|
2 |
Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta. / Methods of support the medical decision for analysis in gestacional diabetes mellitus using the pragmatic probability in paraconsistent logic annotated of two values for better precision of answer.Souza, Paulo Roberto Schroeder de 16 April 2009 (has links)
Vários métodos estatísticos aplicados à medicina diagnóstica sofreram, nas últimas décadas, enormes avanços. Grande parte destes métodos está voltada ao problema de classificar indivíduos em grupos, sendo que os testes diagnósticos ligados a técnicas de Inteligência Artificial compõem nossa principal aplicação desse trabalho. Estes testes estatísticos são descritos como métodos teoricamente capazes de indicar a presença ou a ausência de uma determinada doença, com certa chance de erro. A quantificação destas chances de erro que é, basicamente, o objetivo destes métodos tem servido a inúmeras aplicações e nesse trabalho é utilizada como fonte de evidências para os procedimentos de análises estruturados em Lógica Paraconsistente. Como a Lógica Paraconsistente é uma lógica não-clássica que aceita contradição em sua estrutura sem invalidar as conclusões, e utiliza em suas análises valores evidenciais, aplicamos aqui os conceitos fundamentais de um tipo de Lógica Paraconsistente denominada de Lógica Paraconsistente Anotada com anotação de dois valores LPA2v. Através dos procedimentos estatísticos e os fundamentos da LPA2v o presente estudo objetiva descrever a situação em que o teste produz uma resposta que não é descrita simplesmente como positivo ou negativo, mas por um resultado que pode ser expresso por uma variável categórica ordinal ou por uma variável contínua que pode ser considerada como grau de evidência. Esse processo é realizado utilizando uma dedução lógica que usa os conceitos da Probabilidade Pragmática na qual se pode efetuar uma ligação entre a teoria probabilística de Bayes e os métodos de aplicação da Lógica Paraconsistente Anotada com dois valores LPA2v. Dessa junção surgiram neste trabalho algoritmos Paraconsistentes que descrevem esse processo. Denominamos o processo de adaptação da Teoria de Bayes para a Lógica Paraconsistente de ParaBayes. Para demonstrar os procedimentos que utilizam os conceitos fundamentais da LPA2v em dados probabilísticos foram extraídos valores evidenciais de um banco de dados que se refere à submissão de um conjunto de casos, contendo uma série de evidências e o diagnóstico de Diabetes, em uma comunidade de índias PIMA. São utilizadas no banco de dados índias PIMA as técnicas dos métodos estatísticos e de raciocínio probabilístico de Bayes para levantamento de dados que foram interpretados e modelados como Graus de Evidência capazes de serem analisados pelos Algoritmos da LPA2v. Neste estudo verifica-se que a extração dos Graus de Evidência não invalida as técnicas estatísticas já estabelecidas, mas confere através da LPA2v novas formas de interpretação baseadas nos resultados e produzindo meios que facilitam o tratamento dos dados por ferramentas computacionais elevando o grau de confiança dos diagnósticos. Uma das observações importantes é que o método LPA2v/Bayes proposto utilizado para extrair evidências é capaz de evitar possíveis distorções no formato da curva que possam advir da seleção inadequada de casos de teste. Os resultados obtidos sugerem que em situações nas quais se tenha uma grande quantidade de casos em que as incertezas exijam métodos estatísticos para formar diagnóstico, esta seja uma boa técnica para se adotar em sistemas de apoio a decisão médica. / Several statistical methods applied to the medicine diagnostic suffered, in the last decades, enormous progresses. Great part of these methods come back to the problem from classifying individuals in groups. Tests that use techniques of Artificial Intelligence compose our main main focus. Statistical tests are described as methods capable to indicate the presence or the absence of a certain disease, with a certain chance of error. The quantification of these error chances that is, basically, the objective of these methods has served to countless applications. In this work it is used as source of evidence for the procedures of analysis structured through Paraconsistent Logic. As Paraconsistent Logic is a non-classic logic that accepts contradiction in its structure without invalidating the conclusions and uses in its analysis values attributed to evidences, we applied the fundamental concepts of a type of Logic denominated Paraconsistent Logic Annotated with two values LPA2v. Through the statistical procedures and the foundations of LPA2v the present study aims at describing the situation where the test produces an answer that is not simply described as \"positive\" or \"negative\", but can be expressed by an ordinal variable or by a continuous variable that can be considered as an evidence degree. That process is obtained using a logical deduction that uses the concepts of the Pragmatic Probability where it can make a connection between the probabilistic theory of Bayes and the methods of Paraconsistent Logic, Annotated with two values, LPA2v. Out of that junction Paraconsistent algorithms appeared in this work that describe the whole process. We denominated the process of adaptation of the Theory of Bayes to Paraconsistent Logic of ParaBayes. To demonstrate the procedures that use the fundamental concepts of LPA2v evidence values were extracted from a database comprising a series of evidences and the diagnosis of Diabetes, in a community of PIMA Indians. The PIMA Indian database was a test-bed field for the techniques of the statistical methods and of reasoning probabilistic of Bayes for rising of data that were interpreted and modeled as Degrees of Evidence capable of being analyzed by the Algorithms of LPA2v. In this study it is verified that the extraction of the Degrees of Evidence doesn\'t invalidate the statistical techniques established, but it allows for new forms of interpretations based on the results and producing means that facilitate the treatment of the data, elevating the trust in the diagnostic. One of the important observations is that the proposed method LPA2v/Bayes used to extract evidence is capable to avoid possible distortions in the format of the curve that is usually the result of inadequate selection of test cases. Results suggest that in situations where a great amount of cases have uncertainties this is a good technique to adopt in medical decision support systems.
|
3 |
Métodos de apoio a decisão médica para análise em diabetes mellitus gestacional utilizando a probabilidade pragmática na lógica paraconsistente anotada de dois valores para melhor precisão de resposta. / Methods of support the medical decision for analysis in gestacional diabetes mellitus using the pragmatic probability in paraconsistent logic annotated of two values for better precision of answer.Paulo Roberto Schroeder de Souza 16 April 2009 (has links)
Vários métodos estatísticos aplicados à medicina diagnóstica sofreram, nas últimas décadas, enormes avanços. Grande parte destes métodos está voltada ao problema de classificar indivíduos em grupos, sendo que os testes diagnósticos ligados a técnicas de Inteligência Artificial compõem nossa principal aplicação desse trabalho. Estes testes estatísticos são descritos como métodos teoricamente capazes de indicar a presença ou a ausência de uma determinada doença, com certa chance de erro. A quantificação destas chances de erro que é, basicamente, o objetivo destes métodos tem servido a inúmeras aplicações e nesse trabalho é utilizada como fonte de evidências para os procedimentos de análises estruturados em Lógica Paraconsistente. Como a Lógica Paraconsistente é uma lógica não-clássica que aceita contradição em sua estrutura sem invalidar as conclusões, e utiliza em suas análises valores evidenciais, aplicamos aqui os conceitos fundamentais de um tipo de Lógica Paraconsistente denominada de Lógica Paraconsistente Anotada com anotação de dois valores LPA2v. Através dos procedimentos estatísticos e os fundamentos da LPA2v o presente estudo objetiva descrever a situação em que o teste produz uma resposta que não é descrita simplesmente como positivo ou negativo, mas por um resultado que pode ser expresso por uma variável categórica ordinal ou por uma variável contínua que pode ser considerada como grau de evidência. Esse processo é realizado utilizando uma dedução lógica que usa os conceitos da Probabilidade Pragmática na qual se pode efetuar uma ligação entre a teoria probabilística de Bayes e os métodos de aplicação da Lógica Paraconsistente Anotada com dois valores LPA2v. Dessa junção surgiram neste trabalho algoritmos Paraconsistentes que descrevem esse processo. Denominamos o processo de adaptação da Teoria de Bayes para a Lógica Paraconsistente de ParaBayes. Para demonstrar os procedimentos que utilizam os conceitos fundamentais da LPA2v em dados probabilísticos foram extraídos valores evidenciais de um banco de dados que se refere à submissão de um conjunto de casos, contendo uma série de evidências e o diagnóstico de Diabetes, em uma comunidade de índias PIMA. São utilizadas no banco de dados índias PIMA as técnicas dos métodos estatísticos e de raciocínio probabilístico de Bayes para levantamento de dados que foram interpretados e modelados como Graus de Evidência capazes de serem analisados pelos Algoritmos da LPA2v. Neste estudo verifica-se que a extração dos Graus de Evidência não invalida as técnicas estatísticas já estabelecidas, mas confere através da LPA2v novas formas de interpretação baseadas nos resultados e produzindo meios que facilitam o tratamento dos dados por ferramentas computacionais elevando o grau de confiança dos diagnósticos. Uma das observações importantes é que o método LPA2v/Bayes proposto utilizado para extrair evidências é capaz de evitar possíveis distorções no formato da curva que possam advir da seleção inadequada de casos de teste. Os resultados obtidos sugerem que em situações nas quais se tenha uma grande quantidade de casos em que as incertezas exijam métodos estatísticos para formar diagnóstico, esta seja uma boa técnica para se adotar em sistemas de apoio a decisão médica. / Several statistical methods applied to the medicine diagnostic suffered, in the last decades, enormous progresses. Great part of these methods come back to the problem from classifying individuals in groups. Tests that use techniques of Artificial Intelligence compose our main main focus. Statistical tests are described as methods capable to indicate the presence or the absence of a certain disease, with a certain chance of error. The quantification of these error chances that is, basically, the objective of these methods has served to countless applications. In this work it is used as source of evidence for the procedures of analysis structured through Paraconsistent Logic. As Paraconsistent Logic is a non-classic logic that accepts contradiction in its structure without invalidating the conclusions and uses in its analysis values attributed to evidences, we applied the fundamental concepts of a type of Logic denominated Paraconsistent Logic Annotated with two values LPA2v. Through the statistical procedures and the foundations of LPA2v the present study aims at describing the situation where the test produces an answer that is not simply described as \"positive\" or \"negative\", but can be expressed by an ordinal variable or by a continuous variable that can be considered as an evidence degree. That process is obtained using a logical deduction that uses the concepts of the Pragmatic Probability where it can make a connection between the probabilistic theory of Bayes and the methods of Paraconsistent Logic, Annotated with two values, LPA2v. Out of that junction Paraconsistent algorithms appeared in this work that describe the whole process. We denominated the process of adaptation of the Theory of Bayes to Paraconsistent Logic of ParaBayes. To demonstrate the procedures that use the fundamental concepts of LPA2v evidence values were extracted from a database comprising a series of evidences and the diagnosis of Diabetes, in a community of PIMA Indians. The PIMA Indian database was a test-bed field for the techniques of the statistical methods and of reasoning probabilistic of Bayes for rising of data that were interpreted and modeled as Degrees of Evidence capable of being analyzed by the Algorithms of LPA2v. In this study it is verified that the extraction of the Degrees of Evidence doesn\'t invalidate the statistical techniques established, but it allows for new forms of interpretations based on the results and producing means that facilitate the treatment of the data, elevating the trust in the diagnostic. One of the important observations is that the proposed method LPA2v/Bayes used to extract evidence is capable to avoid possible distortions in the format of the curve that is usually the result of inadequate selection of test cases. Results suggest that in situations where a great amount of cases have uncertainties this is a good technique to adopt in medical decision support systems.
|
4 |
Lógica matemática no ensino médio: uma proposta para mobilizar raciocíniosNeto, Raimundo de Souza Martins 16 December 2008 (has links)
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
|
5 |
Lógica matemática no ensino médio: uma proposta para mobilizar raciocíniosMartins Neto, Raimundo de Souza 16 December 2008 (has links)
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
|
Page generated in 0.0297 seconds