Á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
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
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:
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. 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:
- 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
