CV Lattes
ResearcherID
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). É professor do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH) da Universidade Estadual de Campinas (UNICAMP) desde 1998, e tornou-se Professor Titular em 2013. 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. Desde 1999 é membro da Sociedade Brasileira de Lógica (SBL). Participou das Diretorias da Sociedade Brasileira de Lógica entre 1999 e 2017. Foi Presidente da Sociedade Brasileira de Lógica no período 2014-2017. Foi Coordenador do GT de Lógica da ANPOF, de 2010 até 2024. Desde 2002 é membro do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP. É Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP para o período 2025-2029. Anteriormente, já havia dirigido o mesmo centro por dois mandatos consecutivos, de 2015 a 2021. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente projeto de pesquisa consiste em três grandes esferas inter-relacionadas, denominadas 'tarefas'. Essas três tarefas apoiarão as principais questões a serem trabalhadas, relacionadas às noções de consistência, contradição e evidência, que, juntamente com suas interpretações probabilísticas, pretendem levar a uma posição mais sólida sobre a filosofia geral da paraconsistência, seu…
O objetivo desta proposta é investigar e estender métodos recentemente desenvolvidos de teoria da prova para o amplo contexto das Lógicas da Inconsistência Formal (LFIs) e para outras lógicas não-clássicas. O pesquisador visitante pretende combinar seu conhecimento relativo aos métodos acima mencionados, com a experiência do professor responsável na área de LFIs procurando respostas para…
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)
O presente trabalho foca no estudo e desenvolvimento das lógicas de inconsistência formal (LFIs) com substituição, principalmente sob uma perspectiva algébrica, abordando também questões relacionadas à teoria da prova. Ele é dividido em três eixos principais de pesquisa, cada um abordando aspectos teóricos e práticos dessas lógicas com o objetivo de avançar na compreensão e nas aplicações…
O objetivo final desta tese será formalizar logicamente o raciocínio abdutivo pensado como um processo de mudança de crenças e de modo a possibilitar hipóteses explicativas contraditórias, entre si ou entre crenças prévias, em um determinado estado epistêmico. Para isso, três pilares filosóficos, conceituais e lógicos serão devidamente elucidados, sistematizados e integrados: i) a abdução…
Hiper estruturas algébricas são generalizações das estruturas algébricas usuais, obtidas a partir da generalização do conceito de operações algébricas. Em particular, Sette e Morgado apresentaram uma definição generalizada e bastante intuitiva de hiper reticulado. Existem inúmeras aplicações das hiper estruturas, como semântica para sistemas lógicos, autômatos, criptografia, inteligência …
Ao longo da história, lógicos proporam várias alternativas para a formalização da noção de crença. Um dos principais desafios está no fato de que, diferente do conhecimento ou da verdade, crenças são dinâmicas, sendo constantemente revisadas e alteradas. Nesse contexto, as Lógicas Epistêmicas Dinâmicas, usando multimodalidades, formalizam tanto as crenças quanto as operações de alteração …
O Fisicalismo Ontológico é uma das mais bem aceitas versões do monismosubstancialista-materialista. Essa posição sustenta a tese de que (i) tudo o que existe sãosubstâncias materiais discretas, suas propriedades causais e seus agregados, e que (ii) todas asoutras formas de existência sobrevêm sobre (ou dependem de) tais substâncias. Seguindo a análiseneo-Aristotélica (Lowe 2006, Hoffman 2…
Resumo Este projeto tem o objetivo de desenvolver semânticas não-determinísticas para lógicas modais expandindo os resultados recentes sobre estruturas swap de Coniglio [5, 9], inspirados nos trabalhos de Kearns [13], Ivlev [12] e Avron e Lev [1]. Queremos trabalhar com lógicas que lidem adequada- mente com as situações propostas por Belnap e Dunn [11], em que temos evidências para a verd…
Este projeto pretende apresentar e justificar nossa proposta de pesquisa para candidatura à bolsa de estágio de pesquisa no exterior (BEPE). Tem como objetivo desenvolver uma investigação de mestrado durante seis meses na Universidade de Lisboa, sob orientação do Professor Dr. Gil Santos. Nossa pesquisa visa investigar e comparar teorias recentes de emergência baseadas em modelos ontológi…
A lógica ecumênica modal oferece uma alternativa filosoficamente fundamentada para a busca pela harmonia entre a lógica modal clássica e intuicionista. RNmatrizes, por sua vez, são estruturas algébricas não-determinísticas que têm se mostrado promissoras para a caracterização de lógicas que não admitem semânticas de matrizes finitas tradicionais, como é o caso da lógica ecumênica. O pres…
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…