'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of computation to phenomena outside its original purview: in modelling the human mind, in physics, mathematics, etc. Early versions of computationalism faced strong objections from many (and varied) quarters, from philosophers to practitioners of the aforementioned disciplines. Here we will not address the fundamental question of whether computational models are appropriate for describing some or all of the wide range of processes that they have been applied (...) to, but will focus instead on whether `renovated' versions of the \textit{new computationalism} shed any new light on or resolve previous tensions between proponents and skeptics. We find this, however, not to be the case, because the 'new computationalism' falls short by using limited versions of "traditional computation", or proposing computational models that easily fall within the scope of Turing's original model, or else proffering versions of hypercomputation with its many pitfalls. (shrink)

The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: it makes structurally explicit the solution to an abductive problem ; it gives a precise meaning to the notion of evidence; it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.

Alison L. Spedding es la antropóloga y novelista que fue arrestada en marzo de 1998 por las autoridades bolivianas bajo el cargo de tráfico de drogas, que ella niega fuertemente. Al momento de ser impreso este número, se había eliminado el cargo de tráfico por falta de evidencia, pero se estaba ..

Resumen Vivimos en un mundo cada vez más polarizado entre ricos y pobres. Entre un pequeño grupo de personas que concentra y controla la riqueza mundial, y la gran mayoría de la población que no cuenta con las condiciones indispensables para poder vivir. Por otra parte, la globalización económica promueve un modelo de humanidad basado en el consumismo. El ser humano ha identificado la búsqueda de la felicidad con el comprar y adquirir los nuevos modelos que la publicidad impone. Nos (...) estamos acabando al planeta -incluyendo a la humanidad- y las consecuencias son evidentes: calentamiento global, contaminación, extinción de especies, violencia, migración, etc. Por otra parte, la acumulación de recursos en manos de unos cuantos es algo que también destruye a los ricos, los deshumaniza. Consideramos por tanto que si bien la pobreza, como carencia de lo indispensable para poder vivir dignamente, es un problema que debemos solucionar; por otra parte, hay otro tipo de “pobreza” entendida como virtud, que nos ayuda a vivir más plenamente, y es aquella que nos proporciona libertad para centrarnos en lo esencial: la familia, la humanidad, el mundo y Dios. El objetivo del presente trabajo es pasar de la pobreza como problema a la pobreza como virtud.We live in a world where the gap between the rich and the poor is increasing. In a world where a small group of people concentrates and controls the wealth, and the rest of the population is lacking the indispensable conditions for living. On another hand, economic globalization promotes a model of humanity based on consumerism. Human beings have related search of happiness with acquiring commodities and models imposed by advertising. We are destroying the planet -including humanity- and the consequences are evident: global warming, pollution, endangered species, violence, migration, etc. In addition, accumulating resources is dehumanizing and destroying the wealthy societies. We consider, that poverty understood as lacking financial resources is a problem that needs a resolution; but also, poverty, understood as virtue, help us to live fully and provides freedom, so we can focus on the essentials: family, humanity, the world and God. The objective of this work is to pass from poverty as a problem, to poverty as a virtue. (shrink)

The economic reactivation of Cartagena harbour from sixteenth century constitutes an importatn gap in the spanish historiography. This development, motivated mainly because of the repulse of its comercial function, it will be a good phocus of atraction for the foreigner merchant, which, in a narrow relation with the mercantile autochtonous bourgeoise, will dominate the hasrbour activity, comercial and finance of the city, forming a powerfull urban oligarchy.

El propósito de Levinas coincide con el intento moderno de recuperación de la verdad y del sentido aunque en una dirección y contenidos distintos. Si en Hegel la Aufhebung tendía a la Totalidad y lo Mismo , para Husserl será esencial la apertura de Mundo que tiene lugar ya en la experiencia de conciencia del ego trascendental, mientras que Heidegger, por su parte, primará la pregunta por el Ser. El intento de Levinas, en cambio, no será recomponer la relación entre (...) el yo, por un lado, y el mundo, lo absoluto, las cosas o el ser, por el otro, sino la recuperación de la relación entre yo-y-otro. No es un simple cambio en la dirección o en el contenido del sentido de la reflexión filosófica, sino un intento serio de encontrar una nueva significación, «otra manera que ser» que no termine siendo otro proyecto más de integración y síntesis. Lo que propone Levinas es una auténtica salida para la que traza el itinerario que va del ser al otro, recurriendo sencillamente a la experiencia que cotidianamente se nos impone a cada uno de nosotros con un peso incontestable, a saber: la presencia de las diferencias, de lo asimétrico, en definitiva, la manifestación del otro en tanto que otro. Es esta experiencia heterónoma ordinaria, esta vivencia diaria de la alteridad como dato primordial del fenómeno de la intersubjetividad el ámbito que ha intentado explorar nuestro autor. ¿Acaso es esta responsabilidad así sentida conjugable con una experiencia filosófica universal? ¿La responsabilidad puede llevarse hasta el límite de la substitución por el otro, hasta la de-posición del Yo sin identidad? ¿Qué tipo de relación puede darse con algo absolutamente asimétrico, exterior, previo e irreductible? ¿De dónde viene esa asignación apremiante de responsabilidad que llega hasta arrojarme en la obsesión y el asedio? ¿Cómo puede ser éticamente plausible un mandato tan traumatizante y violento que termina por convertir al sujeto en rehén, sustituido ya por los otros? ¿Es posible conciliar la libertad y la autónoma decisión del sujeto con una consideración de la subjetividad como «heme aquí», absoluta pasividad expuesta a los otros y vulnerabilidad de una piel que se ofrece al ultraje y la herida?. En definitiva: ¿es la subjetividad algo de lo que partimos o a lo que llegamos? (shrink)

In Mexico, there is little research on the study of self-injury and even less on possible explanatory models. With this in mind, this study aimed to determine the relationship between self-injury and depression, emotional dysregulation, and coping styles, to generate an explanatory model of the problem. The study was carried out using a quantitative, cross-sectional, explanatory scope, design and a sample of 5835 adolescents enrolled in 62 public high schools in the state of Sonora. Logistic regressions were performed for data (...) analysis, and as a result it was found that, for students with severe self-injury, the model explains 61 % of the variance in the data and correctly classifies 84.1 % of the participants; whereas, in mild self-injury, the model explains 72 % of the variance in the data and correctly classifies 88.2 % of the students. Likewise, the depression dimensions showed the highest explanatory level and positive correlations with emotional dysregulation and avoidance coping style, as well as negative correlations with approach coping style. At the end, the importance of the independent variables for future research is discussed, as well as anomalous results and other data of interest. (shrink)

We consider a class of games, which we call “groups’ games”, in which players are partitioned into classes within which players may be considered indistinguishable. We compute explicit formulas for some of the principal values restricted to these games. This is particularly useful for dealing with games with a large number of players where the usual formulas would be impractical to compute. We give several examples that illustrate how this idea may be applied to concrete situations.

Las copias de los manuscritos de las Relecciones de Francisco de Vitoria se multiplicaron, y enseguida atravesaron el océano, para llegar muy pronto a manos de universitarios y misioneros. En España llegaron a la corte imperial, provocando una rápida censura, y al humanista J. Ginés de Sepúlveda, que asume el texto como favorable a su imperialismo. En ultramar el catedrático agustino Alonso de Veracruz aprueba y enriquece sus argumentos, y el dominico Bartolomé de Las Casas se queda sólo con (...) los condicionantes del propio Vitoria. Creo que esos condicionantes merecen ser conocidos en su entorno para su justa valoración. Lo dedico a los grandes vitoriólogos que honraron con sus estudios a esta revista.The manuscript copies of the Relecciones by Francisco de Vitoria multiplied and crossed the ocean to fall very soon in the hands of university students and missionaries . In Spain they reached the imperial court causing a rapid censorship and the humanist J. Ginés de Sepúlveda who takes the text as in favor of his imperialism. Overseas the Augustinian professor of university Alonso de Veracruz approves and enriches his arguments, the Dominican Bartolome de las Casas remains alone with the own Vitoria’s Condicionnantes. I think that those Condicionantes are worth being known in their context to value them appropriately. I devote it to Vitoria’s great friends who honored this journal with their studies. (shrink)

Este trabajo tiene como principal objetivo el de lograr una comprensión de la filosofía en cuanto fundamento insoslayable para la teología. Sostiene, en pri-mer lugar, la necesidad de desarro-llar una teología más autocosciente en el sentido racional del σὺν λόγω, es decir, desde el programa ple-namente actual de la fides quarens intellectum. Defiende, en segundo lugar, que la filosofía solo puede entenderse partiendo de la pre-tensión que la ha animado desde el comienzo de su andadura: la bús-queda de la verdad (...) de las cosas. Y para este fin ten-drá necesariamente que dotarse de densidad metafísica suficiente y apostar por las tesis de un sano realismo cognoscitivo. Este estudio concluye con una reflexión, en ter-cer lugar, sobre el uso teológico de la filosofía. La tesis que se defiende es que sin el fundamento filosófico, la fe y la teología pierden lo más nuclear de su misión, la posibili-dad misma de presentarse todavía con algún rastro de significatividad para el hombre de hoy. (shrink)

The aim of this study was to explore the role of voices as cues to adults of children’s needs for potential caregiving during early childhood. To this purpose, 74 college students listened to pairs of 5-year-old versus 10-year-old children verbalizing neutral-content sentences and indicated which voice was better associated with each of 14 traits, potentially meaningful in interactions between young children and adults. Results indicated that children with immature voices were perceived more positively and as being more helpless than children (...) with mature voices. Children’s voices, regardless of the content of speech, seem to be a powerful source of information about children’s need for caregiving for parents and others during the first six years of life. (shrink)

En el presente artículo se estudia la historia de vida de una mujer que perteneció a la llamada guerrilla urbana de los “Lacandones” que operó principalmente en la Ciudad de México. Como problema-eje propongo la pregunta ¿cuáles fueron las subjetividades sociales y mandatos de género implicados en la decisión de revelarse y levantarse en armas? Se explorará el proceso de empoderamiento y el significado que para ella tuvo su participación política en la Liga Comunista Espartaco y su paso por el (...) movimiento estudiantil de 1968, situando como eje de mi problematización las dificultades que enfrentó como hija, hermana, madre-esposa y cómo las relaciones de parentesco pesaron en su práctica política como militante revolucionaria. Se hará un análisis de la masacre ocurrida el 2 de octubre de 1968 en la plaza de las Tres Culturas de Tlatelolco articulando la violencia política con la masculinidad hegemónica. (shrink)