¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?

&
Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):67-86 (2019)
  Copy   BIBTEX

Abstract

This article’s objetive is to present four application examples of Herbrand’s theorem to decide the validity of reasoning on first order language, in accordance whit Church’s Undecidability’s theorem. Also, to tell which is the principal problem around it. The logical resolution calculus will be worked on this article, which is a method used in artificial intelligence.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?Fraklin Galindo & María Alejandra Morgado - 2019 - Apuntes Filosóficos 28 (55):66-86.
Dos Teoremas de interpolación.Franklin Galindo - 2016 - Divulgaciones Matematicas 17 ( 2):15-42.
Una presentación de la demostración directa del teorema de compacidad de la lógica de primer orden que usa el método de ultraproductos.Franklin Galindo - 2016 - UnaInvestigación 1 (1):1-25.
Lenguaje y habla como institución y como práctica.Haig Khatchadourian - 1979 - Teorema: International Journal of Philosophy 9 (1):5.
Searle y la posibilidad de derivar un “Debe” de un “Es”.Angélica María Rodríguez Ortiz - 2015 - Escritos 23 (50):213-229.
Expresabilidad, validez y recursos lógicos.Eduardo Alejandro Barrio - 2014 - Critica 46 (138):3-36.
Fórmulas Barcan de segundo orden Y universales trascendentes.José Tomás Alvarado Marambio - 2013 - Ideas Y Valores 62 (152):111-131.
Razonamientos prácticos.José Hierro - 1972 - Teorema: International Journal of Philosophy 2 (3):71.
Welcome to the Jungle: The Problem of Language in Kierkegaard and Wittgenstein.Michael J. Strawser - 1992 - Tópicos: Revista de Filosofía 3 (1):97-110.
La jerarquía de Chomsky y la facultad del lenguaje: consecuencias para la variación y la evolución.Angel J. Gallego - 2008 - Teorema: International Journal of Philosophy 27 (2):47-60.
El lenguaje en Ser y tiempo. De la filosofía del lenguaje a la topología del ser.Daniel Leserre - 2018 - Studia Heideggeriana 7:119-154.
¿ Es el lenguaje del'Tractatus' un lenguaje privado?Alfonso García Suárez - 1972 - Teorema: International Journal of Philosophy:117-130.
La mano: de cómo su uso configura el cerebro, el lenguaje y la cultura humana, de Frank R. Wilson.Manuel Angel Fernández Lorenzo - 2005 - Teorema: International Journal of Philosophy 24 (1):110-113.
Aula, lenguaje y educación / Classroom, language and education.Guillermo Urgilés Campos - 2016 - Sophia. Colección de Filosofía de la Educación 20:221-244.
El saber de las metáforas.Daniel Innerarity - 1997 - Tópicos: Revista de Filosofía 13 (1):137-154.

Analytics

Added to PP
2022-05-28

Downloads
196 (#100,950)

6 months
73 (#66,237)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Franklin Galindo
Universidad Central de Venezuela

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references