•  66
    Resumen: En este trabajo voy a intentar una crítica inmanente del “monismo moral” de Axel Honneth desde el punto de vista de la lectura categorial del capital reconstruida por Moishe Postone. Críticos de Honneth como Nancy Fraser han señalado que los mercados modernos no podrían reconstruirse exhaustivamente en términos morales. Recuperando la crítica inmanente de la sociedad capitalista de Postone, sostendré que puede reconstruirse el cómo los mercados capitalistas presuponen principios normati…Read more
  •  46
    Science as public sphere?
    Social Epistemology 21 (1). 2007.
    In this paper we argue that the best way to explain the normative framework of science is to adopt a model inspired in the democratic characterization of a public sphere. This model assumes and develops some deliberative democratic principles about the inclusiveness of the concerned, the parity of the reasons and the general interest of the subjects. In contrast to both bargaining models and to power-inspired models of the scientific activities, the model of scientific public sphere proposes to …Read more
  •  39
    Continuadores posteriores de la teoría crítica de la sociedad han cuestionado a Adorno por caer en una lógica de la emancipación frustrada aparentemente contradictoria, que reflexiona sobre la dominación social en condiciones bajo las cuales, empero, se declaran cerradas las posibilidades de transformación histórica. Sin embargo, sostengo que su teoría social remite también a un concepto novedoso de la emancipación sin totalidad, relevante para la reconstrucción de la teoría crítica ante los cue…Read more
  •  34
    Fragments of Arithmetic and true sentences
    with Andrés Cordón-Franco and Alejandro Fernández-Margarit
    Mathematical Logic Quarterly 51 (3): 313-328. 2005.
    By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a …Read more
  •  33
    We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, We…Read more
  •  29
    Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
    with L. Lamban, J. Rubio, and J. L. Ruiz-Reina
    Logic Journal of the IGPL 22 (1): 39-65. 2014.
  •  28
    Existentially closed models in the framework of arithmetic
    with Zofia Adamowicz and Andrés Cordón-Franco
    Journal of Symbolic Logic 81 (2): 774-788. 2016.
  •  27
    Envelopes, indicators and conservativeness
    with Andrés Cordón-Franco and Alejandro Fernández-Margarit
    Mathematical Logic Quarterly 52 (1): 51-70. 2006.
    A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and Πn-indicators for T . The analysis of…Read more
  •  21
    Induction, minimization and collection for Δ n+1 (T)–formulas
    Archive for Mathematical Logic 43 (4): 505-541. 2004.
    For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend on Th Πn +2 (T), the Π n+2 –consequences of T. The first condition is connected …Read more
  •  20
    On the quantifier complexity of Δ n+1 (T)– induction
    Archive for Mathematical Logic 43 (3): 371-398. 2004.
    In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction rule for Δ n+1 –formulas. Our arguments, invo…Read more
  •  18
    Siguiendo especialmente la lectura categorial de Moishe Postone, me propongo reconstruir los elementos de una teoría crítica de la modernidad en el pensamiento de Marx. Esta teoría prescinde de toda filosofía de la historia universal, asentándose en cambio en la comprensión históricamente situada del nexo social en el capitalismo. A la vez, el énfasis categorial en las mutaciones nexo social amplía los alcances de la teoría marxiana hacia una visión comprehensiva de la dinámica de la sociedad mo…Read more
  •  17
    On axiom schemes for T-provably $${\Delta_{1}}$$ Δ 1 formulas
    Archive for Mathematical Logic 53 (3-4): 327-349. 2014.
    This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta_1}$$\end{document} provably in an arithmetic theory T. In particular, we determine the pr…Read more
  •  16
    El Anti-Edipo y el feminismo marxista: elementos para una discusión
    Estudios de Filosofía (Universidad de Antioquia) 63 129-149. 2021.
    Este artículo estudia afinidades no exploradas entre la teoría del capitalismo de El Anti-Edipo y algunas discusiones sobre la reproducción social en el marxismo feminista. Por un lado, el capitalismo, con su movimiento de decodificación de flujos, tiende a disolver a la familia bajo movimientos desterritorializados. Por el otro, supone una reterritorialización edípica en cuanto separa el parentesco de las relaciones de producción, fundando una escisión históricamente novedosa. La disti…Read more
  •  15
    Lipschitz and Wadge binary games in second order arithmetic
    with Andrés Cordón-Franco and Manuel J. S. Loureiro
    Annals of Pure and Applied Logic 174 (9): 103301. 2023.
  •  15
    The article presents a comparative analysis of the theories of capitalism of Gilles Deleuze and Felix Guattari’s Anti-Oedipus and Moishe Postone’s Time, Labor, and Social Domination. What Postone calls abstract domination is similar to the capitalist axiomatic of the French philosophers. These works introduce theories concerning the historical specificity of capitalism, which, at the same time, make possible an immanent critique of this particular social form. The authors of these works agree on…Read more
  •  14
    Semi-honest subrecursive degrees and the collection rule in arithmetic
    Archive for Mathematical Logic 63 (1): 163-180. 2023.
    By a result of L.D. Beklemishev, the hierarchy of nested applications of the $$\Sigma _1$$ -collection rule over any $$\Pi _2$$ -axiomatizable base theory extending Elementary Arithmetic collapses to its first level. We prove that this result cannot in general be extended to base theories of arbitrary quantifier complexity. In fact, given any recursively enumerable set of true $$\Pi _2$$ -sentences, S, we construct a sound $$(\Sigma _2 \! \vee \! \Pi _2)$$ -axiomatized theory T extending S such …Read more
  •  13
    Critical realism and the ontology of Eco-Marxism between emergence and hybrid monism
    Journal of Critical Realism 22 (3): 411-430. 2023.
    Eco-Marxism presents a debate between two theoretical schools: metabolic rift theory, developed by John Foster and others, and world-ecology, proposed by Jason W. Moore. The debate refers ultimately to ontology, more precisely to the relation between society and nature. Critical realism plays a central role as the philosophical underlabouring for metabolic rift theory and has implications regarding the Anthropocene/Capitalocene debate as well. Reviewing the debate through CR categories provides …Read more
  •  12
    Resumen En este trabajo intentaré comparar dos momentos en la producción teórica de Nancy Fraser: sus análisis contemporáneos del capitalismo como orden institucional y su marco categorial previo, basado en dualismo de redistribución y reconocimiento. Destacaré tres grandes rupturas en su evolución intelectual: en el diagnóstico del presente, en la comprensión del capitalismo como tal y en la propuesta política.In this paper I will try to compare two periods in Nancy Fraser's theoretical evoluti…Read more
  •  9
    Local induction and provably total computable functions
    Annals of Pure and Applied Logic 165 (9): 1429-1444. 2014.
    Let Iπ2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free Π2Π2 formulas. Answering a question of R. Kaye, L. Beklemishev showed that the provably total computable functions of Iπ2 are, precisely, the primitive recursive ones. In this work we give a new proof of this fact through an analysis of certain local variants of induction principles closely related to Iπ2. In this way, we obtain a more direct answer to Kaye's question, avoiding the meta…Read more
  •  5
    En este artículo me propongo releer el llamado “fragmento de las máquinas” de los cuadernos Grundrisse a partir de la concepción de la prótesis y la producción biodrag de subjetividades desplegada por Preciado. Mientras que la mayoría de las lecturas de Preciado en clave marxiana se centran en Testo yonqui, sostendré que leer a Marx a partir del concepto de prótesis en Manifiesto contra-sexual permite reformular la noción de “individuo social” en una clave transhumanista. Esto empuja la interpre…Read more
  •  4
    Globalization and Modernity in Marx and Postone
    In Johannes Rohbeck, Daniel Brauer & Concha Roldán (eds.), Philosophy of Globalization, De Gruyter. pp. 357-368. 2018.
  •  4
    Pensar la bios en la autobiografía: elementos biológicos de la experiencia del yo
    Revista Latinoamericana de Filosofia 49 (1): 87-112. 2023.
    Me propongo abordar algunas precondiciones biológicas del discurso autobiográfico. Seguiré algunas interrogaciones de John Paul Eakin sobre la interrelación primaria, previa al discurso retrospectivo, entre narrativa del yo, experiencia personal y cuerpo propio. Tres autores prestan especial atención a estas precondiciones materiales de la autobiografía: Stacy Alaimo, con su noción de "memorias materiales"; Catherine Malabou, con sus estudios sobre la relación entre filosofía y neurociencias; y …Read more