CV Lattes
GoogleMyCitations
ORCID
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 e desde 2014 é Diretor do CLE/Unicamp. (Fonte: Currículo Lattes)
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,…
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 …
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órmula…
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 de a…
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…
(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 | 6 |
| Citações | 3 |
| Cit./Artigo | 0,5 |
| 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)
CONIGLIO, MARCELO E.; FIGALLO-ORELLANO, ALDO; GOLZIO, ANA C.. First-order swap structures semantics for some logics of formal inconsistency. JOURNAL OF LOGIC AND COMPUTATION, v. 30, n. 6, p. 1257-1290, SEP 2020. Citações Web of Science: 0. (16/21928-0, 19/08442-9)
KUBYSHKINA, EKATERINA; PETROLO, MATTIA. A logic for factive ignorance. SYNTHESE, OCT 2019. Citações Web of Science: 0. (18/25501-6, 16/25891-3)
CONIGLIO, MARCELO E.; FIGALLO-ORELLANO, ALDO; GOLZIO, ANA CLAUDIA. Non-deterministic algebraization of logics by swap structures. LOGIC JOURNAL OF THE IGPL, v. 28, n. 5, p. 1021-1059, OCT 2020. Citações Web of Science: 3. (16/21928-0, 13/04568-1)
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
REIS, Teófilo de Souza. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (06/53405-4)
PERON, Newton Marques. (In)completude modal por (N)matrizes finitas. Tese (Doutorado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas. (09/10239-5)
CORBALÁN, María Inés. From generative linguistics to categorial grammars = overt subjects in control infinitives = Da linguística gerativa à gramática categorial : sujeitos lexicais em infinitivos controlados. Tese (Doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. (13/08115-1)
RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (08/07760-2)
GOLZIO, Ana Cláudia de Jesus. Non-deterministic matrices = theory and applications to algebraic semantics = Non-deterministic matrices: theory and applications to algebraic semantics. Tese (Doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. (13/04568-1)
OLIVEIRA, Kleidson Êglicio Carvalho da Silva. Programação lógica paraconsistente em lógicas três e quatro valoradas. Tese (Doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. (13/04555-7)
NETO, Alberto Leopoldo Batista. Representação e combinação de logicas : questões conceituais. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (05/53278-0)
SBARDELLINI, Luis Augusto. Semantica categorial generalizada. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (98/16395-2)