Vol. 39 - Lógica: teoria, aplicações e reflexões

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

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

  1. Rodolfo Ertola Biraben, Constructive logic and mathematical induction
  2. Marcelo E. Coniglio, Cristina Sernadas, A Hilbert-style axiomatization of higher-order intuitionistic logic
  3. Hércules de Araújo Feitosa, Itala M.L. D’Ottaviano, Um olhar algébrico sobre as traduções intuicionistas
  4. Frank Thomas Sauter, Lewis Carroll e a pré-história das árvores de refutação

Parte 2. Lógica Aplicada

  1. Denise M.M. da Cunha, Marcelo E. Coniglio, Walter A. Carnielli, An incoherence in the AGM theory
  2. Maria Cláudia Cabrini Grácio, Uma lógica para o plausível
  3. Décio Krause, A metafísica dos quanta: implicações lógicas

Parte 3. Filosofia da Lógica

  1. Jean-Yves Béziau, What is the principle of identity? (Identity, congruence and logic)
  2. Geraldo Gelowate, Décio Krause, Antonio M.N. Coelho, Observações sobre a neutralidade ontológica da matemática.
  3. Garibaldi Monteiro Sarmento, Leonardo Weber Castor de Lima, O que é um critério tarskiano de verdade
imagem: 
Product: 
Autor(es): 
Hércules A. Feitosa e Frank T. Sautter
R$25,00
Stock: 
67.00
Disable stock for this product: 
0