Article
Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
Alternative title | Semantic Tableaux and Meta-Logic |
Author/s | Nepomuceno Fernández, Ángel |
Department | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Publication Date | 1999-12 |
Deposit Date | 2018-05-16 |
Published in |
|
Abstract | 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 ... 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. |
Funding agencies | Ministerio de Educación y Cultura (MEC). España |
Project ID. | PB96-1301-C05-0 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Tablas semánticas y metalógica ... | 129.8Kb | [PDF] | View/ | |