Hércules A. Feitosa e Frank T. Sautter
Lógica: teoria, aplicações e reflexões
O presente volume da Coleção CLE é fruto do trabalho de investigadores organizados a partir do Grupo de Trabalho de Lógica, vinculado à Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Os ensaios desta coletânea foram inicialmente apresentados na forma de comunicação oral e discutidos em Encontros Nacionais da ANPOF, em Encontros da Sociedade Brasileira de Lógica, nos Simpósios Internacionais Principia e em Encontros Regulares do Grupo de Pesquisa em Lógica Teórica e Aplicada do CLE. Os artigos refletem uma variedade de interesses, embora haja alguma preponderância de trabalhos na área das lógicas nãoclássicas. Apresentamos, abaixo, a relação dos artigos. Parte 1. Lógica Teórica
- Rodolfo Ertola Biraben, Constructive logic and mathematical induction
- Marcelo E. Coniglio, Cristina Sernadas, A Hilbert-style axiomatization of higher-order intuitionistic logic
- Hércules de Araújo Feitosa, Itala M.L. D’Ottaviano, Um olhar algébrico sobre as traduções intuicionistas
- Frank Thomas Sauter, Lewis Carroll e a pré-história das árvores de refutação
Parte 2. Lógica Aplicada
- Denise M.M. da Cunha, Marcelo E. Coniglio, Walter A. Carnielli, An incoherence in the AGM theory
- Maria Cláudia Cabrini Grácio, Uma lógica para o plausível
- Décio Krause, A metafísica dos quanta: implicações lógicas
Parte 3. Filosofia da Lógica
- Jean-Yves Béziau, What is the principle of identity? (Identity, congruence and logic)
- Geraldo Gelowate, Décio Krause, Antonio M.N. Coelho, Observações sobre a neutralidade ontológica da matemática.
- Garibaldi Monteiro Sarmento, Leonardo Weber Castor de Lima, O que é um critério tarskiano de verdade
