La noción de verdad ha sido siempre el tesoro de la filosofía, su objeto de estudio y debate durante siglos, sin embargo, en la actualidad hay numerosas perspectivas que ofrecen respuestas innovadoras a la relación entre verdad, conocimiento y realidad, pero ninguna de ellas tiene una claridad abrumadora como la que nos ofrece la filosofía de Alain Badiou. Es que no se queda en poner su postura frente al debate, sino que resuelve lo que a las otras perspectivas les faltaba. (...) El tema abordado en este artículo es relevante al menos por tres razones: en primer lugar, porque al tocar la relación entre verdad, conocimiento y realidad en Badiou se vuelve sobre un lugar clásico dentro de la tradición filosófica, en segundo lugar, porque, al plantear el problema, no solo se queda en el campo de la filosofía sino que ronda el debate actual en múltiples campos los que denomina procedimientos genéricos de verdades, en tercer lugar, porque se intenta explorar las relaciones entre verdad y conocimiento en la filosofía de Badiou, algo no muy frecuente en los estudios badiousianos. (shrink)

A list of magazines published by the centres of the CECEL arranged according to Autonomous Communities and Provinces. Data related to their ISSNs, their periodicity or the dates of the launching of each magazine are given too.

Si bien en las últimas décadas se ha hecho énfasis en las ciencias sociales como disciplinas interpretativas, no por hecho han dejado de realizarse ?y en algunos casos consolidarse? las investigaciones de corte cuantitativo, en este sentido consideramos de primera importancia recuperar la discusión..

La gobernanza hace referencia a un modelo horizontal de gestión basado en la corresponsabilidad entre el gobierno y las instituciones. Requiere de un cambio radical ético, social, cultural y económico que exige nuevos espacios públicos de participación en los procesos de toma de decisiones. Dicho modelo también se basa en la autonomía, la autodeterminación informativa y la corresponsabilidad en materia de salud. No obstante, es difícil que se aplique en las sociedades con desigualdades estructurales y culturales. Los principios éticos deben (...) de regir la gobernanza y los sistemas de salud como una responsabilidad de los profesionales y como una práctica de todo el sistema, ya que la ética en las organizaciones tiene bases fundamentales como la vida, el bien común y la solidaridad. Acorde a esto es importante proporcionar un servicio de salud a la población con oportunidad, conocimientos médicos y éticos vigentes con predominio de la beneficencia, la calidad de la atención, la justicia distributiva y la equidad. (shrink)

In the course of recent investigations on artificial intelligence (AI) and its scope in different societal domains and industries, two notable research frontiers have taken center stage: the growing exploration of the interactive relationship between humans and increasingly intelligent systems and the renewed emphasis on integrating a range of social science and humanities perspectives within AI research. This surge in interest, coupled with the proliferation of publications and diverse terminologies, has led to a complex landscape where theoretical inconsistency and conceptual (...) confusion abound. In response, this work aims to bridge critical gaps by (1) exploring how recent studies in the field of human–AI interaction define their terminologies and fundamental concepts (i.e., knowledge, intelligence, and learning) and (2) developing a novel conceptual overview that facilitates navigation through the diversity of concepts, including new paradigms in AI that integrate perspectives from social sciences and humanities. Our findings reveal that researchers in this cross-sectional field understand that intelligence is more frequently seen as intricately linked with knowledge, with a mutually causal relationship between the two. Despite the proliferation of terminologies across different areas of expertise, such as human-centric design, human–AI collaborative arrangements, and synergy as a process of mutual enhancement, the theoretical distinctions among them remain unclear. To address these complexities, we developed a conceptual overview that functions as a paradigm matrix, enabling the identification of tensions arising from the integration of multiple paradigms across different theories and epistemologies from social sciences and humanities. This conceptual overview is designed not to homogenize these perspectives, but to foster dialogue and reflection, allowing researchers to appreciate and leverage the unique strengths and insights each paradigm offers. This paradigm matrix promises to enhance our understanding of the dynamic and multifaceted interaction between humans and AI, paving the way for more coherent and impactful research in this rapidly evolving field. (shrink)

Collected and edited by Noah Levin -/- Table of Contents: -/- UNIT ONE: INTRODUCTION TO CONTEMPORARY ETHICS: TECHNOLOGY, AFFIRMATIVE ACTION, AND IMMIGRATION 1 The “Trolley Problem” and Self-Driving Cars: Your Car’s Moral Settings (Noah Levin) 2 What is Ethics and What Makes Something a Problem for Morality? (David Svolba) 3 Letter from the Birmingham City Jail (Martin Luther King, Jr) 4 A Defense of Affirmative Action (Noah Levin) 5 The Moral Issues of Immigration (B.M. Wooldridge) 6 The Ethics of our (...) Digital Selves (Noah Levin) -/- UNIT TWO: TORTURE, DEATH, AND THE “GREATER GOOD” 7 The Ethics of Torture (Martine Berenpas) 8 What Moral Obligations do we have (or not have) to Impoverished Peoples? (B.M. Wooldridge) 9 Euthanasia, or Mercy Killing (Nathan Nobis) 10 An Argument Against Capital Punishment (Noah Levin) 11 Common Arguments about Abortion (Nathan Nobis & Kristina Grob) 12 Better (Philosophical) Arguments about Abortion (Nathan Nobis & Kristina Grob) -/- UNIT THREE: PERSONS, AUTONOMY, THE ENVIRONMENT, AND RIGHTS 13 Animal Rights (Eduardo Salazar) 14 John Rawls and the “Veil of Ignorance” (Ben Davies) 15 Environmental Ethics: Climate Change (Jonathan Spelman) 16 Rape, Date Rape, and the “Affirmative Consent” Law in California (Noah Levin) 17 The Ethics of Pornography: Deliberating on a Modern Harm (Eduardo Salazar) 18 The Social Contract (Thomas Hobbes) -/- UNIT FOUR: HAPPINESS 19 Is Pleasure all that Matters? Thoughts on the “Experience Machine” (Prabhpal Singh) 20 Utilitarianism (J.S. Mill) 21 Utilitarianism: Pros and Cons (B.M. Wooldridge) 22 Existentialism, Genetic Engineering, and the Meaning of Life: The Fifths (Noah Levin) 23 The Solitude of the Self (Elizabeth Cady Stanton) 24 Game Theory, the Nash Equilibrium, and the Prisoner’s Dilemma (Douglas E. Hill) -/- UNIT FIVE: RELIGION, LAW, AND ABSOLUTE MORALITY 25 The Myth of Gyges and The Crito (Plato) 26 God, Morality, and Religion (Kristin Seemuth Whaley) 27 The Categorical Imperative (Immanuel Kant) 28 The Virtues (Aristotle) 29 Beyond Good and Evil (Friedrich Nietzsche) 30 Other Moral Theories: Subjectivism, Relativism, Emotivism, Intuitionism, etc. (Jan F. Jacko). (shrink)

The concept of well-being of rural families is part of a theory under construction in which new theoretical elements are constantly being incorporated. This research aims to determine the influence of farmers’ knowledge on the well‑being of cocoa growing families in the departments of Santander, Huila, Meta and Caquetá, Colombia. Four categories of farmers were identified with different levels of knowledge in the management of cocoa cultivation obtained through a cluster analysis. The well-being of cocoa farmers, understood as the balance (...) in the capital endowment of rural households, was obtained through the application of a semi-structured interview with 49 variables of human, cultural, social, political, natural, built, and financial capitals. The results show that cocoa knowledge is heterogeneous in the study area, with a slight improvement towards harvesting, post-harvest and transformation links. There is a positive relationship between cocoa knowledge and the well-being of cocoa farming families. Thus, producers with greater integral knowledge, with emphasis on post-harvest and bean transformation links, showed greater well-being. The Random Forest analysis identified that human capital (political, social, human, and cultural) made the greatest contribution to well-being. The findings show that cocoa knowledge contributes to the well-being of rural households to the extent that it favors vertical relationships (linkages with local governments) and horizontal relationships of producers (participation of association managers, sharing knowledge with friends, neighbors and partners, and cocoa training). (shrink)

The concept of well-being of rural families is part of a theory under construction in which new theoretical elements are constantly being incorporated. This research aims to determine the influence of farmers’ knowledge on the well‑being of cocoa growing families in the departments of Santander, Huila, Meta and Caquetá, Colombia. Four categories of farmers were identified with different levels of knowledge in the management of cocoa cultivation obtained through a cluster analysis. The well-being of cocoa farmers, understood as the balance (...) in the capital endowment of rural households, was obtained through the application of a semi-structured interview with 49 variables of human, cultural, social, political, natural, built, and financial capitals. The results show that cocoa knowledge is heterogeneous in the study area, with a slight improvement towards harvesting, post-harvest and transformation links. There is a positive relationship between cocoa knowledge and the well-being of cocoa farming families. Thus, producers with greater integral knowledge, with emphasis on post-harvest and bean transformation links, showed greater well-being. The Random Forest analysis identified that human capital (political, social, human, and cultural) made the greatest contribution to well-being. The findings show that cocoa knowledge contributes to the well-being of rural households to the extent that it favors vertical relationships (linkages with local governments) and horizontal relationships of producers (participation of association managers, sharing knowledge with friends, neighbors and partners, and cocoa training). (shrink)

This paper develops what we can call a first approach into a “possible communication epistemology” through certain conceptions from Serres. These conceptions are characterized by an open perspective that breaks the notions of limit, frontier, barrier and competence that have distinguished epistemolo..

This chapter contains sections titled: Acosta, José de (1539–1600) Alberdi, Juan Bautista (1810–84) Bello, Andrés (1781–1865) Bilbao, Francisco (1823–65) Bolkvar, Simón (1783–1830) Casas, Bartolomé de las (1484–1566) Caso, Antonio (1883–1946) Cruz, Sor Juana Inés de la (1651–95) da Costa, Newton Carneiro Affonso (b. 1929) Dussel, Enrique (b. 1934) Frondizi, Risieri (1910–83) Gaos, José (1900–69) González Prada, Manuel (1848–1918) Gracia, Jorge J. E. (b. 1942) Haya de la Torre, Victor Raúl (1895–1979) Hostos, Eugenio Marka de (1839–1903) Ingenieros, José (1877–1925) Korn, Alejandro (...) (1860–1936) Lastarria, José Victorino (1817–88) Lemos, Miguel (1854–1917) Mariátegui, José Carlos (1895–1930) Martk, José (1853–95) Méndez Sierra, Justo (1848–1912) Mora, José Maria Luis (1794–1850) Miró Quesada, Francisco (b. 1918) Rabossi, Eduardo (1930–2005) Ramos, Samuel (1897–1959) Rodó, José Enrique (1872–1917) Romero, Francisco (1891–1962) Sahagún, Fray Bernardino de (1499–1590) Salazar Bondy, Augusto (1925–74) Sarmiento, Domingo Faustino (1811–88) Ofelia Schutte (b. 1945) Sepslveda, Juan Ginés de (ca. 1494–1573) Torretti, Roberto (b. 1930) Vasconcelos, José (1882–1959) Vaz Ferreira, Carlos (1872–1958) Villoro, Luis (b. 1922) Vitoria, Francisco de (ca. 1483–1546) Zea Aguilar, Leopoldo (1912–2004) Acknowledgment Further Reading. (shrink)

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Who Comes After the Subject offers the most comprehensive overview to date of contemporary French thinking on the question of the "subject." Nineteen philosophers and critics offer diverse perspectives on the subject as it has manifested itself in our modern discourses: the subject of philosophy, of the State, of history, of psychoanalysis. Each contribution asks What has become of the subject? or What has the subject become? in the wake of its critiques and deconstructions .

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...) with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

In different papers, Carnielli, W. & Rodrigues, A., Carnielli, W. Coniglio, M. & Rodrigues, A. and Rodrigues & Carnielli, present two logics motivated by the idea of capturing contradictions as conflicting evidence. The first logic is called BLE and the second—that is a conservative extension of BLE—is named LETJ. Roughly, BLE and LETJ are two non-classical logics in which the Laws of Explosion and Excluded Middle are not admissible. LETJ is built on top of BLE. Moreover, LETJ is a Logic (...) of Formal Inconsistency. This means that there is an operator that, roughly speaking, identifies a formula as having classical behavior. Both systems are motivated by the idea that there are different conditions for accepting or rejecting a sentence of our natural language. So, there are some special introduction and elimination rules in the theory that are capturing different conditions of use. Rodrigues & Carnielli’s paper has an interesting and challenging idea. According to them, BLE and LETJ are incompatible with dialetheia. It seems to show that these paraconsistent logics cannot be interpreted using truth-conditions that allow true contradictions. In short, BLE and LETJ talk about conflicting evidence avoiding to talk about gluts. I am going to argue against this point of view. Basically, I will firstly offer a new interpretation of BLE and LETJ that is compatible with dialetheia. The background of my position is to reject the one canonical interpretation thesis: the idea according to which a logical system has one standard interpretation. Then, I will secondly show that there is no logical basis to fix that Rodrigues & Carnielli’s interpretation is the canonical way to establish the content of logical notions of BLE and LETJ. Furthermore, the system LETJ captures inside classical logic. Then, I am also going to use this technical result to offer some further doubts about the one canonical interpretation thesis. (shrink)

Para explorar las diferencias significativas entre estos dos pensadores, la primera parte de este articulo considerará sus ideas ontológicas. Comenzando con su preocupación común por la multiplicidad, exploraremos el movimiento fundacional de Deleuze hacia diferentes tipos de multiplicidad. La crítica de Badiou a este enfoque estará relacionada con su defensa de los recursos abstractos de la teoría de conjuntos en oposición a las síntesis concretas con las que Deleuze busca comenzar. La segunda parte de este documento explorará las consecuencias de (...) los compromisos ontológicos de Deleuze cuando se trata de la ética del acontecimiento exigido por Badiou. El compromiso de Deleuze con el estoicismo proporcionará el escenario para su explicación de cómo ocurren los acontecimientos y representa una fuente de pensamiento y actividad. En la tercera y última parte se buscará evaluar la explicación de Deleuze sobre el papel de los acontecimientos en situaciones particulares y en las actividades de los sujetos que responden a estos. Esto nos permitirá sacar conclusiones sobre la crítica de Badiou a Deleuze y la capacidad de Deleuze para resistir estas críticas. Argumentaré que Deleuze comparte con Badiou la preocupación de mantener una visión clara del tema como una figura comprometida en la búsqueda de proyectos nuevos e inauditos que responden al llamado de los acontecimientos. (shrink)

The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.

The concept of _substructural logic_ was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange. Recent years have witnessed the development of substructural logics also challenging the Tarskian properties of Reflexivity and Transitivity of logical consequence. In this introduction we explain this recent development and two aspects in which it leads to a reassessment of the bounds of classical logic. On the one hand, standard ways of defining the notion of logical consequence in classical (...) logic naturally induce substructural logics when admitting more than two truth values; on the other hand, these substructural logics give rise to hierarchies of _metainferences_ that can be used to approximate classical logic at different levels. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

I argue against Matthew Slater’s rejection of what he calls the grounding claim in his stable property cluster account of natural kinds. This claim states that the epistemic value of natural kinds depends on the existence of some ground to bind together a kind’s properties. Using two test cases from academic medicine, I show that grounds are genuinely explanatory of scientific epistemic practices and that the SPC account should not do without them in its philosophical analysis of natural kinds.

Focusing on Walter Benjamin's discussions of the flashes and images of history, this book argues that the questions raised by this link between photography and history touch on issues that belong to the entire trajectory of Benjamin's ...

In “A new proof of the completeness of the Lukasiewicz axioms” Chang proved that any totally ordered MV-algebra A was isomorphic to the segment \}\) of a totally ordered l-group with strong unit A *. This was done by the simple intuitive idea of putting denumerable copies of A on top of each other. Moreover, he also show that any such group G can be recovered from its segment since \^*}\), establishing an equivalence of categories. In “Interpretation of AF C (...) *-algebras in Lukasiewicz sentential calculus” Mundici extended this result to arbitrary MV-algebras and l-groups with strong unit. He takes the representation of A as a sub-direct product of chains A i, and observes that \ where \. Then he let A * be the l-subgroup generated by A inside \. He proves that this idea works, and establish an equivalence of categories in a rather elaborate way by means of his concept of good sequences and its complicated arithmetics. In this note, essentially self-contained except for Chang’s result, we give a simple proof of this equivalence taking advantage directly of the arithmetics of the the product l-group \, avoiding entirely the notion of good sequence. (shrink)

This important collection of essays by Andrew Feenberg presents his critical theory of technology, an innovative approach to philosophy and sociology of technology based on a synthesis of ideas drawn from STS and Frankfurt School Critical Theory. The volume includes chapters on citizenship, modernity, and Heidegger and Marcuse.

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or structures. We analyze these (...) two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

Abstract: This paper defends David Armstrong’s solution to the problem of inductionb against Helen Beebee’s attack on that solution. To solve theproblem of induction, Armstrong contends that the timeless necessity explanation is the best explanation of our observed regularities, whereas Beebee attempts to demonstrate that the time-limited necessity explanation is an equally good explanation. Allegedly, this explanation blocks Armstrong’s solution. I demonstrate that even if the time-limited ecessity explanation were an equally good explanation of our observed regularities, this explanation does (...) not block Armstrong’s solution. I argue that, in fact, the timeless necessity explanation is a better explanation of our observed regularities than is the time-limited necessity explanation. (shrink)

This paper provides a detailed study of David Hilbert’s axiomatization of the theory of plane area, in the classical monograph Foundation of Geometry. On the one hand, we offer a precise contextualization of this theory by considering it against its nineteenth-century geometrical background. Specifically, we examine some crucial steps in the emergence of the modern theory of geometrical equivalence. On the other hand, we analyze from a more conceptual perspective the significance of Hilbert’s theory of area for the foundational program (...) pursued in Foundations. We argue that this theory played a fundamental role in the general attempt to provide a new independent basis for Euclidean geometry. Furthermore, we contend that our examination proves relevant for understanding the requirement of “purity of the method” in the tradition of modern synthetic geometry. (shrink)

This article consists of an analysis of the influence of the Berlin philosopher Georg Simmel on the initial stages of José Ortega y Gasset's philosophy. In this case, we will focus on the influence that Simmel's aesthetics exerted on the young Ortega for the configuration of a theory of the historical evolution of the arts in which some of the strong theses that would characterize his mature thought are revealed. It should be noted that this article is included within a (...) project of analysis of the relationship of influence between Simmel and Ortega, an influence that covers multiple fields of philosophical and scientific thought, such as epistemology, aesthetics, ontology, sociology, etc., as well as diverse and interesting contents of analysis. The main objective is to demonstrate that under the fundamental ideas of Ortega y Gasset's philosophy of historical and vital reason flows the tension between life and form that is the basis of Simmelian thought. (shrink)

Vector logic is a mathematical model of the propositional calculus in which the logical variables are represented by vectors and the logical operations by matrices. In this framework, many tautologies of classical logic are intrinsic identities between operators and, consequently, they are valid beyond the bivalued domain. The operators can be expressed as Kronecker polynomials. These polynomials allow us to show that many important tautologies of classical logic are generated from basic operators via the operations called Type I and Type (...) II products. Finally, it is described a matrix version of the Fredkin gate that extends its properties to the many-valued domain, and it is proved that the filtered Fredkin operators are second degree Kronecker polynomials that cannot be generated by Type I or Type II products. (shrink)

The logics of formal inconsistency are logics tolerant to some amount of contradiction, but in which some versions of explosion still hold. The main result of this paper is a reconstruction of two such logics in the dialogical framework. By doing so, we achieve two things. On the one hand, we provide a formal approach to argumentative situations where some contradictions may occur while keeping the idea that there may still be situations in which some propositions are ‘safe’ in the (...) sense of immunity to the contradictions. On the other hand, we open a new line of study on these logics, in the context of the game-theoretical approach to semantics born in the 1960s, with various interesting perspectives, some of which are discussed at the end of this article. (shrink)

El artículo documenta y analiza las vicisitudes en torno a la incorporación de Hilbert de su famoso axioma de completitud, en el sistema axiomático para la geometría euclídea. Esta tarea es emprendida sobre la base del material que aportan sus notas manuscritas para clases, correspondientes al período 1894–1905. Se argumenta que este análisis histórico y conceptual no sólo permite ganar claridad respecto de cómo Hilbert concibió originalmentela naturaleza y función del axioma de completitud en su versión geométrica, sino que además (...) permite disipar equívocos en cuanto a la relación de este axioma con la propiedad metalógica de completitud de un sistema axiomático, tal como fue concebida por Hilbert en esta etapa inicial.The paper reports and analyzes the vicissitudes around Hilbert’s inclusion of his famous axiom of completeness, into his axiomatic system for Euclidean geometry. This task is undertaken on the basis of his unpublished notes for lecture courses, corresponding to the period 1894–1905. It is argued that this historical and conceptual analysis not only sheds new light on how Hilbert conceived originally the nature of his geometrical axiom of completeness, but also it allows to clarify some misunderstandings regarding this axiom and the metalogical property of completeness of an axiomatic system, as it was understoodby Hilbert in this initial stage. (shrink)

Me propongo aquí una reflexión sobre la crisis del humanismo que afecta profundamente a la sociedad y la cultura contemporáneas en todas sus dimensiones. De un modo falsamente optimista, se ha opuesto a esta crisis la figura de un post humanismo triunfante, resultado de los desarrollos de la tecnología contemporánea y sus posibilidades de intervención en el cuerpo y el alma del hombre. Haré aquí una evaluación crítica de ese optimismo, sin por ello reivindicar el viejo humanismo y su razón (...) colonizadora. Trataré de plantear a través de Heidegger y Agamben la condición post humanista y post histórica –en el sentido moderno– en la que nos encontramos. Pero luego intentaré pensar junto a Nietzsche y Bataille una figura del hombre que no es nueva, sino una figura más antigua y creo más profunda, que quedó sepultada bajo la irrupción tectónica del humanismo y su empresa civilizatoria. (shrink)

El estudio que aquí se ofrece tiene por objetivo dar respuesta a dos temas, a saber: ¿son el catolicismo y el espiritualismo compatibles y complementarios en sus fundamentos y prácticas? ¿En las categorías de la Lógica (como uso armónico de razonamiento válido) es compatible el adoctrinamiento simultáneo en el catolicismo y en el espiritualismo? Este análisis se sitúa dentro del contexto religioso brasileño, donde tradiciones como el Espiritismo y la Umbanda, que combinan elementos cristianos con espiritualistas, juegan un papel significativo. (...) El artículo reconoce esta diversidad y propone una reflexión que toma en cuenta estas realidades, buscando comprender cómo diferentes cosmovisiones influyen en la práctica religiosa y en la visión del mundo de los fieles. Al confrontar estas distintas realidades en su esencia y lenguaje, la metodología adoptada propone una síntesis de los conceptos clave, clarificando las diferencias entre ambas tradiciones. Además, el estudio se propone ofrecer respuestas concretas a las cuestiones centrales, como la posibilidad de conciliación entre la resurrección y la reencarnación, y cómo estas creencias modelan la comprensión humana sobre la vida, la muerte y lo que viene después. (shrink)

En el Cratilo platónico se plantea por primera vez la cuestión del fundamento de la significación lingüística; se lo hace en el marco de la oposición entre naturaleza y convención, en la que se basó también el debate posterior acerca del tema. En el trabajo que sigue se presenta un repaso de los aspectos teóricos más importantes de los argumentos de las tesis naturalista y convencionalista expuestas y defendidas en ese y en otros textos de la tradición antigua, y se (...) esboza una tipología de las variedades que en esa tradición se ofrecen de aquellas dos posiciones. (shrink)

Jürgen Habermas’s recent book Die Zukunft der menschlichen Natur (2001) is discussed. Particular attention is paid to the central argument concerning the adverse effects the general acceptance of cloning and pre-implantation genetic diagnostics (PGD) would have on the moral and political self-understanding of present and future generations. The argument turns to a critique of Habermas’s central arguments against PGD, and develops at least two arguments that are in harmony with his general defense of procedural democracy and deontological morality. Appeal is (...) made to Peter Singer and John Rawls to develop arguments that do not reject either PGD or genetic engineering and that are nonetheless in full compliance with the spirit of political modernity, as it is defended and defined by Habermas. The conclusion calls for less moralizing and more political-economic critique of the biotechnologies unleashed by the information revolution. (shrink)