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)

Realizar un estudio reflexivo del concepto de relato y cómo desde éste, podemos apreciar al ser humano en su diario vivir, el cual se ofrece en la posibilidad de crecimiento social y emocional al permitir ser reconocido y compartir nuestra vida con los demás; Sin embargo, la crítica de la filosofía posmoderna a los macrorelatos derivó en una proliferación de microrrelatos, afectando los procesos de verdad y de identidad personal. Por ello, busco analizar desde las aportaciones de Lyotard cómo, desde (...) el acto humano de sacrificarse, se rescata a la narrativa dentro de la multiplicidad de pequeños relatos, presupuesto que configura el reconocimiento de la persona en el otro, además de reconstruir los procesos de certezas y generando colectivos narrativos en los espacios empresariales y ciudadanos. (shrink)

As figurational sociologists and sociolinguists, we need to know that we currently find support from other fields in our efforts to construct a sociocultural science focused on interdependencies and processes, creating a multidimensional picture of human beings, one in which the brain and its mental and emotional processes are properly recognized. The paradigmatic revolutions in 20th-century physics, the contributions made by biology to our understanding of living beings, the conceptual constructions built around the theories of systems, self-organization and complexity, all (...) these implore that we reflect on social sciences paradigms in the light of the great changes in these other disciplines. The application of metaphors or theoretical images of complexity and figurational sociology in understanding language and socio-communication phenomena is of great use, since language is not an ‘object’, but a ‘complex’; it exists simultaneously in and among different domains. ‘Languaging’ and interaction are co-phenomena. The former exists within the latter, and the latter within the former. By visualizing, for instance, the different levels of linguistic structure not as separate entities but rather as united and integrated within the same theoretical frame, by seeing their functional interdependencies, by situating them in a greater multidimensionality that includes what for a long time was considered ‘external’ – the individual and his or her mind-brain, the sociocultural system, the physical world, etc. – and expanding in this way our classical view, we should be able to make important, if not essential, theoretical and practical advances. (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.

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 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)

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.

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)

The “language-communication-society” triangle defies traditional scientific approaches. Rather, it is a phenomenon that calls for an integration of complex, transdisciplinary perspectives, if we are to make any progress in understanding how it works. The highly diverse agents in play are not merely cognitive and/or cultural, but also emotional and behavioural in their specificity. Indeed, the effort may require building a theoretical and methodological body of knowledge that can effectively convey the characteristic properties of phenomena in human terms. New complexity approaches (...) allow us to rethink our limited and mechanistic images of human societies and create more appropriate emo-cognitive dynamic and holistic models. We have to enter into dialogue with the complexity views coming out of other more ‘material’ sciences, but we also need to take steps in the linguistic and psycho-sociological fields towards creating perspectives and concepts better fitted to human characteristics. Our understanding of complexity is different – but not opposed – to the one that is more commonly found in texts written by people working in physics or computer science, for example. The goal of this book is to extend the knowledge of these other more ‘human’ or socially oriented perspectives on complexity, taking account of the language and communication singularities of human agents in society. (shrink)

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 classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Throughout most of the 20th century, analytical and reductionist approaches have dominated in biological, social, and humanistic sciences, including linguistics and communication. We generally believed we could account for fundamental phenomena in invoking basic elemental units. Although the amount of knowledge generated was certainly impressive, we have also seen limitations of this approach. Discovering the sound formants of human languages, for example, has allowed us to know vital aspects of the ‘material’ plane of verbal codes, but it tells us little (...) about significant aspects of their social functions. I firmly believe, therefore, that alongside a linguistics that looks ‘inward’ there should also be a linguistics that looks ‘outward’, or one even that is constructed ‘from the outside’, a linguistics that I refer to elsewhere as ‘holistic’ though it could be identified by a different name. My current vision is to promote simultaneously the perspective that goes from the part to the whole and that which goes from the whole to the parts, i.e., both from the top down and from the bottom up. This goal is shared with other disciplines which recognize that many phenomena related to life are interwoven, self-organising, emergent and processual. Thus, we need to re-examine how we have conceived of reality, both the way we have looked at it and the images we have used to talk about it. Several approaches now grouped under the label of complexity have been elaborated towards this objective of finding new concepts and ways of thinking that better fit the complex organisation of facts and events. (shrink)

La publicación de los primeros Cuadernos negros invita a una relectura de la trayectoria de Heidegger en algunos aspectos fundamentales de su obra previa a 1931. En una primera parte del artículo nos centramos en aspectos fundamentales del recorrido vital y filosófico de Heidegger, muy especialmente en la amplitud y el significado de su ruptura con el catolicismo como elemento que condiciona su sentimiento de indigencia y la necesidad de un preguntar fundamental. En la segunda parte, centramos nuestra atención en (...) textos de los Cuadernos negros correspondientes a los años de 1931 a 1933 para comprobar en qué sentido Heidegger vive en momentos cruciales de su vida bajo la influencia de lo que él llama seísmos subterráneos. El sentimiento de soledad en incomprensión que vive Heidegger se muestra en el hecho que, según él, nadie ha entendido Ser y tiempo. (shrink)

El presente estudio hace referencia a los efectos emocionales ocasionados por el COVID-19. La humanidad vivió una situación sin igual en el año 2020, conllevándola a la concentración mundial y al despliegue de acciones que pudieran mitigar a todos los efectos sanitarios ocasionados por un virus de concentración mundial, como fue el llevar al confinamiento a la mayoría de la población humana, pero descuidándose los efectos emocionales del mismo, es por ello que adelantaremos un análisis sobre el concepto del miedo, (...) desde los postulados del pensador griego Aristóteles, como punto de partida para apreciar el actual entorno pandémico y su capacidad para generar situaciones de concentración y distractoras en relación a la verdad, teniendo en cuenta que el temor puede llegar a servir como un instrumento distractor de las certezas. (shrink)

Romantic Philosophy characterizes the way of being Catalan with two main words: seny, common sense, and rauxa, or rapture. Looking for the roots of this characterization, we find two Franciscan thinkers, blessed Ramon Llull and Brother Francesc Eiximenis, representing these tendencies. Through his life and writings, we try to collect what can be said about it.

This book offers insights on the study of natural language as a complex adaptive system. It discusses a new way to tackle the problem of language modeling, and provides clues on how the close relation between natural language and some biological structures can be very fruitful for science. The book examines the theoretical framework and then applies its main principles to various areas of linguistics. It discusses applications in language contact, language change, diachronic linguistics, and the potential enhancement of classical (...) approaches to historical linguistics by means of new methodologies used in physics, biology, and agent systems theory. It shows how studying language evolution and change using computational simulations enables to integrate social structures in the evolution of language, and how this can give rise to a new way to approach sociolinguistics. Finally, it explores applications for discourse analysis, semantics and cognition. (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.

‘Complexics’ denotes the meta-transdisciplinary field specifically concerned with giving us suitable cognitive tools to understand the world’s complexity. Additionally, the use of the adjective ‘complexical’ would avoid the common confusion caused by the adjective ‘complex’, which belongs to everyday usage and already has its own connotations of complication and confusion. Thus, ‘complexical’ thinking and ‘complexical’ perspective would provide clearer terms, be freer of confusion, and refer more precisely to epistemic elements in contrast to the ‘complexity’ typical of many phenomena of (...) reality. In short, the world would be ‘complex’, but our way of looking at the world would be ‘complexical’. As a meta-transdiscipline, ‘complexics’ would carry on the perspective of cybernetics: “Cybernetics deals with all forms of behaviour insofar as they are regular, or determinate, or reproducible. The materiality is irrelevant… The truths of cybernetics are not conditional on their being derived from some other branch of science. Cybernetics has its own foundations” (Ashby, 1956:1). Thus, it has a distinctly transdisciplinary mission to provide concepts, schema and possibilities of thinking and representation able to express the multidimensional and systemic interwovenness and interdependence of the many, highly significant phenomena of reality that have these characteristics. On the level of theory, complexics needs to provide a set of principles, concepts and conceptual landscapes that can be applied transversally to distinct areas of knowledge and phenomena of reality, enabling us to gain a much firmer grasp of the complex aspects of their existence than we currently have. For this reason, our aim needs to be, as Morin says, not “to reduce complexity to simplicity, [but] to translate complexity into theory” (1994:315). (shrink)

El més gran dels pensadors i el més petit dels homes”; amb aquestes paraules va referir-se Gadamer d'una manera molt punyent a la desconcertant figura del seu mestre, Martin Heidegger. L’autor d’Ésser i temps ens ha deixat en herència no només una obra filosòfica capaç d’exercir una grandíssima influència, sinó també el repte d’interpretar la tensió entre vida i pensament. Hem de creure que cal una gran vida per tal que hi hagi un gran pensament? O hem d’admetre que no (...) hi ha cap relació entre una cosa i l’altra i, per tant, que un gran pensador pot adherir-se de forma entusiasta a un dels règims polítics més abjectes de la història d’Europa sense comprometre la qualitat de la seva producció filosòfica? Heidegger és segurament un exponent d'una Europa contradictòria i angoixant: no només un representant excepcional de la millor tradició filosòfica, sinó també de les grans bogeries i pors del segle XX. (shrink)

Social robotics has a high disruptive potential, for it expands the field of application of intelligent technology to practical contexts of a relational nature. Due to their capacity to “intersubjectively” interact with people, social robots can take over new roles in our daily activities, multiplying the ethical implications of intelligent robotics. In this paper, we offer some preliminary considerations for the ethical reflection on social robotics, so that to clarify how to correctly orient the critical-normative thinking in this arduous task. (...) We defend the ‘being perspective’ and its linked categories of ‘teleology’ and ‘interest’ as the ones from which to articulate the reflection. We argue that attending primarily to the ‘being’, before the ‘doing’, of robots allow us to correctly approach the core phenomenon of all ethical concerns on social robotics, avoiding the reductionisms in the ethical gaze to which the latter may lead. (shrink)

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

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.