Pular para o conteúdo principal

Grupo de Trabalho em Lógica da ANPOF

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

Acesse aqui

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

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

Participantes do GT

Núcleo de sustentação

Prof. Dr. Walter Alexandre Carnielli
Prof. Dr. Walter Alexandre Carnielli

Depto. de Filosofia, UNICAMP- Campinas, SP (coordenador)

Profa. Dra. Itala M. Loffredo D'Ottaviano
Profa. Dra. Itala M. Loffredo D'Ottaviano

Depto. de Filosofia, UNICAMP - Campinas, SP (vice-coordenadora)

Prof. Dr. Newton C. A. da Costa
Prof. Dr. Newton C. A. da Costa

Depto. de Filosofia, USP- São Paulo, SP

Prof. Dr. Marcelo Esteban Coniglio
Prof. Dr. Marcelo Esteban Coniglio

Depto. de Filosofia, UNICAMP-Campinas, SP

Prof. Dr. José Carlos Cifuentes
Prof. Dr. José Carlos Cifuentes

Depto. de Matemática, UFPR- Curitiba, PR

Prof. Dr. Paulo Augusto S. Veloso
Prof. Dr. Paulo Augusto S. Veloso

Depto. de Informática, PUC- Rio de Janeiro, RJ

Professores e pesquisadores

Prof. Dr. Jairo J. da Silva
Prof. Dr. Jairo J. da Silva

Depto. de Matemática, UNESP- Rio Claro, SP

Dra. Maria Cláudia C. Grácio
Dra. Maria Cláudia C. Grácio

Depto. de Matemática, UNESP- Marília, SP

Dra. Ana Teresa C. Martins
Dra. Ana Teresa C. Martins

Depto. de Compuação e Depto. de Filosofia, UFC- Fortaleza, CE

Dr. Hércules de A. Feitosa
Dr. Hércules de A. Feitosa

Depto. de Matemática, UNESP- Bauru, SP

Dr. Daniel Durante Pereira Alves
Dr. Daniel Durante Pereira Alves

Univ. de Uberaba, Uberaba, MG

Dr. Frank Thomas Sautter
Dr. Frank Thomas Sautter

UFRGS, Santa Maria, RS

Outros participantes

Estudantes de mestrado e doutorado do IFCH, UNICAMP

João Marcos
João Marcos

(doutorando)

Milton Augustinis de Castro
Milton Augustinis de Castro

(doutorando)

Rodolfo Cristian Ertola Biraben
Rodolfo Cristian Ertola Biraben

(doutorando)

Ruben Alekxander Pela
Ruben Alekxander Pela

(doutorando)

Tadeu F. de Carvalho
Tadeu F. de Carvalho

(doutorando)

Ricardo Tassinari
Ricardo Tassinari

(doutorando)

Mauro Scherrer
Mauro Scherrer

(mestrando)

Luís Augusto Sbardellini
Luís Augusto Sbardellini

(mestrando)

Outros participantes

Pesquisadores estrangeiros com quem o grupo tem mantido contato

Prof. Dr. Ryszard Wójcicki
Prof. Dr. Ryszard Wójcicki

Academia Polonesa de Ciências, Polônia

Prof. Dr. Grzegorz Malinowski
Prof. Dr. Grzegorz Malinowski

Universidade de Lodz, Polônia

Dr. Jacek Malinowski
Dr. Jacek Malinowski

Universidade Nicolau Copérnico, Torun, Polônia

Prof. Dr. Peter Schmitt
Prof. Dr. Peter Schmitt

Universidade de Karlsruhe, Alemanha

Prof. Dr. Shahid Rahman
Prof. Dr. Shahid Rahman

Universidade da Saarlândia, Alemanha