Hybrid Type Theory: A Quartet in Four Movements
DOI:
https://doi.org/10.5007/1808-1711.2011v15n2p225Resumo
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.
Downloads
Publicado
Edição
Seção
Licença
![Licença Creative Commons](http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png)
A obra Principia de http://www.periodicos.ufsc.br/index.php/principia/index foi licenciada com uma Licença Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional.
Com base na obra disponível em www.periodicos.ufsc.br.