LÓGICA II

O que você vai aprender:O conteúdo programático foi dividido em cinco unidades:Na Unidade 1, você conhecerá o tópico referente às questões preliminares sobre a Lógica Simbólica, em que você vai conheceras noções básicas relacionadas à lógica, como os Princípios da Não Contradição e do Terceiro Excluído, os Valores da Verdade, as proposições simples e compostas, os conectivos e Tabelas de Verdade.Na Unidade 2, trataremos da validade de argumentos, e você aprenderá a utilizar as Tabelas de Verdade para demonstrara validade ou invalidade de argumentos. Para isso, você aprenderá os princípios de Tautologia, Contradição e Contingência.Na Unidade 3, você estudará a sintaxe do Cálculo de Predicados, que é o cerne da Lógica Clássica. Procuraremos, também,traduzir proposições de linguagem ordinária para a linguagem do Cálculo de Predicados. Teremos a oportunidade de conhecere aprofundar as constantes individuais e de predicados, as variáveis individuais e os quantificadores.Na Unidade 4, trataremos das proposições categóricas na linguagem do Cálculo de Predicados, procurando traduzir essasproposições para a linguagem do Cálculo de Predicados. Alguns temas serão objeto de nossa reflexão, tais como: quadro tradicional de oposição, Problema Ontológico e a resposta de Russel a essa questão e às novas relações do quadro tradicionalde oposição.Na Unidade 5, vamos procurar demonstrar a validade no Cálculo de Predicados. Vamos estudar e aplicar as regras de inferência,a introdução e a eliminação do universal, bem como a introdução e a eliminação do existencial.