Bernadette M Tobin; Richard Peters's Theory of Moral Development, Journal of Philosophy of Education, Volume 23, Issue 1, 30 May 2006, Pages 15–27, https://doi.

Bernadette M Tobin; Richard Peters's Theory of Moral Development, Journal of Philosophy of Education, Volume 23, Issue 1, 30 May 2006, Pages 15–27, https://doi.

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.

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.

Even though sign-systems are a crucial part of society, critical realism, as developed by Roy Bhaskar, does not yet have an adequate theory of signs and semiosis. The few suggestions that Bhaskar offers can be advanced through the semiotics of C.S. Peirce. In doing so, however, it becomes necessary to reconsider Bhaskar's ontological domains of the real, the actual, and the subjective, and expand the last domain into one of semiosis. This new understanding of ontological domains, incorporating Peirceian semiotics, provides (...) the basis for rethinking the ontology of society: the customary dyad structures/agents becomes the triad structures/agents/discourses, each of which possesses material, sociological, and meaningful aspects. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.2 (2001) 347-350 [Access article in PDF] Book Review The Sin of Knowledge: Ancient Themes and Modern Variations, The Sin of Knowledge: Ancient Themes and Modern Variations, by Theodore Ziolkowski; xvi & 222 pp. Princeton: Princeton University Press, $29.95. After thirty-five years of teaching and administrating at Princeton University, dozens of books, and innumerable articles, the eminent Germanist Theodore Ziolkowski has turned his attention to a (...) theme appropriate for someone so immersed in the intellectual life: the sorrow and grief that accompany human knowledge. Although Ziolkowski has made great contributions in standard studies of genre (notably the elegy and the twentieth-century novel) and authors (Mann, Hesse, and Broch), he became especially well known for his theorization and implementation of thematic studies, ranging from the sublime--fictionalizations of the life of Jesus--to the humorous--talking animals in literature. The figures whom Ziolkowski has selected for analysis of the sin of knowledge are Adam, Prometheus, and Faust, each of whom he views through both an ancient and a modern lens.All three of these mythic heroes violate "divine prohibitions against the new knowledge" (p. 69). Less heroically, all of these myths treat women misogynistically. Generally, Ziolkowski sees each of these stories as having emerged in a time of crisis, when new opportunities presented humanity with knowledge both alluring and disruptive. Because these are highly elastic myths, able to provide meaning in a variety of contexts, they have all mutated in modern times. Adam's Fall comes to represent the human transition from innocence to consciousness, Prometheus becomes a symbol for socialism's promise, and Faust turns into a representative of the American way of life.Looking at the ancient legend of Adam, Ziolkowski notes that sexuality and wisdom are linked in many of the oldest texts in humanity's recorded history. The emphasis on knowledge, however, is especially strong in the Hebrew myth. While many Near Eastern traditions have stories with similarities to the Biblical account of Adam and Eve, only Hebrew mythology has the Tree of Knowledge. For Ziolkowski, the fact that this story was probably set down during the reign of King Solomon explains this emphasis on knowledge. Because the Age of Solomon was a time of unparalleled wealth and power for the Hebrews, [End Page 347] Ziolkowski argues that the tale of Adam and Eve is the kind of myth "produced by cultures that have reached a certain level of sophistication... and look back with a degree of nostalgia at an imagined simpler, happier existence" (p. 23). According to Ziolkowski, knowledge becomes a sin for the Hebrews as they come to terms with the limitations of everything that their knowledge has brought them even at the height of their power and glory.In the modern era, Ziolkowski continues, the story of Adam has become secularized, representing the transition of humanity from a state of innocence to one of consciousness. He finds references to the Fall in Voltaire's Candide, Kleist's The Broken Pitcher, E. T. A. Hoffmann's The Golden Pot, Melville's Billy Budd, and Hesse's Demian. The overall trend of these representations of the rise of consciousness has been increasingly negative, culminating in sentiments like those expressed by the East German author Günter Kunter, who argues that "our whole present misery and all the problems of industrial civilization" can be linked to "the moment when man used the first firestone as a tool, the Fall" (p. 107). As Ziolkowski concludes: "Two centuries of secularization have brought the modern Adam to a depressing end" (p. 108).Citing Nietzsche, who compared Prometheus to Adam (and Pandora to Eve), Ziolkowski looks first at Hesiod's depiction of Prometheus as a trickster and then to Aeschylus' hero. Unlike the authors of the story of Adam and Eve, though, Aeschylus depicts Prometheus' claim to divine knowledge in a positive light: "Rather than a humankind declining from a glorious golden age to the present deplorable iron age, Aeschylus sees humanity progressing by means of knowledge--the crafts, arts, and sciences--from blindness and ignorance... (shrink)

Medical Officers serving with their national contingents in peacekeeping operations are faced with difficult ethical decisions in regard to their obligations to the local civilian population. Such populations may be under-resourced in regard to medical care, and vulnerable to abuse and exploitation. Though the medical officer may support the local medical services, he/she should never undermine these resources. Adopting a human rights approach and observing the requirements of ethical medicine, aids the doctor in prioritising his/her duties. At times there may (...) be conflict with one’s own military superiors. It is wise to discuss potential difficulties prior to setting out on the mission. Human rights abuses cannot be ignored. The medical officer has a duty to do his/her best to report their observations so as to prevent abuse or to bring it to an end. (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.

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.

Offering the perspectives of some of the most respected thinkers in transpersonal psychology and consciousness studies, this book explores the farther reaches ...

Most work on reflexivity has focused on individuals exercising their reflexivity through discourse. However, agents have three major aspects (intentionality, causal efficacy and embodiment) and they are fundamentally social. This article examines the possibility of collective reflexivity conducted not just by saying, but also by doing—that is, through their embodiment. By expanding the concept of ‘performatives’ to encompass not just speech acts but also acts that speak (i.e. embodied activities as socially meaningful) and applying the work of Charles S. Peirce (...) in order to develop an ontology of embodied reflexivity, it becomes possible to determine several criteria defining embodied collective reflexivity. Assessing possibilities such as legislative debate, political demonstrations, religious ritual and dramatic performance reveals that a certain set of practices does in fact meet those criteria and discloses additional aspects of what constitutes embodied collective reflexivity. (shrink)

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)