Links para:
Apostila de lógica e argumentação:
http://filosofiaetc.sites.uol.com.br/log_arg.pdf
Lista de exercícios (1):
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf
Lista de exercícios (2):
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf
Os exercícios (1) e (2) serão feitos na próxima aula.
Fichamentos: entrega dia 3 de outubro.
1. A definição de verdade de Tarski
1.1. Os objetivos de Tarski: construir uma definição: (i) formalmente
correta, (ii) materialmente adequada, (iii) semântica e (iv) que
expresse a noção de verdade como correspondência;
1.2. A definição de verdade;
1.3. Crítica: a definição de Tarski não é semântica mas sim sintática.
2. Teorias de fazedores-de-verdade
2.1. As motivações;
2.2. As idéias fundamentais: as teses do necessitarianismo e do acarretamento;
2.3. Axiomas para uma teoria de fazedores-de-verdade.
3. Problemas de teorias de fazedores-de-verdade
3.1. O problema das verdades necessárias;
3.2. O problema do colapso dos fazedores-de-verdade;
3.3. Possíveis soluções: lógica relevante e lógica intuicionista.
2º: Bruno Andrade
3º: Katialaine Corrêa de Araújo
Alunos selecionados para a entrevista.
Dia 23 de julho, quarta-feira
Horário conforme a escala abaixo:
1. Bruno Andrade – 18h
2. Isadora Nogueira Barbosa – 18h10
3. Katialaine Corrêa de Araújo – 18h20
4. Rina Mariane Dutra –18h30
5. Victor Hugo C. Cardoso – 18h40
Abraços
A seleção para a bolsa PIBIC será na sexta-feira dia 18/7 18h.
O projeto está no link abaixo:
http://filosofiaetc.sites.uol.com.br/projeto_intuicionismo.pdf
A última aula de reforço será também na sexta-feira, dia 18/7 15h.
Abraços
A unidade 4 de Lógica e Argumentação está disponível em http://filosofiaetc.sites.uol.com.br/unid4.pdf.
Os alunos interessados em participar da seleção para a bolsa PIBIC, projeto Sintaxe e semântica da lógica proposicional intuicionista, devem enviar email para abilio.arf@gmail.com. Eu responderei com o projeto de pesquisa. A seleção será realizada na próxima semana. Mais informações podem ser obtidas por email.
A última prova será realizada nos dias 23 e 24 de julho. A prova de segunda chamada será realizada nos dias 30 e 31 de julho.
Abraços
