El artículo se concentra en indagar las diferentes declaraciones de Marx sobre la justicia, con la intención de determinar tres cuestiones: en primer lugar, saber si nuestro autor cuenta con una concepción de la justicia; en segundo lugar, establecer si la reflexión acerca de lo que es justo ocupa un lugar privilegiado en su obra; y, en tercer lugar, ver si a partir de ahí puede colegirse la existencia de una teoría marxiana de la justicia. De especial interés resulta la (...) presencia de argumentos con implicaciones éticas y morales en estos asuntos. (shrink)

Este texto analiza las concepciones que J. S. Mill y K. Marx defienden sobre la libertad, con el fin de establecer si entre ellas hay puntos de convergencia, a pesar de las diferentes motivaciones que las impulsan. En este sentido, la tesis que se propone es que ambos pensadores coinciden en la defensa que realizan de la libertad, dado que le otorgan un papel destacado a la autodeterminación, el libre desarrollo de la individualidad y a la existencia de condiciones materiales (...) para su concreción. Así las cosas, las distancias que las separan no constituyen ningún óbice al momento de abogar por lo que consideran como el valor fundamental del ser humano. (shrink)

El propósito de este trabajo consiste en destacar el papel central que tiene el problema de la divisibilidad del alma en los dos enfoques bajo los que se presenta la investigación psicológica aristotélica: el hilemórfico y el cardiocéntrico. Mientras que el primero sostiene que el alma es la forma o esencia del cuerpo entero, el segundo aboga por la localización del alma en el corazón, pues asegura que allí se manifiestan los principios de las partes o facultades anímicas. A simple (...) vista, podría suponerse que existe una incompatibilidad entre ambos enfoques, ya que no tendría mucho sentido afirmar que el alma se halla en todo el cuerpo y, al mismo tiempo, decir que se encuentra exclusivamente en uno de sus órganos específicos. Entonces, la tesis de este trabajo es que el pneuma ofrece la clave para la conciliación de estos dos enfoques, dado que es el instrumento empleado por las partes del alma para desplegar sus funciones por todo el cuerpo. El corazón, como sede material de dichas partes, irradia el pneuma en forma de sangre por todo el organismo; y éste, hasta que no se extingue esa operación vital, preserva su esencia, causa formal o razón de ser de su existir. De este modo, el hilemorfismo resulta sustentado por el cardiocentrismo. (shrink)

El artículo presenta la obra principal del pensamiento kantiano como una propedéutica de la metafísica, es decir, como una disquisición previa y metódica que procura sentar las bases para la construcción de un sistema metafísico. Por ello, se indica en principio la evolución del concepto de metafísica. Posteriormente, se contextualiza la situación difícil que vivía esta disciplina en la época del filósofo. Luego, se aborda el proyecto de su filosofía trascendental. Por último, se menciona la polémica sobre las interpretaciones más (...) relevantes de la Crítica de la razón pura en el siglo XX. (shrink)

A pesar de la antigüedad de la filosofía, la aparición de la historiografía filosófica es relativamente reciente, pues es Hegel quien le asigna por vez primera una metodología precisa. Esta última apunta a un estudio de los filósofos del pasado que evite su tergiversación; sin embargo, el pensador alemán reconoce que el ejercicio del historiador de la filosofía no puede ser imparcial, dado que sus consideraciones poseen una carga valorativa. Esto ha hecho de la historiografía filosófica una palestra, en la (...) que se enfrentan las más variadas interpretaciones. Frente a este panorama reacciona Jacques Brunschwig: su propuesta consiste en evadir los presupuestos filosóficos que permean a las empresas hermenéuticas; para ello, estima necesario recurrir a técnicas objetivas (paleografía, filología, traducción, edición crítica) que tratan de dilucidar el sentido de un texto. Empero, Pierre Aubenque cuestiona que sea posible hacer historiografía de la filosofía sin poseer intereses filosóficos, ya que su practicante debe tener una afinidad electiva con aquello que estudia. El escrito parte de esta idea para destacar que no hay interpretaciones del pasado que permanezcan indiferentes a las motivaciones actuales. En este sentido, el único criterio posible para evaluar la conveniencia de las interpretaciones es su plausibilidad. (shrink)

John Stuart Mill fue un reformador social. Como gran parte de los pensadores del siglo XIX, creía en la idea de progreso. Consideraba que se estaba viviendo un tiempo de transición, en el que se daba una tendencia hacia un mejor y más feliz estado de cosas, aunque también percibía que la época era de riegos y amenazas. No se pensaba ni como filósofo ni como académico ni como político, se veía a sí mismo como un reformador social, cuya función (...) era educar a la opinión ilustrada y progresista. El propósito de sus textos es persuadir y, con ello, ayudar a transformar. Sus tesis defienden la necesidad de organizar la sociedad moderna bajo ciertos principios para que pueda alcanzar un estado superior de progreso social y moral. -/- Contra la acusación de que John Stuart Mill es un pensador ecléctico, contradictorio y que no añade nada a los clásicos, el libro que el lector tiene en sus manos muestra que su originalidad no consistió en haber creado nuevos conceptos, sino en haber transformado conceptos fundamentales de la filosofía social, moral y política, matizándolos, otorgándoles nuevos sentidos y abriéndoles nuevas posibilidades. Fue un utilitarista, pero la doctrina utilitarista salió renovada de sus escritos. Fue un liberal, pero en un sentido nuevo de liberal, ni clásico ni contractualista. Fue demócrata, aunque en un sentido distinto del de la voluntad general de Rousseau. Fue socialista, pero un socialista cualificado. -/- Como educador de la opinión ilustrada, tuvo un éxito extraordinario. Sus libros tuvieron una gran acogida y su nombre gozó de prestigio, admiración y respeto en Inglaterra. Su pensamiento filosófico sigue mereciendo la mayor atención e inspirando y fascinando a muchos. Sus ideas políticas han tenido una influencia innegable en el mundo contemporáneo. (shrink)

L’articolo illustra il modo in cui Dante ha utilizzato le fonti medievali nel campo dell’ottica e degli exempla dei bestiari per costruire analogie al fine di ragionare delle ricchezze e della nobiltà. Il testo analizza, in particolare, Purg. XVII 1-9, Cv. II iv 16-17, III vii, ix, alcuni frammenti della canzone Le dolci rime e il relativo commento in Cv. IV. Alla fine dell’articolo si espone il contrappunto filosofico che Dante offre alle vicende storiche del suo tempo.

The Dark Side of Colors is a Pereirano short film made by director Mónica Moreno, in the framework of the investigation "The Color as a character within the audiovisual production: The Dark Side of Colors", whose end is to see the color as a leading element in the story and how it affects the psyche of the main character, called Franz, around the creation of an Altrego named Christopher, who see in the color, personalities and behaviors of people from The (...) negative point of view is like this, as the art director from a particular aesthetic proposes a color palette focused on the triggers, atmospheres, objects and characters, but related to color as a character. (shrink)

Spanish translation of Jussi Backman, "Divine and Mortal Motivation: On the Movement of Life in Aristotle and Heidegger,” Continental Philosophy Review 38 (2005): 241–261. -/- Translated by Fernando Huesca Ramón, translation revised by Jean Orejarena Torres and César Mora Alonso.

Shared intention normally leads to joint action. It does this, it is commonly said, only because it is a characteristically stable phenomenon, a phenomenon that tends to persist from the time it is formed until the time it is fulfilled. However, the issue of what the stability of shared intention comes down to remains largely undertheorized. My aim in this paper is to remedy this shortcoming. I argue that shared intention is a source of moral and epistemic reasons, that responsiveness (...) to such reasons on the part of each individual reinforces her own relevant attitudes, and that this enhances the stability of the shared intention as a whole. We thus discover an important self-reinforcing and stability-enhancing mechanism at the heart of shared intention and action. It follows from this proposal that the psychological commitment that an individual exhibits in joint action is normally a function not only of her own participatory intention, as often maintained, but also of her endorsement of the reasons created by her group’s shared intention to so act. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Partiendo de la interrogante presentada por Charles Darwin en referencia a cómo un comportamiento carente de valor evolutivo, como parecía ser el musical, podía sin embargo ser universal, se intenta indagar en los afectos que el comportamiento musical aporta al humano, para así valorar su utilidad evolutiva. Proponemos la ritmicidad, inducida por el bipedismo, como base de partida, la cual da lugar a comportamientos que utilizan lo musical para fortalecer las relaciones intersubjetivas. Son los orígenes del comportamiento musical sobre lo (...) que tratamos, a modo de introducción para una posterior inmersión en un asunto más complejo: la esencia de las músicas. (shrink)

This paper argues that racism should not only be conceived as a moral concept whose main aim is to condemn severe wrongs in the domain of race. The paper advances a complementary interpretation of racism as an explanatory concept--one that plays a key role in explaining race-based social problems afflicting members of subordinate racialized groups. As an explanatory concept, the term 'racism' is used to diagnose and highlight the causes of race-related social problems. The project of diagnosing race-based social problems (...) contributes to the pragmatic anti-racist end of developing better political and policy strategies for solving these social problems. The paper defends this interpretation of racism as an explanatory concept through a critical engagement with Urquidez's moral-philosophical account of racism. (shrink)

no epistemológica de la autoridad de primera persona. Trataré de mostrar que esta autoridad no implica infalibilidad ni incorregibilidad en el conocimiento de nuestros propios estados mentales, sino solo una conciencia de que somos sus portadores; en otras palabras, lo que intento mostrar es que la llamada autoridad de primera persona no radica en que conozcamos algo de nuestros propios estados mentales que nadie puede conocer, sino más bien en que tenemos una conciencia de algo que es propiamente nuestro.

Medieval Integration Challenge for Intellection (MICI) in Albert the Great, Siger of Brabant, and Radulphus Brito.

Según varios filósofos del lenguaje contemporáneos, el argumento Frege-Geach plantea una objeción genuina para el expresivismo semántico. En el presente texto se sostiene que una manera eficaz de enfrentar y superar este argumento es modificando la concepción expresivista clásica. Se examinan el expresivismo clásico y el expresivismo mínimo y se propone una versión de este último que, a la vez que supera la objeción derivada del argumento Frege-Geach, tiene la ventaja de incluir dentro del espectro del expresivismo teorías que claramente (...) tienen este “espíritu” pero que la caracterización clásica deja fuera. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Nos anos 1970s, Hilary Putnam defendeu a tese que designadores de espécies naturais, como “água”, “tigre” e “ouro”, são termos indexicais que mudam de significado a cada contexto. No entanto, Tyler Burge rejeitou essa tese, e Putnam veio a adotar a posição de Burge. A rejeição de Burge está apoiada na distinção entre crenças de dicto e crenças de re. Nesse artigo veremos os pontos de contato entre as posições de Putnam e Burge, a posição de Putnam nos anos 1970s, (...) os principais argumentos de Burge contra a tese da indexicalidade dos designadores de espécies naturais e a diferença entre crenças de dicto e crenças de re. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

This study presents and develops in detail (a new version of) the argumental conception of meaning. The two basic principles of the argumental conception of meaning are: i) To know (implicitly) the sense of a word is to know (implicitly) all the argumentation rules concerning that word; ii) To know the sense of a sentence is to know the syntactic structure of that sentence and to know the senses of the words occurring in it. The sense of a sentence is (...) called immediate argumental role of that sentence. According to the argumental conception of meaning a theory of meaning for a particular language yields a systematic specification of the understanding of every sentence of the language which consists in a specification of the immediate argumental role of the sentence. The immediate argumental role is a particular aspect of the use of a sentence in arguments. But it is not the whole use in arguments, nor is the whole use in arguments reducible to the immediate argumental role. That is why, by accepting the argumental conception of meaning, we can have epistemological holism without linguistic holism. The argumental conception distinguishes between the understanding and the correctness of a language. Such a distinction makes it possible to account for our understanding of paradoxical languages. Redundancy theory of truth, realistic conceptions of truth or epistemic conceptions of truth are all compatible with an argumental conception of sense. But here it is argued that an epistemic conception of truth is preferrable. Acceptance of the argumental conception of meaning and of an epistemic conception of truth leads to a rejection of the idea of analytic truth. The argumental conception is pluralistic with respect to the understandability of different logics, and neutral with respect to their correctness. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. This article has as aim show what is a healthy secularism in the current pluralist, multicultural, democratic and diverse society. First, it presents two temptations of the church today: to shelter in the ghetto and to be closed to the world giving reason to the lay fundamentalists who consider faith to be something private, or to go out to the crusade to impose Christian beliefs and message. Then there is analyzed the historical process of formation of the pluralism, of the secularism and of the religious freedom emphatically in the models North American and French. The article concludes with a vision of what is the secularism in the doctrine of the catholic church today and a proposal of what must be the real pluralism and the healthy secularism today. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

I defend impact-based accounts of institutional racism against the criticism that they are over-inclusive. If having a negative impact on non-whites suffices to make an institution racist, too many institutions (including institutions whose affirmative action policies inadvertently harm its intended beneficiaries) would count as racist. To address this challenge, I consider a further necessary condition for these institutions to count as racist—they must stand in a particular relation to racist ideology. I argue that, on the impact-based model, institutions are racist (...) if they have a negative racial impact AND this impact is legitimized by racist ideology. Racist ideologies limit social criticism of and collective action against institutions that have a negative racial impact, and in so doing, lend stability to systems of racial domination. (shrink)

Este trabajo tiene como objetivo mostrar lo que es una sana laicidad en la sociedad actual pluralista, multicultural, democrática y diversa. En primer lugar se presentan dos tentaciones de la iglesia hoy: refugiarse en el ghetto y cerrarse al mundo dando razón a los fundamentalistas laicos que la consideran como algo privado, o salir a la cruzada a imponer sus creencias y su mensaje. Luego se analiza el proceso histórico de formación del pluralismo, de la laicidad y de la libertad (...) religiosa con énfasis en los modelos norteamericano y francés. Se concluye con una visión de lo que es la laicidad en la doctrina de la iglesia católica hoy y una propuesta de lo que debe ser el verdadero pluralismo y la sana laicidad hoy. This article has as aim show what is a healthy secularism in the current pluralist, multicultural, democratic and diverse society. First, it presents two temptations of the church today: to shelter in the ghetto and to be closed to the world giving reason to the lay fundamentalists who consider faith to be something private, or to go out to the crusade to impose Christian beliefs and message. Then there is analyzed the historical process of formation of the pluralism, of the secularism and of the religious freedom emphatically in the models North American and French. The article concludes with a vision of what is the secularism in the doctrine of the catholic church today and a proposal of what must be the real pluralism and the healthy secularism today. (shrink)

In this paper I argue that some human reproductive genome editing interventions can be therapeutic in nature, and thus that it is false that all such interventions just create healthy individuals. I do this by showing that the conditions established by a therapy definition are met by certain reproductive genome editing interventions. I then defend this position against two objections: (a) reproductive genome editing interventions do not attain one of the two conditions for something to be a therapy, and (b) (...) some reproductive genome editing interventions are therapeutic but in a nonstandard way. In the Conclusion I call for a more nuanced discussion of the nature of reproductive genome editing interventions. (shrink)

For the philosopher of Rotterdam, religious coercion has two essential sources of illegitimacy: the linking of religious and ecclesiastical belief and the use of politics for religious purposes. Bayle responds to it, with his doctrine of freedom of conscience, on one hand and by means of the essential distinction between voluntary religious affiliation and political obligation, on the other hand. From my perspective, his doctrine of tolerance does not involve an atheist state, nor does it mean the rejection of the (...) presence of religion in the public space or its displacement to the intimate sphere of the conscience. This paper proposes a reading of Baylean tolerance as a political doctrine that allows the articulation between freedom of conscience, minority confessions, and official religion. Thus, the Baylean theoretical model could be considered a proposal to provide a normative form to the practice of toleration present in the seventeenth -century Netherlands. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

In this paper, I will discuss what the first phases of the long history of the transformation of Political in the Spiritual patria consisted of and those who made the development possible. In this essay the main protagonists will be Cicero and Saint Augustine. We will see how St. Augustine could complete the transformation of Cicero's political ideal not only theoretically but practically. St. Augustine's great work can be understood to be a replica of Cicero's Republic in which the City (...) of God is made into the Dream of Scipio and the Church occupies the place of the res publica. The theologizing of the political concepts is taken from the modernization process which Schmitt defined as illegitimate politics of the process of secularization of theoretical concepts. (shrink)

I address the objection that the concept of racism has become overly inflated. Critics of the conceptual inflation of “racism” argue that theories of institutional racism engage in untoward conceptual inflation insofar as they undermine our moral understanding of racial phenomena, hinder our ability to explain the causes of racial inequality, and even undercut struggles for racial justice. I develop an original account of institutional racism and show that it is immune to all three versions of the conceptual inflation challenge.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

While the Academic sceptics followed the plausible as a criterion of truth and guided their practice by a doxastic norm, so thinking that agential performances are actions for which the agent assumes responsibility, the Pyrrhonists did not accept rational belief-management, dispensing with judgment in empirical matters. In this sense, the Pyrrhonian Sceptic described himself as not acting in any robust sense of the notion, or as ‘acting’ out of sub-personal and social mechanisms. The important point is that the Pyrrhonian advocacy (...) of a minimal conception of ‘belief’ was motivated by ethical concerns: avoiding any sort of commitment, he attempted to preserve his peace of mind. In this article, I argue for a Cartesian model of rational guidance that, in line with some current versions of an agential virtue epistemology, does involve judgment and risk, and thus which is true both to our rational constitution and to our finite and fallible nature. Insofar as epistemic humility is a virtue of rational agents that recognise the limits of their judgments, Pyrrhonian scepticism, and a fortiori any variety of naturalism, is unable to accommodate this virtue. This means that, in contrast to the Cartesian model, the Pyrrhonist does not provide a satisfactory answer to the problem of cognitive disintegration. The Pyrrhonist thus becomes a social rebel, one that violates the norm of serious personal assent that enables the flourishing of a collaborative and social species which depends on agents that, however fallible, are accountable for their actions and judgments. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

For most interpreters of the philosopher from Rotterdam, his political doctrine is solely a consequence of his religious and moral doctrines, and so an image of Bayle as a political philosopher is not usually presented. To my mind, however, only by analyzing his political doctrine can the extent of his religious proposal be understood. In this article, I intend to show that both the Baylean criticism of popular sovereignty and his rejection of the right of resistance are analyses that are (...) indissociable from the Baylean doctrine of tolerance. The protection of individual freedom of conscience and the defense of a multi-confessional state model, tolerant regarding religious minorities, can only be articulated as historical reality if they rest on the political doctrine of indivisible sovereignty and on the strictest separation between political obedience and religious membership. (shrink)

Carl Schmitt suele ser considerado un crítico de la modernidad por sostener que los principales conceptos de la teoría del Estado son conceptos teológicos secularizados. En este trabajo pretendemos poner de manifiesto que la importancia que Schmitt concede a la teología es aún mayor. En efecto, la secularización se refiere a los conceptos claves de la teoría del Estado, pero la política es previa al Estado. Y para establecer sus categorías, Schmitt se sirve de la teología: el carácter conflictivo o (...) pacífico del hombre remite al pecado original; el dilema amigo/enemigo a la elección entre Dios y el diablo, etc. Exploraremos el .alcance de estas analogías, intentando mostrar el carácter inerradicablemente teológico del pensamiento de Schmitt. (shrink)

In this article, we will analyze the redefinition that Hobbes applies to the essential elements of Protestant biblical hermeneutics in the Leviathan. Establishing who is the authorized interpreter, defining the rules for conducting a proper exegesis, and determining the content that results from both tasks, is of utmost importance. The answers to these three questions lay the foundation for a new relationship between civil and ecclesiastical power and fully immerse Hobbes in the theological-political discussion of the 17th century.

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) class='Hi'>Augusto evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Se hace presente la necesidad de una ontología relacional para la teología (Hemmerle, 1996, p. 26) y la fenomenología actual ayuda a dar piso a esa ontología en cuanto muestra el fondo de la existencia, de la realidad, de la forma de aquello que está en el origen como dato dado. La donación se convierte así en la nueva concepción del ser, no el ser como esse, sino como donación y relación, como llamado originario y como respuesta existencial, así se (...) puede pensar una ontología trinitaria cristiana pero también plenamente humana. (shrink)

Se presentan las concepciones sobre el argumento ontológico en Paul Tillich y en Jean-Luc Marion. Paul Tillich no ha creado una propia escuela de pensamiento, pero ha influido sobre muchos pensadores. Abre el camino a posteriores reflexiones, desde diversos puntos metodológicos, sobre el problema ontológico, sobre la realidad de Dios y sobre la relación del Ser con la cultura. Se puede decir que, a partir de él, se abren caminos para pensar el papel de la mística en el conocimiento del (...) Being itself (el ser mismo), la relación dinámica en la vida del hombre, el darse del Ser como ágape, la correlación entre mística y cultura. Y Jean-Luc Marion lleva a su plenitud las ideas de Anselmo y Tillich: Dios no se piensa sino que se da. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

La pandemia del Covid19 es un acontecimiento entendido en la forma fenomenológica de su llegada y de su permanencia, pues irrumpe, cambia, afecta a la humanidad en su totalidad. No es un acontecimiento personal o territorial que se convierte en objeto de alguna disciplina en especial o responsabilidad de ciertos actores sociales. Más allá de la búsqueda de su origen o de las causas de su aparición, hay en ella una característica revelatoria que convoca, llama y pide una respuesta. Escuchar (...) la llamada y dar el responsorio es tarea obligada de la humanidad actual por encima de visiones sesgadas, parciales, culpabilizantes o escapistas. La enseñanza social de la Iglesia aporta, en este momento, una visión integral para afrontar el momento difícil mediante la acción y agencia de todos los seres humanos. La propuesta es una ética ecológica integral que reconozca la interconexión entre toda la realidad y proponga una acción de cuidado integral de la creación. (shrink)

On how medieval philosophy is not (only) theology.

Integral development as the most assertive path of sustainable development models is presented as a new paradigm in the social teaching of the church. It is a question of identifying the theoretical foundations that precede the encyclical Laudato Si’ (ls) from philosophy and theology: the harmony of quaternity, the mystique of creation, the science-faith dialogue and the theology of the small and the poor. At the same time it tries to recover and remember the reflections and teachings that are already (...) in the tradition of the church on the “common house”. It proposes a renewed theological attitude and joint ethical action of all humanity, believers and non-believers. (shrink)

Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...) or valid; (B) to grasp a meaning is to accept its rules. The pros and cons of different versions of the Copernican view, ascribable to Wittgenstein, Carnap, Gentzen, Dummett, Prawitz, Boghossian and other authors, will be weighed. A new version will be proposed, which implies neither (A) nor (B). (shrink)