La Fórmula de Barcan es equivalente al Teorema de Deducción

Areté. Revista de Filosofía 4 (2):323-335 (1992)
  Copy   BIBTEX

Abstract

En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de Barcan.

Categories

Add categories

Keywords

Reprint years

DOI

10.18800/arete.199202.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Barcan Both Ways.Melvin Fitting - 1999 - Journal of Applied Non-Classical Logics 9 (2):329-344.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
Sobre los meta teoremas de deducción y el concepto de "implicación lógica".José Carlos Cifuentes Vásquez - 1990 - Areté. Revista de Filosofía 2 (1):31-48.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Review on: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW]Eva-Maria Engelen - 1996 - Erkenntnis 44 (1):125-128.
Truthmakers and the converse Barcan formula.Timothy Williamson - 1999 - Dialectica 53 (3-4):253–270.
Completeness without the Barcan formula.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):75-80.
Prior and the Barcan formula.Dale E. Lichtblau - 1976 - Notre Dame Journal of Formal Logic 17 (4):622-624.
Prior's criticism of the Barcan formula.Tobias Chapman - 1975 - Notre Dame Journal of Formal Logic 16 (1):116-118.
Contingent objects and the Barcan formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.
Modalities: philosophical essays.Ruth Barcan Marcus - 1961 - New York: Oxford University Press.
Possible world semantics for first order lp.Melvin Fitting - unknown
Il teorema di G¨ odel e la filosofia della mente.Aldo Antonelli - unknown

Analytics

Added to PP
2013-10-28

Downloads
24 (#662,112)

6 months
8 (#373,029)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references