É com grande satisfação que anuncio a criação de uma área de
concentração em "Lógica e Filosofia Formal" no programa de pós-graduação
(mestrado) em Filosofia da UFRN. Estão abertas inscrições para seleção
já para início das aulas no segundo semestre de 2007.
Lamento a informação de última hora. De qualquer forma, esta é a penas a
primeira turma. Esperamos ter uma entrada anual e, a partir do ano que
vem, no primeiro semestre.
Segue, anexado, um arquivo HTML com mais detalhes! Se puderem, ajudem a
divulgar!
Natal, 02 de julho de 2007,
Ângela Maria Paiva Cruz,
João Marcos de Almeida,
José Eduardo de Almeida Moura,
Maria da Paz Nunes de Medeiros.
Mestrado em Lógica na UFRN
O Programa de Pós-Graduação em Filosofia (PPGFIL) da UFRN foi ampliado e agora tem uma nova área de concentração em Lógica e Filosofia Formal. Confira algumas Informações sobre a nova área e o processo de seleção para a primeira turma.
Principais Temas de Pesquisa
- Investigação de Sistemas Formais de Lógica em seus aspectos semânticos, sintáticos e conexões filosóficas.
- Abordagem analítica, logicamente informada, de temas filosóficos gerais.
- Aplicação de métodos formais em questões computacionais vinculadas a linguagem natural e demonstração automática.
- Abordagem de temas de teoria da argumentação e suas aplicações a discursos normativos, nas ciências e na retórica.
- Investigação de aspectos lógicos e epistemológicos das ciências.
Corpo Docente
- Ângela Maria Paiva Cruz
- Daniel Durante Pereira Alves
- João Marcos de Almeida
- José Eduardo de Almeida Moura
- Maria da Paz Nunes de Medeiros
Exame de Seleção (2007-2)
| Inscrições | |
| Período | de 25/06 a 27/07 |
| Local | Sala 706 do Departamento de Filosofia da UFRN. Tel: (84)3215-3641 |
| Documentos | |
| Não há taxa de Inscrição! | |
| Provas | |||||
| Período | de 30/07 a 02/08 | ||||
| Prova Escrita Dividida em duas partes: Conhecimentos Comuns e Conhecimentos Especícficos |
| ||||
| Análise do Projeto de Pesquisa | Avaliação sobre a correção, exeqüibilidade, adequação ao programa e disponibilidade de orientação. | ||||
| Entrevista | Sobre o projeto de pesquisa. | ||||
| Proficiência em Lingua Estrangeira | O candidato pode escolher entre as seguintes linguas: inglês, francês, italiano e alemão. | ||||
| Início das Aulas | 20 de agosto de 2007. | ||||
Estrutura Curricular
Para obtenção do grau de Mestre em Filosofia com Área de Concentração em Lógica e Filosofia Formal, o aluno terá 2 anos para integralizar 28 créditos distribuídos da seguinte forma:
- 18 créditos em disciplinas;
- 10 créditos na elaboração e defesa da dissertação.
Espera-se que o aluno cumpra 2 disciplinas de 4 créditos e 1 seminário de programa de 1 crédito em cada semestre do primeiro ano, deixando assim o segundo ano exclusivamente para o trabalho na dissertação.
Conjunto de Disciplinas
A única disciplina obrigatória é FL001-Lógica I. As demais, no entanto, compõem o conjunto de expertises do programa e serão oferecidas conforme a disponibilidade dos professores e relevância para os projetos de pesquisa dos alunos.
| FL001 | Lógica I |
| FL101 | Lógica II |
| FL102 | Demonstrações e Refutações |
| FL201 | Teoria dos Conjuntos |
| FL202 | Teoria dos Modelos |
| FL203 | Lógica Universal |
| FL301 | Teoria da Prova |
| FL302 | Teoria dos Tipos |
| FL303 | Lingüística Computacional |
| FL401,2,3,... | Tópicos de Lógicas Não-Clássicas I, II, III, ... |
| FL501 | Lógica Filosófica |
| FL502 | Epistemologia |
| FL601 | Modelagem de Sistemas Teóricos I |
| FL602 | Modelagem de Sistemas Teóricos II |
| FL701 | Teoria da Argumentação |
| FL702 | Tópicos de Lógica e Argumentação I |
| FL703 | Tópicos de Lógica e Argumentação II |
| FL801,2,3,... | Tópicos em Filosofia da Ciência I, II, III, ... |
| FL901,2,3,... | Seminários de Lógica e Filosofia Formal I, II, III, ... |
Os Seminários de Lógica e Filosofia Formal (FL901, 2, 3,...) valem 1 crédito cada. Todas as demias disciplinas valem 4 créditos.
