20 found
Order:
  1.  54
    Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
    This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  34
    Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.
    In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory. 1?In some cases it is enough to assume the enumerability of Y while in others the effective enumerability is a substantial demand. These enigmatical words by Kleene were our point of departure: When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the ??definable functions. But, quickly realizing that the diagonalization cannot be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  68
    La Iógica Que Aprendimos.Enrique Alonso & Hubert Marraud - 2003 - Theoria 18 (3):327-349.
    Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos prerios, y la presentación de los distintos cálculos gue aparecen en tales obras. EI estudio de la semántica, los contenidos metatcóricos o las extensiones de Ia lógica elemental quedan para una segunda etapa de esta investigacion.This work is a critical examination of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  67
    Ingenio E Industria. Guía de Referencia Sobre la Tesis de Turing-Church (Inventiveness and Skili. Reference Guide on Church-Turing Thesis).Enrique Alonso - 1999 - Theoria 14 (2):249-273.
    La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Ingenio e Industria. Guía de referencia sobre la Tesis de Turing-Church.Enrique Alonso - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (2):249-273.
    La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  39
    Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
    Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work. First we comment part of his work fruit of his emphasis on teaching. In a personal communication he affirms that On mathematical induction, published in 1969, was the favourite among his articles with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  26
    Informantes de THEORIA (2003-2005)/Reviewers for 2003-2005.J. Acero, J. Aguilo, Jesus Alcolea, Enrique Alonso, Adelaida Ambrogi, J. Beziau, Montserrat Bordes, Fernando Broncano, Pompeu Casanovas & Carlos Castrodeza - 2006 - Theoria 55 (1):117.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  21
    A Note on Visions of Henkin.María Manzano & Enrique Alonso - 2017 - Synthese 194 (6):1839-1840.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Mentalismo, mecanicismo : el nuevo argumento de Penrose. [REVIEW]Enrique Alonso - 2001 - Revista de Filosofía (Madrid) 26 (1):139-164.
    Este ensayo ofrece un análisis crítico del último argumento que el matemático y filósofo Roger Penrose ofrece a favor de la tesis según la cual hay habilidades de la mente humana que nunca podrán ser igualadas por ingenio mecánico alguno. Al mismo tiempo se ofrece una descripción general de los últimos episodios del eterno enfrentamiento entre mentalismo y mecanicismo y se concluye con una sugerencia acerca de los puntos en los que cabe esperar nuevas situaciones de tensión entre estos dos (...)
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  7
    De la computabilidad a la hipercomputabilidad.Enrique Alonso - 2006 - Azafea: Revista de Filosofia 8 (1).
    Este trabajo aborda el estado actual de la cuestión en el ámbito de la computación teórica desde una perspectiva especialmente dirigida a lectores no expertos y con una clara vocación filosófica. En la primera parte, secciones 1 a 4, se ofrecen algunas de las claves para entender la importancia de la Teoría clásica de la Computación extrayendo conclusiones filosóficas de fundamental importancia para entender el nacimiento de la I.A. En su segunda parte se analizan los nuevos modelos propuestos haciendo balance (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  18
    La lógica que aprendimos.Huberto Marraud González & Enrique Alonso - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (3):327-349.
    Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos previos, y la presentación de los distintos cálculos que aparecen en tales obras. El estudio de la semántica, los contenidos metateóricos o las extensiones de la lógica elemental quedan para una segunda etapa de esta investigación.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  7
    La Iógica que aprendimos.Enrique Alonso & Hubert Marraud - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (3):327-349.
    Este trabajo constituye una revisión de los contenidos, orientación y objetivos de una parte significativa de los manuales de lógica elemental de las décadas de 1960 y 1970 redactados por autores españoles. En concreto, analizamos los prólogos, los rudimentos prerios, y la presentación de los distintos cálculos gue aparecen en tales obras. EI estudio de la semántica, los contenidos metatcóricos o las extensiones de Ia lógica elemental quedan para una segunda etapa de esta investigacion.This work is a critical examination of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Nuevas formas de producción textual: el desarrollo de la web.Enrique Alonso - 2007 - Endoxa 22:357-383.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Decidibilidad.Enrique Alonso - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 167.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Prueba.Enrique Alonso - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 497--502.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Del escándalo al cálculo: nuevas aventuras de la autorreferencia.Enrique Alonso - 1994 - Endoxa 4:43-81.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  3
    Cálculo.Enrique Alonso - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 89.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. A Naive Variety Of Logical Consequence.Enrique Alonso - 1995 - Sorites 3:12-26.
    The semantic analysis of logical consequence must obey a set of requisites which nowadays have acquired a dogmatic status. This situation prevents the development of other varieties of this fundamental relation. In this issue we try to define what we call a naive variety of logical consequence. The main feature of this relation is the way it depends on formulas in premises and conclusion: every sentence must contribute to the acceptability of an argument in a significative way. This circumstance can (...)
     
    Export citation  
     
    Bookmark  
  19. New forms of textual web development.Enrique Alonso - 2007 - Endoxa 22:357-383.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Teoría.Enrique Alonso - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 583--585.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark