Esta investigación retoma la obra de Gabriel García Márquez, Noticia de un secuestro (1996), con la volición de cuestionar la idea de Estado nación que está inmersa en el libro. Para ello, es necesario entender que la naturaleza del texto exige un conocimiento amplio al lector o al intérprete, puesto que su contenido revela datos multidisciplinarios. Además, es insoslayable realizar un análisis discursivo de la historia de ese contexto y cotejar con pasajes del mismo libro. Para facilitar esta labor, la (...) extrapolación de conceptos del teórico Luis Rodríguez Manzanera será de utilidad, ya que él despliega definiciones de Criminología, un tema frecuente en la obra. Verbigracia, la macrocriminalidad, una noción que él postula, permite que se comprenda la complexión del periodo histórico finisecular del siglo XX en Colombia, etapa que le corresponde a Noticia de un secuestro. Por otro lado, es menester dilucidar que este estudio no se reduce a lo literario, lo histórico y lo criminológico, sino que abarca distintas disciplinas, por lo que la exigencia en la consolidación epistemológica e interpretativa estará demostrada consuetudinariamente, sin obviar la inmanencia de la obra. Este tipo de análisis interdisciplinarios ya ha sido trabajado desde los Estudios Culturales, tal como se constata en las investigaciones de Richard Johnson (2000) o Néstor García Canclini (1997). De igual modo, el intento de establecer lineamientos y conexiones entre disciplinas como las de Literatura y Derecho ya ha sido desarrollado por Stanley Fish (1986), Faustino Martínez (2005), Carlos Pérez (2006) y Denise Schalet (2014). A diferencia de estos abordajes ya estudiados, el objetivo de esta investigación es detectar y fundamentar cómo se articula una propuesta ideológica desde una configuración que reanuda elementos históricos y literarios. En específico, lo que se busca es argumentar por qué fracasó implícitamente un proyecto sociopolítico de democracia y progreso, a partir de un panorama de violencia, narcoterrorismo, corrupción, negociaciones ilícitas, transgresión a los derechos humanos e inseguridad ciudadana. Con todo ello, esta tesis de maestría terminará siendo fructuosa para análisis postremos de discursos que tienen como esencia un soporte multidisciplinario. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The ancient Taoist text that forms the central part of this book was discovered by Wilhelm, who recognized it as essentially a practical guide to the integration of personality. Foreword and Appendix by Carl Jung; illustrations. Translated by Cary F. Baynes.A Helen and Kurt Wolff Book.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

En esta entrevista se formularon preguntas al magíster Iván Martínez, docente universitario destacado por sus conocimientos especializados en infraestructuras de redes y por sus múltiples participaciones en eventos académicos. Los interrogantes que se le plantearon se basaron en sus recientes enfoques de estudio, como el empleo de la herramienta informática de Microsoft Azure. En la conversación se llega a comprender cuál es su utilidad y cómo esta puede servir al usuario en distintos ámbitos, como el laboral. Por otro lado, el (...) ingeniero de Sistemas concluye con el modo en que sus saberes son transferidos a sus alumnos con mucha prerrogativa. (shrink)

El objetivo de este trabajo es analizar los ejemplos que se dan en las obras tradicionales del denominado καί estructural con el fin de determinar sus características desde una perspectiva más actual. Este es uno de los tipos de καί adverbial que se distinguen, pero, como veremos, se trata de una categoría compleja en la que, sobre la base de su aparición en una oración subordinada, se han mezclado al menos tres usos más o menos habituales de καί adverbial: aditivo, (...) identificativo y corresponsivo. The aim of this paper is to analyse the examples of the so-called structural καί from a modern perspective. The examples are taken from the traditional grammars, in which this adverbial use of καί is usually distinguished. As it will be shown, this is in fact a complex category, established on the basis of its appearance in a subordinate clause and including three quite common uses of adverbial καί: additive, identificational and corresponsive. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

En este artículo se estudian 25 fragmentos inéditos que forman parte de 19 inscripciones árabes conservadas en el Museo Provincial de Almería. Todas ellas son de Almería, sin que conste el lugar exacto de procedencia, salvo en dos casos. La mayoría, en concreto trece inscripciones, son de carácter funerario; dos son conmemorativas o fundacionales; y el resto, cuatro, son decorativas. Su cronología va desde el segundo cuarto del siglo X al XII, predominando las de época almorávide, que es la época (...) de mayor desarrollo económico de la ciudad. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

Alba María Laredo Delgado y Darío Méndez Salcedo Facultad de Psicología, Universidad de Granada, España La comunicación entre dos personas … Read More →.

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

The present article studies the epictetean philosophical use of some passages of the Greek and Roman history. The concepts of love-friendship (philía) and personal con- venience (sumphéron) second the philosopher to explain why happiness (eudaimonía) has not been reached by the human being in all history. All historical war or strife (pólemos), such as the Trojan, the Medics and the Peloponnesian wars, is provoked by epistemological-moral mistakes derived from the ignorance of which is the correct place to put the sumphéron; (...) such correct place is only the personal “rational capacity” ( proháiresis). This causal explanation of the incorrect and vicious human actions, of which history is full and which destroy the existent philía between nations and provoke pólemos, constitutes an authentic epictetean philosophy of history. Nevertheless, those vicious actions have a justification in a superior Cosmological level because they are pre-determined and ordered by the God-Providence. This leads us to the possibility of observing that the stoic philosophy of history, particularly the epictetean, is analogous to some modern speculative systems of history like the ones developed by Vico or Hegel. (shrink)

Privacy loss is one of the primary issues associated with the use of social media or social network sites. These sites operate by collecting and sharing data from users to obtain economic revenue. As a solution, it is recommended that users be informed about safe online practices and that they should behave accordingly. However, this does not usually happen, which makes privacy regulations ineffective. We argue that a top-down, control-focused approach to privacy, such as that found in the European Commission’s (...) recent General Data Protection Regulation, does not capture the way online practices unfold and fails to prevent privacy issues. Instead, we frame privacy using the concept of the “logic of care,” an approach that promotes a situated analysis of online practices and of the diverse actors involved (users, companies, regulators, etc.). This shift favors the creation of safer interactions on social network sites instead of restrictive regulations. (shrink)

En el presente artículo analizaremos las patenas de vidrio y vidriadas decoradas con la imagen de Cristo, san Pedro y san Pablo, así como el programa iconográfico de la Traditio Legis. A pesar de que no son muy numerosas en España, sí contamos con el importante testimonio de Cástulo o de la Almoina. El análisis de sus formas intrínsecas nos aporta una valiosa información iconográfica, que sería el ante sala del Pantocrator representado en el arte Románico en siglos posteriores.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

Schumpeter sostuvo que hay que comprender el capitalismo antes de analizarlo. En este trabajo, expongo su epistemología y tres arquetipos propuestos para la comprensión de lo que él entendía por civilización capitalista de acuerdo con su visión de la Destrucción Creadora: el Fausto de Goethe, el ave Fénix de la mitología clásica y el Tsimtsum de la nueva cábala de Luria. Tras las exposiciones correspondientes, argumento las implicaciones filosóficas de considerar (o no) la visión en el estudio del capitalismo y (...) qué arquetipo se adecua mejor a la Destrucción Creadora tal como la presentó Schumpeter. (shrink)