Página 1 dos resultados de 12540 itens digitais encontrados em 0.010 segundos

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
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 16/04/2009 Português
Relevância na Pesquisa
36.83%
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...

Granlog : um modelo para analise automatica de granulosidade na programacao em logica; Granlog a model for automatic granulariy analysis in logic programming

Barbosa, Jorge Luis Victoria
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Dissertação Formato: application/pdf
Português
Relevância na Pesquisa
36.87%
A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. Dentre os problemas que devem ser solucionados para exploração adequada do paralelismo, encontra-se a analise de granulosidade. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que devendo ser executados seqüencialmente num único processador. Basicamente, esta analise consiste de uma refinada identificação dos grãos, visando a máxima eficiência na exploração do paralelismo. Neste sentido, devem ser realizadas considerações sobre dependências, complexidade dos grãos e custos envolvidos na paralelização. Recentemente, a analise de granulosidade na programação em lógica tem recebido atenção especial por parte dos pesquisadores. Os grãos podem ser identificados pelo programador através de primitivas de programação ou podem ser detectados automaticamente pelo sistema paralelo. Na programação em lógica, a exploração automática do paralelismo é estimulada...

O território do conceito : lógica e estrutura conceitual na filosofia crítica de Kant

Fonseca, Renato Duarte
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Tese de Doutorado Formato: application/pdf
Português
Relevância na Pesquisa
36.83%
A concepção kantiana da lógica é marcada pela distinção entre dois níveis de reflexão: à lógica geral concernem as regras que governam o pensamento como tal, em abstração da origem e do conteúdo de nossos conceitos e juízos, e atendo-se exclusivamente às formas de suas relações recíprocas; à lógica transcendental, por sua vez, concernem as condições sob as quais seria possível uma cognição de objetos independentemente da experiência. Não obstante, a despeito de seus escopos distintos, os princípios da lógica geral e da lógica transcendental devem, por óbvio, ser mutuamente compatíveis. A pre-sente tese parte desse truísmo para investigar qual concepção da estrutura da representa-ção conceitual é capaz de satisfazê-lo. Em outras palavras, ela pretende elucidar que tipo de caracterização das dimensões próprias a qualquer conceito – sua extensão e seu conteúdo – pode adequar-se a uma imagem coerente do projeto de Kant, que abranja sua compreensão da forma lógica do juízo e seu tratamento da possibilidade de juízos sinté-ticos a priori. O primeiro capítulo examina a visão kantiana das funções lógicas do juí-zo como funções de subordinação extensional de conceitos e, com base nisso...

A estrutura lógica do reconhecimento na Ciência da lógica de Hegel

Costa, Danilo Vaz Curado Ribeiro de Menezes
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Tese de Doutorado Formato: application/pdf
Português
Relevância na Pesquisa
36.83%
A tradição de estudos hegelianos assumiu nos últimos decênios uma grande importância, tanto em referência a ampliação numérica dos trabalhos dedicados ao hegelianismo como em relação ao modus operandi de tematização e explicitação dos problemas e reflexões que lhe são oriundos. Dentro deste contexto de Renaissance da filosofia hegeliana, o problema do reconhecimento emerge como de importância capital na Hegel-Forschung. Todavia, a par deste novo interesse sobre o reconhecimento são raros os trabalhos que se propõem a enfrentar o tema reconhecimento desde a sua matiz lógica. O presente trabalho de pesquisa se propõe estabelecer a reconstrução da estrutura lógica do reconhecimento, exprimindo os seus níveis a partir da Wissenschaft der Logik. A presente tese de caráter hermenêuticobibliográfico se configura para a consecução de tal objetivo, dividindo internamente o trabalho em comento em 05 (cinco) capítulos. O primeiro capítulo se destina a situar o estado da arte nas pesquisas sobre o reconhecimento na filosofia contemporânea. O segundo capítulo constitui o primeiro nível do reconhecimento e apresenta a lógica operando como um denominador transitivo. O terceiro capítulo estabelece o segundo nível da estrutura lógica do reconhecimento e reconstitui as condições de interação subjetiva...

Uma história da lógica no Brasil

Moraes, Carlos Roberto de
Fonte: Universidade Estadual Paulista (UNESP) Publicador: Universidade Estadual Paulista (UNESP)
Tipo: Tese de Doutorado Formato: 136 f. : il., gráfs., tabs.
Português
Relevância na Pesquisa
36.83%
Pós-graduação em Educação Matemática - IGCE; Pretendemos mostrar o desenvolvimento da lógica matemática no Brasil focando principalmente nos sessenta anos iniciais do século XX apresentando obras e estudiosos que contribuíram para a consolidação e o desenvolvimento da lógica como um campo de pesquisa no Brasil. Abordaremos três obras que acreditamos serem relevantes na história da lógica no Brasil: As Ideas Fundamentaes da Matemática, de Manuel Amoroso Costa, publicada em 1929; Elementos de Lógica Matemática, de Vicente Ferreira da Silva, publicada em 1940 e O Sentido da Nova Lógica, de Willian Van Orman Quine, publicada em 1944. A lógica apresenta um salto qualitativo a partir do final dos anos 50, quando dois centros se destacam: um na Universidade de São Paulo (USP), em São Paulo, com o Prof. Edison Farah e outro na antiga Faculdade Nacional de Filosofia, no Rio de Janeiro. Neste trabalho, dedicaremos especial atenção aos pioneiros do grupo de São Paulo, que, no final da década de 50 reuniam-se sob a liderança do Prof. Edison Farah em um grupo de estudiosos de lógica e fundamentos da matemática do qual fizeram parte os professores Benedito Castrucci, Newton Carneiro Affonso da Costa, Mario Tourasse Teixeira e Leonidas Hegenberg que se reuniam em seminários no Departamento de Matemática da Universidade de São Paulo.; We intend to present the development of mathematical logic in Brazil focusing mainly in the first six decades of the twenty century...

Uma Apresentação dos principais sistemas relacionados à lógica clássica

Fassbinder, Aracele Garcia de Oliveira
Fonte: Universidade Federal de Santa Catarina Publicador: Universidade Federal de Santa Catarina
Tipo: Dissertação de Mestrado
Português
Relevância na Pesquisa
36.83%
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010; Os principais sistemas relacionados à Lógica Clássica são apresentados. Outrossim, faz-se uma elucidação da Logica Proposicional Clássica, da Lógica Quantificacional Clássica, da Lógica Equacional Clássica, da Lógica Descritiva Clássica e da Lógica das Descrições Indefinidas, a fim de possibilitar uma visão inteligível e holística das mesmas. Para cada uma destas lógicas são fornecidas uma linguagem, uma semântica de valorações e um cálculo de sequentes. Buscamos dar um tratamento geral aos diversos aspectos semânticos e sintáticos, seguindo a perspectiva universal para a construção de ferramentas úteis ao estudo e ao desenvolvimento de lógicas. Dentre estes aspectos está uma abordagem do método dos tablôs por confutação que abstrai as características essenciais desse método em uma generalização cujas instâncias podem ser aplicadas a uma grande variedade de lógicas. Neste trabalho, tal abordagem é aplicada na construção de um sistema de tablôs para a Lógica Proposicional Clássica e para a Lógica Quantificacional Clássica. Também é dado um conceito geral de semântica...

A caracterização da lógica pela força assertórica em frege. Resposta a Marco Ruffino

Greimann,Dirk
Fonte: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Publicador: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/06/2012 Português
Relevância na Pesquisa
46.76%
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

Santos,Pedro
Fonte: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência Publicador: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/06/2012 Português
Relevância na Pesquisa
46.69%
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.

Elementos de história da lógica.

Moreira, Ana Gabriela Soares da Costa
Fonte: Universidade Portucalense Publicador: Universidade Portucalense
Tipo: Dissertação de Mestrado
Publicado em //2007 Português
Relevância na Pesquisa
36.9%
O trabalho a que se refere esta tese, consistiu no estudo do desenvolvimento da Lógica desde os tempos de Aristóteles até aos nossos dias de hoje. Os diversos contributos dados por Aristóteles e os seus discípulos levaram à criação e ao desenvolvimento da Lógica tal como a conhecemos. De facto ele tentou mostrar o caminho correcto para a investigação, através do conhecimento e da demonstração. Segue-se-lhe Leibniz que tenta construir uma linguagem universal do raciocínio esse que se torna um cálculo susceptível de ser feito através de uma máquina organizada para o efeito. Esta ideia inspira não só o desenvolvimento da Lógica, mas também a criação de "máquinas inteligentes". Em meados do século XIX, dá-se uma revolução na Lógica. Vários investigadores concebem uma nova linguagem simbólica e tentam transformar a Lógica numa Álgebra. George Boole, apresenta pela primeira vez, e de uma forma corrente, a lógica como um cálculo de sinais algébricos. Esta álgebra torna-se fundamental para a criação de circuitos nos computadores, e é tambem a base da teoria dos conjuntos. No final do século XIX, matemáticos como Gottlob Frege, Peano, B. Russel e David Hilbert contribuíram para a formalização dos conceitos e processos demonstrativos...

Um estudo sobre as origens da Lógica Matemáitca

Sousa, Giselle Costa de
Fonte: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Educação; Educação Publicador: Universidade Federal do Rio Grande do Norte; BR; UFRN; Programa de Pós-Graduação em Educação; Educação
Tipo: Tese de Doutorado Formato: application/pdf
Português
Relevância na Pesquisa
36.89%
The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense...

Lógica e Informação : uma análise da consequência lógica a partir de uma perspectiva quantitativa da informação; Logic and Information : an approach quantitative informational of logical consequence

Marcos Antonio Alves
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 14/12/2012 Português
Relevância na Pesquisa
36.87%
Nosso objetivo nesta Tese é desenvolver uma definição da consequência lógica a partir de uma perspectiva quantitativa da informação. O trabalho pode ser dividido em duas partes. Na primeira, que consiste dos três capítulos iniciais, fazemos um estudo crítico de algumas das principais concepções usuais de consequência lógica. No primeiro capítulo expomos três das características centrais da consequência lógica, quais sejam, necessidade, formalidade e anterioridade. Apresentamos uma noção geral de consequência lógica, a partir da qual classificamos as diferentes noções de consequência lógica em clássicas e não-clássicas. Nos dois próximos capítulos tratamos da consequência lógica a partir das perspectivas sintática e semântica, analisando em que medida elas satisfazem as três características acima enunciadas. Na segunda parte, constituída dos três últimos capítulos, desenvolvemos a nossa proposta. No quarto capítulo expomos criticamente a concepção de informação a ser utilizada na Tese. No quinto capítulo construímos uma semântica probabilística para a lógica sentencial clássica, mostrando os seus principais resultados. A partir desta semântica, definimos, no sexto capítulo, a quantidade de informação em uma fórmula da lógica sentencial clássica e a consequência lógica probabilística. Feito isso...

Sobre os fundamentos de programação lógica paraconsistente; On the foundations of paraconsistent logic programming

Tarcísio Genaro Rodrigues
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 29/09/2010 Português
Relevância na Pesquisa
36.89%
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's)...

Um papel para a lógica intraproposicional de Jean Piaget na representação do conhecimento do senso comum

Wazlawick, Raul Sidnei
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Dissertação Formato: application/pdf
Português
Relevância na Pesquisa
36.84%
Este trabalho procura utilizar algumas das idéias de J. Piaget, em especial a "Lógica Operatória Intraproposicional", para uma análise das relações de herança entre classes empregadas em sistemas de representação de conhecimento. Procura-se sistematizar a noção de taxonomias do conhecimento "científico", ou "classificações sistemáticas". Estas estruturas foram utilizadas por Piaget como ponto de partida para a descoberta de estruturas cognitivas do conhecimento científico. Em especial, define-se a relação CS, que determina quais quais relações de herança seguem de uma taxonomia do conhecimento científico. A noção de classificação do conhecimento científico é comparada com a de "classificação do senso comum". São mostradas as diferenças entre estes conceitos. Determina-se a semântica das classificag6es do senso comum nas estruturas de agrupamentos de Piaget, via uma extensão epistêmica da lógica de classes. É estudada a relação de herança do senso comum que admite exceções. É também apresentada a formulação usual em lógica de predicados, e é proposta uma formulação em lógica de classes estendida. Conclui-se que a definição intuitiva da relação de herança empregada em uma formulação em lógica de classes pode ser diferente daquela que é empregada em uma formulação em lógica do proposições. Observa-se...

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Gamut, L.T.F.
Fonte: Filosofía Publicador: Filosofía
Tipo: info:eu-repo/semantics/bookPart; info:eu-repo/semantics/publishedVersion Formato: application/pdf
Publicado em 02/04/2010 Português
Relevância na Pesquisa
36.88%
Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.

Subjetividade, ideias e coisas : estudo crítico e tradução da primeira parte da Lógica de Port-Royal, I-VIII; Subjectivity, ideas and things: a critical study of the first part of the logic of Port-Royal, I-VIII and the translation of the first part

Peixoto, Katarina Ribeiro
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Tese de Doutorado Formato: application/pdf
Português
Relevância na Pesquisa
36.9%
Estudo crítico e tradução da Primeira Parte da Lógica ou A Arte de Pensar, que ficou conhecida como Lógica de Port-Royal (1683), para a língua portuguesa. O estudo volta-se para a análise dos capítulos I a VIII da Primeira Parte e visa a explicitar o caráter híbrido desse manual de lógica, estruturado com o formato dos manuais de lógica escolásticos, inspirados no Organon aristotélico, e marcado pela recepção e vigência de teses cartesianas fundamentais. Embora o legado de Aristóteles se manifeste mais do que em seu formato, a Lógica de Port-Royal deve ser lida como um manual de lógica moderna naquilo que condiciona a sua inteligibilidade: a introdução de requisitos epistêmicos na determinação do domínio da lógica. No processo de reforma da lógica iniciado no século XV, Port-Royal se inscreve não apenas na crítica da concepção de lógica como instrumento para a demonstração silogística da ciência (como já o tinham feito, por exemplo, os lógicos renascentistas), mas na defesa da lógica como reflexão prática epistemicamente orientada, caracterizada pela tomada do juízo como ação mental definidora do domínio lógico. A presença de exigências epistêmicas deriva, em Port-Royal, da leitura de Descartes e do debate deste com Antoine Arnauld. Teses fundamentais do cartesianismo são arregimentadas para o projeto lógico de Port-Royal: a prioridade do pensamento sobre a linguagem; o desprezo da linguagem e da imaginação; a tese de que o uso de palavras derivaria da função...

A lógica na formação de sujeitos: um estudo sobre a presença da lógica nos processos de ensino e de aprendizagem de matemática

Ribeiro, Alessandro Pinto
Fonte: Pontifícia Universidade Católica do Rio Grande do Sul; Porto Alegre Publicador: Pontifícia Universidade Católica do Rio Grande do Sul; Porto Alegre
Tipo: Dissertação de Mestrado
Português
Relevância na Pesquisa
36.93%
A pesquisa é de natureza qualitativa, do tipo estudo de caso. Tem como questão de pesquisa o seguinte problema: De que modo as diferentes concepções de Lógica estão inseridas na prática docente de um grupo de professores de Matemática de Ensino Médio? Tem por objeto geral compreender a inserção das diferentes concepções de Lógica na prática docente de um grupo de professores de Matemática de Ensino Médio. Para atingir esse objetivo, são considerados os seguintes objetivos específicos: (1) identificar as diferentes concepções de lógica de um grupo de professores de matemática do Ensino Médio; (2) compreender como esses professores percebem a presença da Lógica na sua prática pedagógica; e (3) Identificar as diferentes concepções de Lógica presentes em materiais de apoio pedagógico utilizado por esses professores. Na fundamentação teórica são abordados os seguintes temas: Filosofia e Lógica; As diversas concepções de Lógica (Aristóteles Russell, Bacon, Descartes e Wittgenstein); A importância da Lógica nos processos de ensino e de aprendizagem de Matemática. Foram entrevistados seis professores licenciados em Matemática, docentes nas três séries do Ensino Médio e realizada a análise de materiais de apoio pedagógico utilizados pelos professores. Os dados foram submetidos à Análise Textual Discursiva.Da análise emergiram as seguintes categorias: Concepções dos professores sobre Lógica...

Significación filosófica de la lógica transitiva

Peña, Lorenzo
Fonte: Universidad Nacional de Colombia Publicador: Universidad Nacional de Colombia
Tipo: Artículo Formato: 4594727 bytes; application/pdf
Português
Relevância na Pesquisa
36.88%
En este artículo estudio las motivaciones filosóficas que han dado lugar a erigir el sistema de lógica transitiva --que es una lógica paraconsistente e infinivalente no arquimédea--, así como la aplicabilidad de tal lógica para resolver una amplia gama de problemas filosóficos. Tras examinar el contexto de revolución lógica antiaristotélica en el que ha nacido la lógica transitiva, trato de determinar en qué estriba la discrepancia entre quienes rechazan por principio cualquier contradicción y quienes consideran que el mundo contiene contradicciones verdaderas. Estudio luego los motivos para postular múltiples grados de verdad y muestro cómo tal postulación conduce a reconocer verdades mutuamente contradictorias. Paso después a examinar otros trece motivos más que abonan a favor de la adopción de una lógica gradualistica y contradictorial --como la lógica transitiva-- (problemas como los del movimiento, la relación de identidad, el flujo temporal, la dialéctica de apariencia y verdad, la del ser y el no-ser, los conflictos de valores y deberes, problemas metafísicos como el de los universales y otros, así como problemas de las ciencias físicas --mecánica cuántica...

Reseñas de: Susan Haack, Lógica Divergente; A.G. Hamilton, Lógica para; Jean-Louis Gardies, Lógica para matemáticos

Peña, Lorenzo
Fonte: Conselho Superior de Investigações Científicas Publicador: Conselho Superior de Investigações Científicas
Tipo: Artículo Formato: 2115157 bytes; application/pdf
Português
Relevância na Pesquisa
36.84%
Reseñas de tres libros de lógica matemática; En estas tres reseñas se discuten sendos libros de lógica que encierran interés desde el punto de vista filosófico, principalmente el de Haack, autora que había pretendido abordar en su libro (publicado en inglés en 1975) los temas que juzgó esenciales relativos a las lógicas no-clásicas, o lógicas desviacionistas; era una desmesurada pretensión para un libro de modestísimo volumen; pecaba de superficialidad y hasta de ligereza en ciertos casos, a la vez que ni siquiera mencionaba muchas motivaciones filosóficamente relevantes para optar por lógicas desviacionistas. Así y todo, el libro, al que no faltaban méritos, fue útil porque aportó razones para cuestionar la intangibilidad filosófica de la lógica clásica.; Peer reviewed

Rudimentos de lógica matemática

Peña, Lorenzo
Fonte: Consejo Superior de Investigaciones Científicas (España) Publicador: Consejo Superior de Investigaciones Científicas (España)
Tipo: Libro Formato: 2328126 bytes; application/pdf
Português
Relevância na Pesquisa
36.86%
Tratado de lógica matemática desde un enfoque no clásico.; Es un tratado de lógica matemática desde un enfoque gradualista y paraconsistente. Tras debatirse el problema de si hay una sola lógica, o si hay varias, y refutarse el monopolio docente de la lógica clásica, se presenta el cálculo sentencial Aj, un sistema multivalente que extiende la lógica clásica mediante una gama de negaciones (principalmente una negación débil junto a la negación fuerte o clásica). Una de las peculiaridades de este sistema es el principio de Heráclito (el de que toda autoimplicación es parcialmente falsa). Luego, se exponen un cálculo cuantificacional y una teoría de cúmulos; se usa esa denominación, en lugar de la más usual de `teoría de conjuntos', para marcar que se aparta sutancialmente de la ortodoxia estándar inspirada en principios reduccionistas de estratificación. Por último se abordan dos cuestiones de filosofía de la lógica: la existencia de verdades contradictorias y las relaciones entre la lógica del gradualismo contradictorial y otras lógicas paraconsistentes.; Peer reviewed

Enfermagem e lógica fuzzy: uma revisão integrativa; Enfermería y lógica fuzzy: una revisión de integradora; Nursing and fuzzy logic: an integrative review

Jensen, Rodrigo; Lopes, Maria Helena Baena de Moraes
Fonte: Universidade de São Paulo. Escola de Enfermagem de Ribeirão Preto Publicador: Universidade de São Paulo. Escola de Enfermagem de Ribeirão Preto
Tipo: info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion; Formato: application/pdf; application/pdf; application/pdf
Publicado em 01/02/2011 Português
Relevância na Pesquisa
36.84%
Este estudo teve como objetivo realizar revisão integrativa, investigando como a lógica fuzzy tem sido utilizada em pesquisas com participação de enfermeiros. A busca dos artigos foi realizada nas bases de dados CINAHL, Embase, Scopus, MEDLINE e PubMed, sem intervalo de anos especificado. Foram incluídos artigos na língua portuguesa, inglesa e espanhola; com temática relacionada à enfermagem e à lógica fuzzy, e autoria ou participação de enfermeiros. A amostra final foi de 21 artigos, de oito países. Para análise, os artigos foram distribuídos nas categorias: teoria, método e modelo. Na enfermagem, a lógica fuzzy tem contribuído significativamente para a compreensão de temas relativos à imprecisão ou à necessidade do especialista, como método de pesquisa e no desenvolvimento de modelos ou sistemas de apoio à decisão e de tecnologias duras. O uso da lógica fuzzy, na enfermagem, tem demonstrado grande potencial e representa vasto campo para pesquisas.; Este estudio tuvo como objetivo realizar una revisión integradora investigando como la lógica fuzzy ha sido utilizada en investigaciones con participación de enfermeros. La búsqueda de los artículos fue realizada en las bases de datos CINAHL, Embase, SCOPUS...