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)

 

Advanced Search
 

Show simple item record

dc.creator Nepomuceno Fernández, Ángel es
dc.date.accessioned 2018-05-16T07:56:31Z
dc.date.available 2018-05-16T07:56:31Z
dc.date.issued 1999-12
dc.identifier.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.
dc.identifier.issn 0011-1503 (impreso) es
dc.identifier.issn 1870-4905 (electrónico) es
dc.identifier.uri https://hdl.handle.net/11441/74652
dc.description.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 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. es
dc.description.sponsorship Ministerio Español de Educación y Cultura PB96-1301-C05-0 es
dc.format application/pdf es
dc.language.iso spa es
dc.publisher Universidad Autónoma Nacional de México es
dc.relation.ispartof Crítica: Revista Hispanoamericana de Filosofía, 31 (93), 21-47.
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/ *
dc.title Tablas semánticas y metalógica: (El caso de la lógica de segundo orden) es
dc.title.alternative Semantic Tableaux and Meta-Logic es
dc.type info:eu-repo/semantics/article es
dc.type.version info:eu-repo/semantics/publishedVersion es
dc.rights.accessrights info:eu-repo/semantics/openAccess es
dc.contributor.affiliation Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia es
dc.relation.projectID PB96-1301-C05-0 es
dc.relation.publisherversion http://critica.filosoficas.unam.mx/pg/es/numeros_detalle_articulo_ing.php?id_articulo=290&id_volumen=59 es
idus.format.extent 21 p. es
dc.journaltitle Crítica: Revista Hispanoamericana de Filosofía es
dc.publication.volumen 31 es
dc.publication.issue 93 es
dc.publication.initialPage 21 es
dc.publication.endPage 47 es
dc.identifier.sisius 6706805 es
dc.contributor.funder Ministerio de Educación y Cultura (MEC). España
Size: 129.8Kb
Format: PDF

This item appears in the following Collection(s)

Show simple item record