CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição-sede da última proposta de pesquisa) País de origem: Argentina
Graduado em Matemática pela Universidad Nacional de Mar Del Plata, Agentina (1989); doutorado em Matemática pela Universidade de São Paulo (1997) sob a orientação de Francisco Miraglia; pós-doutorado na Universidade Técnica de Lisboa (2001-2002) sob supervisão de Amílcar Sernadas; e Livre-Docente em Lógica pela Universidade Estadual de Campinas (2004). Foi Professor (Adjunto e depois Associado) do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH) da Universidade Estadual de Campinas (Unicamp) de 1998 a 2013. Desde 2013 é Professor Titular de Lógica do Departamento de Filosofia do IFCH/Unicamp. Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: lógicas não-clássicas, lógicas paraconsistentes, combinações entre lógicas, traduções entre lógicas e teoria das categorias. Foi Presidente da Sociedade Brasileira de Lógica (SBL) no período 2014-2017. Desde 2002 é membro do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. Desde 2010 é Coordenador do GT de Lógica da ANPOF. Foi Diretor do CLE/Unicamp no período 2015-2021, sendo atualmente Diretor Associado do CLE. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Programa da reunião XVIII Encontro Brasileiro de Lógica (XVIII Brazilian Logic Conference - EBL), a realizar- se na Pousada dos Pireneus, em Pirenópolis (GO), durante o período de 08 a 12 de maio de 2018, será em simultâneo com uma Escola de Lógica (Logic School), constituída por vários mini-cursos (Tutorials). Estão previstas 11 conferências plenárias e 86 apresentações de trabalhos, alé…
PMUV - Filosofia e Matemática da Incerteza e da Vaguedadehttp://www.cle.unicamp.br/principal/pmuv/#!06 a 15 de agosto de 2012,Centro de Lógica, Epistemologia e História da Ciência - UNICAMPOs tópicos do evento são:- Semântica da Incerteza e do Raciocínio Vago;- Lógica e Matemática da Incerteza e Vaguedade;- Filosofia da Inexatidão. (AU)
A noção de consequência lógica, na tradição clássica, consiste na relação fundamental entre premissas e conclusão, válida em qualquer aspecto do raciocínio. Dessa forma os fundamentos da noção de consequência lógica podem ser analisados em dois aspectos principais: do ponto de vista das demonstrações (ou provas) e sob o aspecto modelo-teórico. Há, contudo, muitos problemas relativos a amb…
O projeto é centrado na noção epistêmica de ignorância, um tópico surpreendentemente esquecido no debate lógico e epistemológico contemporâneo. De um ponto de vista epistemológico, existem somente duas abordagens à noção de ignorância: a Standard View e a New View. A primeira define a ignorância simplesmente como 'não conhecido', a segunda como 'ausência de crença verdadeira'. No entanto,…
Este trabalho visa o desenvolvimento de sistemas de lógicas modais quantificadas que sistematizam a noção filosófica de atualidade. Estes sistemas serão desenvolvidos por meio do processo de fibring algébrico. O esclarecimento acerca do significado do conceito de atualidade se mostra relevante no contexto do debate geral entre atualistas e possibilistas, que permanece aberto. Possibilist…
O presente projeto visa continuar os estudos [10, 11] que foram desenvolvidos de março a outubro deste ano enquanto o candidato estava como professor visitante no Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas. Este projeto tem como objetivo desenvolver um estudo semântico das lógicas da inconsistência formal (Logics of Formal Inconsistency, LFI…
O presente projeto pretende continuar o trabalho desenvolvido pelo candidato sob orientação do Professor Dr. Marcelo Esteban Coniglio (IFCH e CLE-Unicamp) e participação do Prof. Dr. Márcio Moretto Ribeiro (EACH-USP), financiado pelo CNPq e inserido no contexto do Projeto Temático FAPESP LogCons (processo 2010/51038-0). No referido trabalho focamo-nos na construção de sistemas de Revisão …
Esta pesquisa dará continuidade ao projeto inicial de pós-doutorado ao avançar no desenvolvimento de sistemas de Revisão de Crenças Paraconsistentes, nomeadamente os sistemas AGMp e AGMo, com o intuito de apresentar soluções a alguns problemas em aberto presentes na literatura da área. Conforme formalmente demonstrado, os resultados atingidos podem ser aplicados a quaisquer sistemas basea…
Neste projeto de pesquisa no exterior desenvolveremos o formalismo necessário para abordar, no marco da gramática lógica de tipos (Type Logical Grammar - TLG), o problema de reutilização de recursos semânticos que supõe a ocorrência de pronomes lexicais anafóricos nas estruturas de controle em português, espanhol e italiano. (AU)
O presente projeto de pesquisa propõe o estudo das propriedades categoriais das diversas categorias de sistemas lógicos investigadas na literatura de fibrilação (principalmente a abordagem do Logic and Computation Group de Lisboa dirigido por A. Sernadas), assim como a introdução de novas categorias de sistemas lógicos, visando à definição de uma operação de "fibrilação universal" (que de…