Documente Academic
Documente Profesional
Documente Cultură
LGICA III
2 Semestre de 2014
Disciplina Optativa
Destinada: alunos de Filosofia e de outros departamentos
Cdigo: FLF0444
Pr-requisito: FLF0113 e FLF0114
Prof. Dr. Rodrigo Bacellar
Carga horria: 120h
Crditos: 06
Nmero mximo de alunos por turma; 50
I OBJETIVOS
O curso tratar de tpicos selecionados de lgica formal, com nfase na teoria de conceitos
lgicos (funes de verdade, funes modais, quantificadores generalizados).
II CONTEDO
1. Funes de verdade
2. Funes modais
3. Quantificadores generalizados
IV CRITRIO DE AVALIAO
Trabalho escrito.
V OBSERVAO
VI BIBLIOGRAFIA
G. Massey, The theory of truth tabular connectives, both truth functional and modal, JSL, vol. 31,
1966, pp. 593608.
G. Massey, Understanding Symbolic Logic, New York, Harper & Row, 1970. (A parte relevante a
Parte 3.)