Departamento de Filosofia - FIL

O III Colóquio-Workshop Internacional The Middle-Wittgenstein foi organizado pelos Professores Ludovic Soutif (PUC-Rio), Camila Jourdan (UERJ) e Luiz Carlos Pereira (PUC-Rio,) e contou com a participação dos principais especialistas, no país e no exterior (França, Canadá, Estados Unidos e Suécia), no pensamento de Wittgenstein, do assim chamado período intermediário. Além das conferências apresentadas, também foi realizado durante o colóquio um Workshop sobre os capítulos XIII-XVII das Philosophische Bemerkungen. Esse colóquio ocorreu na Ilha Grande, na cidade do Rio de Janeiro, no período de 04 a 11 de março de 2012.

A Escola de Lógica temática Teoria da Prova: lógica linear, Ludics & Geometria da Interação foi organizada pelos Professores Luiz Carlos Pereira (PUC-Rio) e Jean-Baptiste Joinet (Paris I, Sorbonne) e contou com a presença de especialistas brasileiros, franceses e italianos nessas áreas. A Escola foi concebida como um período autocontido de treinamento nas principais subáreas da corrente principal da Teoria da Prova contemporânea, inspirada nos trabalhos sobre os Fundamentos Lógico-filosóficos da Teoria da Computação. A Escola pretendeu dar um panorama completo do estado da arte em Lógica Linear, Ludics e Geometria de Interação e de seus fundamentos ao longo das últimas três décadas.

A conferência Sintaxe Transcendental também foi organizada pelos Professores Luiz Carlos Pereira (PUC-rio) e Jean-Baptiste Joinet (Paris I, Sorbonne) teve a presença do Prof. Jean-Yves Girard, que introduziu a área de Sintaxe Transcendental, e de oito especialistas nessa área.

A Escola de Lógica foi realizada de 27 a 29 de agosto e a Conferência de 30 de agosto a 01 de setembro. Ambos os eventos foram realizados na cidade de Paraty, no Rio de Janeiro.

O público-alvo da Escola temática Teoria da Prova: lógica linear, Ludics & Geometria da Interação e da Conferência sobre a Sintaxe Transcendental inclui estudantes de Graduação, de Pós-Graduação (Mestrado, Doutorado), pós-doutorandos e pesquisadores interessados em:

• Filosofia da lógica (em especial, em aspectos fundacionais);

• Lógica matemática (em especial, em teoria da prova);

• Fundamentos lógicos e filosóficos da Teoria da Computação;

• Aplicação da lógica à lingüística (em especial, em Ludics).

Dag Prawitz (Universidade de Estocolmo, Suécia) atuou como Professor visitante do Departamento de Filosofia durante o período 29/06 a 06/07. Prawitz ministrou um minicurso sobre a segunda prova da consistência de Gerhard Gentzen e participou de um Workshop organizado pelo Professor Luiz Carlos Pereira, no dia 04/07. O Workshop sobre Lógica e Semântica foi realizado na sala do decanato do CTC e, além do Professor Prawitz, contou com a participação dos Professores André Porto (UFG), Wagner Sanz (UFG), Rodolfo Ertola (UNICAMP) e Edward Hermann Haeusler (PUC-Rio).

Profa. Vera Cristina Gonçalves de Andrade Bueno
Diretora do Departamento de Filosofia

______________________________________________________________________________________________________________

Todos os dados foram fornecidos pelo departamento ou extraídos do Sistema Coleta de Dados CAPES e do site do CNPq.