Hybrid Type Theory: A Quartet in Four Movements

Authors

  • Carlos Areces FaMAF Universidad Nacional de Córdoba ARGENTINA
  • Patrick Blackburn Department of Philosophy and Science Studies University of Roskilde DENMARK
  • Antonia Huertas Department of Computer Science Universitat Oberta de Catalunya SPAIN
  • María Manzano Department of Philosophy, Logic and Aesthetics Universidad de Salamanca SPAIN

DOI:

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

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.

Author Biographies

Carlos Areces, FaMAF Universidad Nacional de Córdoba ARGENTINA

FaMAF
Universidad Nacional de Córdoba
ARGENTINA

Patrick Blackburn, Department of Philosophy and Science Studies University of Roskilde DENMARK

Department of Philosophy and Science Studies
University of Roskilde
DENMARK

Antonia Huertas, Department of Computer Science Universitat Oberta de Catalunya SPAIN

Department of Computer Science
Universitat Oberta de Catalunya
SPAIN

María Manzano, Department of Philosophy, Logic and Aesthetics Universidad de Salamanca SPAIN

Department of Philosophy, Logic and Aesthetics
Universidad de Salamanca
SPAIN

Published

2011-05-24

Issue

Section

Articles