Universidade Federal de Ouro Preto
Departamento de Filosofia
Horário: quartas-feiras, 8:00-9:40, 10:00-11:40
Estuda-se nesta disciplina alguns aspectos mais sofisticados da lógica formal. Depois de uma breve introdução informal, complementa-se a formação elementar do estudante com a exposição do método das árvores semânticas aplicadas à lógica proposicional e de predicados clássica. Este método permite apresentar facilmente a noção de métodos decidíveis de prova, assim como de lógica livre. Na segunda parte do curso estuda-se então alguns aspectos da lógica modal, incluindo derivações, a noção de acessibilidade e os aspectos filosóficos envolvidos.
Haverá três provas presenciais com a duração de 90 minutos cada. A classificação final do estudante é a média aritmética da classificação obtida nas três provas.
|
Data |
Tópico |
Leituras |
|
19 e 26 de Março |
Introdução: uma perspectiva abrangente da lógica; a importância política,
social e cognitiva da argumentação e da clareza; lógica formal e informal. |
Orwell, «Política e a Língua Inglesa» Mill, Sobre a Liberdade
(excerto) |
|
2 de Abril |
Métodos semânticos e sintáticos de prova; métodos decidíveis e não decidíveis
de prova. O método das árvores semânticas aplicado à lógica proposicional. |
Notas de aulas |
|
9 de Abril |
Exercícios. |
|
|
16 de Abril |
Árvores semânticas aplicadas à lógica de predicados com identidade;
lógicas livres. |
Notas de aulas |
|
23 de Abril |
Exercícios. |
|
|
30 de Abril |
Prova 1 |
|
|
7 de Maio |
A linguagem modal proposicional. |
Notas de aulas |
|
14 de Maio |
Exercícios. |
|
|
21 de Maio |
Lógica modal proposicional: árvores semânticas. Exercícios. |
Priest, Cap. 2 |
|
28 de Maio |
Relações: reflexividade, simetria e transitividade. Reiteração de operadores modais e possibilidade relativa (acessibilidade). |
Priest, Cap. 3 |
|
4 de Junho |
Exercícios. |
|
|
11 de Junho |
Prova 2 |
|
|
18 de Junho |
A linguagem modal de predicados; de
re e de dicto. As fórmulas de Barcan. |
Notas de aulas |
|
25 de Junho |
Exercícios. |
|
|
2 de Julho |
Prova 3 |
|
|
9 de Julho |
Entrega das provas. |
|
Mill, J. S. 1859. Sobre a Liberdade. Trad. de Pedro Madeira. Lisboa: Edições 70, 2006.
Murcho, D. 2002. Essencialismo Naturalizado: Aspectos da Metafísica da Modalidade. Coimbra: Ângelus Novus.
Orwell, G. 2008. Por Que Escrevo e Outros Escritos Trad. e org. de Desidério Murcho. Lisboa: Antígona.
Priest, G. 2001. An Introduction to Non-Classical Logic. Cambridge: Cambridge University Press.