Lógica II -

Luis Fernando Crespo

Claretiano

2016

163 páginas

5h 26m

ISBN-13: 9788583774815

Português Brasileiro

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 conhecer
as 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 demonstrar
a 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 conhecer
e 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 essas
proposiçõ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 tradicional
de 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.