A LOGICA PT E SEU SIGNIFICADO

ESTE TRABALHO TEM POR FINALIDADE: 1) FAZER UMA EXPOSICAO DAS IDEIAS E PRINCIPIOS BASICOS DA LOGICA PT, PARTICULARMENTE DE SUA PARTE PROPOSICIONAL. 2) APRESENTAR UMA ANALISE CRITICA DA REFERIDA LOGICA, PROCURAND O VERIFICAR SE ELA E UMA LOGICA COMPLEMENTAR DA LOGICA CLASSICA. NO CAPITULO 1 VAMOS ESTUDAR A LOGICA PARACONSISTENTE ONDE VEREMOS AS LOGICAS NAO-CLASSICAS, AS LOGICAS COMPLEMENTARES DA LOGICA CLASSICA, AS LOGI CAS RIVAIS DA LOGICA CLASSICA, A LOGICA PARACONSISTENTE E O CALCULO PROPOSICIONAL C1. NO CAPITULO 2, VEREMOS OS CONJUNTOS ORDENADOS, LEMA DE ZORN E RETICULADOS. NO CAPITULO 3, DESENVOLVEREMOS O ESTUDO DA LOGICA AS APLICACOES DA MESMA NA CIENCIA DA COMPUTACAO E EM PARTICULAR DA INTELIGENCIA ARTIFICIAL. NESTE TRABALHO APENAS SE QUER DEIXAR CLARO QUE QUANDO ALGUEM FALA EM PARACONSISTENCIA, ESTE ALGUEM SE ACHA NECESSARIAM ENTE COMPROMETIDO COM A DERROGACAO DE LEIS LOGICAS CLASSICAS.