El presente trabajo busca señalar los puntos de encuentro y desencuentro entre la propuesta ética de Jürgen Habermas y la teoría queer planteada por Judith Butler, ciñéndonos en ambos casos al primer periodo de sus respectivos pensamientos. Para ello, en el caso del primero, se pondrá especial énfasis en su ensayo “Del uso pragmático, ético y moral de la razón práctica”, mientras que, en el caso de la segunda, el foco de atención será su obra más representativa, El género en (...) disputa. La pregunta central radicará, de esta manera, en cómo han de comprenderse los tres usos de la razón práctica habermasianos a la luz de los análisis de Butler, especialmente de los escenarios en los cuales recae su atención: la performatividad y el género. En estos fenómenos de nuestra vida práctica, como se mostrará, los usos de la razón práctica que plantease el filósofo no podrían aislarse unos de otros, cuestión que será planteada como clave de lectura para el ensayo analizado. (shrink)

La investigación presente analizará las semejanzas y relaciones encontradas entre los planteamientos de Edmund Husserl y Simone Weil respecto al fenómeno religioso de la idolatría. Para ello, señalaremos en primer lugar el tratamiento que la religión podría tener dentro del marco fenomenológico husserliano; posteriormente, nos enfocaremos en el análisis de una de las publicaciones póstumas de autoría weiliana. Respecto al filósofo austríaco, se recurrirá a textos de distintos períodos de su obra, por lo que implícitamente se contemplará una continuación entre (...) sus denominados análisis estáticos y los genéticos. (shrink)

El punto central de análisis del trabajo es la katábasis o descenso del filósofo a la caverna como parte de la alegoría presentada en República VII. Frente a tres interpretaciones alternativas que serán mencionadas, se expondrá una interpretación que, sin entrar en conflicto con las anteriores, podría complementarlas por cuanto toma en cuenta el aspecto religioso inherente a la comprensión platónica de la filosofía: la homoíōsis theōi. Para ello, se analizarán pasajes del diálogo mencionado a la luz de otros provenientes (...) del Timeo y de Leyes X, lo que implicará un análisis intertextual de la obra platónica. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Paraconsistent extensions of 3-valued Gödel logic are studied as tools for knowledge representation and nonmonotonic reasoning. Particularly, Osorio and his collaborators showed that some of these logics can be used to express interesting nonmonotonic semantics. CG’3 is one of these 3-valued logics. In this paper, we introduce Fidel semantics for a certain calculus of CG’3 by means of Fidel structures, named CG’3-structures. These structures are constructed from enriched Boolean algebras with a special family of sets. Moreover, we also show that (...) the most basic CG’3-structures coincide with da Costa–Alves’ bi-valuation semantics; this connection is displayed through a Representation Theorem for CG’3-structures. By contrast, we show that for other paraconsistent logics that allow us to present semantics through Fidel structures, this connection is not held. Finally, Fidel semantics for the first-order version of the logic of CG’3 are presented by means of adapting algebraic tools. (shrink)

The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...) the first place, we develop an algebraic study of the class of \-algebras; as consequence, we prove the class \-algebras is a semisimple variety and determine the generating algebras. After doing the algebraic study and using these properties, we built two families of sentential logics that we denote with \ and \ for every k. \ is a 1-assertional logic and \ is the degree-preserving logic both associated with the class of \-algebras. Working over these logics, we prove that \ is paraconsistent with respect to the de Morgan negation \, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that \ is algebraizable, sharing the same theorems with \, but not paraconsistent with respect to \. Furthermore, we show that \ and \ are paracomplete logics with respect to \ and \ and paraconsistent logics with respecto to \, for every k. (shrink)

In our paper, monadic modal pseudocomplemented De Morgan algebras are considered following Halmos’ studies on monadic Boolean algebras. Hence, their topological representation theory is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for monadic (...) De Morgan algebras. Finally, we show that the above results for mmpM are verified for monadic tetravalent modal algebras. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

The main thesis of this paper is that two prevailing theories about cognitive penetration are too extreme, namely, the view that cognitive penetration is pervasive and the view that there is a sharp and fundamental distinction between cognition and perception, which precludes any type of cognitive penetration. These opposite views have clear merits and empirical support. To eliminate this puzzling situation, we present an alternative theoretical approach that incorporates the merits of these views into a broader and more nuanced explanatory (...) framework. A key argument we present in favor of this framework concerns the evolution of intentionality and perceptual capacities. An implication of this argument is that cases of cognitive penetration must have evolved more recently and that this is compatible with the cognitive impenetrability of early perceptual stages of processing information. A theoretical approach that explains why this should be the case is the consciousness and attention dissociation framework. The paper discusses why concepts, particularly issues concerning concept acquisition, play an important role in the interaction between perception and cognition. (shrink)

In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...) :125–139, 2004) related to the characterization of a quantifier in terms of some special sub-algebra associated to it. On the other hand, we present a topological duality for this class of algebras and we apply it to characterize the congruences of one algebra via certain closed sets. Finally, we study the subvariety of this class generated by a chain of length n + 1. We prove that the subvariety is semisimple and we characterize their simple algebras. Using a special functional algebra, we determine all the simple finite algebras of this subvariety. (shrink)

Winner of the 2000-2002 outstanding publication award of the Section on Environment and Technology of the American Sociological Association.Risk as we now know ...

One of the world's most renowned theoretical physicists, Carlo Rovelli has entranced millions of readers with his singular perspective on the cosmos. In Helgoland, Rovelli examines the enduring enigma of quantum theory. The quantum world Rovelli describes is as beautiful as it is unnerving. Helgoland is a treeless island in the North Sea where the 21-year-old Werner Heisenberg first developed quantum theory, setting off a century of scientific revolution. Full of alarming ideas (ghost waves, distant objects that seem to (...) be magically connected, cats that appear both dead and alive), quantum physics has led to countless discoveries and technological advancements. Today our understanding of the world is based on this theory, yet it is still profoundly mysterious. As scientists and philosophers continue to fiercly debate the theory's meaning, Rovelli argues that its most unsettling contradictions can be explained by seeing the world as fundamentally made of relationships, not substances. We and everything around us exist only in our interactions with one another. This bold idea suggests new directions for understanding the structure of reality and even the nature of consciousness. Rovelli makes learning about quantum mechanics an almost psychedelic experience. Shifting our perspective once again, he takes us on a riveting journey through the universe so we can better understand our place in it. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

In this article, Carlos Pereda introduces the concept of “colonial reason” and explores how philosophical practices and modes of thought are entwined with colonial political structures of exploitation, exclusion, and oppression. Pereda argues that philosophy in Latin America risks perpetuating and reinforcing the colonial gesture, either by turning to the European centers of thought (thus pursuing debates that always take place elsewhere) or by isolating itself and idealising the “own.” According to Pereda, both approaches fail to dismantle colonial violence within (...) philosophy. In his alternative approach, Pereda outlines principles and methodological criteria for the decolonisation of reason and philosophy. He emphasises the importance of methodological prudence that discerns between innocent, paralysing, and strategic uses of identity expressions and advocates for modes of reading and argumentation that conceive philosophy as an inclusive and ongoing dialogue. In Pereda’s terminology, this entails fostering “permeable reason” that manifests itself through “nomadic thinking,” a form of thinking that is capable of questioning itself and being questioned. (shrink)

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in semantic (...) representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semantic. (shrink)

Minding Time: A Philosophical and Theoretical Approach to the Psychology of Time offers an innovative philosophical account of the most fundamental kinds of time representation.

Effective vaccines for COVID‐19 are already available to humankind. In Peru, 86 million doses were administered to cover the demand for 33 million Peruvian people. Hence, vaccination has been prioritized in groups: health personnel, subjects with pre‐existing health conditions and those over 65 years of age. However, given the social problems and the public health situation in Peru, this work defends that the priority of vaccination should be focused on the population living in extreme poverty. The method used was an (...) ethical argumentation on the distribution of scarce antiSARS‐CoV2 vaccine in Peru. This argument is based on the analysis of the Peruvian population living in extreme poverty, which presents different layers of vulnerability, and that, in the face of an eventual SARS‐CoV2 infection, these would be exacerbated one after the other, through a cascade effect. This scenario would give rise to new vulnerabilities to those already existing, causing greater damage. Vaccination efforts on this key population would give them the opportunity to continue to find ways to bring food to their homes, significantly reducing the risk of contagion in their environment and mitigating the devastating effect of the local diseases to which they are already exposed. Four objections related to this argument are raised with their corresponding responses. Priority access to the vaccine would significantly reduce the humanitarian harm to people living in extreme poverty, prevailing the principles of justice and equity. (shrink)

In this paper, the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N and O satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to analyze the class of mbC-structures. Thus, substructures, union (...) of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect products in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_n$$\end{document}-structures. (shrink)

La humanidad ya dispone de vacunas eficaces contra el COVID‐19. En Perú se administraron 86 millones de dosis para cubrir la demanda de 33 millones de peruanos. Para ello, se ha priorizado la vacunación en grupos clave: personal de salud, sujetos con condiciones de salud preexistentes y mayores de 65 años. Sin embargo, dada la problemática social y la situación de la salud pública en Perú, este trabajo defiende que la prioridad de la vacunación debe centrarse en la población que (...) vive en extrema pobreza. El método utilizado fue una argumentación ética sobre la distribución de la vacuna contra el COVID‐19 en Perú. Esta argumentación se basa en el análisis de la población peruana que vive en extrema pobreza, la cual presenta diferentes estratos de vulnerabilidad, y que, ante una eventual infección por SARS‐CoV‐2, se irían agravando uno tras otro, a través de un efecto en cascada. Este escenario daría lugar a nuevas vulnerabilidades de las ya existentes, causando mayores daños. Los esfuerzos de vacunación en esta población clave les brindaría oportunidad de seguir encontrando formas de llevar alimentos a sus hogares, reduciendo significativamente el riesgo de contagio en su entorno y mitigando el efecto devastador de las enfermedades locales a las que ya está expuesta. Se plantean cuatro objeciones relacionadas con este argumento, con sus correspondientes respuestas. El acceso prioritario a la vacuna reduciría significativamente el daño a las personas que viven en la extrema pobreza, haciendo prevalecer los principios de justicia y equidad. (shrink)

- la prima parte dà una presentazione sommaria dei principali paradigmi di filosofia del linguaggio, mostrando alcune connessioni tra i principali autori di riferimento. Dovrebbe contenere il minimo indispensabile per avere una panoramica delle tematiche della filosofia del linguaggio e addentrarsi negli argomenti in modo più approfondito. La conoscenza dei contenuti di questa parte è un prerequisito per l’esame.

Many of the computing systems programmed using Machine Learning are opaque: it is difficult to know why they do what they do or how they work. Explainable Artificial Intelligence aims to develop analytic techniques that render opaque computing systems transparent, but lacks a normative framework with which to evaluate these techniques’ explanatory successes. The aim of the present discussion is to develop such a framework, paying particular attention to different stakeholders’ distinct explanatory requirements. Building on an analysis of “opacity” from (...) philosophy of science, this framework is modeled after accounts of explanation in cognitive science. The framework distinguishes between the explanation-seeking questions that are likely to be asked by different stakeholders, and specifies the general ways in which these questions should be answered so as to allow these stakeholders to perform their roles in the Machine Learning ecosystem. By applying the normative framework to recently developed techniques such as input heatmapping, feature-detector visualization, and diagnostic classification, it is possible to determine whether and to what extent techniques from Explainable Artificial Intelligence can be used to render opaque computing systems transparent and, thus, whether they can be used to solve the Black Box Problem. (shrink)

Multialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced a semantics (...) of swap structures for LFIs, which are Nmatrices defined over triples in a Boolean algebra, generalizing Avron's semantics. In this paper we develop the first steps towards the possibility of defining an algebraic theory of swap structures for LFIs, by adapting concepts of universal algebra to multialgebras in a suitable way. (shrink)

onl y to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of mathematics.

It has been commonplace to equate Foucault’s 1979 series of lectures at the Collège de France with the claim that for neoliberalism, unlike for classical liberalism, the market needs to be artificially constructed. The article expands this claim to its full expression, taking it beyond what otherwise would be a simple divulgation of a basic neoliberal tenet. It zeroes in on Foucault’s own insight: that neoliberal constructivism is not directed at the market as such, but, in principle, at society, arguing (...) that the value of this insight goes beyond the critique of a neoliberal present. The neoliberal rationale rather helps him to reveal a unique historical architecture, a latent approach to the social dissimilar to the one that has long predominated in the human sciences. The inversion of homo œconomicus in neoliberal theory amounted to the unearthing of a ‘social subject of interest’ within civil society. Such a subject, barely recognized by neoliberals who simply instrumentalize it for the sake of the market, demonstrates that the social is not necessarily the natural product of ethical subjects; that society may also need to be constructed. (shrink)

The received view of dynamical explanation is that dynamical cognitive science seeks to provide covering law explanations of cognitive phenomena. By analyzing three prominent examples of dynamicist research, I show that the received view is misleading: some dynamical explanations are mechanistic explanations, and in this way resemble computational and connectionist explanations. Interestingly, these dynamical explanations invoke the mathematical framework of dynamical systems theory to describe mechanisms far more complex and distributed than the ones typically considered by philosophers. Therefore, contemporary dynamicist (...) research reveals the need for a more sophisticated account of mechanistic explanation. (shrink)

In 2016, Béziau introduced the notion of genuine paraconsistent logic as logic that does not verify the principle of non-contradiction; as an important example, he presented the genuine paraconsist...

Is it possible to know anything about life we have not yet encountered? We know of only one example of life: our own. Given this, many scientists are inclined to doubt that any principles of Earth’s biology will generalize to other worlds in which life might exist. Let’s call this the “N = 1 problem.” By comparison, we expect the principles of geometry, mechanics, and chemistry would generalize. Interestingly, each of these has predictable consequences when applied to biology. The surface-to-volume (...) property of geometry, for example, limits the size of unassisted cells in a given medium. This effect is real, precise, universal, and predictive. Furthermore, there are basic problems all life must solve if it is to persist, such as resistance to radiation, faithful inheritance, and energy regulation. If these universal problems have a limited set of possible solutions, some common outcomes must consistently emerge. In this chapter, I discuss the N = 1 problem, its implications, and my response (Mariscal 2014). I hold that our current knowledge of biology can justify believing certain generalizations as holding for life anywhere. Life on Earth may be our only example of life, but this is only a reason to be cautious in our approach to life in the universe, not a reason to give up altogether. In my account, a candidate biological generalization is assessed by the assumptions it makes. A claim is accepted only if its justification includes principles of evolution, but no contingent facts of life on Earth. (shrink)

Models developed using machine learning are increasingly prevalent in scientific research. At the same time, these models are notoriously opaque. Explainable AI aims to mitigate the impact of opacity by rendering opaque models transparent. More than being just the solution to a problem, however, Explainable AI can also play an invaluable role in scientific exploration. This paper describes how post-hoc analytic techniques from Explainable AI can be used to refine target phenomena in medical science, to identify starting points for future (...) investigations of causal relationships, and to generate possible explanations of target phenomena in cognitive science. In this way, this paper describes how Explainable AI—over and above machine learning itself—contributes to the efficiency and scope of data-driven scientific research. (shrink)

Pensar el problema general de la continuidad de las propuestas pedagógicas en el campo de las prácticas docentes durante el contexto de emergencia sanitaria (Covid-19), y el problema específico de las herramientas pedagógico-didácticas necesarias para poder acompañar y garantizar efectivamente la formación de los estudiantes, exige una mirada transdisciplinaria, respetuosa, dinámica e integradora de los cambios, avances y retrocesos sucedidos en el campo educativo en nuestro país. En Argentina, hemos asistido a un escenario inédito en el que se ha puesto (...) en evidencia no solo la complejidad de la realidad educativa, sino también la necesidad de construir marcos de acción colectivos que permitan repensar las estrategias y los modos de enseñanza. (shrink)

En la presentación de Aristóteles, Gorgias parece ser sólo un retórico incapaz de expresar cualquier propuesta filosóficamente interesante. La razón de esto es que, en la opinión de Aristóteles, una manera clara y precisa de hablar es una cualidad necesaria de todo filósofo, y Gorgias prefiere un estilo de discurso complejo y obscuro. Desde el punto de vista de la evolución de la retórica, Aristóteles cree que Gorgias tiene una desventaja, pues él apela a las emociones y a las pasiones, (...) y no al logos. (shrink)

In a context of pervasive digitalization of the social world, both before and during the COVID-19 pandemic, the field of education has undergone major changes with the development of digital practices and settings. However, the physical presence of the subjects and the body remain something primordial and irreplaceable in traditional educational processes. Thus, it is often assumed that virtuality is opposed to the corporeal reality of the subjects involved in teaching, learning and studying. In this paper we aim to critically (...) challenge this assumption by addressing the phenomenon of virtuality in a more original sense: as a fundamental dimension of corporeality itself. Drawing on Merleau-Ponty’s phenomenological insights, we argue that the experience of the virtual is inherently embodied and fully real. We understand corporeality and virtuality as entangled and multidimensional phenomena. At the same time, this leads us to rethink the digital as only one possible medium in which virtuality can appear as inherent to embodied experience. We develop our phenomenological approach in three instances. First, we question and bracket two common assumptions about corporeality. From our critical perspective, assumptions about a disembodied digitality and a devirtualized corporeality represent extremes within which educational discourses currently move. Second, we address the inherent virtuality of embodied experience. We outline the heuristic concept of the virtual body to describe corporeality and virtuality as entangled and multidimensional phenomena that encompass extension, intercorporeality and intermediality. Finally, we make some remarks on the relationships of corporeality and virtuality considering the challenges of digital education. (shrink)