•  2
    ¿Por qué seguimos haciendo ciencia?
    Pensamiento 69 (261): 671-683. 2013.
    En este artículo hablo desde los puntos de vista científico y religioso. Desde esta doble perspectiva cuestiono los motivos que nos impulsan a continuar en el esfuerzo de llevar a cabo trabajo científico. Me pregunto por el porqué y el para qué del trabajo científico. Para responder a la pregunta: ¿Qué nos impulsa para seguir haciendo Ciencia?, planteo una cuestión previa: ¿Qué queremos decir cuando decimos ‘Ciencia’? Después de describir brevemente cómo el lenguaje de la Ciencia Moderna ha evol…Read more
  •  3
    The formalization of the languages of mathematics has led to the formal languages of computer science and artificial intelligence. This article studies a few semantic properties of the formal languages of artificial intelligence, which I call languages of sign. This paper compares and opposes the semantic properties of these formal languages of artificial intelligence with the richer semantic properties of the languages of metaphysics and religious faith, which I call languages of symbol.
  •  16
    Emergence and transcendence in Philip Clayton
    Pensamiento 64 (242): 1109-1113. 2008.
  •  16
    Foundations of a theorem prover for functional and mathematical uses
    with Susana Nieva
    Journal of Applied Non-Classical Logics 3 (1): 7-38. 1993.
    ABSTRACT A computational logic, PLPR (Predicate Logic using Polymorphism and Recursion) is presented. Actually this logic is the object language of an automated deduction system designed as a tool for proving mathematical theorems as well as specify and verify properties of functional programs. A useful denotationl semantics and two general deduction methods for PLPR are defined. The first one is a tableau algorithm proved to be complete and also used as a guideline for building complete calculi…Read more
  • Mathematical and Metaphysical Languages
    Pensamiento 65 (246): 1105-1122. 2009.
  •  15