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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

Este libro es un compendio de diversos artículos del ámbito de la Lógica que cubren un amplio abanico de temas ofreciendo una panorámica sobre esta disciplina. Encontraremos artículos sobre aspectos históricos y sobe el desarrollo de la lógica en la filosofía, la informática y las matemáticas actuales; otros sobre cuestiones de metalógica, y otros sobre diferentes tipos de lógicas: intuicionista, híbridas e intensionales, y sus lenguajes, semánticas y aplicaciones. El resultado en su conjunto es, además, una reflexión sobre el papel (...) de la Lógica en el pasado, presente y futuro de la ciencia y el pensamiento. Pero este libro quiere ser, sobre todo, un homenaje a una de las lógicas más reconocidas de España, María Manzano, que con su actividad académica ha contribuido de forma fundamental al desarrollo del área de Lógica y Filosofía de la Ciencia en España, a la vez que es apreciada en la gran comunidad internacional de lógicos. Con la excusa de su jubilación como catedrática de la Universidad de Salamanca, veintitrés autores que han compartido con ella aventuras en el mundo de la Lógica se han reunido para contarle (y contarnos) algunas de esas apasionantes aventuras. (shrink)

Over the turn of the 21st century, the use of data from large electronic corpora has changed research on Spanish historical syntax, spurring interest in long-range evolutions and the shape of the correspondent diachronic curves. However, general reflections on diffusion and the factors that drive and influence it are still pretty much lacking. In this paper, I reflect on the research possibilities laid open by the availability of such large masses of data, focusing particularly on new knowledge on syntactic change (...) brought about by the study of low-frequency phenomena and of recessive changes, as well as on the exploration of changes conditioned by dialect contact and textual traditions. I conclude with some remarks on the general typology of diffusion in syntactic change. (shrink)

We show that basic hybridization (adding nominals and @ operators) 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 $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) 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)

In a study that sweeps from Classical Antiquity to the seventeenth century, Robert D. Huerta explores the common intellectual threads that link the art of Johannes Vermeer to the philosophy of Plato.

El presente artículo recoge los resultados de una investigación basada en el análisis comparado de la estética de los museos creados en ciudades que forman parte de la denominada Ruta de la Seda. La aproximación a estos museos se basa principalmente en la observación de los aspectos educativos y patrimoniales, elementos que caracterizan la esencia de dichas instituciones. UNESCO impulsa desde 1988 acciones vinculadas a la Ruta de la Seda, ruta comercial ahora reconvertida en ruta de diálogo entre culturas. Observamos (...) que cada museo estudiado ha insistido en aquellas cuestiones de rango local y nacional que caracterizan su idiosincrasia, potenciando las facetas educativas desde la tradición de la producción de seda, y también las cuestiones patrimoniales para afianzar los rasgos característicos de cada comunidad. Hemos entrevistado a sus responsables y observado en directo sus instalaciones y colecciones. Detectamos que, a pesar de la influencia internacional de la iniciativa, o bien precisamente por ello, en cada caso se ha optado por incidir en los factores diferenciales locales, primando los argumentos estéticos de identidad cultural. Examinamos el caso concreto del Museo de la Seda de Valencia, el de creación más reciente, pero que aloja la institución más antigua. (shrink)

Nadie puede negar que la figura de Edmund Husserl constituye la llave de acceso para el horizonte filosófico de nuestro tiempo, tanto en su versión continental como analítica. Pero ¿en qué medida un mismo planteamiento pudo dar suelo y sustento al despliegue de corrientes tan distintas? Aunque mucho se ha trabajado ya para desembrollar el renovado sentido que filosofía y ciencia adquieren en su propuesta, el camino que siguió para llegar a esas conclusiones todavía no goza de suficiente claridad. Por (...) ello, en este artículo nos hemos propuesto esclarecer algunos intersticios de la transformación de su pensamiento, tomando como hilo conductor las preocupaciones de juventud que, a la larga, desembocarán en la formulación de su contundente crítica al conocimiento. Para lograr nuestro objetivo daremos seguimiento al itinerario husserliano, comenzando por la Filosofía de la aritmética, para luego finalizar con su concepción de la filosofía como la más estricta de las ciencias. Nobody can deny that the figure of Edmund Husserl represents the key to the philosophical horizon of our time in both version, as continental as analytical one. But, how can the same approach give ground and support to the development of such diverse topics? Although much work has been done to explain the renewed sense that science and philosophy acquire inside their proposal, the way Husserl reached that conclusion is not sufficiently clear yet. That is why in this article we intend to clarify some aspects of his thought transformation, keeping it up whit his early concerns that will lead, inevitably, in his critique of knowledge. To achieve this, we will follow the husserlian itinerary from The philosophy of arithmetic to his conception of philosophy as the strictest science. (shrink)

Economists of the Austrian School are supporters of the gold standard because it hinders and restricts arbitrary policies and rulers: it disciplines the behavior of all the agents involved in the democratic process and encourages people to act orderly and morally. It is, in fact, an obstacle to the lies and demagoguery because it spreads and facilitates transparency and truth in social relations. The creation of the euro in 1999 and its final implementation in 2002 assumed the disappearance of monetary (...) nationalism and flexible exchange rates in most of continental Europe. We will discuss the errors committed by the European Central Bank. It is now seen how the different states of the European Monetary Union have given and completely lost their monetary autonomy, that is to say the ability to manipulate their local currency to serve political needs. In this sense, the euro has therefore acted, at least for the countries of the euro area, very similar to that which was, in its time, the gold standard manner. This is why the euro should be considered a real equivalent, albeit imperfect, of the gold standard. (shrink)

Knowledge production is not free of political connotations. The researcher defines and moulds the research situation in which she will be gathering the data. Simultaneously, she will be also condit...

The aim of this article is to analyze the deontic character of norms of competence, more than to define a concept of competence. Competence is here understood as a power given by the legal system to a certain authority, as the capacity to create, modify or extinguish legal relations or positions. Only a couple of theses are examined to evaluate whether these norms have an autonomous deontic character, a complex modality or present a combination of independent characters. The relevance of (...) the answers is related to questions about responsibility, coercion and legal consequences.Resumen:El objeto del artículo es analizar el carácter deóntico de las normas de competencia, más que definir el concepto de competencia. En este caso, la competencia es entendida como un poder conferido por el sistema jurídico a ciertas autoridades, como la capacidad de crear, modificar o extinguir relaciones jurídicas o posiciones. Sólo un par de tesis son examinadas, a fin de evaluar si esas normas tienen un carácter deóntico autónomo o presentan una combinación de características independientes. La relevancia de las respuestas está relacionada con cuestiones acerca de la responsabilidad, la coerción y las consecuencias jurídicas. (shrink)

The formulation of a hypothesis is the way or the requirements that will be completed to proceed to edit it and then to have the one enunciated well-known as hypothesis; that which is different to the hypothesis concept. That is to say, we will speak of the hypothesis like an enunciated and later o..

Legal philosophy is a general and systematic reflection about fundamental questions regarding law. The fact that despite the efforts of contemporary jurists terms like ‘legal philosophy’, ‘legal theory’ and ‘jurisprudence’ do not have established meanings is one of the reasons behind the dispute regarding the function and validity of legal philosophy; a second issue worth considering is the transformations of law due to diverse influences such as globalization or theories on human rights. This article intends to establish common ground for (...) the discussion surrounding this issue by revisiting some of the differences between the two main western traditions, the article then proceeds to describe the general perception and evolution of jurisprudence.Resumen:La filosofía del derecho es una reflexión general y sistemática sobre las cuestiones fundamentales del derecho. El hecho de que términos como “filosofía del derecho”, “teoría del derecho” y “jurisprudencia” no tengan significados delimitados e indisputables, a pesar de los esfuerzos de los juristas contemporáneos, es una de las razones que junto con las transformaciones del derecho en virtud de la globalización y las teorías sobre derechos humanos han dado lugar a diversas disputas sobre la función y validez de la filosofía del derecho. En este artículo se pretende establecer una base común para la discusión en torno a estos problemas mediante la revisión de algunas de las diferencias que las dos principales tradiciones occidentales para después describir la precepción general y evolución de la filosofía del derecho. (shrink)