Negation Logic
Mostrando 1-10 de 10 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. BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
ABSTRACT Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo Coniglio
Manuscrito. Publicado em: 2018-06
-
3. ¿Hegel filósofo de la diferencia? Reflexiones sobre la concepción hegeliana de la identidad 1
ABSTRACT The Hegelian philosophy in general, and in particular the “Science of Logic” and the treatment that in this is made about notions as identity and difference, generated since its conception a countless critical positions such as those of Schelling, the left Hegelian and, in general, of all those philosophers who, accordingly with the posible prac
Kriterion. Publicado em: 2017-12
-
4. Semântica proposicional categórica
The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the elds of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical researc
Publicado em: 2010
-
5. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
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,
Publicado em: 2008
-
6. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
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,
Publicado em: 2008
-
7. THE INFINITE JUDGMENTS: THEIR FUNCTION AND THEIR NATURE - SOME ASPECTS OF THE PREDICATIVE NEGATION IN THE CRITIQUE OF PURE REASON / FUNÇÃO E NATUREZA DOS JUÍZOS INFINITOS: ASPECTOS DA NEGAÇÃO PREDICATIVA NA CRÍTICA DA RAZÃO PURA
The task of this work is explaining why Kant claims in Critique of Pure Reason that infinite judgments of the form S is not-P are not reducible to the affirmative ones of the form S is P nor to the negative ones of the form S is not P The distinction does not seem justifiable in the extensional approach that is proper of General Logic, since the equivalence
Publicado em: 2007
-
8. Uma investigação acerca das regras para a negação e o absurdo em dedução natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenç�
Publicado em: 2006
-
9. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005
-
10. Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive
Publicado em: 2004