Sigmund Freud’s biologism has historically come with a negative valence, seeming to consign us to passive determination by irrational drives. While the nonhuman turn has recently highlighted the underacknowledged creativity of animal life, this re-evaluation of biology has hardly implicated Freud. I contend that Maurice Merleau-Ponty reveals a nascent ‘other Freud’ able to inform the nonhuman turn, one that sees the human animal as the basis of the free and relational psychoanalytic subject. I follow Merleau-Ponty in reading Freud as engaged (...) with the question of how a shared, intersubjective world is possible. Both thinkers realized that it is in the domain of life, not cognition, that we verify this seemingly human relational potential. Elaborating the Merleau-Pontian Freud, I argue for a psychoanalytic subject that necessitates nonhuman life as its ecstatic unmooring towards the Other and reality. Ecological thinking is not an obstacle to the relationality prized by psychoanalysis, but a necessity. (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)

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)

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.

v. 1. From the Italian Renaissance to the French Revolution.--v. 2. Since the French Revolution.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

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 paper addresses various questions concerning "consciousness" and related folk concepts through an examination of fundamental principles of capoeira angola. These include, for instance, ideas such as ginga, the sensing of the mind/body through specific movements; or energia, a type of psychic force believed to be engendered through engagement within a group or with an opponent; or mentalidade, the kind of "head" one develops in capoeira angola, referring in part to what we conceptualize as a "state of consciousness," and in (...) this case a highly alert and perceptive state with other elements of psychic ties and influences. This mentalidade includes "street smarts" and a highly developed knowledge about the various ways deception can be used to "get what one needs" in life, in other words, these are tools for survival in a specific kind of environment. Such a discussion must include "race," and class in Brazil. Racial and class discrimination in Brazilian society is seldom expressed explicitly; indeed a rhetoric of "racial democracy" has been popularized in direct contradiction to the reality of a racial oppression that includes class. In this paper, I integrate related issues of "states of consciousness" that have developed in capoeira angola to the conditions of racial and class inequality, power and history that have been its nurturance. In the conclusions, I speculate that notions of consciousness are in the process of change as capoeira angola is being regimented, taken out of context and taught increasingly among middle‐class Brazilians and in such places as the United States. (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)

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)

This paper proposes a revised Theory of Moves (TOM) to analyze matrix games between two players when payoffs are given as ordinals. The games are analyzed when a given player i must make the first move, when there is a finite limit n on the total number of moves, and when the game starts at a given initial state S. Games end when either both players pass in succession or else a total of n moves have been made. Studies are (...) made of the influence of i, n, and S on the outcomes. It is proved that these outcomes ultimately become periodic in n and therefore exhibit long-term predictable behavior. Efficient algorithms are given to calculate these ultimate outcomes by computer. Frequently the ultimate outcomes are independent of i, S, and n when n is sufficiently large; in this situation this common ultimate outcome is proved to be Pareto-optimal. The use of ultimate outcomes gives rise to a concept of stable points, which are analogous to Nash equilibria but consider long-term effects. If the initial state is a stable point, then no player has an incentive to move from that state, under the assumption that any initial move could be followed by a long series of moves and countermoves. The concept may be broadened to that of a stable set. It is proved that every game has a minimal stable set, and any two distinct minimal stable sets are disjoint. Comparisons are made with the results of standard TOM. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Explores what is meant by the concept of religion.

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.

Holger Kal weit. Dreamtime and Inner Space: The World of the Shaman. Boston & London: Shambhala Publications. 1988 ISBN 0‐87773‐406‐2. Paper $14.95. Pp. xvi. 297.

ABSTRACTThe aim of this article is twofold: first, to show that, in Plato'sHippias Major,Hippias is the mouthpiece of a materialist ontology; second, to discuss the critique of this ontology. My argument is based on an interpretation ofHippias Major300b4–301e3. I begin by revealing the shortcomings of P. Woodruff's and I. Ludlam's interpretations. Next, I define the concept of materialism as it was understood in ancient Greece in order to outline the specificity of Hippias' materialism. Finally, I argue that the opposition between (...) the two characters of theHippias Majorrepresents in fact an ontological opposition between two conceptions of what a unity is, i.e., Hippias' elementary corporal unities and Socrates' “formal unity.”. (shrink)

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

This is the first time that a seminal collection of fourteen essays by Martin Heidegger has appeared in English in its complete form. It includes new or first-time translations of seven essays, and thoroughly revised, updated versions of the other seven. Amongst the new translations are such key essays as 'On the Essence of Ground', 'Hegel and the Greeks' and 'On the Question of Being'. Spanning a period from 1919–61, these essays have become established points of reference for all those (...) with a serious interest in Heidegger. Now collected for the first time in translations by an experienced Heidegger translator and scholar, they will prove an essential resource for all students of Heidegger. (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.

This study investigated the roles of problem structure and strategy use in problem encoding. Fourth‐grade students solved and explained a set of typical addition problems (e.g., 5 + 4 + 9 + 5 = _) and mathematical equivalence problems (e.g., 4 + 3 + 6 = 4 + _ or 6 + 4 + 5 = _ + 5). Next, they completed an encoding task in which they reconstructed addition and equivalence problems after viewing each for 5 s. Equivalence problems (...) of the form 4 + 3 + 6 = 4 + _ overlap with a perceptual pattern found in traditional arithmetic problems (i.e., answer blank in final position), and students' encoding was poorest on problems of this type. Individual differences in encoding the equivalence problems were related to variations in strategy use. Some students solved blank‐final equivalence problems using the standard arithmetic strategy of performing all given operations on all given numbers. These students made more errors in encoding problem structure, but fewer errors in encoding the numbers, than did students who solved the problems using correct or other incorrect strategies. Moreover, students who expressed many strategies for solving the blank‐final equivalence problems made fewer errors in encoding problem structure, but more errors in encoding the numbers, than did students who expressed only a single strategy. Results highlight that encoding is intended to guide action and that prior experience can simultaneously facilitate and interfere with accurate encoding. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The standard adaptationist explanation of the presence of a sensory mechanism in an organism—that it detects properties useful to the organism—cannot be given for color vision. This is because colors do not exist. After arguing for this latter claim, I consider, but reject, nonadaptationist explanations. I conclude by proposing an explanation of how color vision could have adaptive value even though it does not detect properties in the environment.