Curriculum Vitae

 

Lógica.

Curriculum Vitae Acadêmico

Samir Gorsky

 

Seminários:

 

·        Quine-Carnap: Junto a disciplina de epistemologia. Universidade de Brasília.

·        Comentários sobre o artigo do prof. Julio Cabrera: Grupos de estudos em lógica. Coordenação prf. Dr. Julio Cabrera. Universidade de Brasília. UnB 2003.

·        Defesa de monografia “Alguns sistemas modais fracos”: Orientador: Prf. Dr. Nelson Gonçalves Gomes. Universidade de Brasília. UnB 2003.

·        Leitura do artigo de Cláudio Pizzi: Disciplina lógicas não clássicas. UNICAMP 2005.

·        Leitura do artigo sobre lógicas da relevância: Unicamp 2005.

·        Semânticas algébricas para lógicas modais – introdução: UNICAMP Outubro-2005.

·        Apresentação do teorema de Lindström – Teoria de modelos: UNICAMP 11/12/2005

·        Lukasiewicz, Bivalência e verofuncionalidade – Seminários CLE – UNICAMP 30/08/2006

·        Máquinas de Turing – Computabilidade – CLE – UNICAMP 03/09/2006

    

Participação em Congressos.

 

·        Semantics and meaning: (com a presença de Saul Kripke): UNICAMP Campinas(SP), Julho-2005.

·        Mini-escola de lógica: PUC-RJ. Rio de Janeiro(RJ), Setembro-2005

·        EBL (encontro brasileiro de lógica)- Itatiaia (RJ), Abril-2006

·        Anpof (encontro da associação nacional de pós-graduação em filosofia)– Salvador (BA), 23 a 27 de outubro de 2006

·        Symposium Internacional Principia – Florianópolis (SC), 06 a 09 de Agosto de 2007

 

Apresentação de Traballhos em congressos:

 

·        Popper e a Paraconsistência – EBL Abril-2006

·        Modalidades diodoréias e modalidades aristotélicas – EBL Abril-2006

·        Alguns sistemas multimodais aléticos temporais – Anpof Outubro-2006

·        Semânticas algébricas para as lógicas modais – Symposium Internacional Principia - Agosto 2007