Messages sorted by: [ date ][ thread ][ subject ][ author ] Next message: Jim Yates: "Creativity in Conservative Org LO12888" Previous message: Nicole Coughlin: "HR ON-LINE FORUMS LO12886 -Linkage, Inc." Next in thread: John Paul Fullerton: "Maturana - Epistimology LO12908" Reply: John Paul Fullerton: "Maturana - Epistimology LO12908" Reply to [ author only ][ Learning-Org list ].

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.

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.

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)

The American Journal of Bioethics, Volume 12, Issue 10, Page 9-10, October 2012.

A sample of 259 South African managers completed a survey originally administered by Nel (1992). The results of the current study indicated a favourable move on four of the 15 questionable actions used to assess each group's ethical predisposition. Furthermore, the grand means for the two temporal-based samples also provided anecdotal evidence of a positive transition. Virtually identical results were in evidence when the segment of 89 top managers was compared to the sample of its higher level peers from the (...) earlier study by Nel. The results support the premise that today's South African managers have a more ethical predisposition than did their peers of some 20 years prior to them. However, the study concurrently documents the reality that there is ample room for further improvement. (shrink)

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.

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.

This paper seeks to challenge the “fixed line” between disciplines by exploring the interconnections of Sociology and Caribbean Literature. It highlights the Caribbean author as a social activist and policymaker whose aim is to agitate for improvement in various social conditions. The writings of three Caribbean authors—Erna Brodber of Jamaica, as well Frank McField and Roy Bodden of the Cayman Islands—are examined. Through their published and unpublished works, through their fiction and non-fiction, the interconnection between Sociology and Caribbean Literature is (...) explored. Their writings become alternative narratives that address various sociological issues, as the writers are lauded for their social activism which gave a small community in Jamaica its history and which pleads for the youth and agitates for education in the Cayman Islands. These writers, some of whom are trained sociologists, use their training and knowledge in this field and their expertise in creative writing to demonstrate that the lines of demarcation between the disciplines are becoming increasingly blurred. The paper concludes that this fusing of the disciplines means Caribbean authors can be viewed as social activists and policymakers whose works posit new thoughts and present new possibilities to ailing Jamaica and Cayman societies. (shrink)

A national sample of 362 respondents assessed the ethical predisposition of the American marketplace by calculating a consumer ethics index. The results indicate that the population is quite intolerant of perceived ethical abuses. The situations where consumers are ambivalent tend to be those where the seller suffers little or no economic harm from the consumer's action. Younger, more educated, and higher income consumers appear more accepting of these transgressions. The results provided the basis for developing a four-group taxonomy of consumers (...) which retailers should find insightful in assessing potential consumer actions in a variety of situations. (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)

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

Pt. 1. The content of consciousness.--pt. 2. The external world.--pt. 3. Mind and matter.--pt. 4. Other minds and the realm of minds.

Over the last several decades Ellen Dissanayake has developed an evolutionary theory of art that views all art as having evolved for the function of promoting group cohesion. This theory is not without its critics, yet it has received little empirical attention. In this article I propose a more modest formulation of Dissanayake’s hypothesis and proceed to test it using a cross-cultural analysis. I rely on the ethnographic databases of the electronic Human Relations Area Files as well as the Standard (...) Cross-Cultural Sample to compare proxies for group cohesion with measures of ritual art, a subset of art that I theoretically define. While my results cannot decisively prove or disprove Dissanayake’s hypothesis, they do lend empirical support to her views. This is promising not only for her views but for outlining ways of empirically testing other views in evolutionary aesthetics. (shrink)