- Auxílios pontuais (curta duração)
Busca avançada
Marcelo Esteban Coniglio
CV Lattes
GoogleMyCitations
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); pós-doutorado pela Universidade Técnica de Lisboa (2001-2002); e Livre-Docente em Lógica pela Universidade Estadual de Campinas (2004). Atualmente é Professor Titular do Departamento de Filosofia da Universidade Estadual de Campinas (Unicamp). Tem experiência na área de Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: combinações entre lógicas, traduções entre lógicas, lógicas paraconsistentes, lógicas não-clássicas e teoria das categorias. Foi Presidente da Sociedade Brasileira de Lógica (SBL) no período 2014-2017. É Coordenador do GT de Lógica da ANPOF e Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. (Fonte: Currículo Lattes)
Auxílios à pesquisa
- XVIII Encontro Brasileiro de Lógica e Escola de Lógica, AO.R
Resumo
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, ...
- Philosophy and mathematics of uncertainty and vagueness, AO.R
Resumo
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)
- Fibring algebraizable consequence systems, AR.EXT
Bolsas no país
- Análise epistemológica e lógica da noção de ignorância, BP.PD
Resumo
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 entan...
- Semânticas não-determinísticas para as lógicas da inconsistência formal, BP.PD
Resumo
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, ...
- Avanços e novas perspectivas em revisão de crenças paraconsistente, BP.PD
Resumo
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...
- Matrizes não-determinísticas: teoria e aplicações à semântica algébrica, BP.DR
Resumo
As Matrizes não-determinísticas (Nmatrizes) são uma generalização do conceito usual de matriz multivalorada. Entretanto, nas Nmatrizes, o valor de verdade de uma determinada fórmula complexa pode ser escolhido não-deterministicamente a partir de um certo conjunto não-vazio de opções, enquanto que nas matrizes lógicas usuais (bivaloradas ou multivaloradas) o valor de verdade de uma fórm...
- Déficit de recursos no cálculo resource-conscious de Lambek, BP.DR
Resumo
A gramática categorial é uma gramática formal baseada no cálculo subestrutural L de J. Lambek. O fenômeno da referência anafórica representa um desafio para uma gramática formal que, tal como L, não admita a regra estrutural de contração e, portanto, a reutilização de recursos lexicais. Em geral, as estruturas gramaticais chamadas de estruturas de controle não representam um contexto d...
Bolsas no Exterior
- Revisão de crenças paraconsistente: modelos construtivos e novas operações, BE.EP.PD
Resumo
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 ba...
- Pronomes lexicais anafóricos em type logical grammar, BE.EP.DR
Resumo
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)
- Combinação categorial de sistemas lógicos, BE.PQ
Resumo
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...
- Newton Marques Peron
- María Inés Corbalán
- Rafael Rodrigues Testa
- Francisco Miraglia Neto
- Luis Augusto Sbardellini
- Alberto Leopoldo Batista Neto
- Teófilo de Souza Reis
- Tarcísio Genaro Rodrigues
- Marcio Moretto Ribeiro
- Kleidson Êglicio Carvalho da Silva Oliveira
- Ana Cláudia de Jesus Golzio
- Aldo Figallo Orellano
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
| Publicações | 3 |
| Citações | 0 |
| Cit./Artigo | 0,0 |
| Dados do Web of Science | |
TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M.. AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, n. 4, SI, p. 632-672, AUG 2017. Citações Web of Science: 0. (14/22119-2, 10/51038-0)
CONIGLIO, MARCELO E.; GOLZIO, ANA CLAUDIA. Swap structures semantics for Ivlev-like modal logics. SOFT COMPUTING, v. 23, n. 7, SI, p. 2243-2254, APR 2019. Citações Web of Science: 0. (13/04568-1)
FIGALLO ORELLANO, ALDO; PASCUAL, INES. On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras. STUDIA LOGICA, v. 107, n. 4, p. 591-611, AUG 2019. Citações Web of Science: 0. (16/21928-0)
Para ver o sumário de acessos desta página, clique aqui.
Por favor, reporte erros na informação da página do pesquisador escrevendo para:
cdi@fapesp.br.