Repositorio de producción científica de la Universidad de Sevilla

Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)

 

Búsqueda avanzada
 
Opened Access Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
Citas
Estadísticas
Icon
Exportar a
Título alternativo: Semantic Tableaux and Meta-Logic
Autor: Nepomuceno Fernández, Ángel
Departamento: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Fecha: 1999-12
Publicado en: Crítica: Revista Hispanoamericana de Filosofía, 31 (93), 21-47.
Tipo de documento: Artículo
Resumen: Beth's method of semantic tableaux has been utilized in first order logic to obtain some results. From a metalogical point of view, a known result can be proved: completeness of first order logic. Can we extend this method to second order logic? What about completeness? Given a second order formal language, for every formula a prenex form can be defined so that some of them have a first order formula as its matrix, then the mentioned method could be applied to study several classes of formulae, particularly ∑¦, ∏¦and Zykov's inverses. In order to do that some modifications of such method must be introduced, so that we take known rules for first order semantic trees, by applying them, modifying the treatment of "∃" and defining specific rules for some second order formulae, then we can achieve some results relative to such classes similar to that obtained by means of abstract model theory. On the other hand, a restricted completeness (to certain class of sentences) could be settled.
Cita: Nepomuceno Fernández, Á. (1999). Tablas semánticas y metalógica: (El caso de la lógica de segundo orden). Crítica: Revista Hispanoamericana de Filosofía, 31 (93), 21-47.
Tamaño: 129.8Kb
Formato: PDF

URI: https://hdl.handle.net/11441/74652

Ver versión del editor

Salvo que se indique lo contrario, los contenidos de esta obra estan sujetos a la licencia de Creative Commons: 

Este registro aparece en las siguientes colecciones