Programação
-
Atividade de resolução de puzzles lógicos
-
Apresentação dos seminários, temas e organização dos grupos.
Leitura obrigatória para todos. Um grupo fica responsável pela apresentação. Outro grupo por fazer críticas, comentar e complementar.
Busquem exemplos de esquemas e tipos de argumento semelhantes àqueles discutidos no cap.
-
Introdução e discussão de argumento e argumentação em 3 acepções:
- Retórica: bom argumento é o argumento convincente (pragmática/contexto de persuasão envolvendo o locutor e o auditório)
- Lógico dedutiva: bom argumento é o argumento válido (em função de sua estrutura semântica/sintática)
-Dialógica: bom argumento é aquele que respeita o protocolo (de diálogo crítico- processo argumentativo)
-
-
-
Reunião virtual com os representantes de classe para planejamento e organização das aulas virtuais. Ata (elaborada por Jade):
O envio do link para o acesso a sala de aula virtual será disponibilizado via email e repassado aos demais alunos através dos representantes das respectivas classes. (Me encarrego de repassar aos representantes a mensagem do professor.)As aulas terão início na próxima semana, datas e horários a confirmar, de formato expositivo.Os alunos deverão comunicar a sala a que pertencem ao enviar perguntas pelo chat e estas serão passadas ao professor através dos representantes, com acesso ao canal de microfone.Para a próxima semana, a leitura indicada são os capítulos 1 e 2 do livro Introdução à lógica - Cezar A. MortariO power point utilizado na aula expositiva será disponibilizado após o termino da transmissão a fins de consulta.Quanto aos seminários, estudaremos a hipótese de se continuar as apresentações via google meeting, os pormenores serão ainda discutidosComo forma de interatividade na resposta a questoes colocadas pelo professor, estudaremos a melhor plataforma e dinâmica de apresentação da solução do caso -
Definiremos nesta semana como serão realizados os seminários de modo virtual
-
Definição de argumento dedutivo e validade
O que são sistemas formais
Linguagem e Metalinguagem
Sintaxe
Semântica
-
Linguagem
Formalização
Semântica e Tabelas de Verdade
-
Contradições, tautologias, proposições contingentes
Consequência Lógica
Verificação de validade de argumentos
-
Métodos de prova em lógica proposicional
Formalização
Axiomático
Dedução Natural
Tableaux
-
Introdução à silogística e suas limitações
Introdução à Linguagem e à Semântica da Lógica de Predicados de 1a Ordem
-
-
-
-
-
-