LÓGICA II | UFPel

Nome da Atividade

LÓGICA II

CÓDIGO

06730005

Carga Horária

60 horas

Tipo de Atividade

DISCIPLINA

Periodicidade

Semestral

Unidade responsável

Departamento de Filosofia

CARGA HORÁRIA TEÓRICA

FREQUÊNCIA APROVAÇÃO

75%

CARGA HORÁRIA OBRIGATÓRIA

CRÉDITOS

NOTA MÉDIA APROVAÇÃO

Ementa

Dedução Natural para o Cálculo Proposicional. A Lógica dos Enunciados categóricos. Introdução ao Cálculo de Predicados. Lógica Clássica e Lógicas Não-clássicas. Problemas de Filosofia da Lógica.

Objetivos

Objetivo Geral:

- Realizar uma breve recuperação dos conteúdos de Lógica I
- Apresentar a Lógica dos Enunciados Categóricos
- Introdução da sintaxe do Cálculo de Predicados.
- Lógica clássica x Lógicas Não-Clássicas.
- Problemas de Filosofia da Lógica.

Conteúdo Programático

Bibliografia

Bibliografia Básica:

HEGENBERG, Leônidas. Lógica - O Cálculo Sentencial - Cálculo de Predicados e Cálculo com Igualdade, 3ª edição. Forense, 07/2012. VitalSource Bookshelf Online. Soares, Edvaldo . FUNDAMENTOS DE LÓGICA, 2ª edição. Atlas, 03/2014. 51 VitalSource Bookshelf Online. Filho, Carlos Alberto F. Bispo | Luiz B. Castanheira | Oswaldo Melo S. Introdução à Lógica Matemática. Cengage Learning Editores, 08/2017. VitalSource Bookshelf Online.

Turmas Ofertadas

Turma

Período

Vagas

Matriculados

Curso / Horários

Professores

2025 / 1

Filosofia (Licenciatura - Noturno)
Filosofia (Bacharelado - Noturno)

EDUARDO FERREIRA DAS NEVES FILHO

Professor responsável pela turma