'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 ..

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.

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)

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)

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.

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)

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)