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: Brasil
Graduado e licenciado em Matemática pela Universidade Estadual de Campinas (1976), especialização em Filosofia da Ciência pela Universidade Estadual de Campinas (1981) , mestrado em Matemática pela Universidade Estadual de Campinas (1978), doutorado em Matemática pela Universidade Estadual de Campinas (1982), pós-doutorado pela University of California (1985) , pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von Humboldt. Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou pos dois outros mandatos É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG - Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) e de diversas sociedades científicas internacionais . Pesquisa e ensina na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos. (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 evento consiste na décima-sexta edição dos TRENDS IN LOGIC da série de conferências renomadas STUDIA LOGICA INTERNATIONAL CONFERENCES, bem como da comemoração dos quarentas anos do Centro de Lógica, Epistemologia e História da Ciência da Unicamp. (AU)
Logical consequence, reasoning and computation - 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ór…
Puzzles e paradoxos lógicos são problemas que nos inclinam a raciocinar rigorosamente, sendo sua solução, muitas vezes, fruto do esclarecimento do pensamento sobre suas inferências possíveis. Tradicionalmente, eles são pensados tendo como base a lógica clássica, seguindo a trilha de nosso raciocínio natural. No entanto, o desenvolvimento de lógicas não-clássicas permitiu a adaptação do pe…
No Apêndice I às Observações sobre os fundamentos da matemática, Wittgenstein elabora um caso contra o teorema da incompletude de Gödel: o filósofo pretende reavaliar a conclusão gödeliana segundo a qual há fórmulas verdadeiras, mas que não são demonstráveis em sistemas formais capazes de representar uma quantidade suficiente da teoria aritmética. O presente projeto pretende avaliar as di…
Frequentemente, a prática de ZF inclui o uso metateórico da noção de classes como forma de abreviar expressões ou simplificar o entendimento de recursos conceituais. A teoria NBG expressa formalmente a internalização desse recurso na teoria dos conjuntos; nesse caso, as classes, antes usadas metateoricamente, passam a ser capturadas também pelas quantificações da teoria de primeira ordem.…
O programa de pesquisa aqui proposto refere-se à filosofia da lógica, especialmente ao debate de longa data sobre o monismo e o pluralismo lógico. Monistas como Quine defendem a idéia de que a única lógica correta é a lógica clássica, e tal que os outros cálculos ditos desviantes - intuicionista, paraconsistente e, em geral, os sistemas não-clássicos [26, 18, 29] - seriam baseados, esse…
Se nós pensarmos em termos de verdade, a paraconsistência rivaliza com a lógica clássica, introduzindo um terceiro valor de verdade. Entretanto, a escola brasileira de lógica paraconsistente, concebida nos trabalhos de Walter Carnielli e Marcelo Coniglio, tem um desideratum de pensar sobre a paraconsistência em termos de informação ao invés de verdade, isto é, Lógicas de Inconsistência Fo…
Nesta proposta de estágio, estamos interessados em ir para o Graduate Center da Universidade da Cidade de Nova York (CUNY) para avançar a pesquisa em andamento sobre a comparação do comprometimento ontológico entre teorias de primeira ordem. O foco da pesquisa será na comparação entre teorias de conjuntos, em particular a teoria de conjuntos Zermelo-Fraenkel (ZFC) e a teoria de classes vo…
Neste projeto eu aprofundo a análise da lógica interna da teoria dos conjuntos - tema do meu projeto FAPESP - propondo uma análise lógica da noção de consistência e a sua função na prática da teoria dos conjuntos. Este projeto possui um ponto de vista multidisciplinar e procura combinar a reflexão filosófica sobre a prática matemática com a descrição de uma estrutura matemática. Especific…