Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

<b>Hybrid Type Theory: A Quartet in Four Movements</b><br>DOI:10.5007/1808-1711.2011v15n2p225

2012; UNIVERSIDADE FEDERAL DE SANTA CATARINA; Volume: 15; Issue: 2 Linguagem: Português

10.5007/1808-1711.2011v15n2p225

ISSN

1808-1711

Autores

Carlos Areces, Patrick Blackburn, María Antonia Huertas Sánchez, María Manzano,

Tópico(s)

Philosophy and Theoretical Science

Resumo

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.

Referência(s)