Nome da Atividade
LÓGICA II
CÓDIGO
06730005
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
NOTA MÉDIA APROVAÇÃO
7

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
T1 2021 / 1 80 46 Filosofia (Bacharelado - Noturno)
Filosofia (Licenciatura - Noturno)
Horários
ManhãTardeNoite
TER19:00 - 19:50
19:50 - 20:40
20:40 - 21:30
21:30 - 22:20
JULIANO SANTOS DO CARMO
Professor responsável pela turma

Disciplinas Equivalentes

Disciplina Curso
LÓGICA II Filosofia (Licenciatura - Noturno)
LÓGICA II Filosofia (Bacharelado - Noturno)

Página gerada em 30/11/2021 18:17:38 (consulta levou 0.115031s)