文章基本信息

标题：Hybrid Type Theory: A Quartet in Four Movements
本地全文：下载
作者：Carlos Areces ; Patrick Blackburn ; Antonia Huertas 等
期刊名称：Principia : an International Journal of Epistemology
印刷版ISSN：1414-4247
电子版ISSN：1808-1711
出版年度：2012
卷号：15
期号：2
页码：225
语种：English
出版社：Universidade Federal de Santa Catarina, Brasil
摘要：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. DOI:10.5007/1808-1711.2011v15n2p225
关键词：Tense logic;intensional logic;type theory;modal logic;completeness;Lógica do tempo;lógica intensional;teoria de tipos;lógica modal;completude.