Lógica não clássica

UNIVERSIDADE FEDERAL DO MARANHÃO
CENTRO DE CIENCIAS HUMANAS – CCH
DEPARTAMENTO DE FILOSOFIA
DISCIPLINA: LÓGICA;
PROFESSORA: CARMEM. PRIMEIRO SEMESTRE DE 2013.

TRABALHO LÓGICAS NÃO-CLÁSSICAS

São Luis - MA 2013
Patrick Erick Silva. CO 10117-48
Rosana de Oliveira. CO 08232-77
Jéssica Letícia Ramos dos Santos.
Karla Monteiro Antunes.
Karoline Magalhães Conceição.
Marcos Veloz.
Rafaela Cantanhêde Ribeiro
Verissa Einstein Soares do Amaral.
Yslenna Leandra de Sousa Pires.

TRABALHO LOGICAS NÃO-CLASSICAS
Trabalho para compor a segunda nota da disciplina: Lógica, do curso de Filosofia, do Centro de Ciências Humanas da Universidade Federal do Maranhão – UFMA.

São Luis - MA 2013
Introdução
Para compreender o que são lógicas não-clássicas, precisamos entender fundamentalmente o que são lógicas clássicas. Este grupo reúne o Cálculo Proposicional Clássico e os Cálculos de Predicado de primeira e segunda ordem (obviamente, clássicos). Existe também uma controvérsia acerca da inclusão da teoria de conjuntos no grupo de lógicas clássicas.
Todas as lógicas clássicas tem em comum os princípios de bivalência, não-contradição, terceiro-excluído e identidade. Aquele que a esta altura pensar que, portanto, lógicas não-clássicas são aquelas que rejeitam estes princípios está incorrendo em um equivoco. Todas as lógicas que rejeitam estes princípios são não-clássicas, mas nem todas lógicas não-clássicas rejeitam estes princípios. Ou seja, existem sistemas de lógicas não-clássicas que seguem todos os princípios da lógica clássica.
Os sistemas de lógicas