In this autobiographical article I develop some turning points in my training as an educator. The first refers to the influence and educational implications that the person of Paulo Freire and his thinking had on me, which still persists today. However, as a disciple I had to distance myself from him because his presence, although necessary, made it difficultfor me to think autonomously, which contradicted his teachings. The other turning pointwas when I learned about Reuven Feuerstein's educational formulation, which enriched (...) and complemented Freire's dialogic proposal. The last turning point, at least until now, tookplace when I learned about chaos theory, which shook me deeply and led me to reconsidermy entire conceptualization about education by understanding that educational processesare eminently chaotic and tend to self-organize in levels of increasing complexity. Thisradically differentiates them from schooling, which reduces them to orderly, linear sequences dependent on disciplinary contexts, which are expressed in orderly planning and evaluations where doubt and impression have no place. I develop the idea that thepropensity to learn flows thanks to chaotic conditions that favor bifurcations and emergencies that create new complexities, which corresponds to what educationalprocesses are, ranging from the creation of possible relationships, which, thanks to theantecedents collected by students, they can become probable relationships and that, if theadvancement of science and technology allows it, can be realized. (shrink)

Después de varios años e investigaciones sobre la educación y el nuevo paradigma científico hemos llegado a comprender que los gérmenes caóticos de la educación y la desescolarización están presentes en el día a día escolar, aunque ocultos, si no negados, por la cultura escolar. Debemos sacarlos a la luz y comprender su potencialidad e influencia educativa transformadora. Por muchos años buscábamos que la desescolarización de la escuela no implicara su eliminación, tal como lo propuso Illich ..

Fruto de mis experiencias de trabajo, estas páginas presentan algunos de los problemas que encierra el uso de materiales jurídicos del siglo XIX, convertidos en fuentes documentales para el conocimiento del derecho liberal. La necesidad de utilizar un nuevo lenguaje para nombrar históricos cambios institucionales, la explosión de la prensa periódica en paralelo a nuevas ideas sobre la vigencia temporal de la norma, la pervivencia de formas orales de expresión jurídica sin perjuicio, falsa paradoja, del auge de la imprenta... presentan (...) varias dificultades al investigador, como las derivadas del empleo de las revistas y las obras de producción seriada, sin olvidar las incertidumbres que reodearon el tenor de los textos legales, y aun constitucionales. (shrink)

This article sets out a global analysis of the weaknesses, threats, strengths and opportunities that define the current situation of nursing in Europe. The nursing profession in Europe is suffering from a crisis of self‐efficacy with the syndrome of burnout being one of its consequences. Other weaknesses include shortage of staff, job insecurity, devalued nursing image in society and the lack of recognition of emotional and psychological dimensions of care. The threats to this profession are linked to the lack of (...) prestige and social recognition and to the current economic crisis in Europe. The European economic crisis favours staff shortages and increased European migration flow. The strength of the group lies in the art of caring, which is its defining feature. Primary Care Nursing and Hospital Liaison Nursing demonstrate the great professional adaptability in meeting the needs of the ever‐changing society. The European Higher Education Area and the strengthening of the specialties provide opportunities for the nursing profession. Both represent an important progress towards solid professionalism that will give nursing greater visibility. Moreover, nursing must implement strategies to disseminate its activity and emerge from anonymity. Nursing must show society the image it wants to project. (shrink)

Aberrations introduced by the atmospheric turbulence in large telescopes are compensated using adaptive optics systems, where the use of deformable mirrors and multiple sensors relies on complex control systems. Recently, the development of larger scales of telescopes as the E-ELT or TMT has created a computational challenge due to the increasing complexity of the new adaptive optics systems. The Complex Atmospheric Reconstructor based on Machine Learning is an algorithm based on artificial neural networks, designed to compensate the atmospheric turbulence. During (...) recent years, the use of GPUs has been proved to be a great solution to speed up the learning process of neural networks, and different frameworks have been created to ease their development. The implementation of CARMEN in different Multi-GPU frameworks is presented in this paper, along with its development in a language originally developed for GPU, like CUDA. This implementation offers the best response for all the presented cases, although its advantage of using more than one GPU occurs only in large networks. (shrink)

Diferenciamos escuela y procesos escolares de educación y procesos educativos. Esto nos permite entender sus características, fortalezas y limitaciones. Argumentamos que el fracaso escolar en gran parte se debe al desconocimiento de que los procesos educativos tienden a fluir autoorganizándose de manera cada vez más simple y, paradojalmente, más compleja, a diferencia de los procesos escolares que se entrampan en superficialidades y complicaciones perturbando a la enseñanza e inhibiendo el aprendizaje.

En el presente trabajo se hace una exposición del papel que juega, dentro de la propuesta de análisis de la sociedad que hace el filósofo Herbert Marcuse, la idea de represión sobrante o sobre represión en las sociedades contemporáneas. Para esta exposición se tomarán como referencias básicas los análisis aportados por dos obras del autor: Eros y Civilización y Un Ensayo Sobre la Liberación. Aunque estas serán las obras base en las que se rastrearán los argumentos que aporta el autor (...) frente al tema, en algunos momentos se acudirá a otros textos de Marcuse en los que se confirman sus planteamientos y se tomarán algunos análisis realizados por estudiosos de su pensamiento. (shrink)

El artículo analiza la propensión a aprender en los niños y niñas relacionándola con los procesos educativos y escolares, para lo cual se establece una clara distinción entre educación, entendida como un proceso de creación de relaciones posibles, y la escolarización, concebida como un proceso de repetición de relaciones pre-establecidas.

Present research proposes the application of unsupervised and supervised machine-learning techniques to characterize Android malware families. More precisely, a novel unsupervised neural-projection method for dimensionality-reduction, namely, Beta Hebbian Learning, is applied to visually analyze such malware. Additionally, well-known supervised Decision Trees are also applied for the first time in order to improve characterization of such families and compare the original features that are identified as the most important ones. The proposed techniques are validated when facing real-life Android malware data by (...) means of the well-known and publicly available Malgenome dataset. Obtained results support the proposed approach, confirming the validity of BHL and DTs to gain deep knowledge on Android malware. (shrink)

The Internet of Things (IoT) is a fast-growing technology that connects everyday devices to the Internet, enabling wireless, low-consumption and low-cost communication and data exchange. IoT has revolutionized the way devices interact with each other and the internet. The more devices become connected, the greater the risk of security breaches. There is currently a need for new approaches to algorithms that can detect malware regardless of the size of the network and that can adapt to dynamic changes in the network. (...) Through the use of a multi-agent reinforcement learning algorithm, this paper proposes a novel algorithm for malware detection in IoT devices. The proposed algorithm is not strongly dependent on the size of the IoT network due to the that its training is adapted using time differences if the IoT network size is small or Monte Carlo otherwise. To validate the proposed algorithm in an environment as close to reality as possible, we proposed a scenario based on a real IoT network, where we tested different malware propagation models. Different simulations varying the number of agents and nodes in the IoT network have been developed. The result of these simulations proves the efficiency and adaptability of the proposed algorithm in detecting malware, regardless of the malware propagation model. (shrink)

Enrico Berti has had a profound influence on the birth and development of Italian studies in ancient philosophy. His sizable work has shaped a great part of Italian studies on Aristotle and other ancient philosophers. To celebrate him and express their gratitude for his work, some of his disciples, under the impulse of the late Franco Volpi, have brought together a volume in his honour, requesting the participation of some foreign scholars particularly close to him. The volume comprises essays by (...) Pierre Aubenque, Jonathan Barnes, Terence H. Irwin, Tomás Calvo-Martínez, Jaap Mansfeld, Pierre Pellegrin, Gerhard Seel and Alejandro G. Vigo. The main themes are Aristotle's metaphysics and practical philosophy. A Selected Bibliography by E. Berti himself completes the volume."--Publisher's website. (shrink)

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)

According to the Principle of Alternative Possibilities, an agent is morally responsible for an action of hers only if she could have done otherwise. The notion of a robust alternative plays a prominent role in recent attacks on PAP based on so-called Frankfurt cases. In this paper I defend the truth of PAP for blameworthy actions against Frankfurt cases recently proposed by Derk Pereboom and David Widerker. My defence rests on some intuitively plausible principles that yield a new understanding of (...) the concept of a robust alternative. I will leave aside whether PAP also holds for praiseworthy actions -/- Según el Principio de Posibilidades Alternativas, un agente es moralmente responsable de una acción sólo si hubiera podido actuar de otro modo. La noción de alternativa robusta desempeña un papel prominente en ataques recientes al PPA basados en los llamados casos Frankfurt. En este artículo defiendo el PPA para la culpabilidad moral frente a casos Frankfurt propuestos recientemente por Derk Pereboom y David Widerker. Mi defensa descansa en algunos principios intuitivamente plausibles que dan lugar a una comprensión nueva del concepto de alternativa robusta. No trataré la cuestión de la verdad del PPA para acciones moralmente laudables. (shrink)

El artículo ofrece una interpretación de la controversial y aparentemente inaceptable caracterización de la poesía desarrollada por Platón en la República. Los objetivos principales de la discusión son: aclarar las motivaciones de dicha caracterización, desentrañar los múltiples y discontinuos argumentos que la componen, y evaluar críticamente sus aciertos y sus límites. Se concluye que no todas las posturas que adopta Platón frente a la poesía son insostenibles, y que cuando sí lo son las razones para ello resultan particularmente esclarecedoras. The (...) article offers an interpretation of the controversial and apparently unacceptable characterization of poetry developed in Plato's Republic. The main objectives of the discussion are: to clarify the motivations for such characterization, to disentangle the various and discontinuous arguments that compose it, and to critically evaluate its limitations and the extent of its defensibility. It is concluded that not all the positions adopted by Plato with respect to poetry are unsustainable, and that when they are, this is due to reasons which result particularly revealing. (shrink)

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (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)

One can intend the actions of others, even when one believes such actions are not under one’s control. Call the objects of intentions “ends”; the ends that consist of other people’s actions “social”; and the ends that consist of things one believes one cannot control “recalcitrant”. The thesis, then, is that one can intend recalcitrant social ends. I present a positive argument in favor of this idea, and then argue against some purported conditions on the possible content of intentions that (...) would rule out the possibility of intending such ends. The positive argument is the following: intentions are realized by a certain cluster of dispositions. One can come to be so disposed towards recalcitrant social ends. So one can come to be disposed toward such ends in the manner that realizes an intention. So one can intend recalcitrant social ends. The conditions against which I argue are known in the literature as the Own Action Condition, the Control Condition, and the Settle Condition. I present cases where, intuitively, agents genuinely intend ends that would be ruled out by these conditions. (shrink)

The very idea of novel ecosystems has been controversial in ecology. Critics have complained about its imprecision, and that it illicitly smuggles problematic ethical and political values into the science. By labelling a human-modified system a ‘novel ecosystem,‘ they worry, we give policymakers a “license to trash nature.“ The critics are right to be suspicious. I show that proponents of the novel ecosystem concept have been unable to make it both value-free and precise enough to allow for applied use.Also, the (...) critics are right to be suspicious, because a goal for many proponents of novel ecosystems is to bring new values into applied ecology. But the critics are wrong that this is illicit. I defend a value-laden conception of novel ecosystems, showing that applied ecologists are comfortable with other value-laden concepts, and that the value shift motivating discussion of novel ecosystems is necessary if we want to understand and protect nature in a changing world. (shrink)

The present text surveys and reevaluates the meaning and scope of Ortega y Gasset’s philosophy. The chapters reveal the most important aspects of his history such as the Neokantian training he went thru in Germany as well as his discovery of Husserl’s phenomenology around 1912. The work also covers his original contributions to philosophy namely vital and historical reason - and the cultural and educational mission he proposed to achieve. The Spanish – and to a certain extent the European – (...) circumstance was the milieu from which his work emerged but this does not limit Ortega’s scope. Rather, he believed that universal truths can only emerge from the particulars in which they are embedded. The publication in 2010 of a critical edition of his Complete Works opened worldwide access for many unpublished manuscripts, and some of his lectures. There is renewed interest among students and researchers in Ortega and this book uniquely delivers scholarship on his content in English. (shrink)

The connection between quantum physics and the mind has been debated for almost a hundred years. There are several proposals as to how quantum effects might be relevant to understanding consciousness, including von Neumann’s Consciousness Causes Collapse interpretation (CCC), Penrose’s Orchestrated objective reduction (Orch OR), Atmanspacher quantum emergence theory, or Vitiello’s field theory. In this paper, we examine the CCC, in particular Stapp’s theory of interaction of mind and matter, and discuss how this imposes constraints to possible brain structures. We (...) then argue that those constraints may allow us to identify a possible locus of the interaction between mind and matter, if CCC is true. (shrink)

Many pagan, Jewish, Christian and Muslim philosophers from Antiquity to the Enlightenment made no meaningful distinction between philosophy and religion. Instead they advocated a philosophical religion, arguing that God is Reason and that the historical forms of a religious tradition serve as philosophy's handmaid to promote the life of reason among non-philosophers. Carlos Fraenkel provides the first account of this concept and traces its history back to Plato. He shows how Jews and Christians appropriated it in Antiquity, follows it (...) through the Middle Ages in both Islamic and Jewish forms and argues that it underlies Spinoza's interpretation of Christianity. The main challenge to a philosophical religion comes from the modern view that all human beings are equally able to order their lives rationally and hence need no guidance from religion. Fraenkel's wide-ranging book will appeal to anyone interested in how philosophy has interacted with Jewish, Christian, and Muslim religious traditions. (shrink)

Many experts have warned that environmental degradation is increasing the likelihood of future pandemics like COVID-19, as habitat loss and poaching increase close contact between wildlife and people. This fact has been framed as a reason to increase wildlife conservation efforts. We have many good reasons to step up conservation efforts, but arguments for doing so on the basis of pandemic prevention are rhetorically, ethically, and empricially flawed.

Our understanding of the universe has grown rapidly in recent decades. We’ve discovered evidence of water in nearby planets, discovered planets outside our solar system, mapped the genomes of thousands of organisms, and probed the very origins and limits of life. The scientific perspective of life-as-it-could-be has expanded in part by research in astrobiology, synthetic biology, and artificial life. In the face of such scientific developments, we argue there is an ever-growing need for universal biology, life-as-it-must-be, the multidisciplinary study of (...) non-contingent aspects of life as guided by biological theory and constrained by the universe. We present three distinct but connected ways of universalizing biology—with respect to characterizing aspects of life everywhere, with respect to the explanatory scope of biological theory, and with respect to extending biological insights to the structure of nonbiological entities. For each of these, we sketch the theoretical goals and challenges, as well as give examples of current research that might be labeled universal biology. (shrink)

The title of this volume A Man of Many Interests: Plutarch on Religion, Myth, and Magic. Essays in honour of Aurelio Pérez Jiménez is first and foremost a coalescing homage to Plutarch and to Aurelio, and to the way they have been inspiring (as master and indirect disciple) a multitude of readers in their path to knowledge, here metonymically represented by the scholars who offer their tribute to them. The analysis developed throughout the several contributions favors a philological approach of (...) wide spectrum, i.e., stemming from literary and linguistic aspects, it projects them into their cultural, religious, philosophical, and historical framework. The works were organized into two broad sections, respectively devoted to the Lives and to the Moralia. Contributors are: Frances Titchener, Carlos Alcalde Martín, José Luis Calvo, Delfim Leão, Judith Mossman, Anastasios G. Nikolaidis, Christopher Pelling, Philip Stadter, Paola Volpe, Francesco Becchi, Israel Muñoz Gallarte, Lautaro Roig Lanzillotta, Geert Roskam, Vicente M. Ramón Palerm, Frederick Brenk, John Dillon, Franco Ferrari, Aristoula Georgiadou, Luc van der Stockt, Luisa Lesage Gárriga. (shrink)

Previous research has demonstrated that ratings of the perceived pleasantness and quality of odors can be modulated by auditory stimuli presented at around the same time. Here, we extend these results by assessing whether the hedonic congruence between odor and sound stimuli can modulate the perception of odor intensity, pleasantness, and quality in untrained participants. Unexpectedly, our results reveal that broadband white noise, which was rated as unpleasant in a follow-up experiment, actually had a more pronounced effect on participants’ odor (...) ratings than either the consonant or dissonant musical selections. In particular, participants rated the six smells used as being less pleasant and less sweet when they happened to be listening to white noise, as compared to any one of the other music conditions. What is more, these results also add evidence to support the existence of a close relationship between an odor’s hedonic character and the perception of odor quality. So, for example, independent of the sound condition, pleasant odors were rated as sweeter, less dry, and brighter than the unpleasant odors. These results are discussed in terms of their implications for the understanding of crossmodal correspondences between olfactory and auditory stimuli. (shrink)

This paper explores and expands upon Jorge Gracia's reasons for the apparent lack of Hispanics in US philosophy. The point is to explain the underrepresentation of Hispanics in philosophy, with a focus on a specific subgroup of Hispanics, namely, "homegrown" US Hispanics. This group wasentirely missing from the "established" ranks in Gracia's census. I propose a phenomenological explanation for this lack, rooted in my experience as ahomegrown US Hispanic. This experience gives rise to a sense of identity described as "post-immigrant." (...) Those of us in the American philosophical establishment who share this identity, or who feel its pull, desire but hesitate to fully and authentically engage philosophy and the philosophical life, where thisrequires an uncompromising insertion of our cultural and historical identity into what we write and teach. The reason for the absence of homegrown Hispanicphilosophers who are willing to engage issues related to their circumstance as Hispanics is what I call, "the post-immigrant fear.". (shrink)

Thought: A Journal of Philosophy, EarlyView.

IN THE DISCUSSION on education in the Republic, Socrates lays down the principles which those who speak about the gods must follow if they want to avoid the errors of traditional mythology. The first typos of this rational theology is this: "God is the cause, not of all things, but only of the good." For "God, being good, cannot be responsible for everything happening in our life, as is commonly believed, but only for a small part. For we have a (...) far smaller share of good than of evil, and while God must be held to be the sole cause of good, we must look for some other factors than God as cause of the evil." Rightly celebrated, this passage has set the agenda for ages of reflection in Western thought on the cause of evil. In contrast to traditional mythology where the gods are seen as the origin of both good and evil--as Homer says, "Zeus has two jars standing on the floor of his palace, full of fates, good in one and evil in the other"--the divinity is now freed of all responsibility for evil. God, who is entirely good, can only be the cause of well-being. If this answer sets God free of all responsibility for evil, it seems to be at the cost of limiting God's power: for God is no longer responsible for "most things in human life," since most of them are evil. What, then, may be the cause or causes of evil? Do bad things have a cause? Or do they just happen? Plato's formulation seems to suggest that he favours a dualistic solution to the problem of evil: God is the cause of all good, but for evil we have to find other causes. What could those causes be: matter, cosmic necessity, an evil soul? Various answers of this type were developed in later Platonism and in later mythological philosophies. Without denying that Plato often uses a dualistic discourse and uses elements of it in his cosmology, I do think that Plato had something different in mind. After all, he was not primarily interested in the problem of theodicy. For in this passage of the Republic, he is not concerned with the problem of evil in the universe as a whole, which is really the theodicy question, but with evil in "human life," that is, evil insofar as human beings experience it and suffer from it: the fact that we are not at all living well but are instead miserable and unhappy. (shrink)

Journal Name: Semiotica - Journal of the International Association for Semiotic Studies / Revue de l'Association Internationale de Sémiotique Volume: 2013 Issue: 195 Pages: 45-68.

The lack of conceptual analysis within cognitive science results in multiple models of the same phenomena. However, these models incorporate assumptions that contradict basic structural features of the domain they are describing. This is particularly true about the domain of mathematical cognition. In this paper we argue that foundational theoretic aspects of psychological models for language and arithmetic should be clarified before postulating such models. We propose a means to clarify these foundational concepts by analyzing the distinctions between metric and (...) linguistic compositionality, which we use to assess current models of mathematical cognition. Our proposal is consistent with the scientific methodology that determines that careful conceptual analysis should precede theoretical descriptions of data. 2012 APA, all rights reserved). (shrink)

One can intend the actions of others, even when one believes such actions are not under one’s control. Call the objects of intentions “ends”; the ends that consist (partly or wholly) of other people’s actions “social”; and the ends that consist of things one believes one cannot control “recalcitrant”. The thesis, then, is that one can intend recalcitrant social ends. I present a positive argument in favor of this idea, and then argue against some purported conditions on the possible content (...) of intentions that would rule out the possibility of intending such ends. The positive argument is the following: intentions are realized by a certain cluster of dispositions. One can come to be so disposed towards recalcitrant social ends. So one can come to be disposed toward such ends in the manner that realizes an intention. So one can intend recalcitrant social ends. The conditions against which I argue are known in the literature as the Own Action Condition, the Control Condition, and the Settle Condition. I present cases where, intuitively, agents genuinely intend ends that would be ruled out by these conditions. (shrink)

Ensayo introductorio para mi traducción del influyente artículo "Essence and Modality" de Kit Fine.

Essays on key moments in the intellectual history of the West This book forms a major contribution to the discussion on fate, providence and moral responsibility in Antiquity, the Middle Ages and Early Modern times. Through 37 original papers, renowned scholars from many different countries, as well as a number of young and promising researchers, write the history of the philosophical problems of freedom and determinism since its origins in pre-socratic philosophy up to the seventeenth century. The main focus points (...) are classic Antiquity (Plato and Aristotle), the Neoplatonic synthesis of late Antiquity (Plotinus, Proclus, Simplicius), and thirteenth-century scholasticism (Thomas Aquinas, Henry of Ghent). They do not only represent key moments in the intellectual history of the West, but are also the central figures and periods to which Carlos Steel, the dedicatary of this volume, has devoted his philosophical career. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Algunas experiencias del siglo XX -Auschwitz, el Gulag, Hiroshima- han vuelto a herir la conciencia ilustrada y replanteado el problema del mal en nuestra cultura. Más que una indagación metafísica sobre la naturaleza del mal, el artículo aboga por un análisis de cómo llegamos a elaborar su experiencia, un proceso que aquí prefiere concebirse como una indagación en torno al daño. Se analizan las estructuras conceptuales, modales y temporales de esa experiencia y, en la segunda parte, se propone la idea (...) de que la elaboración pública del daño es una clave para comprender la dimensión normativa del espacio público. (shrink)