Colegas,

Conforme divulguei há alguns dias, teremos 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". O edital já foi publicado e as inscrições já estão abertas. 
Todas as informações estão disponíveis em:

http://www.prh.ufrn.br/conteudo/concursos/prog_efet035-09.htm

Adianto algumas informações importantes:

a. As inscrições estão abertas entre 14/12 e 29/01.
b. A exigência de titulação é: Doutorado em Filosofia.
c. As provas do concurso serão entre 22/03 e 26/03.
d. Os pontos do programa 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


Esperamos que este programa seja adequado para estimular lógicos com 
algum interesse em filosofia, e desestimular não-lógicos.

Ajudem a divulgar.

Saudações,
Daniel
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a