Universidade Federal do Maranho

Centro de Cincias Humanas

Curso de Psicologia
Disciplina: Lgica
Docente: Carmem Maria Almeida Portela
Discente: Gabrielle de Oliveira Freitas
RESUMO
PORTELA FILHO, Raimundo; PORTELA, Carmem Almeida. Aspectos da Lgicas Noclssicas. Ecos do Iesma, So Lus, v. 9, n. 1, p. 9-26. jan.-jun. 2011.
1) Elaborar um resumo informativo por seo (5 sees);
1 INTRODUO
Este texto tem a inteno de caracterizar brevemente a lgica clssica a fim de um
embasamento para abordar aspectos das posteriores lgicas no clssicas.
Segundo ele, a lgica clssica foi sistematizada por Aristteles e permaneceu
inalterada por cerca de dois mil anos. A respeito disso, Imannuel Kant argumentou em
Crtica da Razo Pura o fato de a lgica, desde Aristteles no ter regredido nem mesmo
progredido, sendo assim vista como uma cincia completa e acabada. A lgica de Aristteles
a teoria do silogismo, porm, mesmo sendo tida como a teoria de todos os tipos de raciocnios
vlidos, ela no inclua vrias classes de dedues, como a maioria das encontradas na
matemtica.
A lgica pura, formal ou terica existiu at o incio do sculo XX. No decorrer deste
sculo surgiram outras lgicas, necessitando aquela ser denominada de lgica clssica ou
tradicional.
Esta lgica consiste no clculo de predicados de primeira ordem, e estuda sobre
conceitos lgicos de negao, disjuno, conjuno, implicao, equivalncia, sobre os
quantificadores universal e existencial e o predicado de igualdade. Possui um subsistema: o
clculo proposicional clssico; e tem como extenses determinados clculos de predicado de
ordem superior e alguns sistemas de teorias axiomticas de conjuntos, teoria da categoria e
teoria dos topoi.
Carrion e Da Costa (1988), baseando-se nas ideias do lgico Leon Henkin,
classificam as principais reas de pesquisa da lgica clssica. Estas so a sintaxe lgica, teoria
dos modelos, teoria da recurso ou computabilidade, lgica algbrica, aplicaes da lgica
matemtica e fundamentos da matemtica.

2 AS LGICAS NO-CLSSICAS
No incio do sculo XX vrios filsofos e matemticos formularam novos sistemas
lgicos, divergentes da lgica clssica, denominadas de lgicas no-clssicas.
H trs razes que diferem as no-clssicas das clssicas: a) poderem estar apoiadas
em linguagens mais ricas em poder expressivo; b) poderem estar sustentadas em princpios
completamente distintos; c) poderem ter uma semntica distinta.
Haack (1974) aponta duas categorias fundamentais das lgicas no clssicas: as
lgicas complementares, ou ampliadas; e as lgicas rivais da clssica, ou alternativas,
desviantes, divergentes ou heterodoxas.
2.1 Lgicas complementares da clssica
As lgicas complementares so as que ampliam e complementam o propsito da
lgica clssica, sendo extenses dela, pois incorporam mais recursos expressivos sem
questionarem os princpios bsicos desta.
H uma modificao do instrumento lingustico ao nvel sinttico, adaptando a
contraparte semntica de uma maneira no essencial.
As lgicas modais acrescentam operadores modais que expressam os conceitos
lgicos de necessidade, possibilidade, impossibilidade e contingncia. Foram formuladas por
Lewis em 1918, e sua extenso lgica modal de predicados foi elaborada por Marcus em
1946.
Lewis motivou-se pela insatisfao com a noo de implicao material-central para
a Conceitografia de Frege e dos Principia Mathematica de Russell e Whitehead. Como p
implica materialmente q se p falso ou q verdadeiro, temos estes trs teoremas
chamados de paradoxos da implicao material: p(qp), ~p(pq), (pq)(qp).
Ele props que a lgica contida nos Principia Mathematica deveria ter um novo
operador para a implicao estrita, podendo ser definida como a necessidade da implicao
material.
lgica clssica podem-se acrescentar operadores denticos, que demonstram os
conceitos lgicos de proibido, permitido, indiferente e obrigatrio, dando origem lgica
dentica ou das normas, elaborada principalmente por G. H Von Wright, em 1951.
As lgicas resultantes da introduo de operantes temporais, ou seja, smbolos que
refletem as flexes temporais dos verbos das linguagens naturais das estruturas lgicas
clssicas so as temporais ou cronolgicas e foram desenvolvidas a partir da dcada de 1960,

pelo lgico neozelands Arthur N. Prior. Elas se mostraram muito relevantes no estuda da
Fsica, descrevendo e analisando as estruturas formais de vrios tipos de fluxo temporal
admissveis a priori como: o tempo discreto, o tempo contnuo, o tempo linearmente ordenado
e o tempo circular. Sendo estes semelhantemente importantes para a lingustica, ao passo que
as linguagens naturais mostram-se inseparveis das flexes temporais, desconsideradas na
lgica clssica.
As lgicas epistmicas, ou do conhecimento, possuem operadores como o K, que
significa sabe-se que e o operador B, que significa acredita-se que.
As lgicas dos imperativos, ou dos comandos, consideram, no somente proposies
declarativas, sendo elas afirmativas ou negativas, mas tambm as imperativas que expressam
pedido ou comando.
As erotticas, ou dos interrogativos, incluem o estudo das proposies interrogativas;
as lgicas dos exclamativos acrescentam o estudo das proposies exclamativas.
2.2 Lgicas rivais da clssica
Foram propostas com o objetivo de serem novas lgicas e substiturem a lgica
clssica em alguns domnios do saber, por conta das suas variadas deficincias e limitaes.
As lgicas alternativas abolem princpios bsicos, ou as leis fundamentais do
pensamento sem essas leis no haveria pensamento racional, logicamente concatenado ,
da clssica, sendo estes: a) princpio ou lei de identidade; b) princpio ou lei de nocontradio; c) princpio ou lei do terceiro excludo; e) princpio ou lei da bivalncia.
As lgicas rivais, nas quais no vlida em geral a lei reflexiva de identidade, so
chamadas lgicas no-reflexivas, a exemplo vemos a lgica da causao, na qual o conectivo
ao ser interpretado como causa de em (p p) no teorema, pois, em geral, algo no
causa de si mesmo. Uma outra lgica no-reflexiva a lgica quntica.
As lgicas que abolem o princpio ou lei de no-contradio so as paraconsistentes e
so lgicas que podem constituir fundamento para teorias inconsistentes, mas no triviais. So
aplicveis formao da dialtica; na filosofia da cincia; dualidade onda-corpsculo; ao
princpio de complementaridade de Bohr; e outros.
Embora tenham sido realizadas na antiguidade clssica abordagens paraconsistentes,
pelos sofistas, megricos e esticos, pode-se sustentar que este pensamento comeou no
ocidente com Herclito de feso, e a partir deste, outros filsofos como Hegel, Marx e
Engels, e os materialistas dialticos contemporneos formulam a tese de que as contradies
so fundamentais para a compreenso da realidade. O filsofo austraco contemporneo

Ludwig Wittgenstein acreditava que a contradio pode ser aceita em teorias e contextos
racionais que exprimem conhecimentos legtimos.
Dois percursores notveis da lgica paraconsistente foram o lgico polons Jan
Lukasiewicz e o filsofo russo Nicolai Vasiliev que sugeriram a possibilidade de eliminao
do princpio ou lei de no-contradio.
O lgico polons Stanislaw Jaskowski, discpulo de Lukasiewcz elaborou o primeiro
sistema de lgica paraconsistente em dois artigos publicados nos anos de 1948 e 1949, e
segundo Arruda (1989), o que o motivou a isto foi o problema da sistematizao de teorias
que contm contradies como na dialtica; o estudo de teorias nas quais h contradies
causadas pela vaguidade; e o estudo direto de algumas teorias empricas cujos postulados ou
princpios bsicos so contraditrios. Ele colocou o problema da construo de um clculo
proposicional, de modo que quando aplicado a sistemas contraditrios no conduziria sempre
supercompletude, ou seja, nem todas as suas frmulas seriam demonstrveis; deveria ser
suficientemente rico para permitir inferncias prticas; e deveria ter uma justificativa
intuitiva. O prprio construiu sua soluo somente ao nvel proposicional, conhecida como
lgica discussiva ou discursiva.
Considera-se que, embora Jaskowski tenho construdo um clculo preposicional
paraconsistente, o verdadeiro fundador da lgica paraconsistente o lgico brasileiro Newton
Carneiro Affonso da Costa. Ele j havia proposto a possibilidade de se examinar teorias que
fossem inconsistentes, porm no triviais, de modo que a lgica fosse alterada a fim de que
essas teorias fossem to lcitas quanto as consistentes.
As lgicas que abdicam do princpio ou lei do terceiro excludo so as
paracompletas. Em tais lgicas, ou em teorias fundamentadas nelas, pode haver proposies
tais que nem elas nem suas negaes sejam verdadeiras. Por exemplo, a lgica intuicionista de
Brouwer e Heyting formalizada em 1930 , com a sua semntica completamente diferente
da clssica. considerada a lgica do raciocnio matemtico construtivo, em que a existncia
de um nmero, por exemplo, s demonstrvel atravs da construo ou exibio do mesmo.
Tem sido utilizada em diversos domnios do conhecimento, como na teoria da deciso.
Outro exemplo de lgicas paracompletas so as lgicas polivalentes, criadas por
Lukasiewicz e Post, por volta de 1920, independentemente, mas simultaneamente. Nesta
lgica as proposies assumem valores lgicos entre o falso (0) e o verdadeiro (1). Estas tem
tido as mais diversificadas aplicaes, como na programao de computadores, na teoria dos
circuitos eltricos, na lingustica, etc.

H, ainda, diversas outras lgicas no-clssicas que no foram citadas, como a lgica
livre, a lgica modular proveniente da mecnica quntica , a lgica intuicionista sem
negao de Griss, etc.
3 CONCLUSO
A construo das lgicas no-clssicas constitui uma das maiores revolues
culturais de nossa poca.
Nas lgicas complementares da clssica a sintaxe da lgica clssica modificada, j
que as linguagens bsicas subjacentes a esta so ampliadas pela adio de novos smbolos, e
isto provoca algumas mudanas semnticas s novas sintaxes.
Apesar de as alteraes serem, at certo ponto, mnimas, os problemas semnticos e
filosficos que surgem se revelam profundos e tm gerado pesquisas fecundas.
As lgicas rivais da clssica demonstraram que o pensamento lgico-racional pode
realizar-se mesmo sem obedecer aos princpios bsicos da lgica clssica, tendo sido
chamados anteriormente de leis fundamentais do pensamento, libertando a razo do domnio
de tais princpios que pareciam ser impossveis de serem revogados.
No h uma conceituao precisa de lgica clssica, nem mesmo existe uma de
lgicas no-clssicas. impossvel formular uma definio precisa de uma cincia viva e em
construo como a lgica.
O surgimento e o desenvolvimento das lgicas no-clssicas tm propiciado que
lgicos e filsofos sejam levados a elaborar e procurar responder a profundos
questionamentos filosficos que tm contribudo amplamente para a histria da cultura.

2) Formular e responder a duas questes de cada uma das sees.

1 INTRODUO
A lgica clssica, assim denominada aps o surgimento de outros tipos de lgica, consiste
em que e o que estuda?
Consiste no clculo de predicados de primeira ordem. E estuda sobre conceitos lgicos de
negao, disjuno, conjuno, implicao, equivalncia, sobre os quantificadores universal e
existencial e o predicado de igualdade.
Quais as principais reas de pesquisa da lgica clssica, segundo Carrion e Da Costa
(1988)?
a) Sintaxe lgica; b) teoria dos modelos; c) teoria da recurso ou computabilidade; d) lgica
algbrica; e) aplicaes da lgica matemtica; e f) fundamentos da matemtica.
2 AS LGICAS NO-CLSSICAS
Quais as razes que diferem as lgicas no-clssicas das clssicas?
a) Poderem estar apoiadas em linguagens mais ricas em poder expressivo; b) poderem estar
sustentadas em princpios completamente distintos; c) poderem ter uma semntica distinta.
Quais as duas categorias fundamentais das lgicas no-clssicas, segundo Haack (1974)?
As lgicas complementares, ou ampliadas; e as lgicas rivais da clssica, ou alternativas,
desviantes, divergentes ou heterodoxas.
2.1 Lgicas complementares da clssica
Em que consistem as lgicas complementares?
So as lgicas que ampliam e complementam o propsito da lgica clssica, sendo extenses
dela, incorporando mais recursos expressivos sem questionarem os princpios bsicos da
clssica. Nelas h uma modificao do instrumento lingustico ao nvel sinttico, adaptando a
contraparte semntica de uma maneira no essencial.
Cite 5 (cinco) tipos de lgicas complementares e as caracterize brevemente.
a) Lgicas modais: acrescentam operadores modais que expressam os conceitos lgicos de
necessidade, possibilidade, impossibilidade e contingncia. Formuladas por Lewis em 1918, e
sua extenso lgica modal de predicados foi elaborada por Marcus em 1946; b) lgicas
temporais ou cronolgicas: introduziram smbolos que refletem as flexes temporais dos
verbos das linguagens naturais das estruturas lgicas clssicas. Foram desenvolvidas a partir
da dcada de 1960, pelo lgico neozelands Arthur N. Prior; c) lgicas epistmicas ou do

conhecimento: possuem operadores como o K, que significa sabe-se que e o operador B, que
significa acredita-se que; d) lgicas dos imperativos ou dos comandos: consideram, no
somente proposies declarativas, sendo elas afirmativas ou negativas, mas tambm as
imperativas que expressam pedido ou comando; e) lgicas erotticas ou dos interrogativos:
incluem o estudo das proposies interrogativas.
2.2 Lgicas rivais da clssica
Dentre as lgicas no clssicas existem as lgicas rivais das clssicas. Qual o objetivo
destas lgicas rivais?
Elas tm o objetivo de serem novas lgicas e substiturem a lgica clssica em alguns
domnios do saber, suprindo suas variadas deficincias e limitaes, abolindo seus princpios
e leis fundamentais.
Cite os trs tipos de lgicas alternativas citadas no texto e o princpio da lgica clssica o
qual derrogam.
As lgicas no-reflexivas: princpio ou lei de identidade; as lgicas paraconsistentes: princpio
ou lei de no-contradio; e as lgicas paracompletas: princpio ou lei do terceiro excludo.
3 CONCLUSO
O que o surgimento das lgicas no-clssicas revelou acerca dos princpios bsicos do
pensamento lgico aristotlico?
Revelou que o pensamento lgico-racional pode realizar-se mesmo sem obedecer a esses
princpios bsicos, libertando a razo do domnio de tais princpios.
Quais as conceituaes precisas de uma lgica clssica e de uma lgica no-clssica?
impossvel formular uma definio precisa da lgica, em geral, pois ela uma cincia viva e
que est em construo.