Non Classical Logic
Mostrando 1-12 de 15 artigos, teses e dissertações.
-
1. ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward
Manuscrito. Publicado em: 2022
-
2. Razão e Administração: revisitando alguns elementos fundamentais
Resumo As ações e os processos administrativos parecem estar em um período pós-racional, no qual a racionalidade se tornou uma palavra mal compreendida, sendo a ação racional comumente associada ao cientificismo e à tecnocracia. Acreditamos que esse estereótipo pode ter um fundo de verdade, mas é, sobretudo, baseado em um mal-entendido fundamental q
Cad. EBAPE.BR. Publicado em: 2019-03
-
3. TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view a
Manuscrito. Publicado em: 06/10/2015
-
4. A persistência do Paradoxo da Cognoscibilidade / The persistence of Knowability Paradox
Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há alguma verdade impossível de ser conhecida. Descrevemos,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/09/2011
-
5. Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirica
Manuscrito. Publicado em: 2011-06
-
6. Da Costa on ontology: a naturalistic interpretation
Da Costa's conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy's naturalism concerning mathematics.
Manuscrito. Publicado em: 2011-06
-
7. The dawn of paraconsistency: Russia's logical thought in the turn of XX century
The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to
Manuscrito. Publicado em: 2011-06
-
8. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
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 apr
Publicado em: 2010
-
9. Paraconsisted computation : a logic approach to quantum / Computação paraconsistente : uma abordagem logica a computação quantica
This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the
Publicado em: 2009
-
10. Paraconsistency and modality / Paraconsistencia e modalidade
O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resu
Publicado em: 2009
-
11. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
12. Dilemas deonticos : uma abordagem baseada em relações de preferencia / Deontic dilemmas : an approach based on preference relations
Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deo
Publicado em: 2008