According to both traditional positivist approaches and also to the sociology of scientific knowledge, social analysts should not themselves become involved in the controversies they are investigating. But the experiences of the authors in studying contemporary scientific controversies—specifically, over the Australian Animal Health Laboratory, fluoridation, and vitamin C and cancer—show that analysts, whatever their intentions, cannot avoid being drawn into the fray. The field of controversy studies needs to address the implications of this process for both theory and practice.

Written over several decades and collected together for the first time, these richly detailed contextual studies by a leading historian of science examine the diverse ways in which cultural values and political and professional considerations impinged upon the construction, acceptance and applications of nineteenth century evolutionary theory. They include a number of interrelated analyses of the highly politicised roles of embryos and monsters in pre- and post- Darwinian evolutionary theorizing, including Darwin's; several studies of the intersection of Darwinian science and (...) its practitioners with issues of gender, race and sexuality, featuring a pioneering contextual analysis of Darwin's theory of sexual selection; and explorations of responses to Darwinian science by notable Victorian women intellectuals, including the crusading anti-feminist and ardent Darwinian, Eliza Lynn Linton, the feminist and leading anti-vivisectionist Frances Power Cobbe, and Annie Besant, the bible-bashing, birth-control advocate who confronted Darwin's opposition to contraception at the notorious Knowlton Trial. (shrink)

Historians are now generally agreed that the Darwinian recognition and institutionalization of the polygenist position was more than merely nominal.194 Wallace, Vogt, and Huxley had led the way, and we may add Galton (1869) to the list of those leading Darwinians who incorporated a good deal of polygenist thinking into their interpretions of human history and racial differences.195 Eventually “Mr. Darwin himself,” as Hunt had suggested he might, consolidated the Darwinian endorsement of many features of polygenism. Darwin's Descent of Man (...) was published in the same year that the Anthropological Institute was founded, and it was no coincidence that it was broadly congruent with Knoxian/ Anthropological race science. Recent scholarship has stressed the derivative character of the Descent, and Darwin's views on race were clearly influenced by the earlier interpretations of the abovecited Darwinians.196However, although the Descent was written in the light of the anthropological struggles of the 1860s, it is essential to acknowledge its origins in Darwin's notebooks of the late 1830s and early 1840s. A good deal of the congruence between Darwinian and Knoxian conceptions of race may be traced back to these early notebook constructions. As these document, Darwin, like Knox, brought to his very earliest conceptions of human evolution a “commitment to the idea of human races as discrete biological units with distinct moral and mental traits.”197 The young Darwin had been concerned with the same sorts of questions on racial biological and cultural differences that preoccupied Knox around the same time, and he was committed to as ruthless a naturalism. Apart from their individual and independent debts to Quetelet's “moral statistics,” both Darwin and Knox drew heavily on the general themes of struggle and adaptation in the contemporary “common context” of biological and social thought.198 Given their common context, the broad general similarities between the Knoxian laws of race antagonism and subordination and the Darwinian struggle for existence between races need occasion no strained historical explanation of direct influence.199Nevertheless, in more explicit ways, the Descent does show the conflation of Knoxian/Anthropological and Darwinian racial views, and Darwin located his discussion of these issues squarely within the dispute “of late years” between polygenists and monogenists.200 His mature views on race were shaped by the contemporaneous confrontations and negotiations between the Darwinians and the Anthropologicals. It is within this context that the minor historical puzzle of Darwin's failure to acknowledge Knox's “generic descent” may be explained. Apart from the difficulties of integration and interpretation of his scattered theoretical writings, Knox, through his adoption by Hunt and the Anthropologicals, became identified with anti-Darwinism and therefore with antievolutionism.201 Moreover, Knox, the disreputable and marginal “savage radical” and lately resurrected and equally unsavory “Anthropological,” was hardly an acceptable “precursor.” Yet, paradoxically, it was via the antithetical medium of the Anthropological platform that Knox's race science made an indirect and unacknowledged, but lasting, impact on the Darwinian anthropological model.In the Descent, Darwin argued that racial traits arose very early in the prehistory of man, were not biologically adaptive, and were therefore relatively fixed in character. By viewing race formation as a distant and closed episode of human history, Darwin endorsed the Knoxian categories of race as fixed and unalterable types. Although he thought it irrelevant whether human races were called species or subspecies, he conceded more to the Knoxian view than Huxley by granting that a naturalist confronted for the first time by specimens of Negro and European man “might feel himself fully justified in ranking the races of man as distinct species.”202 Consistent with the Knoxian interpretation, struggle, competition, and survival occurred between racial units rather than between individuals and, in Darwin's view, accounted for the superiority of the Anglo-Saxon and the inevitable triumph of the more intellectual and moral races over the lower and more degraded ones.Darwin was as insistent as Knox on the biological basis of intellectual and moral differences, and, through his tendency to reduce social and cultural differences to biology, he maintained the essential Knoxian/Anthropological link between race and culture.203 For above all, the Descent did much more than offer a naturalistic explanation of human evolution: it proffered social interpretation, justification, and prescription, and its timely appearance gave a powerful boost to the “moralizing naturalism” of Huxley and Galton, and to Spencer's “Social Darwinism.”204 We may draw a straight line from Knox's “moral anatomy,” through Hunt's “anthropology,” and on to “Social Darwinism” and the “social surgeons” of the eugenics movement.The Darwinians did not, of course, we their tendency to naturalize existing economic and social relations to Knox or Hunt and the Anthropologicals—they were simply reflecting the same general intellectual trend that had affected Knox and the Anthropologicals as well. And in the larger context, the forces that had created a climate receptive to Knox's racism had intensified: in the seventies, the need to justify white imperialism and class and racial inequalities was greater than ever. Scientific racism no longer appeared an aberration but the very essence of the scientific study of man, taking on a newfound respectability in the “new” evolutionary anthropology. But in more specific ways, through the struggle between the Darwinians and Anthropologicals for scientific and ideological hegemony, Knox's “moral anatomy” was institutionalized and perpetuated in late Victorian scientific racism. In the process, the delicate balance that Knox had maintained between his radicalism and his racism was outweighed by conservative institutional and social needs, and his “moral anatomy” was retooled — first by Hunt, and then by the Darwinians — to fit those needs. (shrink)

Banging on about Darwin: Hodge in context Content Type Journal Article Pages 1-5 DOI 10.1007/s11016-011-9550-4 Authors Evelleen Richards, Unit for History and Philosophy of Science, University of Sydney, PO Box 255, Thirroul, NSW 2515, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

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.

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.

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.

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.

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.