Principia: An International Journal of Epistemology 15 (2):225 (2011)
Authors |
|
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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
View all 25 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.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Hybrid Logic as Extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Revista de Humanidades de Valparaíso 13:34-67.
Similar books and articles
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Extending Montague's System: A Three Valued Intensional Logic.E. H. Alves & J. A. D. Guerzoni - 1990 - Studia Logica 49 (1):127 - 132.
Logic, Planning Agency and Branching Time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.
Logic and Intensionality.Guido Imaguire - 2010 - Principia: An International Journal of Epistemology 14 (1):111-24.
Logic TK: Algebraic Notions From Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.
Non-Alethic Meinongian Logic.Nicola Grana - 2010 - Principia: An International Journal of Epistemology 14 (1):99-110.
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - Amsterdam, Netherlands: American Elsevier Pub. Co..
Intensional Completeness in an Extension of Gödel/Dummett Logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
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
72 ( #159,971 of 2,506,503 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,503 )
2013-04-12
Total views
72 ( #159,971 of 2,506,503 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,503 )
How can I increase my downloads?
Downloads