Projetos de Pesquisa
Lógica, Interdisciplinaridade e Estudos Lonerganianos
Responsáveis: FABIO MAIA BERTATO
Membros: BEATRIZ FIGUEIREDO DE REZENDE
O problema central a ser investigado neste Projeto diz respeito ao estatuto epistemológico da Lógica no pensamento do filósofo canadense Bernard Lonergan. As perguntas norteadoras para compreensão do sistema lonerganiano são: (1) O que ocorre quando conhecemos?; (2) Por que ocorre esse conhecer? e (3) O que conhecemos quando o fazemos? As respostas a essas questões resultam em uma Teoria Cognitiva, uma Epistemologia e uma Metafísica, respectivamente.
Logical Consequence, Reasoning and Computation (LogCons)
Responsáveis: Walter Alexandre Carnielli
Membros: ITALA MARIA LOFFREDO D OTTAVIANO, Marcelo Esteban Coniglio
Projeto Temático FAPESP (2010-2014). The notion of logical consequence, under the classical tradition, is the fundamental relation between premises and conclusion in any valid piece of reasoning. In this way, the foundations of logical consequence can be seen on two main aspects: model-theoretic and proof-theoretically. There are, however, many general problems concerning both approaches, which we investigate in the present project.
Logical Pluralism
Responsáveis: ITALA MARIA LOFFREDO D OTTAVIANO
O projeto pretende analisar questões relativas ao monismo e ao pluralismo lógico, com ênfase especial nas lógicas não-clássicas e no uso de traduções entre lógicas como possível ferramenta de análise. O projeto envolve pesquisadores do Centro de Lógica, Epistemologia e História da Ciência - CLE e do Laboratory for Logic, Linguistics and Formal Philosophy da Higher School of Economics da National University of Moscow.