Projetos
126 Projetos de Pesquisa (CLE) Fonte: Avaliação Institucional 2009-2013
(IN)COMPLETUDE MODAL POR (IN)MATRIZES FINITAS

Coordenador Principal: Marcelo Esteban Coniglio e Newton Marques Peron

Início: 3/2009

Término: 1/1900


Sem resumo
Ocultar
1ST CLE COLLOQUIUM FOR PHILOSOPHY AND HISTORY OF FORMAL SCIENCES

Coordenador Principal: Fábio Maia Bertato

Início: 3/2013

Término: 3/2013


Resumo:

Realização do 1st CLE Colloquium for philosophy and history of formal Sciences, de 21 a 23 de março de 2013, coordenado pelo Prof. Fábio Maia Bertato.

Ocultar
2º SEMINÁRIO MATERIALISMO E EVOLUCIONISMO

Coordenador Principal: João Carlos Kfouri Quartim de Moraes

Início: 9/2009

Término: 2/2009


Resumo:

Realização do 2º Seminário materialismo e evolucionismo, nos dias 1 e 2 de setembro de 2009, coordenado pelo Prof. Dr. João Carlos K. Quartim de Moraes.

Ocultar
3º SEMINÁRIO MATERIALISMO E EVOLUCIONISMO

Coordenador Principal: João Carlos Kfouri Quartim de Moraes

Início: 10/2011

Término: 10/2011


Resumo:

Realização do 3º Seminário materialismo e evolucionismo, de 24 a 26 de outubro de 2011, coordenado pelo Prof. Dr. João Carlos Kfouri Quartim de Moraes.

Ocultar
A APLICABILIDADE DA MATEMÁTICA À FÍSICA, UM ESTUDO DE CASO

Coordenador Principal: Jairo José da Silva e Ricardo Mendes Grande

Início: 3/2007

Término: 5/2011


Resumo:

Projeto de Doutorado de Ricardo Mendes Grande, sob orientação do Prof. Jairo José da Silva.

Ocultar
A CERTEZA DA MATEMÁTICA NO PENSAMENTO CIENTÍFICO E FILOSÓFICO OCIDENTAL DO FIM DO SÉCULO XV AO SÉCULO XVII

Coordenador Principal: Fábio Maia Bertato

Início: 3/2012

Término: 1/1900


Resumo:

Projeto individual de pesquisa em nome do pesquisador Fábio Maia Bertato, sobre o tema: A certeza da Matemática no pensamento científico e filosófico ocidental do fim do século XV ao século XVII, em andamento no CLE.

Ocultar
A EDUCAÇÃO MATEMÁTICA NO CONTEXTO DA EDUCAÇÃO EM ECONOMIA SOLIDÁRIA

Coordenador Principal: Ubiratan D'Ambrosio

Início: 8/2009

Término: 8/2010


Resumo:

Desenvolvimento do projeto A Educação Matemática no contexto da educação em Economia Solidária pela Pesquisadora Associada do CLE Renata Cristina Geromel Meneghetti, sob a supervisão do Prof. Ubiratan D'Ambrosio.

Ocultar
A INCLUSÃO DA ESCRITA EM SOCIEDADES DE TRADIÇÃO ORAL

Coordenador Principal: Cláudia Marinho Wanderley

Início: 9/2012

Término: 9/2014


Resumo:

Desenvolvimento do projeto: “A inclusão da escrita em Sociedades de tradição oral” pelo Pesquisador Associado do CLE Álvaro Fernando Rodrigues da Cunha, sob supervisão do Pesquisadora Cláudia Marinho Wanderley

Ocultar
A LINGUAGEM COMO SISTEMA AUTO-ORGANIZADO: PERSPECTIVAS LINGUÍSTICAS E EPISTEMOLÓGICAS

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 1/2013

Término: 9/2015


Resumo:

Pesquisa (Pós-Doutorado) desenvolvida por William Alfred Pickering, no âmbito do Projeto Temático Sistêmica, Auto-organização e Informação, coordenado pela Profa. Dra. Itala Maria Loffredo D' Ottaviano.
Resumo: O projeto pretende investigar o estatuto epistemológico do conhecimento linguístico-informacional sob o enfoque interdisciplinar da teoria da auto-organização, que caracteriza a linguagem como sistema complexo. Seus principais objetivos são: i) analisar a relevância da teoria da auto-organização para o estudo de línguas naturais; ii) pesquisar as implicações da abordagem da linguagem como sistema complexo para a epistemologia e para o conceito de informação. A vaga se insere na linha de pesquisa do Projeto Temático intitulado Sistêmica, Auto-Organização e Informação, cujo objetivo central diz respeito à investigação do estatuto epistemológico dos processos de auto-organização no domínio dos sistemas complexos. Dada a crescente importância das teorias da informação no estudo de línguas naturais, como um campo de investigação no âmbito do qual a teoria da auto-organização vem sendo aplicada, e dada a importância da linguística, do ponto de vista teórico, como ciência situada entre as esferas biológicas e culturais, este projeto de pesquisa pretende contribuir para uma melhor compreensão da teoria da auto-organização e suas implicações epistemológicas, através da investigação de sua relevância para o estudo da estrutura informacional das línguas naturais. Espera-se, ainda, que essas pesquisas contribuam para que a teoria linguística possa ser enriquecida pela perspectiva dos sistemas complexos.

Ocultar
A LÓGICA E A METAFÍSICA DOS ENIGMAS: SURPRESA, ESPANTO E INFORMAÇÃO.

Coordenador Principal: Walter Alexandre Carnielli e Samir Bezerra Gorsky

Início: 3/2009

Término: 3/2013


Resumo:

Projeto de Doutorado de Samir Bezerra Gorsky, sob orientação do Prof. Walter Alexandre Carnielli.

Ocultar
A PERSISTÊNCIA DO PARADOXO DA COGNOSCIBILIDADE

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Dante Cardoso Pinto de Almeida

Início: 3/2009

Término: 7/1905


Resumo:

Projeto de Mestrado de Dante Cardoso Pinto de Almeida, sob orientação da Profa. Itala Maria Loffredo D' Ottaviano.

Ocultar
ACERVOS DIGITAIS MULTILINGUES - UMA REDE JÚNIOR

Coordenador Principal: Claudia Marinho Wanderley

Início: 3/2013

Término: 12/2013


Resumo:

Projeto Acervos digitais Multilingues - uma rede Júnior - 4a. edição

Ocultar
ANTROPOLOGIA E SOCIEDADE NO QUÉBEC DA REVOLUÇÃO TRANQÜILA

Coordenador Principal: Celso Azzan Júnior

Início: 8/1995

Término: 1/1900


Resumo:

Projeto de pesquisa realizado por Celso Azzan Júnior, Pesquisador Associado do CLE, que contribui para a compreensão da antropologia no Québec. Os resultados desse projeto encontram-se divulgados no livro “Uma antropologia como puzzle: Antropologia e sociedade no Québec da Revolução Tranqüila”. O projeto conta com o patrocínio do governo canadense que se responsabiliza pelo pagamento de passagens aéreas e estadia do pesquisador durante sua permanência no Canadá.

Ocultar
APLICACIONES DE LOGICAS NO CLASICAS EN FILOSOFIA DE DAS CIENCIAS: LA ELACIÓN DE INFERENCIA EN EL CONTEXTO DE LAS LEYES CIENTÍFICAS

Coordenador Principal: Marcelo Esteban Coniglio

Início: 8/2009

Término: 8/2010


Resumo:

Desenvolvimento do projeto Aplicaciones de logicas no clasicas en filosofia de das ciencias: la elación de inferencia en el contexto de las leyes científicas pela Pesquisadora Associada do CLE Maria Alice Pazos sob a supervisão do Prof. Marcelo Esteban Coniglio.

Ocultar
APLICACIONES DEL ALGEBRA Y LA TEORÍA DE CATEGORÍAS A LA LÓGICA PROPOSICIONAL

Coordenador Principal: Rodolfo Értola Biraben

Início: 3/2013

Término: 1/1900


Resumo:

Desenvolvimento do projeto de pesquisa: Aplicaciones del Algebra y la teoria de categorías a la lógica proposicional, com a participação de estudantes avançados de pós-graduação

Ocultar
ARRANJO E ANÁLISE DOS TRABALHOS MANUSCRITOS DO PROF. WALTER HUGO DE ANDRADE CUNHA (CIÊNCIA & ARTE NAS FÉRIAS 2009)

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 7/2008

Término: 3/2009


Resumo:

Atividades de arranjo e análise dos textos manuscritos de Walter Hugo de Andrade Cunha, fundador do Laboratório de Psicologia Comparada do Instituto de Psicologia da USP). A metodologia de trabalho escolhida envolve, além dos próprios documentos, atividades lúdicas acerca da relação mente-corpo, envolvendo músicas e memórias e debates de filmes sobre a psicologia e as questões da mente. Walter Hugo de Andrade Cunha é professor aposentado do Instituto de Psicologia da USP, tem pós-graduação em Psicologia Experimental pela Universidade do Kansas (EUA) e doutorou-se em Psicologia pela Faculdade de Filosofia Ciências e Letras da USP, com a tese Explorações no mundo psicológico das formigas (1980), sob a orientação da Profa. Dra. Annita de Castilho e Marcondes Cabral. Essa foi a primeira tese sobre Psicologia Animal defendida no Brasil.

Ocultar
ASPECTOS LÓGICOS E COMPUTACIONAIS DO MÉTODO DE DEMONSTRAÇÕES VIA POLINÔMIOS FORMAIS

Coordenador Principal: Walter Alexandre Carnielli e Victor Fernando Pompeo Barbosa

Início: 3/2012

Término: 7/2014


Resumo:

Projeto de Iniciação científica de Victor Fernando Pompeo Barbosa, orientado pelo Prof. Dr. Walter Alexandre Carnielli

Ocultar
ASPECTOS LÓGICOS E ONTOLÓGICOS DE UMA ARITMÉTICA GENERALIZADA

Coordenador Principal: Walter Alexandre Carnielli e Anderson de Araújo

Início: 3/2009

Término: 2/2011


Resumo:

Projeto de doutorado direto de Anderson de Araújo, sob orientação do Prof. Dr. Walter Alexandre Carnielli

Ocultar
AXIOMAS DE EXISTÊNCIA EM SUBTEORIAS DE ZFC E SISTEMAS AXIOMÁTICOS RELACIONADOS

Coordenador Principal: Itala Maria Loffredo D´Ottaviano

Início: 1/2013

Término: 4/2016


Resumo:

Tese de doutorado em andamento, do estudante Edgar Luis Bezerra de Almeida, sob orientação da Profa. Itala Maria Loffredo D' Ottaviano. Resumo: Em uma série de três artigos Freire desenvolve uma análise original sobre a existência de conjuntos no sistema axiomático ZFC e em algumas de suas extensões, e subteorias de ZFC não são consideradas nestes trabalhos. Contudo, há inúmeros sistemas axiomáticos de interesse fundacional que, ou são subteorias de ZFC, ou são extensões de subteorias de ZFC incompatíveis com ZFC. Temos, por exemplo, (a) as subteorias ZF com vários princípios fracos de escolha, (b) a subteoria obtida a partir de ZFC pela subtração do axioma do infinito, e sistemas relacionados para a aritmética, (c) a teoria de Kripke-Platek, KP, que não contém a versão plena do axioma da compreensão, (d) o sistema obtido a partir de ZF pela adição do axioma da determinação (AD), entre outros. O presente projeto de pesquisa tem por finalidade estender essas análises para subteorias de ZFC e sistemas relacionados, e se apresenta, desse modo, como um projeto de pesquisa na área de axiomática da teoria de conjuntos clássica e de seus fragmentos.

Ocultar
BASES PARA PROGRAMAÇÃO LÓGICA PARACONSISTENTE EM LÓGICAS MULTIVALORADAS

Coordenador Principal: Marcelo Esteban Coniglio e Kleidson Êglicio Carvalho da Silva Oliveira

Início: 7/2013

Término: 6/2016


Resumo:

Projeto de Doutorado de Keidson Êglicio Carvalho da Silva Oliveira, orientado pelo Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA

Coordenador Principal: Fátima Regina Rodrigues Évora

Início: 1/2008

Término: 1/1900


Resumo:

Publicação da série 3, volume 18, números 1 e 2, ano de 2008, da revista Cadernos de História e Filosofia da Ciência.

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA 2009

Coordenador Principal: Fátima R. Rodrigues Évora

Início: 1/2009

Término: 1/1900


Resumo:

Publicação do volume 19, números 1 e 2, da revista Cadernos de História e Filosofia da Ciência

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA 2010

Coordenador Principal: Fátima R. Rodrigues Évora

Início: 1/2010

Término: 1/1900


Resumo:

Publicação do volume 20 da revista Cadernos de História e Filosofia da Ciência

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA 2011

Coordenador Principal: Fátima R. Rodrigues Évora

Início: 1/2011

Término: 1/1900


Resumo:

Publicação do volume 21 da revista Cadernos de História e Filosofia da Ciência

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA 2012

Coordenador Principal: Fátima R. Rodrigues Évora

Início: 1/2012

Término: 1/1900


Resumo:

Publicação do volume 22 da revista Cadernos de História e Filosofia da Ciência

Ocultar
CADERNOS DE HISTÓRIA E FILOSOFIA DA CIÊNCIA 2013

Coordenador Principal: Fátima R. Rodrigues Évora

Início: 1/2013

Término: 1/1900


Resumo:

Publicação do volume 23 da revista Cadernos de História e Filosofia da Ciência

Ocultar
CENTRO DE PESQUISA EM ARQUITETURA DA INFORMAÇÃO

Coordenador Principal: Walter Alexandre Carnielli

Início: 1/2010

Término: 1/1900


Resumo:

O Centro de Pesquisa em Arquitetura da Informação CPAI, vinculado à recém criada Faculdade de Ciência da Informação FCI, da Universidade de Brasília, é uma instituição que se dedica à investigação e aplicação dos modelos de uso da informação e de suas diferentes manifestações.

Ocultar
CLE E-PRINTS 2009

Coordenador Principal: Walter A. Carnielli

Início: 1/2009

Término: 12/2009


Resumo:

Publicação da revista eletrônica CLE e-Prints, vol. 9, números 1 a 6.

Ocultar
CLE E-PRINTS 2010

Coordenador Principal: Walter A. Carnielli

Início: 1/2009

Término: 12/2009


Resumo:

Publicação da revista eletrônica CLE e-Prints, vol. 10, números 1 a 7.

Ocultar
CLE E-PRINTS 2011

Coordenador Principal: Walter A. Carnielli

Início: 1/2011

Término: 12/2011


Resumo:

Publicação da revista eletrônica CLE e-Prints, vol. 11, números 1 a 5.

Ocultar
CLE E-PRINTS 2012

Coordenador Principal: Walter A. Carnielli

Início: 1/2012

Término: 12/2012


Resumo:

Publicação da revista eletrônica CLE e-Prints, vol. 12, números 1 e 2.

Ocultar
CLE E-PRINTS 2013

Coordenador Principal: Walter A. Carnielli

Início: 1/2013

Término: 12/2013


Resumo:

Publicação da revista eletrônica CLE e-Prints, vol. 13, números 1 a 3.

Ocultar
CLE/AIPS - SCIENCE, TRUTH AND CONSISTENCY

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 8/2009

Término: 8/2009


Resumo:

Realização do evento CLE/AIPS, de 23 a 28 de agosto de 2009, promovido pelo Centro de Lógica, Epistemologia e História da Ciência e pela Académie Internationale de Philosophie des Sciences.

Ocultar
COLEÇÃO CLE - A DE DIVINA PROPORTIONE DE LUCA PACIOLI - TRADUÇÃO ANOTADA E COMENTADA

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 4/2009

Término: 12/2010


Resumo:

Publicação do volume 56 da Coleção CLE.

Ocultar
COLEÇÃO CLE - A RELAÇÃO ENTRE A FILOSOFIA MECÂNICA E OS EXPERIMENTOS ALQUÍMICOS DE ROBERT BOYLE

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 10/2010

Término: 7/2011


Resumo:

Publicação do volume 61 da Coleção CLE.

Ocultar
COLEÇÃO CLE - DIMENSIONS OF LOGICAL CONCEPTS

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2008

Término: 8/2009


Resumo:

Publicação do volume 54 da Coleção CLE.

Ocultar
COLEÇÃO CLE - HISTÓRIA DA MATEMÁTICA (VOL. 2), EDIÇÃO REVISTA

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2011

Término: 11/2012


Resumo:

Publicação do volume 62 da Coleção CLE.

Ocultar
COLEÇÃO CLE - MATERIALISMO E EVOLUCIONISMO II: A ORIGEM DO HOMEM

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2010

Término: 11/2011


Resumo:

Publicação do volume 59 da Coleção CLE.

Ocultar
COLEÇÃO CLE - MICHEL DEBRUN: BRAZILIAN NATIONAL IDENTITY AND SELF-ORGANIZATION

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2007

Término: 2/2009


Resumo:

Publicação do volume 53 da Coleção CLE.

Ocultar
COLEÇÃO CLE - SISTEMAS AXIOMÁTICOS FORMALIZADOS: A QUESTÃO DA DESINTERPRETAÇÃO E DA FORMALIZAÇÃO DA AXIOMÁTICA

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2010

Término: 11/2011


Resumo:

Publicação do volume 60 da Coleção CLE.

Ocultar
COLEÇÃO CLE - UM FILÓSOFO E A MULTIPLICIDADE DE DIZERES: HOMENAGEM AOS 70 ANOS DE VIDA E 40 DE BRASIL DE ZELJKO LOPARIC

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 10/2009

Término: 12/2010


Resumo:

Publicação do volume 57 da Coleção CLE.

Ocultar
COLEÇÃO CLE - WITTGENSTEIN E A EPISTEMOLOGIA

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2012

Término: 11/2013


Resumo:

Publicação do volume 63 da Coleção CLE.

Ocultar
COLEÇÃO CLE - WITTGENSTEIN: CERTEZA?

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2009

Término: 12/2010


Resumo:

Publicação do volume 58 da Coleção CLE.

Ocultar
COLEÇÃO CLE - WITTGENSTEIN: COMO LER O ÁLBUM?

Coordenador Principal: Itala M. L. D'Ottaviano

Início: 9/2008

Término: 11/2009


Resumo:

Publicação do volume 55 da Coleção CLE.

Ocultar
COLEÇÃO CLE, VOLUME52.

Coordenador Principal: Itala Maria Loffredo D'Ottaviano

Início: 1/2008

Término: 5/2009


Resumo:

Publicação do volume 52 da Coleção CLE : Auto-organização - estudos interdisciplinares, organizado por Ettore Bresciani, Itala M. L. D' Ottaviano, Maria E. Q. Gonzalez e Gustavo M. Souza

Ocultar
COLÓQUIO WITTGENSTEIN - VIII NACIONAL/V INTERNACIONAL

Coordenador Principal: Arley Ramos Moreno

Início: 2/2013

Término: 4/2013


Resumo:

Realização do Colóquio Wittgenstein - VIII Nacional/V Internacional, de 02 a 04 de outubro de 2013, coordenado pelo Prof. Dr. Arley Ramos Moreno.

Ocultar
COMBINAÇÕES DE CONCEITOS MODAIS E PARACONSISTENTIZAÇÃO DE LÓGICAS

Coordenador Principal: Walter Alexandre Carnielli e Alexandre Fernandes Batista Costa Leite

Início: 10/2008

Término: 10/2009


Resumo:

Projeto de Pós-Doutorado de Alexandre Fernandes Batista Costa Leite, orientado pelo Prof. Dr. Walter Alexandre Carneilli

Ocultar
COMBINAÇÕES ENTRE LÓGICAS

Coordenador Principal: Walter Alexandre Carnielli e Marcelo Esteban Coniglio

Início: 3/2000

Término: 1/1900


Resumo:

Este projeto estuda o fenômeno das combinações entre os diversos sistemas lógicos, tanto da perspectiva da Teoria da Prova como da Teoria dos Modelos. Enfatiza-se a investigação dos métodos de fibrilações (fibring) das semânticas de traduções possíveis e das semânticas de sociedades.

Ocultar
COMPUTAÇÃO QUÂNTICA

Coordenador Principal: Walter Alexandre Carnielli e José de Oliveira Guimarães

Início: 9/2007

Término: 12/2009


Resumo:

Desenvolvimento do projeto Computação Quântica pelo Pesquisador Associado José de Oliveira Guimarães, sob supervisão do Prof. Walter Alexandre Carnielli.

Ocultar
COMPUTAÇÃO QUÂNTICA, COMPUTAÇÃO PARACONSISTENTE E LÓGICA: INTERRELAÇÕES E FUNDAMENTOS DOS ALGORITMOS QUÂNTICOS

Coordenador Principal: Walter Alexandre Carnielli

Início: 6/2006

Término: 1/2010


Resumo:

Projeto de doutorado de Juan Carlos Agudelo Agudelo sob orientação do Prof. Dr. Walter Alexandre Carnielli

Ocultar
CONCIENCIA, LOGICA E COMPUTACIÓN

Coordenador Principal: Walter Alexandre Carnielli

Início: 1/2010

Término: 1/2016


Resumo:

Projeto de pesquisa sobre fundamentos da cognoscibilidade em Lógica e Computação, envolvendo diversas universidades da Espanha, com a participação de alguns pesquisadores ligados ao CLE.

Ocultar
CONECTIVOS DE RESTAURAÇÃO LOCAL

Coordenador Principal: Marcelo Esteban Coniglio e Maria Inés Corbalán

Início: 3/2010

Término: 5/2012


Resumo:

Projeto de Mestrado de Maria Inés Corbalán, sob supervisão do Prof. Dr. Marcelo Estebán Coniglio

Ocultar
CONECTIVOS EM LÓGICAS NÃO-CLÁSSICAS

Coordenador Principal: Rodolfo Cristian Értola Biraben

Início: 3/2013

Término: 1/1900


Resumo:

Desenvolvimento do projeto de pesquisa: Conectivos em Lógicas Não-Clássicas, com a participação de estudantes avançados de pós-graduação.

Ocultar
CONECTIVOS EM LÓGICAS NÃO-CLÁSSICAS

Coordenador Principal: Rodolfo Cristian Ertola Birabén

Início: 7/1905

Término: 7/1905


Resumo:

Desenvolvimento do projeto: Conectivos em Lógicas Não-Clássicas, com a participação de estudantes avançados de pós-graduação.

Ocultar
CRÍTICA PÓS-COLONIAL EM LÍNGUA PORTUGUESA: A QUESTÃO DO MULTILINGUISMO

Coordenador Principal: Claudia Marinho Wanderley

Término: 7/2015


Resumo:

Este projeto é centrado na coleta de dados do Brasil relativos à presença do Multilinguismo como um tema na pesquisa acadêmica, e no desenvolvimento de uma abordagem razoável dos Estudos do Multilinguismo através da perspectiva da crítica pós-colonial focada nos países de língua oficial portuguesa. Para tanto, deveremos trabalhar com mineração de dados para coletar os dados na rede, com linguística computacional para analisar os dados colhidos, autores de crítica pós-colonial para desenvolver uma abordagem teórica; e propomos uma tradução para fazer com que parte deste debate, que consideramos muito importante, seja disponibilizada para falantes do português gratuitamente

Ocultar
DÉFICIT DE RECURSOS NO CÁLCULO RESOURCE-CONSCIOUS DE LAMBEK

Coordenador Principal: Marcelo Esteban Coniglio e María Inés Corbalán

Início: 7/2013

Término: 6/2016


Resumo:

Projeto de Doutorado de María Inés Corbalán, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
DEMONSTRAÇÕES NA ALGIBEIRA: POLINÔMIOS COMO UM MÉTODO UNIVERSAL DE PROVAS

Coordenador Principal: Walter Alexandre Carnielli e Mariana Matulovic da Silva

Início: 3/2010

Término: 10/2013


Resumo:

Projeto de Doutorado de Mariana Matulovic da Silva, sob orientação do Prof. Walter Alexandre Carnielli.

Ocultar
ENCONTRO EVARISTE GALOIS - BICENTENÁRIO

Coordenador Principal: Fábio Maia Bertato

Início: 11/2011

Término: 11/2011


Resumo:

Realização do Encontro Evariste Galois - Bicentenário, de 21 a 25 de novembro de 2011, coordenado pelo Prof. Dr. Fábio Maia Bertato.

Ocultar
EPISTEMOLOGIA E RACIONALISMO CRÍTICO

Coordenador Principal: Luis Alberto Peluso

Início: 6/2005

Término: 1/2009


Resumo:

Trata-se de projeto de pesquisa em que se pretende inventariar as principais contribuições que resultaram para a moderna epistemologia das Ciências, tanto Naturais como Sociais, das posições defendidas por autores da escola anglo-americana conhecida como racionalismo crítico.

Ocultar
EXACTENESS AND MATHEMATICAL INFELLIGIBILITY

Coordenador Principal: Marcelo Esteban Coniglio

Início: 6/2010

Término: 6/2011


Resumo:

Desenvolvimento do projeto Exacteness and Mathematical Infelligibility pela Pesquisador Associado do CLE Davide Crippa, sob a supervisão do Prof. Marcelo Esteban Coniglio.

Ocultar
FAPLIVROS

Coordenador Principal: Sílvio Seno Chibeni

Início: 4/2010

Término: 9/2011


Resumo:

Projeto FAPESP para aquisição de material bibliográfico para a Biblioteca Michel Debrun do Centro de Lógica, Epistemologia e História da Ciência.

Ocultar
FILOSOFIA DA LINGUAGEM E DO CONHECIMENTO

Coordenador Principal: Arley Ramos Moreno

Início: 3/1991

Término: 1/1900


Resumo:

Projeto que, através de seminários semanais, realizam comentários analíticos do livro Investigacões Filosóficas de L. Wittgenstein. A partir desse trabalho, são propostos temas de pesquisa semestral que sejam de interesse dos participantes. Estão sendo abordados temas como: Fenomenologia, Ética, Ação, Sensações, Cores, Lógica, Significação.

Ocultar
FÍSICA DE ARISTÓTELES

Coordenador Principal: Fátima Regina Rodrigues Évora

Início: 3/1997

Término: 1/1900


Resumo:

Projeto dedicado à análise minimalista da Física de Aristóteles, contando com a participação de estudantes de pós-graduação da Unicamp e da USP que se dedicam ao estudo da história e filosofia da ciência.

Ocultar
FUNDAMENTOS DA TEORIA DE ESTRUTURAS COMO BASE PARA UMA FILOSOFIA MATEMÁTICA

Coordenador Principal: Walter Alexandre Carnielli e Rodrigo de Alvarenga Freire

Início: 9/2005

Término: 8/2009


Resumo:

Projeto de Doutorado de Rodrigo de Alvarenga Freire, sob orientação do Prof. Dr. Walter Alexandre Carnielli

Ocultar
HIPERSECUENTES Y LA LÓGICA TETRAVALENTE MODAL TML

Coordenador Principal: Marcelo Esteban Coniglio e Martín Figallo

Início: 3/2009

Término: 2/2013


Resumo:

Projeto de Doutorado de Martín Figallo, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
INVESTIGACIONES EN FILOSOFÍA DE LAS MATEMÁTICAS Y APLICACIONES DE LÓGICAS NO CLÁSICAS A LA FILOSOFÍA DE LA CIENCIA: PARACONSISTENCIA EN LA EXPLICACIÓN CIENTÍFICA.

Coordenador Principal: Ítala Maria Loffredo D'Ottaviano

Início: 8/2009

Término: 8/2010


Resumo:

Desenvolvimento do projeto Investigaciones en Filosofía de las Matemáticas y Aplicaciones de Lógicas No Clásicas a la Filosofía de la Ciencia: paraconsistencia en la explicación científica pela Pesquisador Associado do CLE David Gaytán Cabrera, sob a supervisão da Profª Ítala Maria Loffredo D'Ottaviano.

Ocultar
KANT E-PRINTS 2009

Coordenador Principal: Zeljko Loparic

Início: 1/2009

Término: 12/2009


Resumo:

Publicação do volume 4, números 1 e 2, 2009, dos Kant e-Prints.

Ocultar
KANT E-PRINTS 2010

Coordenador Principal: Zeljko Loparic

Início: 1/2010

Término: 12/2010


Resumo:

Publicação do volume 5, números 1 a 5, 2010, dos Kant e-Prints.

Ocultar
KANT E-PRINTS 2011

Coordenador Principal: Zeljko Loparic

Início: 1/2011

Término: 12/2011


Resumo:

Publicação do volume 6, números 1 a 2, 2011, dos Kant e-Prints.

Ocultar
KANT E-PRINTS 2012

Coordenador Principal: Zeljko Loparic

Início: 1/2012

Término: 12/2012


Resumo:

Publicação do volume 7, números 1 a 2, 2012, dos Kant e-Prints.

Ocultar
KANT E-PRINTS 2013

Coordenador Principal: Zeljko Loparic

Início: 1/2013

Término: 12/2013


Resumo:

Publicação do volume 8, números 1 a 2, 2013, dos Kant e-Prints.

Ocultar
KANT E-PRINTS, 2008

Coordenador Principal: Zeljko Loparic

Início: 1/2008

Término: 3/2009


Resumo:

Publicação da Série 2, volume 3, números 1 e 2, 2008 da revista eletrônica Kant e-Prints.

Ocultar
LÓGICA CONTEMPORÂNEA E OS FUNDAMENTOS DA MATEMÁTICA E DA COMPUTAÇÃO

Coordenador Principal: Walter Alexandre Carnielli

Início: 3/2012

Término: 1/1900


Resumo:

Projeto de Produtividade em Pesquisa - PQ 2011 - Nível 1B

Ocultar
LÓGICA E INFORMAÇÃO: UMA ANÁLISE DA CONSEQUÊNCIA LÓGICA A PARTIR DE UMA PERSPECTIVA QUANTITATIVA DA INFORMAÇÃO

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Marcos Antonio Alves

Início: 3/2005

Término: 12/2012


Resumo:

Projeto de Doutorado de Marcos Antonio Alves, sob orientação da Profa. Itala Maria Loffredo D'Ottaviano

Ocultar
LÓGICA TEÓRICA E APLICADA

Coordenador Principal: Walter Alexandre Carnielli e Itala Maria Loffredo D´Ottaviano

Início: 3/1994

Término: 1/1900


Resumo:

O Grupo de Lógica Teórica e Aplicada - GLTA tem sido visto como um pólo formador de recursos humanos (diversos doutores e mestres formados pelo grupo de docentes, pesquisadores e estudantes avançados de pós-graduação que se dedicam ao estudo e à divulgação de temas de lógica, fundamentos de matemática e computação.

Ocultar
LOGICAL CONSEQUENCE AND COMBINATIONS OF LOGICS - FUNDAMENTS AND EFFICIENT APPLICATIONS - CONSREL

Coordenador Principal: Walter Alexandre Carnielli

Início: 1/2005

Término: 3/2010


Resumo:

A noção de inferência lógica é de importância fundamental não somente em todas as formas de argumentação (seja formal ou informal) mas também em diversos aspectos da computação. O estudo da inferência lógica com vistas às aplicações exige a compreensão da combinação de mecanismos lógicos em diversos níveis. O presente projeto é focado em métodos específicos para combinar lógicas, sua interpretação algébrica e seus aspectos computacionais. A pesquisa na área da aproximação de inferências quantificacionais é uma abordagem promissora com respeito à complexidade intrínseca neste tipo de tarefa. Uma questão intimamente relacionada àquela da eficiência e ao esforço de compreender combinação de sistemas lógicos é a da computação quântica e das lógicas quânticas. Toda esta complexa questão requer pesquisadores de origem multidisciplinar envolvidos na difícil tarefa de investigar alternativas eficientes aos métodos tradicionais de inferência. O projeto envolve 22 pesquisadores e estudantes de pós-graduação em diversos níveis, com diferentes formações, a maioria da USP e da Unicamp (um deles da Unesp), com o apoio de 8 pesquisadores de 3 instituições internacionais.

Ocultar
LOGICAL CONSEQUENCE, REASONING AND COMPUTATION - LOGCONS

Coordenador Principal: Walter Alexandre Carnielli

Início: 11/2010

Término: 10/2015


Resumo:

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 ambas as abordagens, que investigamos no presente projeto. O ponto de vista das combinações de lógicas nos permite resolver diversos dos problemas presentes no ‘estado da arte’ das pesquisas em Lógica. Questões análogas às da combinação de semânticas e lógicas não clássicas dão um novo e promissor impulso para a pesquisa sobre novos modelos ele computação, como a computação e informação quântica, busca de algoritmos quânticos e criptografia quântica. O impacto das aplicações práticas de combinações de lógicas nos campos de prova de teoremas, IA, revisão de crenças, probabilidade e possibilidade herdando do projeto anterior (ConsRel 200414107-2). será continuado a ser estudado. Isto justifica amplamente o interesse em se partir da perspectiva de combinar noções de consequência lógica para investigar temas de cunho probabilístico, computacionais e filosóficos.

Ocultar
LÓGICAS ABSTRATAS E O PRIMEIRO TEOREMA DE LINDSTRÖM

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Edgar Luis Bezerra de Almeida

Início: 3/2011

Término: 3/2013


Resumo:

Projeto de Mestrado de Edgar Luís Bezerra de Almeida, sob orientação da Profa. Itala Maria Loffredo D' Ottaviano.

Ocultar
LÓGICAS DA INCONSISTÊNCIA DEÔNTICA

Coordenador Principal: Marcelo Esteban Coniglio e Newton Marques Peron

Início: 3/2007

Término: 2/2009


Resumo:

Projeto de Mestrado de Newton Marques Peron, sob orientação do Prof. Dr. Marcelo Esteban Coniglio

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA

Coordenador Principal: Marco Antonio Caron Ruffino

Início: 1/2008

Término: 4/2009


Resumo:

Publicação do volume 31, números 1 e 2, ano de 2008, de Manuscrito - Revista Internacional de Filosofia

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA - 2009

Coordenador Principal: Marco A. Caron Ruffino

Início: 1/2009

Término: 12/2009


Resumo:

Publicação do volume 32, números 1 e 2, ano 2009, de Manuscrito – Revista Internacional de Filosofia

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA - 2010

Coordenador Principal: Marco A. Caron Ruffino

Início: 1/2010

Término: 12/2010


Resumo:

Publicação do volume 33, números 1 e 2, ano 2010, de Manuscrito – Revista Internacional de Filosofia

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA - 2011

Coordenador Principal: Marco A. Caron Ruffino

Início: 1/2011

Término: 12/2011


Resumo:

Publicação do volume 34, números 1 e 2, ano 2011, de Manuscrito – Revista Internacional de Filosofia

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA - 2012

Coordenador Principal: Marco A. Caron Ruffino

Início: 1/2012

Término: 12/2012


Resumo:

Publicação do volume 35, números 1 e 2, ano 2012, de Manuscrito – Revista Internacional de Filosofia

Ocultar
MANUSCRITO - REVISTA INTERNACIONAL DE FILOSOFIA - 2013

Coordenador Principal: Marco A. Caron Ruffino

Início: 1/2013

Término: 12/2013


Resumo:

Publicação do volume 36, números 1 e 2, ano 2013, de Manuscrito – Revista Internacional de Filosofia

Ocultar
MATHEMATICAL TOOLS FOR MANAGEMENT OF UNCERTAIN AND VAGUE INFORMATION (MATOMUVI)

Coordenador Principal: Walter Alexandre Carneilli (pela Unicamp/Brasil)

Início: 3/2011

Término: 3/2015


Resumo:

Driven by the increasing demands in Mathematics, Philosophy and Computer Science, the last two decades witnessed a growing interest in nonclassical and manyvalued logics. Until not too many years ago, manyvalued logics were nearly a curiosity. The situation has now changed and the weaponry of tools in use to current researchers has acquired solid foundations and a respectable amount of applications to other fields. Many important results have enlighten deep connections with other fields of Mathematics such as ordered algebraic structures, combinatorial counterparts of toric geometry, feedback coding theory. Manyvalued logics are recognized as the main tool to reason formally in presence of vagueness. Nevertheless new breakthroughs open new challenges, and a knowledge acquired so far empowers the study of more complex phenomena. The aim of this project is to put together some prominent European and LatinAmerican researchers in manyvalued logic in a coordinated effort towards the delivery of a uniform formal systemin which uncertain and vague aspects, which pervade phenomena in the real world, can be treated together in an integrated manner. This is desirable both from the Mathematical and the application point of view as many concrete systems (e.g., medical expert systems) deal with both phenomena and currently not in a completely satisfactory way. This joint enterprise is feasible owing to the preexisting longstanding collaborations among the researches involved in the project. Accordingly, beside the joint scientific achievements, we aim at the creation of LatinAmerican and European Consortium on vague and uncertain reasoning, whose aim will be to draw into focus the manifold strenghts of Mathematical Logic in vagueness and uncertainty, by supporting and promoting activities such as: international conferences and workshops; multidisciplinary research collaborations; short and longterm exchanges.

Ocultar
MATRIZES NÃO-DETERMINÍSTICAS: TEORIA E APLICAÇÕES À SEMÂNTICA ALGÉBRICA.

Coordenador Principal: Marcelo Esteban Coniglio e Ana Cláudia de Jesus Golzio

Início: 8/2013

Término: 7/2016


Resumo:

Projeto de Doutorado de Ana Cláudia de Jesus Golzio, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
MODALIDADES, PROBABILIDADE E LÓGICA DA DESCRIÇÃO

Coordenador Principal: Ítala Maria Loffredo D'Otaviano

Início: 10/2012

Término: 9/2013


Resumo:

Desenvolvimento do projeto: “Modalidades, Probabilidade e Lógica da Descrição” pelo Pesquisadora Associada do CLE Juliana Bueno-Soler, sob supervisão da Profª Ítala Maria Loffredo D'Ottaviano.

Ocultar
MULTIMODALIDADES ANÓDICAS E CATÓDICAS: A NEGAÇÃO CONTROLADA EM LÓGICAS MULTIMODAIS E SEU PODER EXPRESSIVO

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Juliana Bueno-Soler

Início: 3/2005

Término: 6/2009


Resumo:

Projeto de Doutorado de Juliana Bueno-Soler, sob orientação da Profa. Itala Maria Loffredo D' Ottaviano

Ocultar
NOVAS PERSPECTIVAS EM REVISÃO DE CRENÇAS

Coordenador Principal: Marcelo Esteban Coniglio

Início: 8/2011

Término: 2/2013


Resumo:

Desenvolvimento do projeto: “Novas perspectivas em Revisão de Crenças” pelo Pesquisador Associado do CLE Márcio Moretto Ribeiro, sob supervisão do Prof Marcelo Esteban Coniglio.

Ocultar
O SIGNIFICADO DAS SENTENÇAS ARITMÉTICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMÂNTICA DE SISTEMAS LÓGICOS

Coordenador Principal: Walter Alexandre Carnielli e Rodrigo Alvarenga Freire

Início: 10/2009

Término: 9/2012


Resumo:

Projeto de Pós-Doutorado de Rodrigo Alvarenga Freire, sob orientação do Prof. Dr. Walter Alexandre Carnielli

Ocultar
OPERADORES DE CONSEQUÊNCIA

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 3/1995

Término: 1/1900


Resumo:

Estudo e caracterização do operador de consequência em Tarski e de operadores não clássicos e suas relações com o conceito de tradução entre lógicas. Geração de estruturas algébricas a partir de operadores de consequência com propriedades especiais.

Ocultar
PARACONSISTÊNCIA E MODALIDADE

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Daniel Liberalino Monte

Início: 3/2007

Término: 9/2009


Resumo:

Projeto de Mestrado de Daniel Liberalino Monte, sob orientação da Profa. Itala Maria Loffredo D' Ottaviano.

Ocultar
PHILOSOPHY AND MATHEMATICS OF UNCERTAINTY AND VAGUENESS (PMUV)

Coordenador Principal: Walter Alexandre Carnielli e Marcelo Esteban Coniglio

Início: 8/2012

Término: 8/2012


Resumo:

Realização do encontro Philosophy and mathematics of Uncertainty and Vagueness (PMUV), como parte do projeto MATOMUVI envolvendo pesquisadores de Itála, Espanha, Brasil e, Argentina, organizado pelo CLE, realizado na UNICAMP de 6 a 15 de agosto de 2012.

Ocultar
POLINOMIZANDO: UM MÉTODO DE REPRESENTAÇÃO EM LÓGICA, COM RAÍZES EM LEIBNIZ E BOOLE

Coordenador Principal: Walter Alexandre Carnielli e Pietro Kreitlon Carolino

Início: 3/2007

Término: 9/2009


Resumo:

Projeto de Mestrado de Pietro Kreitlon Carolino, sob orientação do Prof. Walter Alexandre Carnielli.

Ocultar
PROJETO EXTENSÃO: COLOQUIO MULTILINGUISMO NO MUNDO DIGITAL: ENSINO DE LINGUAS LOCAIS E MEMORIA

Coordenador Principal: Claudia Marinho Wanderley

Início: 1/2011

Término: 12/2011


Resumo:

Projeto Extensão: Coloquio Multilinguismo no Mundo Digital: ensino de linguas locais e memoria

Ocultar
PROJETO PICJR. - ACERVOS DIGITAIS MULTILINGUES: UMA REDE JÚNIOR

Coordenador Principal: Claudia Marinho Wanderley

Início: 1/2011

Término: 12/2011


Resumo:

Projeto PICJr. - Acervos Digitais Multilingues: uma rede Júnior - 3ª edição

Ocultar
REVISÃO DE CRENÇAS PARACONSISTENTE BASEADA EM UM OPERADOR FORMAL DE CONSISTÊNCIA

Coordenador Principal: Marcelo Esteban Coniglio e Rafael Testa

Início: 3/2009

Término: 1/1900


Resumo:

Projeto de Doutorado de Rafael Testa, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
REVISÃO DE CRENÇAS PARACONSISTENTE BASEADA EM UM OPERADOR FORMAL DE CONSISTÊNCIA

Coordenador Principal: Marcelo Esteban Coniglio e Rafael Rodrigues Testa

Início: 3/2009

Término: 1/1900


Resumo:

Projeto de Doutorado de Rafael Rodrigues Testa, sob orientação do Prof. Marcelo Esteban Coniglio.

Ocultar
SISTEMA DE LÓGICAS NÃO CLÁSSICAS

Coordenador Principal: Walter Alexandre Carnielli, Marcelo Esteban Coniglio e Itala Maria Loffredo D' Ottaviano

Início: 3/1998

Término: 1/1900


Resumo:

Trata-se, por um lado, de sistematizar e analisar os principais resultados acerca das relações entre derivabilidade e completude no âmbito dos sistemas de Lógicas Não-Clássicas e, por outro lado, de obter resultados particulares a respeito de sistemas modais, paraconsistentes, multivalentes e intuicionistas.

Ocultar
SISTEMAS AXIOMÁTICOS PARA A TEORIA DE CONJUNTOS

Coordenador Principal: Walter Alexandre Carnielli e Rodrigo Alvarenga Freire

Início: 1/2013

Término: 2/2014


Resumo:

Projeto de pós-doutorado de Rodrigo Alvarenga Freire, sob orientação do Prof. Dr. Walter Alexandre Carnielli.

Ocultar
SISTEMAS, PRESSUPOSIÇÕES E IMPLICATURAS: UMA INVESTIGAÇÃO EXPLORATÓRIA, LÓGICA E FILOSÓFICA

Coordenador Principal: Walter Alexandre Carnielli e Antonio Marmo de Oliveira

Início: 3/2009

Término: 7/1905


Resumo:

Projeto de Mestrado de Antonio Marmo de Oliveira, sob orientação do Prof. Walter Alexandre Carnielli

Ocultar
SISTÊMICA E TEORIA GERAL DA AUTO-ORGANIZAÇÃO

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 3/1986

Término: 1/1900


Resumo:

Trata-se da discussão e estudo de noções, conceitos e definições que fazem parte da ciência dos sistemas, aplicados ao fenômeno de auto-organização e a processos auto-organizados. São também pesquisadas aplicações da teoria da auto-organização a algumas áreas do conhecimento, tais como a matemática, administração, música e biologia.

Ocultar
SISTÊMICA, AUTO-ORGANIZAÇÃO E INFORMAÇÃO

Coordenador Principal: Itala Maria Alfredo D' Ottaviano

Início: 5/2011

Término: 4/2016


Resumo:

O problema central a ser investigado neste Projeto Temático diz respeito ao estatuto epistemológico dos processos de auto-organização no domínio dos sistemas complexos, e será metodologicamente subdividido nos seguintes subproblemas: Qual o estatuto epistemológico dos processos auto-organizados supostamente presentes em certas classes de sistemas complexos, em especial nos sistemas informacionais e cognitivos? Qual o papel dos processos auto-organizados na dinâmica constitutiva dos hábitos presentes na ação cotidiana e no conhecimento comum? Quais as dificuldades para a modelagem de processos auto-organizados, face à incompletude dos formalismos empregados para descrever a espontaneidade observada na dinâmica de certas classes de sistemas complexos? Argumentaremos que uma definição geral do conceito de auto-organização e o esboço de uma teoria da auto-organização podem contribuir para a análise epistemológica da dinâmica de certas classes de sistemas complexos, fundamentada na teoria de sistemas e na teoria da informação. A pesquisa se insere em um contexto eminentemente interdisciplinar, envolvendo as áreas de filosofia, lógica, matemática, física, biologia, sociologia e engenharia. O Projeto consta de três subprojetos, que visam a contribuir para o desenvolvimento de uma teoria da auto-organização; à investigação do papel da informação e dos processos auto-organizados para a aquisição do conhecimento comum; à proposição de subsídios teóricos para a elaboração de modelos para processos com auto-organização em certos tipos de sistemas dinâmicos e sistemas complexos. Deverá ser também implantado o Observatório Auto-Organização, concebido como um espaço virtual para a disponibilização, em rede, das atividades e resultados desenvolvidos pelo Grupo.

Ocultar
SISTÊMICA, HÁBITOS E AUTO-ORGANIZAÇÃO

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Ramon Souza Capelle de Andrade

Início: 3/2007

Término: 10/2011


Resumo:

Projeto de Doutorado de Ramon Souza Capelle de Andrade, sob supervisão da Profa. Itala Maria Loffredo D' Ottaviano.

Ocultar
SOBRE A LÓGICA E A ARITMÉTICA DAS RELAÇÕES

Coordenador Principal: Itala Maria Loffredo D´Ottaviano

Início: 4/2009

Término: 3/2013


Resumo:

Projeto de doutorado do estudante Leandro Suguitani, sob orientação da Profa Dra. Itala Maria Loffredo D´Ottaviano - Resumo: Em 1975, Alfred Tarski visitou a Unicamp, tendo proferido duas conferências, nas quais apresentou sua axiomatização para as estruturas de álgebra relacional (RA). Nessa ocasião, Tarski deixou alguns problemas em abertos, entre os quais, apresentamos o seguinte: as RAs foram desenvolvidas, em princípio, para serem a contra-parte algébrica da lógica de primeira ordem clássica, no entanto, alguns resultados demonstraram que, da maneira como foram axiomatizadas por Tarski, as RAs não são um aparato adequado para esta tarefa. Sendo assim, para que manter essa axiomatização? Tarski justifica-se: deve-se mantê-la pois através desta formalização pode-se expressar quase toda a matemática. De fato, Tarski e Steven Givant, em 1986, demonstraram que isso é possível, provando que as RAs podem ser usadas para axiomatizar algumas teorias de conjuntos e a teoria de números, apesar de não terem apresentado explicitamente uma axiomatização específica. Motivados por esse problema e sua solução parcial, neste Projeto de Pesquisa pretendemos analisar a utilização de sistemas relacionais em três contextos distintos: na filosofia da ciência - para se procurar definir adequadamente um conceito de estrutura sob o enfoque filosófico do realismo estrutural ontológico; nos fundamentos da matemática - para se analisar vantagens e desvantagens de se fundamentar esta ciência usando sistemas relacionais; e na lógica - para se estudar a possibilidade de se obter sistemas relacionais com a mesma capacidade de expressão e provabilidade da lógica de segunda ordem clássica

Ocultar
SOBRE OS FUNDAMENTOS DA PROGRAMAÇÃO

Coordenador Principal: Marcelo Esteban Coniglio e Tarcísio Genaro Rodrigues

Início: 3/2009

Término: 9/2010


Resumo:

Projeto de Mestrado de Tarcísio Genaro Rodrigues, sob orientação do Prof. Marcelo Esteban Coniglio.

Ocultar
SOBRE OS FUNDAMENTOS DA PROGRAMAÇÃO DA LÓGICA PARACONSISTENTE

Coordenador Principal: Marcelo Esteban Coniglio e Tarcísio Genaro Rodrigues

Início: 3/2009

Término: 9/2010


Resumo:

Projeto de Mestrado de Tarcísio Genaro Rodrigues, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
SOBRE TRADUÇÕES ENTRE LÓGICAS

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 1/2013

Término: 12/2015


Resumo:

Projeto de doutorado da estudante Angela Pereira Rodrigues Moreira, sob orientação da Profa. Dra. Itala Maria Loffredo D' Ottaviano. Resumo: Desde as primeiras décadas do século XX interpretações entre lógicas têm sido estudadas, sendo que o termo tradução nem sempre foi utilizado. Destacamos como pioneiros de pesquisas nesta área Kolmogorov (1925), Glivenko (1929), Lewis e Langford (1932), Gödel (1933) e Gentzen (1933). Em 1999, da Silva, D'Ottaviano e Sette propuseram uma definição bem geral para o conceito de tradução entre lógicas. Orientado por D'Ottaviano, Feitosa (1997), em sua tese de doutorado, analisou o conceito de tradução conservativa e obteve propriedades importantes e aplicações dessa classe de traduções. Têm sido publicados diversos artigos utilizando estes dois conceitos. No II World Congress on Universal Logic (UNILOG'07), Carnielli, Coniglio e D'Ottaviano (2007) introduziram o conceito de tradução contextual. Recentemente JeYábek (2012) obteve resultados sobre a existência de tradução conservativa entre quaisquer dois sistemas dedutivos razoáveis e concluiu que seriam necessários critérios mais refinados para definir traduções. Neste projeto de pesquisa, além de estudar os artigos históricos sobre traduções entre lógicas, analisaremos trabalhos recentes da literatura sobre o tema. Os objetivos deste projeto são os seguintes: obter uma condição necessária e suficiente que caracterize as traduções contextuais; analisar as possíveis especificidades e inter-relações entre tradução conservativa e tradução contextual; caracterizar uma possível categoria cujos objetos sejam as lógicas Tarskianas e cujos morfismos sejam as traduções contextuais; e analisar possíveis impactos do artigo de JeYábek (2012) no conceito de tradução conservativa.

Ocultar
TRADUÇÕES ENTRE LÓGICAS

Coordenador Principal: Itala Maria Loffredo D´Ottaviano

Início: 3/1995

Término: 1/1900


Resumo:

Estudo de traduções entre lógicas, as quais preservam fortemente relações e consequências.

Ocultar
UMA NOVA ABORDAGEM PARA A NOÇÃO DE QUASE-VERDADE

Coordenador Principal: Marcelo Esteban Coniglio e Luiz Henrique da Cruz Silvestrini

Início: 3/2008

Término: 3/2011


Resumo:

Projeto de Doutorado de Luiz Henrique da Cruz Silvestrini, sob orientação do Prof. Dr. Marcelo Esteban Coniglio.

Ocultar
UMA TEORIA PARACONSISTENTE PARA A VERDADE ARITMÉTICA

Coordenador Principal: Walter Alexandre Carnielli

Início: 3/2012

Término: 1/1900


Resumo:

Desenvolvimento do projeto: “Uma teoria paraconsistente para a verdade aritmética” pelo Pesquisador Associado do CLE, Abílio Azambuja Rodrigues FIlho, sob supervisão do Prof. Walter Carnielli

Ocultar
UNILOG' 2013 - 4TH WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

Coordenador Principal: Itala Maria Loffredo D' Ottaviano

Início: 3/2013

Término: 7/2013


Resumo:

Realização do UNILOG' 2013 - eth World Congress and School on Universal Logic, de 29 de março a 07 de abril de 2013, no Rio de Janeiro, co-patrocinado pelo Centro de Lógica, Epistemologia e História da Ciência da Unicamp

Ocultar
VI COLÓQUIO NACIONAL WITTGENSTEIN/III COLÓQUIO INTERNACIONAL WITTGENSTEIN

Coordenador Principal: Arley Ramos Moreno

Início: 11/2009

Término: 11/2009


Resumo:

Realização do 6º Colóquio Nacional/3º Colóquio Internacional Wittgenstein, de 21 a 25 de novembro de 2009, coordenado pelo Prof. Dr. Arley Ramos Moreno.

Ocultar
VII COLÓQUIO NACIONAL/IV INTERNACIONAL WITTGENSTEIN

Coordenador Principal: Arley Ramos Moreno

Início: 9/2011

Término: 9/2011


Resumo:

Realização do VII Colóquio Nacional/IV Internacional Wittgenstein, de 28 a 30 de setembro de 2011, no IFCH/UNICAMP, coordenado pelo Prof. Dr. Arley Ramos Moreno

Ocultar
WORKSHOP GEORGE BERKELEY: FILOSOFIA, CIÊNCIA E MATEMÁTICA

Coordenador Principal: Sílvio Seno Chibeni

Início: 9/2008

Término: 12/2009


Resumo:

Realização do Workshop George Berkeley: filosofia, ciência e matemática, nos dias 9 e 10 de setembo de 2008, promovido pelo Centro de Lógica, Epistemologia e História da Ciência e pelo Instituto de Filosofia e Ciências Humanas da Unicamp.

Ocultar
X SEMINÁRIO NACIONAL DE HISTÓRIA DA MATEMÁTICA - X SNHM

Coordenador Principal: Itala Maria Loffredo D' Ottaviano e Fábio Maia Bertato

Início: 3/2013

Término: 3/2013


Resumo:

Realização do X Seminário de História da Matemática, organizado pela Sociedade Brasileira de História da Matemática e pelo Centro de Lógica, Epistemologia e História da Ciência, de 24 a 27 de março de 2014.

Ocultar
XI COLÓQUIO KANT DA UNICAMP - 1781: KANT DIANTE DOS PROBLEMAS DA RAZÃO TEÓRICA

Coordenador Principal: Zeljko Loparic

Início: 8/2009

Término: 6/2009


Resumo:

Realização do XI Colóquio Kant da Unicamp - 1781: Kant diante dos problemas da razão teórica, organizado pela Sociedade Kant Brasileira - Seção Campinas, de 3 a 6 de agosto de 2009.

Ocultar
XII COLÓQUIO KANT DA UNICAMP - DIREITO E POLÍTICA

Coordenador Principal: José Oscar de Almeida Marques e Zeljko Loparic

Início: 7/2010

Término: 7/2010


Resumo:

Realização do XII Colóquio Kant da Unicamp - Direito e Política, de 26 a 29 de julho de 2010, no IFCH - UNICAMP.

Ocultar
XIII COLÓQUIO KANT DA UNICAMP - KANT E A CIÊNCIA DO SEU TEMPO

Coordenador Principal: Zeljko Loparic e José Oscar de Almeida Marques

Início: 12/2011

Término: 12/2011


Resumo:

Realização do XIII Colóquio Kant da Unicamp - Kant e a ciência do seu tempo, de 14 a 16 de dezembro de 2011, coordenado pelos professores José Oscar de Almeida Marques e Zeljko Loparic

Ocultar
XIV COLÓQUIO KANT DA UNICAMP - JUSTIÇA E LIBERDADE

Coordenador Principal: Zeljko Loparic/José Oscar de Almeida Marques

Início: 8/2012

Término: 10/2012


Resumo:

Realização do XIV Colóquio Kant, de 8 a 10 de agosto de 2012, coordenados pelos professores Zeljko Loparic e José Oscar de Almeida Marques

Ocultar
XV COLÓQUIO KANT DA UNICAMP - INSTITUIÇÕES SEM CONCEITOS SÃO CEGAS

Coordenador Principal: Zeljko Loparic

Início: 10/2013

Término: 10/2013


Resumo:

Realização do XV Colóquio Kant da Unicamp, dedicado ao tema Instituições sem conceitos são cegas, promovido pela Sociedade Kant - Seção Campinas e pelo Centro de Lógica, Epistemologia e História da Ciência

Ocultar
XVI COLÓQUIO WINNICOTT INTERNACIONAL. A ÉTICA DO CUIDADO

Coordenador Principal: Zeljko Loparic

Início: 5/2011

Término: 5/2011


Resumo:

Realização do XVI Colóquio Winnicott Internacional. A ética do cuidado, de 26 a 28 de maio de 2011, coordenado pelo Prof. Dr. Zeljko Loparic

Ocultar
XVI ENCONTRO BRASILEIRO DE LÓGICA E ESCOLA DE LÓGICA

Coordenador Principal: Walter Alexandre Carnielli

Início: 5/2011

Término: 5/2011


Resumo:

Realização do XVI Encontro Brasileiro de Lógica, antecedido pela Escola de Lógica, de 07 a 13 de maio de 2011, no Rio de Janeiro (RJ)

Ocultar
XVII COLÓQUIO WINNICOTT. E O PAÍ?

Coordenador Principal: Zeljko Loparic

Início: 5/2012

Término: 5/2012


Resumo:

Realização do XVII Colóquio Winnicott, de 23 a 25 de maio de 2012, coordenado pelo Prof. Dr. Zeljko Loparic.

Ocultar
XVIII COLÓQUIO WINNICOT INTERNACIONAL. FAMÍLIA E AMADURECIMENTO

Coordenador Principal: Zeljko Loparic

Início: 5/2013

Término: 5/2013


Resumo:

Realização do XVIII Colóquio Winnicot Internacional. Família e amadurecimento, de 23 a 25 de maio de 2013, coordenado pelo Prof. Dr. Zeljko Loparic.

Ocultar
Voltar
COCEN Coordenadoria de Centros e Núcleos Interdisplinares de Pesquisa Rua Saturnino de Brito, nº 323, 2º andar Cidade Universitária Zeferino Vaz - Barão Geraldo, Campinas - SP CEP: 13.083-889 cocen@reitoria.unicamp.br +55 (19) 3521-4912 Equipe
Links
Voltar ao início Unicamp Escreva sua matéria
Acesse pelo celular