UNIDADE ACADÊMICA RESPONSÁVEL: FACULDADE  DE FILOSOFIA
NOME DA DISCIPLINA: Introdução à Lógica
CURSO: Filosofia	ANO: I Sem. 2016
PROFESSOR RESPONSÁVEL: Wagner de Campos Sanz
CARGA HORÁRIA SEMESTRAL: 64 ha
CARGA HORÁRIA SEMANAL*:  4ha                                       (CH/Teórica: 4 ha        CH/Prática:    )                       Terças às 8:00 Prédio Centro de Aulas C sala 206
PRÉ-REQUISITOS E/OU CO-REQUISITOS (se houver): nenhum
RECOMENDAÇÕES:
EMENTA: 1)  Apresentação  e  discussão  dos  conceitos  lógicos:  hipótese,  argumento,  inferência, premissa, conclusão, validade, prova lógica. 2)  Funcionamento  efetivo  dos  conceitos  lógicos  nas  formas  de  inferência  na  lógica clássica e contemporânea. 3) Resolução de teoremas lógicos no cálculo proposicional e no cálculo de predicados.
I – OBJETIVO GERAL: Dar uma visão introdutória da semântica e sintaxe da lógica contemporânea. II – OBJETIVO ESPECIFÍCO: Oferecer formação que permita aos alunos compreender conceitos básicos de lógica, como os conceitos de inferência, hipótese, premissa, validade, verdade lógica. III – CONTEÚDO PROGRAMÁTICO: 1) O quadrado de oposições e a silogística aristotélica. 2) Cálculo proposicional tabelas de verdade e demonstrações 3) Cálculo de predicados demonstrações e noções semânticas. IV – METODOLOGIA: Aulas expositivas e aulas de resolução de exercícios acerca do conteúdo apresentado.   V – AVALIAÇÃO: Por meio de prova escrita segundo os moldes do RGCG. VI – BIBLIOGRAFIA: BÁSICA: BRANQUINHO,  J;  MURCHO,  D;  GOMES,  N.  Enciclopédia  de  Termos  Lógico-filosóficos. São Paulo: Martins     Fontes, 2006. MORTARI, C. Introdução à Lógica. São Paulo: UNESP, 2001. NOLT, JOHN; HATYN, D. Lógica. São Paulo: Makron Books, 1991. TUGENDHAT, E. PROPEDÊUTICA LÓGICO-SEMÂNTICA. PETRÓPOLIS: VOZES. 1997.