Autor: Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano

Abstract:

Este artigo canta uma canção — uma canção criada ao unir o trabalho de quatro grandes nomes na história da lógica: Hans Reichenbach, Arthur Prior, Richard Montague, e Leon Henkin. Embora a obra dos primeiros três desses autores tenha sido previamente combinada, acrescentar as ideias de Leon Henkin é o acréscimo requerido para fazer com que essa combinação funcione no nível lógico. Mas o presente trabalho não se concentra nas tecnicalidades subjacentes (que podem ser encontradas em Areces, Blackburn, Huertas, e Manzano [no prelo]), e sim nos instrumentos subjacentes e no modo  como trabalham em conjunto. Esperamos que o leitor fique tentado a cantar junto.

ISSN: 1414-4217

DOI: https://doi.org/10.5007/1808-1711.2011v15n2p225

Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p225/21038

Palavras-Chave: Tense logic; intensional logic; type theory;