Authors
María Manzano
Universidad de Salamanca
Patrick Blackburn
Roskilde University
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. DOI:10.5007/1808-1711.2011v15n2p225
Keywords lógica intensional  Tense logic  lógica modal  Lógica do tempo  intensional logic  type theory  completude.  teoria de tipos  modal logic  completeness
Categories (categorize this paper)
Reprint years 2012
DOI 10.5007/1808-1711.2011v15n2p225
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
Through your library

References found in this work BETA

From Discourse to Logic.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
Meaning and Necessity.Rudolf Carnap - 1947 - University of Chicago Press.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Elements of Symbolic Logic.Hans Reichenbach - 1947 - London: Dover Publications.

View all 22 references / Add more references

Citations of this work BETA

Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2014 - Journal of Philosophical Logic 43 (2-3):209-238.
Hybrid Logic as Extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Revista de Humanidades de Valparaíso 13:34-67.

Add more citations

Similar books and articles

Logic, Planning Agency and Branching Time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.
Lógica e Completude.Arno A. Viero - 2001 - Princípios 8 (10):07-24.
Logic and Intensionality.Guido Imaguire - 2010 - Principia: An International Journal of Epistemology 14 (1):111-24.
Non-Alethic Meinongian Logic.Nicola Grana - 2010 - Principia: An International Journal of Epistemology 14 (1):99-110.
An Approach to Intensional Logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.

Analytics

Added to PP index
2013-04-12

Total views
67 ( #137,836 of 2,330,104 )

Recent downloads (6 months)
2 ( #393,046 of 2,330,104 )

How can I increase my downloads?

Downloads

My notes