Grupo de Trabalho em Lógica da ANPOF

Versão para impressãoVersão para impressão

Área: Lógica e Teoria da Ciência

Título do projeto vigente:Semânticas Formais, Raciocínio Qualitativo e Teoria do Conhecimento


I.Participantes do GT

1. Núcleo de sustentação

Prof. Dr. Walter Alexandre Carnielli, Depto. de Filosofia, UNICAMP- Campinas, SP (coordenador)
Profa. Dra. Itala M. Loffredo D?Ottaviano, Depto. de Filosofia, UNICAMP - Campinas, SP (vice-coordenadora)
Prof. Dr. Newton C. A. da Costa, Depto. de Filosofia, USP- São Paulo, SP
Prof. Dr. Marcelo Esteban Coniglio, Depto. de Filosofia, UNICAMP-Campinas, SP
Prof. Dr. José Carlos Cifuentes, Depto. de Matemática, UFPR- Curitiba, PR
Prof. Dr. Paulo Augusto S. Veloso, Depto. de Informática, PUC- Rio de Janeiro, RJ

2. Grupo de Apoio

Professores e pesquisadores
Prof. Dr. Jairo J. da Silva, Depto. de Matemática, UNESP- Rio Claro, SP
Dra. Maria Cláudia C. Grácio, Depto. de Matemática, UNESP- Marília, SP
Dra. Ana Teresa C. Martins, Depto. de Compuação e Depto. de Filosofia, UFC- Fortaleza, CE
Dr. Hércules de A. Feitosa, Depto. de Matemática, , UNESP- Bauru, SP
Dr. Daniel Durante Pereira Alves, Univ. de Uberaba, Uberaba, MG
Dr. Frank Thomas Sautter, UFRGS, Santa Maria, RS

Outros participantes

Estudantes de mestrado e doutorado do IFCH, UNICAMP:

João Marcos (doutorando)
Milton Augustinis de Castro(doutorando)
Rodolfo Cristian Ertola Biraben (doutorando)
Ruben Alekxander Pela (doutorando)
Tadeu F. de Carvalho (doutorando)
Ricardo Tassinari(doutorando)
Mauro Scherrer (mestrando)
Luís Augusto Sbardellini (mestrando)

Pesquisadores estrangeiros com quem o grupo tem mantido contato:

Prof. Dr. Ryszard Wójcicki, Academia Polonesa de Ciências, Polônia
Prof. Dr. Grzegorz Malinowski, Universidade de Lodz, Polônia
Dr. Jacek Malinowski, Universidade Nicolau Copérnico, Torun, Polônia
Prof. Dr. Peter Schmitt, Universidade de Karlsruhe, Alemanha
Prof. Dr. Shahid Rahman, Universidade da Saarlândia, Alemanha

Sumário do projeto

A visão tradicional relativa ao paradigma fregeano da lógica tem como ponto alto o conceito de validade, e reduz a esta a noção de raciocínio, considerando que raciocinar se reduz a praticar a noção de conseqüência lógica. Embora com grande sucesso no que diz respeito ao raciocínio em matemática, nas ciências formais e em boa parte das ciências naturais, não parece óbvio que tal enfoque possa ser aplicado com igual sucesso no chamado raciocínio do senso comum ou raciocínio prático ou ainda raciocínio qualitativo. Este projeto se dedica a investigar esta e outras questões, enfatizando os seguintes aspectos:


- Sistemas Lógicos e Traduções
- Semânticas de Traduções Possíveis
- Semânticas Moduladas, Modelos Preferenciais e Raciocínio Qualitativo
- Enfoques lógico-matemáticos à teoria da ciência

Informações adicionais e dados sobre outros GT's da ANPOF