Olá para todos.
Em 2011.1 será oferecida na graduação uma disciplina optativa de lógica. O título será Tópicos de filosofia da linguagem: metalógica.
Não haverá, em 2011.1, o grupo de estudos de lógica.
Objetivo, ementa e avaliação da disciplina estão abaixo.
Objetivo: Apresentar alguns resultados básicos da metateoria da lógica clássica de primeira ordem. O curso é concebido para estudantes de filosofia e procura conciliar os aspectos técnicos com os aspectos filosóficos e históricos dos resultados estudados.
Ementa: Linguagens formalizadas: sintaxe e semântica. Provas indutivas. Sistemas axiomáticos. Teorema da dedução. Independência de axiomas. Provas de consistência. Teoremas da correção, completude e compacidade. Sistemas de dedução natural e cálculo de sequentes.
Avaliação: 100 pontos divididos da seguinte forma: 30 pontos: assiduidade e listas de exercícios; 30 pontos: trabalho escrito; 40 pontos: prova individual.
Bibliografia básica: Robbin, Mathematical Logic: A First Course; Hunter, G., Metalogic: An Introduction to the Metatheory of Standard First Order Logic; Troelstra et al. Basic Proof Theory. Mais indicações bibliográficas serão disponibilizadas durante o curso na página http://logicaetc.blogspot.com.
Em 2011.1 será oferecida na graduação uma disciplina optativa de lógica. O título será Tópicos de filosofia da linguagem: metalógica.
Não haverá, em 2011.1, o grupo de estudos de lógica.
Objetivo, ementa e avaliação da disciplina estão abaixo.
Serão disponibilizadas apostilas em português, como é feito nos cursos de Lógica 1 e 2.
Abraços e boas férias.
Abraços e boas férias.
Metalógica
Objetivo: Apresentar alguns resultados básicos da metateoria da lógica clássica de primeira ordem. O curso é concebido para estudantes de filosofia e procura conciliar os aspectos técnicos com os aspectos filosóficos e históricos dos resultados estudados.
Ementa: Linguagens formalizadas: sintaxe e semântica. Provas indutivas. Sistemas axiomáticos. Teorema da dedução. Independência de axiomas. Provas de consistência. Teoremas da correção, completude e compacidade. Sistemas de dedução natural e cálculo de sequentes.
Avaliação: 100 pontos divididos da seguinte forma: 30 pontos: assiduidade e listas de exercícios; 30 pontos: trabalho escrito; 40 pontos: prova individual.
Bibliografia básica: Robbin, Mathematical Logic: A First Course; Hunter, G., Metalogic: An Introduction to the Metatheory of Standard First Order Logic; Troelstra et al. Basic Proof Theory. Mais indicações bibliográficas serão disponibilizadas durante o curso na página http://logicaetc.blogspot.com.
