-
146Contributions of Individual, Family, and School Characteristics to Chilean Students’ Social Well-Being at SchoolFrontiers in Psychology 12. 2021.Schools are an essential part of students’ lives and can promote and facilitate their well-being. Although research on well-being among school-aged children and adolescents has distinguished subjective well-being from social well-being, very few studies examined student’s social well-being at school. SWS is understood as students’ valuation of the circumstances and functioning of their school. This framework posits that the context of the schools can shape students’ perception of feeling integra…Read more
-
76Sí hay negación lógicaCritica 52 (155): 55-72. 2020.En este artículo discutimos la tesis de Jc Beall según la cual no hay negación lógica. Evaluamos la solidez del argumento con el que defiende su tesis y presentamos dos razones para rechazar una de sus premisas: que la negación tiene que ser excluyente o exhaustiva. La primera razón involucra una presentación alternativa de las reglas de la negación en sistemas de secuentes diferentes al que Beall presupone. La segunda razón establece que la negación no tiene que ser excluyente o exhaustiva.
-
109When Curry met AbelLogic Journal of the IGPL 28 (6): 1233-1242. 2020.Based on his Inclosure Schema and the Principle of Uniform Solution (PUS), Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz (2015, The Logica Yearbook 2014, pp. 233–248) argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of a paraconsistent logic that does…Read more
-
158A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’History and Philosophy of Logic 41 (2): 101-113. 2019.Alberic of Paris put forward an argument, ‘the most embarrassing of all twelfth-century arguments’ according to Christopher Martin, which shows that the connexive principles contradict some other logical principles that have become deeply entrenched in our most widely accepted logical theories. Building upon some of Everett Nelson’s ideas, we will show that the steps in Alberic of Paris’ argument that should be rejected are precisely the ones that presuppose the validity of schemas that are nowa…Read more
-
92Knot is not that nastySynthese 198 (S22): 5533-5554. 2019.In this paper, we evaluate Button’s claim that knot is a nasty connective. Knot’s nastiness is due to the fact that, when one extends the set \ with knot, the connective provides counterexamples to a number of classically valid operational rules in a sequent calculus proof system. We show that just as going non-transitive diminishes tonk’s nastiness, knot’s nastiness can also be reduced by dropping Reflexivity, a different structural rule. Since doing so restores all other rules in the system as…Read more
-
106A Brief Note on Béziau’s “Rather Trivial Theorem” About LPLogic and Logical Philosophy 28 (2): 355-361. 2019.Béziau has recently argued that the logic LP commits dialetheists to trivialism and Martin has pointed out very clearly the main problems with that alleged result. My sole purpose here is to make the spirit of Martin’s reply more concise, exhibiting as clearly as possible the logical defects in Béziau’s reasoning. Additionally, I want to make some remarks on LP qua logic and not only as an interpreted language.
-
187Estrada-Gonzalez-Olmedo-Garcia_On-the-plenitude-of-truth.-A-defense-of-trivialism-by-Paul-Kabay2
-
22The Possibility and Fruitfulness of a Debate on the Principle of Non-contradictionIn Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency, Springer. pp. 33-51. 2018.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
-
82May the Reinforcement Be with You: On the Reconstruction of Scientific EpisodesJournal of the Philosophy of History 12 (2). 2018.Like theories, reconstructions of episodes in the history of science can possess, or lack, certain virtues such that, when we face two or more different reconstructions of the same episode, we assume that we should choose the most “virtuous one”. However, we will argue that, with dissimilar reconstructions of the same episode, it is not always necessary to separate the “good ones” from the “wrong ones”, and that, as a matter of fact, each reconstruction could provide different but perhaps equall…Read more
-
22Prospects for TrivialityIn Peter Verdée & Holger Andreas (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics, Springer Verlag. pp. 81-89. 2016.In this paper I argue, contra Mortensen, that there is a case, namely that of a degenerate topos, an extremely simple mathematical universe in which everything is true, in which no mathematical “catastrophe” is implied by mathematical triviality. I will show that either one of the premises of Dunn’s trivialization result for real number theory –on which Mortensen mounts his case– cannot obtain (from a point of view “external” to the universe) and thus the argument is unsound, or that it obtains …Read more
-
83An Introduction to the Philosophy of LogicCambridge University Press. 2019.Philosophy of logic is a fundamental part of philosophical study, and one which is increasingly recognized as being immensely important in relation to many issues in metaphysics, metametaphysics, epistemology, philosophy of mathematics, and philosophy of language. This textbook provides a comprehensive and accessible introduction to topics including the objectivity of logical inference rules and its relevance in discussions of epistemological relativism, the revived interest in logical pluralism…Read more
-
40The classicality of classical MathematicsJournal of the Indian Council of Philosophical Research 34 (2): 365-377. 2017.PurposeGraham Priest has recently argued that the distinctive trait of classical mathematics is that the conditional of its underlying logic—that is, classical logic—is extensional. In this article, I aim to present an alternate explanation of the specificity of classical mathematics.MethodI examine Priest's argument for his claim and show its shortcomings. Then I deploy a model-theoretic presentation of logics that allows comparing them, and the mathematics based on them, more fine-grainedly.Re…Read more
-
95Beyond Toleration? Inconsistency and Pluralism in the Empirical SciencesHumana Mente 10 (32). 2017.Nowadays there is a growing tendency in the philosophy of science to think that some phenomena cannot be exhaustively explained, or even described, by a single theory or a particular approach. Thus, we are occasionally required to use various approaches in order to give account of the phenomenon we are analyzing. And sometimes, we can appreciate this as an invitation to be pluralist in certain respects about our understanding of a particular aspect in science. During the last decade applications…Read more
-
80Nota crítica sobre Orayen: de la forma lógica al significadoDianoia 56 (66): 179-193. 2011.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
-
237Models of Possibilism and TrivialismLogic and Logical Philosophy 21 (2): 175-205. 2012.In this paper I probe the idea that neither possibilism nor trivialism could be ruled out on a purely logical basis. I use the apparatus of relational structures used in the semantics for modal logics to engineer some models of possibilism and trivialism and I discuss a philosophical stance about logic, truth values and the meaning of connectives underlying such analysis
-
103On the Meaning of Connectives (Apropos of a Non-Necessitarianist Challenge)Logica Universalis 5 (1): 115-126. 2011.According to logical non-necessitarianism, every inference may fail in some situation. In his defense of logical monism, Graham Priest has put forward an argument against non-necessitarianism based on the meaning of connectives. According to him, as long as the meanings of connectives are fixed, some inferences have to hold in all situations. Hence, in order to accept the non-necessitarianist thesis one would have to dispose arbitrarily of those meanings. I want to show here that non-necessitari…Read more
-
165La diferencia entre lógicas y el cambio de significado de las conectivas: un enfoque categoristaTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 26 (2): 133-154. 2011.En este artículo tratamos de hacer plausible la hipótesis de que las conectivas de diferentes lógicas no necesariamente difieren en significado. Utilizando el tratamiento categorista de las conectivas, argumentaremos contra la tesis quineana de que la diferencia de lógicas implica diferencia de significado entre sus conectivas, y ubicamos el cambio de tema en la diferencia de objetos más bien que en una tal diferencia de significado. Finalmente, intentamos mostrar que ese tratamiento categorista…Read more
-
129Weakened semantics and the traditional square of oppositionLogica Universalis 2 (1): 155-165. 2008.. In this paper we present a proposal that (i) could validate more relations in the square than those allowed by classical logic (ii) without a modification of canonical notation neither of current symbolization of categorical statements though (iii) with a different but reliable semantics.
-
55Complement-Topoi and Dual Intuitionistic LogicAustralasian Journal of Logic 9 26-44. 2010.Mortensen studies dual intuitionistic logic by dualizing topos internal logic, but he did not study a sequent calculus. In this paper I present a sequent calculus for complement-topos logic, which throws some light on the problem of giving a dualization for LJ.
Areas of Specialization
| Logic and Philosophy of Logic |