Daniel: A posição é imperdível, e eu tive imediatamente ganas de me candidatar... até que me lembrei que já faço parte do grupo! :-)
Bom, mas pelo menos posso confirmar neste caso pessoalmente a descrição dos nossos excelentes grupos de pesquisa, tanto o grupo de "Lógica e Filosofia Formal", no Depto de Filosofia, quanto o grupo de "Lógica, Linguagem, Informação, Teoria e Aplicações" (LoLITA), no Depto de Informática e Matemática Aplicada. Posso ainda reforçar as boas condições de trabalho e investigação, e acrescentar finalmente que há poucos lugares (quais mesmo?) mais belos para se viver no Brasil do que Natal. Abraços, Joao Marcos 2010/4/12 Daniel Durante <[email protected]>: > Colegas, > > Faremos uma nova edição do concurso para professor adjunto aqui no > Departamento de Filosofia da UFRN (Universidade Federal do Rio Grande do > Norte, Natal-RN), para a área "Lógica e Filosofia da Ciência". > Infelizmente nenhum dos 4 candidatos inscritos na primeira edição > compareceu e a vaga continua aberta. > Aproveito para fazer alguma propaganda. Somos um grupo interessante, > promissor, com atuação na pós-graduação (com a área de concentração > própria em "Lógica e Filosofia Formal") e boas relações tanto com os > grupos da Computação e da Matemática aqui da UFRN, quanto com as outras > universidades federais da região. Quanto às qualidades da cidade de > Natal, acho que nem preciso mencioná-las. > > O novo edital já foi publicado e está disponível no link abaixo, > juntamente com todas as demais informAções. > > http://www.prh.ufrn.br/conteudo/concursos/prog_efet010-10.htm > > Adianto aqui algumas das informações: > > a. As inscrições estão abertas entre 08/04 e 23/04. (PARA ONTEM!!) > b. A exigência de titulação é: *Doutorado em Filosofia*. > c. As provas do concurso serão entre 24/05 e 28/05. > d. Os pontos do programa tanto para a prova escrita quanto para a prova > didática são os seguintes: > > 1. *Cálculo de Predicados de Primeira Ordem Clássico*: sistemas formais, > semântica e principais metateoremas (consistência, correção, completude, > compacidade, Lowenheim-Skolem). > > 2. *Métodos Formais, seus Usos e Propriedades* : dedução natural, > cálculo de sequentes, método axiomático, tablôs, cálculo lambda. > > 3. *Lógicas Modais*: sistemas, semânticas e conexões metafísicas. > > 4. *Teoria dos Conjuntos*: teoria ingênua, paradoxos, teorias > axiomáticas, axioma da escolha, hipótese do contínuo. > > 5. *Lógica e Matemática*: o logicismo, o formalismo e o intuicionismo. > > 6. *A Verdade*: abordagens e teorias. > > 7. *O Conhecimento Científico e sua Confirmação*: indutivismo e > falsificacionismo. > > 8. *O Progresso Científico*: ciência cumulativa e revoluções científicas. > > 9. *Ciência e Ontologia - O Estatuto Ontológico dos Termos Teóricos*: > abordagens realistas, abordagens anti-realistas. > > 10. *Ciência e Valores*: teses sobre a neutralidade, imparcialidade e > autonomia das ciências. > > -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ > > Falando francamente, a nossa expectativa é a de receber candidatos que > sejam acima de tudo lógicos de formação, mas que também tenham interesse > e disposição para a filosofia. > > > Ajudem-nos a divulgar!!! > > Saudações, > Daniel Durante Pereira Alves > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ (in absentia, post-doc in "Noricum") _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
