Este artículo examina, de manera breve y panorámica, algunas contribuciones desarrolladas por el grupo de pensadores bolivianos y mexicanos Comuna dentro de la concepción de revolución del marxismo inicial de los pensadores Karl Marx y Federico Engels. Entre las contribuciones que se destacan se cuenta la producción de un marxismo situado que permite ver algunas complejidades no tomadas en cuenta por lo que Perry Anderson (2005) ha llamado “marxismo occidental”. Estos autores se sitúan desde el comunismo como identidad política de (...) una memoria espectral y desde allí desplazan la noción de una clase preexistente que contenga en sí las condiciones de emancipación universal. Estos autores señalan que el sujeto de la transformación social se construye en las condiciones de la lucha social y la lucha política frente a sus adversarios de clases en la disputa por el sentido común desde el Estado y más allá de este y el capital. Con ello estos autores generan una ruptura respecto del enlace entre sujeto universal y revolución desarrollado por Marx en el siglo XIX. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

Because a large number of molecular mechanisms involved in gene regulation have been described during the last decades, it is now becoming possible to address questions about the global structure of gene regulatory networks, at least in the case of some of the best-characterized organisms.This paper presents a global characterization of the transcriptional regulation in Escherichiacoli on the basis of the current data. The connectivity of the corresponding network was evaluated by analyzing the distribution of the number of genes regulated (...) by a given regulatory protein, and the distribution of the number of regulatory genes regulating a given regulated gene. The mean connectivity found (between 2 and 3) shows a rather loosely interconnected structure. Special emphasis is given to circular sequences of interactions (“circuits”) because of their critical dynamical properties. Only one-element circuits were found, in which negative autoregulation is the dominant architecture. These global properties are discussed in light of several pertinent theoretical approaches, as well as in terms of physiological and evolutionary considerations. BioEssays 20:433–440, 1998. © 1998 John Wiley & Sons Inc. (shrink)

Because a large number of molecular mechanisms involved in gene regulation have been described during the last decades, it is now becoming possible to address questions about the global structure of gene regulatory networks, at least in the case of some of the best-characterized organisms.This paper presents a global characterization of the transcriptional regulation in Escherichiacoli on the basis of the current data. The connectivity of the corresponding network was evaluated by analyzing the distribution of the number of genes regulated (...) by a given regulatory protein, and the distribution of the number of regulatory genes regulating a given regulated gene. The mean connectivity found (between 2 and 3) shows a rather loosely interconnected structure. Special emphasis is given to circular sequences of interactions (“circuits”) because of their critical dynamical properties. Only one-element circuits were found, in which negative autoregulation is the dominant architecture. These global properties are discussed in light of several pertinent theoretical approaches, as well as in terms of physiological and evolutionary considerations. BioEssays 20:433–440, 1998. © 1998 John Wiley & Sons Inc. (shrink)

In this paper, we review three influential theories of imagination in order to understand how the dynamics of imagination acts could be modeled using formal languages. While reviewing them, we notice that they are not detailed enough to account for all the mechanisms involved in creating and developing imaginary worlds. We claim those theories could be further refined into what we call the Common Frame for Imagination Acts, which defines a framework that can be used to study the dynamics of (...) imagination using formal languages, and we support our claim by showing how the framework allows to model certain imagination acts step by step. Then, we introduce the Rhombus of Imagination, which is a visual tool that can be used in conjunction with our framework to study the procedural structure of different kinds of imagination acts and identify their dynamic properties. (shrink)

Because a large number of molecular mechanisms involved in gene regulation have been described during the last decades, it is now becoming possible to address questions about the global structure of gene regulatory networks, at least in the case of some of the best-characterized organisms.This paper presents a global characterization of the transcriptional regulation in Escherichiacoli on the basis of the current data. The connectivity of the corresponding network was evaluated by analyzing the distribution of the number of genes regulated (...) by a given regulatory protein, and the distribution of the number of regulatory genes regulating a given regulated gene. The mean connectivity found (between 2 and 3) shows a rather loosely interconnected structure. Special emphasis is given to circular sequences of interactions (“circuits”) because of their critical dynamical properties. Only one-element circuits were found, in which negative autoregulation is the dominant architecture. These global properties are discussed in light of several pertinent theoretical approaches, as well as in terms of physiological and evolutionary considerations. BioEssays 20:433–440, 1998. © 1998 John Wiley & Sons Inc. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

Imagining is something we use everyday in our lives and in a wide variety of ways. In spite of the amount of works devoted to its study from both psychology and philosophy, there are only a few formal systems capable of modelling it; besides, almost all of those systems are static, in the sense that their models are initially predefined, and they fail to capture the dynamic process behind the creation of new imaginary scenarios. In this work, we review some (...) influential theories of imagination and use their insights to distil an algorithm describing such process. Then, we use this algorithm to define a dynamic logical system built upon on a single-agent epistemic logic that provides the necessary tools to capture how the agent voluntarily creates new imaginary worlds; in other words, our system allows the model to be expanded dynamically at any time as a result of the agent performing an act of imagination. Furthermore, we provide an axiomatization and prove that the system is sound and complete. (shrink)

Ansel Adams, Robert Adams, Carlos Almaraz, Robert Arneson, John Baldessari, Lewis Baltz, Robert Bechtle, Jeff Brouws, Laurie Brown, Angela Buenning, Darlene Campbell, Mark Campbell, Gary Carlos, Fandra Chang, Stephane Couturier, Robert Dawson, Joe Deal, Richard Diebenkorn, John Divola, Beth Yarnelle Edwards, Kota Ezawa, William A. Garnett, Jeff Gillette, Joe Goode, Todd Hido, David Hockney, Salomon Huerta, Robert Isaacs, Thomas Lawson, Jean Lowe, Alex MacLean, Richard Meisinger, Jr., Richard Misrach, Rick Monzon, Barrie Mottishaw, Martin Mull, Deborah Oropallo, Bill Owens, Rondal (...) Partridge, John Register, Ed Ruscha, Peter Saul, Mary Snowden, Joel Sternfeld, Larry Sultan, Rudy Vanderlans, Camilo Jose Vergara, Henry Wessel, Amir Zaki. (shrink)

We present a longitudinal computational study on the connection between emotional and amodal word representations from a developmental perspective. In this study, children's and adult word representations were generated using the latent semantic analysis (LSA) vector space model and Word Maturity methodology. Some children's word representations were used to set a mapping function between amodal and emotional word representations with a neural network model using ratings from 9‐year‐old children. The neural network was trained and validated in the child semantic space. (...) Then, the resulting neural network was tested with adult word representations using ratings from an adult data set. Samples of 1210 and 5315 words were used in the child and the adult semantic spaces, respectively. Results suggested that the emotional valence of words can be predicted from amodal vector representations even at the child stage, and accurate emotional propagation was found in the adult word vector representations. In this way, different propagative processes were observed in the adult semantic space. These findings highlight a potential mechanism for early verbal emotional anchoring. Moreover, different multiple linear regression and mixed‐effect models revealed moderation effects for the performance of the longitudinal computational model. First, words with early maturation and subsequent semantic definition promoted emotional propagation. Second, an interaction effect between age of acquisition and abstractness was found to explain model performance. The theoretical and methodological implications are discussed. (shrink)

In this study, we analyzed the relationship between the amodal (semantic) development of words and two popular emotional norms (emotional valence and arousal) in English and Spanish languages. To do so, we combined the strengths of semantics from vector space models (vector length, semantic diversity, and word maturity measures), and feature-based models of emotions. First, we generated a common vector space representing the meaning of words at different developmental stages (five and four developmental stages for English and Spanish, respectively) using (...) the Word Maturity methodology to align different vector spaces. Second, we analyzed the amodal development of words through mixed-effects models with crossed random effects for words and variables using a continuous time metric. Third, the emotional norms were included as covariates in the statistical models. We evaluated more than 23,000 words, whose emotional norms were available for more than 10,000 words, in each language separately. Results showed a curve of amodal development with an increasing linear effect and a small quadratic deceleration. A relevant influence on the amodal development of words was found only for emotional valence (not for arousal), suggesting that positive words have an earlier amodal development and a less pronounced semantic change across early lifespan. (shrink)

This collection addresses a post-WWII shift in the hierarchy of scientific explanations, where the highest goal moves from reductionism towards some ...

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

For the theorists of crisis, the revolutionary state comes into existence through violence, and due to its inability to provide an authoritative katechon (restrainer) against internal and external violence, it perpetuates violence until it self-destructs. Writing during extreme economic depression and growing social and political violence, the crisis theorists––Joseph de Maistre, Juan Donoso Cortés, and Carl Schmitt––each sought to blame the chaos of their time upon the Janus-faced postrevolutionary ideals of liberalism and socialism by urging a return to pre-revolutionary moral (...) and religious values. They are united by three counterrevolutionary principles, all of which are purported to remedy revolutionary violence: traditional constitutional fidelity, the philosophy of the decision, and opposition to bourgeois liberalism. This essay is followed by the first complete English translation and publication of Donoso’s letter of October 24, 1851, which contains Donoso’s only reference to the “discussing class,” a political entity later popularized by Schmitt in his 1922 work Political Theology. (shrink)

The mediate aim of this essay is to make good two related claims: that phenomenology in Husserl’s sense is adequate to the task of describing the most concrete structures of subjectivity; and that the universal may be apprehended directly through the concrete.

In much of the current academic and public discussion, conspiracy theories are portrayed as a negative phenomenon, linked to misinformation, mistrust in experts and institutions, and political propaganda. Rather surprisingly, however, philosophers working on this topic have been reluctant to incorporate a negatively evaluative aspect when either analyzing or engineering the concept conspiracy theory. In this paper, we present empirical data on the nature of the concept conspiracy theory from five studies designed to test the existence, prevalence and exact form (...) of an evaluative dimension to the ordinary concept conspiracy theory. These results reveal that, while there is a descriptive concept of conspiracy theory, the predominant use of conspiracy theory is deeply evaluative, encoding information about epistemic deficiency and often also derogatory and disparaging information. On the basis of these results, we present a new strategy for engineering conspiracy theory to promote theoretical investigations and institutional discussions of this phenomenon. We argue for engineering conspiracy theory to encode an epistemic evaluation, and to introduce a descriptive expression—such as ‘conspiratorial explanation’—to refer to the purely descriptive concept conspiracy theory. (shrink)

Más de la mitad de la fuerza laboral mexicana se encuentra en la informalidad. Sin embargo, existe un elevado número de transiciones del empleo informal al empleo formal en el corto plazo, lo que se ha interpretado como evidencia de que la informalidad es una decisión óptima para incrementar el bienestar. El objetivo de este trabajo es analizar las condiciones de ingreso y estabilidad laboral de los empleados que se insertan a la formalidad, después de iniciar su trayectoria laboral en (...) la informalidad. Se utiliza el Módulo de Trayectorias Laborales (MOTRAL) 2015, encuesta con representatividad nacional de las zonas urbanas mexicanas. Para ello se comparan las condiciones de ingreso y la estabilidad laboral en 2010 entre los trabajadores formales utilizando dos grupos: quienes tuvieron su primer empleo en la informalidad y quienes tuvieron su primer empleo en la formalidad. Se construyen matrices de transición entre el primer empleo, el empleo en 2010, y en 2015 para corroborar la alta movilidad encontrada por la literatura previa; posteriormente se analizan con modelos multivariados las condiciones de ingreso y la estabilidad laboral. Los resultados indican que una proporción significativa de quienes se iniciaron en la informalidad acceden posteriormente a empleos formales. Sin embargo, se encuentra que el acceso al empleo formal desde la informalidad ocurre en condiciones de desventajas en ingresos y contratación de largo plazo, sin que las desventajas desaparezcan posteriormente, por lo que el inicio de la vida laboral en la informalidad está asociado a desventajas permanentes en el mercado de trabajo. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

La filosofía posee un potencial terapéutico presente desde sus inicios griegos. De entre todas las escuelas helenísticas, podemos afirmar que la que más se preocupó por el malestar humano fue la estoica. El presente artículo analiza la gestión estoica del duelo presente en las Consolaciones de Séneca, exponiendo la operatividad terapéutica de su modelo, en tanto que metodología explicativo-experiencial de fines eudaimónicos o sapienciales.

Back cover: Clemente de Alejandría es unos de los intelectuales más significativos de los primeros siglos de la cristiandad. Su legado es un claro ejemplo de un verdadero y auténtico diálogo intercultural entre el cristianismo naciente y la herencia clásica disponible de su momento. Este filósofo alejandrino se dio a la tarea de leer los textos judeocristianos y los de los autores clásicos por igual. A lo largo de gran parte de su obra hay una búsqueda incesante de las huellas (...) de un único logos que se ha revelado en los diferentes horizontes culturales de la humanidad. De esta manera, sin importar el lugar de procedencia de dicha revelación, Clemente emprende un esfuerzo exegético de textos cristianos y clásicos con el firme propósito de rastrear, recuperar y compartir ese logos con los demás. El presente volumen es resultado de esa interculturalidad subyacente a la obra del alejandrino. A través del estudio exegético y filológico de las citas que utiliza Clemente del Pentateuco en sus escritos, se puede apreciar ese diálogo creativo entre la cultura cristiana y clásica. El uso de la Septuaginta (la traducción griega del Antiguo Testamento) le ofrece al alejandrino ese puente, puesto que le permite leer la "historia sagrada" en clave helenística. Por consiguiente, Clemente no muestra inconveniente en prolongar la tarea realizada por el judeohelenismo y hacer parte de la tradición cristiana la herencia grecorromana de su época. Así pues, es capaz de unir y definir figuras bíblicas del Antiguo Testamento con personajes y acciones del ambiente cultural helenizado: Abraham es un "astrónomo" que usa el saber encíclico, Jacob es puesto en paralelo con Odiseo, Moisés es comparado con los legisladores que dieron origen a las ciudades griegas. De esta forma, termina integrando tres horizontes culturales: el judío, el helenístico y el cristiano. Finalmente, la tarea de Clemente es una muestra de ese intenso diálogo intercultural que debería existir hoy en día en el ámbito religioso. (shrink)

Bioethics has paid surprisingly little attention to the special problems faced by women and to feminist analyses of current health care issues other than ...

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)