EDITAL: http://srh.unb.br/extra/concursos_selecoes/2010/ed_96_2010.pdf
01 Lógica proposicional clássica: origens históricas, método dedutivo (escolher um), semântica e significado filosófico. 02 Lógica clássica de primeira ordem: origens históricas, método dedutivo (escolher um), semântica e significado filosófico. 03 Correção e completude da lógica proposicional clássica e da lógica de primeira ordem: conceitos, significados filosóficos e delineamento das correspondentes demonstrações. 04 Incompletude de Gödel: questões conceituais e esboço da correspondente demonstração. 05 Lógicas proposicionais modais: método dedutivo (escolher um), semântica e implicações filosóficas. 06 Lógicas modais de primeira ordem: método dedutivo (escolher um), semântica e implicações filosóficas. 07 Lógica proposicional intuicionista: características formais e implicações filosóficas. 08 Outras lógicas não-clássicas (escolher uma): método dedutivo (escolher um), semântica e implicações filosóficas. 09 Teorias da verdade e a lógica simbólica. 10 Paradoxos conjuntistas e paradoxos lógicos: dificuldades formais, filosóficas e propostas de solução.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
