• On Overspill Principles and Axiom Schemes for Bounded Formulas
    with Alejandro Fernández-Margarit and Joaquín Borrego-Díaz
    Mathematical Logic Quarterly 42 (1): 341-348. 2006.
    We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories. Mathematics Subject Classification: 03F30, 03H15.
  • Maximum Schemes in Arithmetic
    Mathematical Logic Quarterly 40 (3): 425-430. 2006.
    In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least‐element, collection and strong collection schemes in the description of PA. Mathematics Subject Classification: 03F30, 03H15.
  •  871
    The Ontological Commitments of Logical Theories
    European Review of Philosophy 4 157-182. 1999.
    This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to look at th…Read more
  •  99
    In situanalysis of the tensile deformation mechanisms in extruded Mg–1Mn–1Nd
    with C. J. Boehlert, Z. Chen, A. Chakkedath, I. Gutiérrez-Urrutia, J. Llorca, J. Bohlen, S. Yi, and D. Letzig
    Philosophical Magazine 93 (6): 598-617. 2013.
  • Verificaciones y contactos
    with J. Guallar, L. Codina, and P. Freixa
    El Catoblepas: Revista Crítica Del Presente. forthcoming.
    Se analiza la estructura gnoseológica y política de las comisiones de expertos internacionales en sus tratos con la ETA.
  •  19
    “Thinking alone hurts”. A Systemization of the Experience of the International Group of Doctoral Students working on and from Central America
    with Natasha Alpízar Lobo, Léa Bernard, Aya Shiode, and Daniela Vásquez Pino
    ÍSTMICA Revista de la Facultad de Filosofía y Letras 1 (36). 2025.
    El Grupo Internacional de Doctorandxs sobre y desde Centroamérica (DOCAX) surgió en el 2022 con el propósito de crear un espacio de acompañamiento y diálogo para estudiantes de diversos doctorados que hacemos investigación en esta zona. Al respecto, el trabajo tiene como objetivo sistematizar la experiencia que hemos tenido como grupo; para lo cual utilizaremos materiales como notas, fotografías, encuentros virtuales y presenciales, ponencias en varios eventos y un cuestionario aplicado a sus mi…Read more
  •  14
    Recent Computability Models Inspired from Biology
    with Gheorghe Paun
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1): 71-84. 2003.
    We briefly present two areas of natural computing, vividly investigated in the recent years: DNA computing and membrane computing. Both of them have the roots in cellular biology and are rather developedat the theoretical level (new concepts, models, paradigms of computer science, with mathematical and epistemological significance have been considered in this framework), but both areas are still looking for implementations of a practical interest.
  •  7
    In this paper we will try to provide a solid form of intrinsic set theoretical optimism. In other words, we will try to vindicate Gödel’s views on phenomenology as a method for arriving at new axioms of ZFC in order to decide independent statements such as CH.
  •  39
    Technological Surveillance Study on the Development of Beekeeping Technologies
    with Yaneth Patricia Romero Alvarez and William Niebles
    Evolutionary Studies in Imaginative Culture 1565-1576. forthcoming.
    This study employed a technology surveillance process in the beekeeping sector with the objective of identifying emerging technologies that are relevant to small beekeepers in emerging economies. The analysis of patents classified under A01K 47/00 revealed the emergence of pivotal innovations in domains such as hive design, automated honey extraction, and the integration of sensors for hive monitoring. The surveillance process facilitated the collection and analysis of data on the most patented …Read more
  •  9
    In this brief note we will continue with the exploration of Gödel's phenomenological program. We intend to provide a positive account of such program by means of an intentional reading of the context principle.
  • Aristotele, Metafisica, a cura di G. Reale (review)
    Acta Philosophica 3 (2). 1994.
  • H. Bonitz, Sulle categorie di Aristotele (review)
    Acta Philosophica 6 (1). 1997.
  • Quod nihil scitur
    with Francisco Sanchez, S. Rabade, J. M. Artola, and Andrée Comparot
    Revista Portuguesa de Filosofia 47 (1): 206-208. 1991.
  • Un acercamiento a Oriente: el budismo
    Ciudad de Dios 212 (2): 479-488. 1999.
  •  40
    Selection for litter size components
    with J. P. Bidanel
    A Critical Review. Genet. Sel. Evol 29 483-496. 1997.
  •  108
    Libertad individual frente a determinación social
    Revista de Filosofía (Madrid) 4 (1): 161-198. 1990.
    The paper explores different possibilities in order of maintaining a compatibilism between free will, in a strong sense, and determinism. The notion of determinism is analyzed in deep. It is defended a general conception of free will as a certain kind of mental causation in absence of fatalism. Also, it is argued that other compatibilist possibilities would be possible inside that general conception of free will, being some of them more radical than other ones
  •  149
    Pese a su origen y desarrollo filosófico, Lógica y Psicología, históricamente, han tendido no sólo a la disociación sino, más allá, al enfrentamiento. Durante décadas, excepción hecha de la llamada lógica intuicionista. la peor acusación que se le pudo hacer a un lógico fue la de psicologista. Sin embargo, lógica y psicología. tal y como pretende sena larse en este trabajo, no sólo están mucho más cercanas de lo que pudie ra parecer sino que. también, viven en una relación complementaria
  •  13
    In this brief paper we wish to summarize the core points of what we have called `Gödel's phenomenological program'. We claim that some of these require the same amount of attention as those other aspects from Gödel's program that have been exhaustively treated in the contemporary discussions around the status of CH. Finally, from this phenomenological standpoint, we make some remarks regarding concrete proposals for achieving the so-called `dream solution' of CH.
  •  59
    info:eu-repo/semantics/publishedVersion.
  •  28
    In this paper we analyze object-talk, some of its uses and misuses, more closely. Our main claim is that object-talk should be understood in the context of faith instead of that of rational argumentation. Hence, object-talk is compared with God-talk and the way of understanding the so-called 'abstract entities' from logic and mathematics turns out to be essentially linked with how the contact with the Divine is conceived. Moreover, we discuss the particular case of the independence phenomenon an…Read more
  •  11
    The purpose of the present dialogue is threefold: (a) Refining our previous interpretation of Wittgenstein's philosophy of mathematics through the 'Phenomenology' chapter of the 'Big Typescript'; (b) Examining the role of phenomenological and historical analysis in the contemporary debate surrounding the axioms of set theory; (c) Providing a brief interpretation of Kant's Architectonic as a general framework for such debate. The conclusion of the article, which add certain theological connotatio…Read more
  •  8
    Putnam and Finkelstein can be read as providing an answer to Kripke's skeptical argument by appealing to the way mathematics is commonly pursued. Nowadays, the debate surrounding pluralism has questioned the postulation of a unique way of developing mathematical activity. In this paper, we wish to reformulate Kripke's argument as a challenge for the conjunction of 'ifthenism' and a reasonable form of pluralism and, at the same time, propose a reading of some passages of the 'Philosophical Invest…Read more
  •  77
    Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
    with Tao Wang, Xiaoguang Wei, Tao Huang, Jun Wang, Luis Valencia-Cabrera, and Zhennan Fan
    Complexity 2019 1-15. 2019.