•  20
    Another remark on connexivity and set theory
    Logic Journal of the IGPL 33 (5). 2025.
    We show that Wiredu’s result in [26] is not the doom for connexive set theories, not even for those based in logics similar to CC1, one of the original target logics. For this purpose, we present the necessary assumptions for Wiredu’s proof, making some precisions on the connexive requirements. Then we present a non-reflexive variant of CC1 in which Wiredu’s proof can be blocked. Finally, we discuss the prospects of a connexive set theory based on both the non-reflexive and non-transitive varian…Read more
  •  10
    This article investigates the intersection between the medical condition of lovesickness and the social phenomenon of rape. While rape in medieval culture has been studied through the disciplinary lens of gender studies, theology, sociology, and legal theory, the influence of medical epistemology on these reprehensible acts of violence has been overlooked. The advent of the branch of knowledge known as medical humanities allows us to fill in this gap by looking into the clinical treatises that c…Read more
  •  101
    Connexive logic: new old challenges
    Logic Journal of the IGPL 33 (6). 2025.
    After the intense attention the relevance logic community and its friends gave to McCall’s ideas on connexive implication during the late 1960s and nearly
  •  92
    Revisiting Reichenbach’s logic
    Synthese 199 (5): 11821-11845. 2021.
    In this paper we show that, when analyzed with contemporary tools in logic—such as Dunn-style semantics, Reichenbach’s three-valued logic exhibits many interesting features, and even new responses to some of the old objections to it can be attempted. Also, we establish some connections between Reichenbach’s three-valued logic and some contra-classical logics.
  •  69
    Connexive arithmetic formulated relevantly
    Logic Journal of the IGPL 34 (1). 2026.
    Following the strategy in [15] to develop inconsistent models for relevant arithmetics, we formulate a connexive variant of arithmetic by replacing the conditional of RM3 with the Belikov–Loginov conditional. We obtain thus the connexive logic cRM3 which serves as a base logic for arithmetics cRM3$^{i}$, cRM3$^{i\sharp }$, cRM$^{\sharp }$, cRMn$^{i}$, and cRM$^\omega $. We compare these with their counterparts RM3$^{i\sharp }$, RM$^{\sharp }$ and $\mathbf{RM}^\omega$ that extend relevant arithme…Read more
  •  159
    Mortensen logics
    Electronic Proceedings in Theoretical Computer Science 358 189-201. 2022.
    Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every conditional. But Mortensen has also studied and applied extensively other non-connexive logics, for example, closed set logic, CSL, and a variant of Sette's logic, identified and called 'P2' by Marcos. In this paper, we analyze and compare systematica…Read more
  •  10
    On the Plenitude of Truth. A Defense of Trivialism (review)
    with Claudia Olmedo-García
    Disputatio 5 (35): 93-98. 2013.
  •  131
    On the Possibility of Realist Dialetheism
    SATS 15 (2): 197-217. 2014.
    Realist dialetheism is the view that there are contradictions in reality. One argument against this idea says that it is impossible because it has to make room for the possibility of a trivial reality, which is metaphysically impossible. Another argument against it says that the metaphysical structure of reality is such that it is impossible to have contradictions in it. I argue here that both arguments fail to establish the impossibility of realist dialetheism because they are based on a miscon…Read more
  •  15
    Really full blooded platonism (RFBP) is aimed to achieve a complete picture of the mathematical landscape by accepting inconsistent mathematics. I distinguish various senses of completeness relevant to the debate and argue that the move to inconsistency-tolerance might not be enough to achieve a complete picture of the mathematical landscape in any of those senses, for there is positive reason to endorse a richer Platonism with place for trivial parts in the mathematical landscape. © 2017 Elsevi…Read more
  •  36
    How we learned to stop worrying and love tonk
    Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 41 (1): 5-21. 2026.
    According to common wisdom, the connective tonk defined by Prior trivializes any theory that contains it. However, it should not be forgotten that whether an argument holds or not depends to a large extent on the underlying notion of logical consequence. Logical consequence is usually assumed to be Tarskian, that is, reflexive, transitive and monotonic. However, Belnap had already conjectured that tonk might not be so problematic in a non-transitive logic, which Cook finally proved in 2005. In t…Read more
  •  351
    How we learned to stop worrying and love tonk
    Theoria. An International Journal for Theory, History and Foundations of Science (NA): 1-21. 2025.
    Belnap highlighted the role of Transitivity in Prior's triviality proof involvingtonk, but a non-trivial, non-transitive logic withtonkwas never developed until Cook's proposal with four interpretations and a disjunctive consequence relation. We improve on that proposal: we show that only three interpretations suffice and that a non-disjunctive consequence relation is not required.
  •  601
    Empty validity all the way up: an easy road (Proceedings) (edited book, 12th ed.)
    Lomonosov Moscow State University. 2022.
    There is a tension between the definition of empty logic as a logic with no valid arguments and no valid meta-arguments, on the one hand, and the way in which we have usually interpreted the validity of meta-arguments, on the other. Here we argue that one way to eliminate the tension is understanding the “If. . . then. . . ” in a meta-argument, at least in the case of an empty logic, as a transplication (aka the de Finetti conditional) instead of an extensional or material conditional.
  •  21
    I offer here a critical assessment of Beall and Ficara’s most recent take on Hegelian contradictions. By interpreting differently some key passages of Hegel’s work, I favor, unlike them, a no-gaps approach which leads to a different logic.
  •  40
    Sistema Tierra y derecho: el razonamiento jurídico y su argumentación en la segunda revolución copernicana
    with Gabriel Isaac López Porras
    Problema. Anuario de Filosofía y Teoria Del Derecho. forthcoming.
    Científicos del sistema Tierra han demostrado que el planeta es un sistema adaptativo-complejo y que algunos procesos naturales ya no operan en condiciones seguras para preservar la vida. Destaca que poco se ha hecho por explorar las implicaciones en la arena jurídica para responder ante los retos que estas condiciones presuponen para la vida humana y para nuestra supervivencia como especie. Aquí se sostiene que, para mantener el buen funcionamiento planetario, se requiere de una articulación ef…Read more
  •  39
    Medical Responsibility in the Colombian Context: A Review of Negligence from the Legal Framework and Ethical Perspective (review)
    with Carlos Alberto Aponte García, Ana María Lozano Hurtado, Leidy Johana Arcila Montoya, and Maria Del Pilar Garcia Valdes
    Evolutionary Studies in Imaginative Culture 1884-1897. 2024.
    This article explores medical responsibility and negligence from an ethical and legal perspective within the Colombian context. It highlights causes of negligence such as deficiencies in professional training and organizational problems. The article emphasizes "objective imputation as key to determining the criminal responsibility of the physician" (Alvarado D. 2019). The objectives include analyzing the current legal framework in Colombia and assessing the link between medical ethics and legal …Read more
  •  87
    Logic taking care of itself: the case of connexive logic
    Principia: An International Journal of Epistemology 28 (1): 155-165. 2024.
    Logic is an excellent tool for reasoning about most philosophical topics, including logical issues themselves. Discussions about the validity or otherwise of certain principles have been widespread throughout the history of logic. This chapter exemplifies that with the analysis of the debate surrounding connexive logics. In connexive logics, certain principles involving mainly negation and implication hold good, whereas they are not valid in most well-known logics. Despite their intuitiveness, t…Read more
  • F. J. Vidarte & J. F. Rampérez: Filosofías Del Siglo Xx (review)
    Daimon: Revista Internacional de Filosofía 40 199-200. 2007.
  •  80
    En esta nota crítica (i) se hace una breve descripción de cada uno de los artículos que componen Orayen: de la forma lógica al significado, (ii) se señalan algunas cuestiones que no están claras en ellos o en las réplicas de Orayen y, (iii) en la medida de lo posible, se indica si los autores desarrollan ulteriormente los problemas abordados en sus artículos. The aim of this critical note is threefold: (i) it briefly describes and comments on each of the articles of Orayen: de la forma lógica al…Read more
  •  788
    Connexive Negation
    Studia Logica 112 (1): 511-539. 2023.
    Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, n…Read more
  •  1174
    Bunge y la validez de la adición
    In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo, Universidad Del Valle. pp. 191-202. 2022.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la…Read more
  •  22
    Five major stances on the problems of the possibility and fruitfulness of a debate on the principle of non-contradiction (PNC) are described: Detractors, fierce supporters, demonstrators, methodologists and calm supporters. We show what calm supporters have to say on the other parties wondering about the possibility and fruitfulness of a debate on PNC. The main claim is that one can find all the elements of calm supporters already in Aristotle’s works. In addition, we argue that the Aristotelian…Read more
  •  53
    Liturgia y vida consagrada. Bibliografía (1963-1995)
    Isidorianum 4 (8): 99-117. 2024.
  •  60
    María y la esperanza en la liturgia romana postconciliar
    Isidorianum 5 (9): 174-207. 2024.
  •  83
    Hegel of the gaps? Truth, falsity and conjunction in Hegelian contradictions
    Asian Journal of Philosophy 3 (1): 1-13. 2024.
    I offer here a critical assessment of Beall and Ficara’s most recent take on Hegelian contradictions. By interpreting differently some key passages of Hegel’s work, I favor, unlike them, a no-gaps approach which leads to a different logic.
  •  41
    Este trabajo presenta los aspectos más importantes de las nuevas Directrices de Bautismo de la Archidiócesis de Sevilla situándolas en el contexto histórico teológico en el que maduran y destacando los principales criterios pastorales que utilizan.