We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Since 1990, The Simpsons’ annual “Treehouse of Horror” episodes have constituted a production sub-context within the series, having their own conventions and historical trajectory. These specials incorporate horror plots and devices, as well as general references to science fiction, into the series’ base in situation comedy. The Halloween specials disrupt the series usual family-oriented sitcom structure, dissolving the ideological balances that stabilise that society. By depicting the Family and community in extreme circumstances, in seeing the horror of ‘how things could (...) be’, the Treehouse episode leave us with hanging questions about the nature of social being that bleed into the regular sitcom-style episodes. By breaking from the comparatively realistic social-satire that characterizes the series as a whole, the Halloween specials cast a reflexive gaze back onto “The Simpsons” itself. As a result, the “Treehouse” episodes are valuable as a means of examining the strategies and implications of the series as a whole. Bakhtin’s model of the carnivalesque is utilised to underscore these disruptive traits that characterise the Treehouse episodes. (shrink)

Muraskas et al. and Hefferman and Heilig present the painfully elusive ethical questions regarding decisionmaking in the care of the extremely low birth weight infants in the intensive care nursery. At what gestation or size do we resuscitate? Can we stop resuscitation after we have started? How much money is too much to spend? Is the distress of the parents of the ELBW infant, the anguish of their caregivers, and the moral and ethical uncertainty of the approach to these infants (...) too much to pay? Who speaks for the neonate: the parent, nurse, attorney, or physician? Ideally these questions should have been answered 30 years ago when modern neonatology embarked on a journey from where it could not return. A new breed of physician, called “neonatologist,” seduced by the high-tech lure and the promise of saving lives previously unsavable pioneered a lucrative and life-saving technological revolution in the care of premature newborns. This rapid advancement in neonatology occurred a few years after the death of a premature infant named Patrick Kennedy in 1963. While the country mourned, medical scientists vowed that this would not happen again. First continuous positive airway pressure, then mechanical ventilation, changed medical care of premature newborns forever. It began an era of euphoria and excitement. Neonatologists raced to push to the edge of newborn viability. What was the youngest salvageable gestational age? What was the smallest that could be saved? Yes, we dreamed, and still do dream of artificial placentas. Ethical questions took a back seat in the search for the edge because the waters were uncharted and the tough questions could not be answered without experience. What was to be the cost in dollars and in anguish to save the Patrick Kennedys of the world? Triumphs led to grave concerns as we approached the edge. However, no advancement in neonatology has ever changed the ultimate questions. (shrink)

Muraskas et al. and Hefferman and Heilig present the painfully elusive ethical questions regarding decisionmaking in the care of the extremely low birth weight infants in the intensive care nursery. At what gestation or size do we resuscitate? Can we stop resuscitation after we have started? How much money is too much to spend? Is the distress of the parents of the ELBW infant, the anguish of their caregivers, and the moral and ethical uncertainty of the approach to these infants (...) too much to pay? Who speaks for the neonate: the parent, nurse, attorney, or physician? Ideally these questions should have been answered 30 years ago when modern neonatology embarked on a journey from where it could not return. A new breed of physician, called seduced by the high-tech lure and the promise of saving lives previously unsavable pioneered a lucrative and life-saving technological revolution in the care of premature newborns. This rapid advancement in neonatology occurred a few years after the death of a premature infant named Patrick Kennedy in 1963. While the country mourned, medical scientists vowed that this would not happen again. First continuous positive airway pressure, then mechanical ventilation, changed medical care of premature newborns forever. It began an era of euphoria and excitement. Neonatologists raced to push to the edge of newborn viability. What was the youngest salvageable gestational age? What was the smallest that could be saved? Yes, we dreamed, and still do dream of artificial placentas. Ethical questions took a back seat in the search for the edge because the waters were uncharted and the tough questions could not be answered without experience. WhatwastobethecostindollarsandinanguishtosavethePatrickKennedysoftheworld?Triumphsledtograveconcerns asweapproachedtheedge.However,noadvancementinneonatologyhaseverchangedtheultimatequestions. (shrink)

In this article, we posit that a cross-scale perspective is valuable for studies of organizational resilience. Existing research in our field primarily focuses on the resilience of organizations, that is, the factors that enhance or detract from an organization’s viability in the face of threat. While this organization level focus makes important contributions to theory, organizational resilience is also intrinsically dependent upon the resilience of broader social-ecological systems in which the firm is embedded. Moreover, long-term organizational resilience cannot be well (...) managed without an understanding of the feedback effects across nested systems. For instance, a narrow focus on optimizing organizational resilience from one firm’s perspective may come at the expense of social-ecological functioning and ultimately undermine managers’ efforts at long-term organizational survival. We suggest that insights from natural science may help organizational scholars to examine cross-scale resilience and conceptualize organizational actions within and across temporal and spatial dynamics. We develop propositions taking a complex adaptive systems perspective to identify issues related to focal scale, slow variables and feedback, and diversity and redundancy. We illustrate our theoretical argument using an example of Unilever and palm oil production in Borneo. (shrink)

This ground-breaking text offers a fresh perspective on the governance of science from the standpoint of social and political theory. Science has often been seen as the only institution that embodies the elusive democratic ideal of the 'open society'. Yet, science remains an elite activity that commands much more public trust than understanding, even though science has become increasingly entangled with larger political and economic issues.

Blaise Pascal (1623–1662) Blaise Pascal was a French philosopher, mathematician, scientist, inventor, and theologian. In mathematics, he was an early pioneer in the fields of game theory and probability theory. In philosophy he was an early pioneer in existentialism. As a writer on theology and religion he was a defender of Christianity. Despite chronic ill […].

An affirmative answer is given to the question quoted in the title.

Albert Camus Albert Camus was a French-Algerian journalist, playwright, novelist, philosophical essayist, and Nobel laureate. Though he was neither by advanced training nor profession a philosopher, he nevertheless made important, forceful contributions to a wide range of issues in moral philosophy in his novels, reviews, articles, essays, and speeches—from terrorism and political violence to … Continue reading Camus, Albert →.

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

It is argued that Hume’s definition of miracle stands in need of revision because it fails to be inclusive of acts of supernatural intervention in the world which are non-law-violating. Potential revisions of the definition, due to Paul Dietl and Christopher Hughes are considered and found to be inadequate, and a new definition is put forward; a miracle is "an intended outcome of an intervention in the natural world by a supernatural agent." An objection to this definition is anticipated and (...) a distinction is made between miracles and magic in order to address the objection. (shrink)

This book aims to develop the tradition of philosophical hermeneutics, the theoretical account of interpretive (as opposed to explanatory) understanding--the account of meanings and contexts rather than causes and predictions--usually restricted to the domain of literary and textual analysis, in new directions by exploiting its potential as an instrument of critique. It refutes commonly held claims that hermeneutic analyses are necessarily relativistic, Eurocentric, or critically impotent and demonstrates how hermeneutic procedures can inform analyses of urgent current and cross-cultural issues such (...) as the biology of race, female genital excision, and the so-called "culture of poverty" thesis. Lorenzo Simpson demonstrates that a robust methodology of philosophical hermeneutics is well positioned to intervene in critical political and social issues in global ethics and justice in concert with critical theory's emancipatory aims. (shrink)

This volume explores Science & Technology Studies (STS) and its role in redrawing disciplinary boundaries. For scholars/grad students in rhetoric of science, science studies, philosophy & comm, English, sociology & knowledge mgmt.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

This article supports the idea that synthesis, rather than analysis, is the most powerful and promising route towards understanding the essence of brain function being understood at all. It discusses ‘understanding by doing’, outlines a methodology for the use of deep computer simulation and robotics in pursuing such a synthesis, and then briefly introduces the author’s ongoing, long-term attempt to build a neurologically plausible and hopefully at least subconscious being, whom he hopes will eventually answer to the name of Lucy.

Although The Structure of Scientific Revolutions is one of the most influential books of this century, its author, Thomas Kuhn, is notorious for disavowing most of the consequences wrought by his text. Insofar as these consequences have appeared "radical" or "antipositivist," this article argues that they are very misleading, and that Kuhn's complaints are therefore well placed. Indeed, Kuhn unwittingly succeeded where Daniel Bell's The End of Ideology tried and failed, namely, to alleviate the anxieties of alienated academics and defensive (...) policy-makers by teaching them that they could all profit from solving their own paradigmatic puzzles. The influence of tructure is traced from the philosophy of science into the social sciences and science policy. Special attention is paid to the import of the General Education in Science curriculum at Harvard, in which Kuhn taught for most of the period prior to writing tructure. Harvard President James Conant had designed this curriculum in order to keep "pure science" in the good favor of the American public, in whose eyes it suffered after the use of the atomic bomb. While Conant was keen to stress the distinctiveness of science from other social practices, Kuhn's model seemed to provide a blueprint for reconstituting any practice as a science. This enabled potentially antiscientific academics to become scientists themselves, thereby neutralizing any radical challenges to the ends of scientific inquiry. The article concludes by reconstructing some of the inchoate possibilities for radical critique that Kuhn's success preempted, and by making some suggestions for how they may be recovered in the present academic environment. (shrink)

Brierley et al argue that in cases where it is medically futile to continue providing life-sustaining therapies to children in intensive care, medical professionals should be allowed to withdraw such therapies, even when the parents of these children believe that there is a chance of a miracle cure taking place. In reasoning this way, Brierley et al appear to implicitly assume that miracle cures will never take place, but they do not justify this assumption and it would be very difficult (...) for them to do so. Instead of seeking to override the wishes of parents, who are waiting for a miracle, it is suggested that a better response may be to seek to engage devout parents on their own terms, and encourage them to think about whether or not continuing life-sustaining therapies will make it more likely that a miracle cure will occur. (shrink)

The critical realist conception of open and closed systems is not about systems: it is about regularities in the flux of events and states of affairs. It has recently been criticised on the grounds that critical realists should take on board ideas about the general nature of systems; recognise that genuinely open social systems would be impossible; avoid polarities or dualisms where either there are event regularities and open systems, or there are no event regularities and closed systems and accept (...) partial regularities and partially open systems; and understand that orthodox economics is not based upon event regularities, laws or Humean empiricism. The objective of this paper is to ‘take stock’ of these recent criticisms. (shrink)

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...) case 2.In the present work, we generalize the entire arrangement from propositional to first-order logic, using a representation result of Butz and Moerdijk. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming into a common dualizing object, now Sets, regarded once as a boolean category, and once as a groupoid equipped with an intrinsic topology.The overall framework of our investigation is provided by topos theory. Direct proofs of the main results are given, but the specialist will recognize toposophical ideas in the background. Indeed, the duality between syntax and semantics is really a manifestation of that between algebra and geometry in the two directions of the geometric morphisms that lurk behind our formal theory. Along the way, we give an elementary proof of Butz and Moerdijkʼs result in logical terms. (shrink)

This paper lays the groundwork for normative-yet-naturalistic social epistemology. I start by presenting two scenarios for the history of epistemology since Kant, one in which social epistemology is the natural outcome and the other in which it represents a not entirely satisfactory break with classical theories of knowledge. Next I argue that the current trend toward naturalizing epistemology threatens to destroy the distinctiveness of the sociological approach by presuming that it complements standard psychological and historical approaches. I then try to (...) reassert, in Comtean fashion, the epistemologist's credentials in regulating knowledge production. Finally, I consider how social epistemology may have something exciting and relevant to say about contemporary debates in the theory of knowledge. (shrink)

While powers and tendencies are among the most fundamen- tal concepts of critical realism, there are several problems with these concepts that have been ignored, avoided or glossed. The purpose of this paper, therefore, is to tease out these problems and provide clarification and consistency where possible. In the first section of the paper I sketch the existing critical realist conceptualization of tendencies by identifying eight distinct moments in a causal chain, denoted tendency1 to tendency8. In section two I ask: (...) Is there a difference between powers and tendencies? The answer, controversially perhaps, is: ‘No’. In section three I ask: What is the difference between tendency1 and tendency2? The answer considers two possible arguments accounting for the difference, and initiates a re-think of some of the terminology used to discuss tendencies as distinct moments in a causal chain. I conclude by raising the possibility that tendencies or powers are not of an either/or, discrete, dichotomous or discontinuous nature, but are continuous. This raises the further possibility that powers or tendencies can come in stronger and weaker forms. (shrink)

Corporate sustainability can be defined as organizations’ commitment to profitability, environment, and social well-being. This study uses a transactional culture analysis of CS reporting practices to explain why some Indian organizations conform to voluntary CS reporting guidelines and others do not. The literature contains two different perspectives on culture, defined broadly as a set of values that guide people’s behavior at a given time. Most past studies typically use national culture to explain differences in CS practices across nations. This concept (...) embeds corporate cultures within the larger national culture, neglecting intranation diversity. Conversely, according to the transactional culture approach used in this study, cultures are plural and independent of geoethnic boundaries, and emerge through social transactions. TCA encourages multilevel explorations of complex social phenomena. Since CS reporting preferences are the outcome of ongoing transactions among organizational stakeholders across different levels, TCA is more appropriate for this study. Since this application requires an understanding of social accountability, the authors use Mary Douglas’s Cultural Framework, a transactional framework of social accountability. A qualitative exploration of six Indian organizations using DCF reveals different dominant forms of social accountability in these organizations: either alone or as paired hybrids. Consequently, each organization prioritizes different stakeholders and reacts differently to voluntary CS reporting guidelines. Identifying the dominant form or forms of social accountability in their organizations and understanding their underlying reasons for resisting voluntary CS guidelines enables managers to secure better collaboration for their CS initiatives. (shrink)

If nothing else, the war in Iraq and the 1991 Gulf War have taught us much about media and technology as key players in how war is waged, packaged for public consumption, and exported in real time to the rest of the globe. A critic of the art of technology, Paul Virilio has keenly observed that media images quite often constitute a strategy of war and that accident is becoming indistinguishable from attack. For more than fifty years Virilio has offered (...) incisive and provocative criticism on technology and its moral, political, and cultural implications. Yet until now, much of his work, originally published in French, remains elusive in full English translation. _The Paul Virilio Reader_ collects for the first time English extracts reflecting the entire range of Virilio's diverse career. The book's introduction demonstrates that Virilio has produced an important--if controversial--"theory at the speed of light" that uncannily illuminates the impact of new information and communications technologies in a world that collapses time and distance as never before. The inventor of "dromology," which views speed as a defining concept for contemporary civilization, Virilio is noted for his proclamation that the logic of ever-increasing acceleration lies at the heart of the organization and transformation of the contemporary world. Arranged chronologically, the Reader illustrates the development and interconnectedness of Virilio's work. Each extract is prefaced by bibliographical and contextual commentary, and the book includes an innovative guide to reading Virilio. (shrink)

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of (...) modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book. (shrink)

The use of deceptive techniques is common in social science research. It is argued that the use of such techniques is incompatible with the standard of informed consent, which is widely employed in the ethical evaluation of research involving human subjects. A number of proposals to justify the use of deceptions in social science research are examined, in the face of its apparent incompatibility with the standard of informed consent, and found to be inadequate. An alternative method of justification is (...) outlined, which enables some deceived participants in social science research to rationally and autonomously choose to participate in that research. The alternative method of justification appeals to the idea of indirect consent, which is introduced. It is argued that research subjects who receive reliable testimony regarding research procedures can sometimes be placed in a position to rationally and autonomously consent indirectly to participation in experiments and studies, even if these involve significant deceptions. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...) ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright. (shrink)

"The Knowledge Book" is a unique interdisciplinary reference work for students and researchers concerned with the nature of knowledge. It is the first work of its kind to be organized on the assumption that whatever else knowledge might be, it is intrinsically social. The book consists of 42 alphabetically arranged entries on key concepts at the intersection of philosophy and sociology - what used to be called "sociology of knowledge" but is now increasingly called "social epistemology". The entries include concepts (...) common to disciplines that in recent years have devoted more of their attention to knowledge: cultural studies, communication studies, information science, education, policy studies and business studies. Special attention is given to concepts from the emerging field of science and technology studies. Each entry presents a short, self-contained essay providing an overview of a concept and concludes with suggestions for further reading. All the entries are fully cross-referenced, allowing readers to both make connections and follow their own interests. (shrink)

To identify and conceptualize research problems in science, philosophers and often scientists rely on classical accounts of problems that focus on intellectual problems defined in relation to theories. Recently, philosophers have begun to study the structures and functions of research problems not defined in relation to theories. Furthermore, scientists have long pursued research problems often labeled as practical or applied. As yet, no account of problems specifies the description of both so-called intellectual problems and so-called applied problems. This article proposes (...) a new conceptual framework of problems that accounts both for intellectual aspects of problems and for their practical or applied aspects. I illustrate the account with an example of a recent research project from evolutionary biology, and I indicate further routes by that to develop the account, especially in connection to empirical studies of science. (shrink)

Children of school age routinely gamer information from the Web-sites and homepages of the World Wide Web (WWW). For the foreseeable future increasing numbers of children will be doing more and more of this. These children will generally be in classrooms for much of the time, although their school-based learning will be supplemented by the use of home computers. The content and quality of information gathered by children will continue to be circumscribed by the demands of the curriculum and by (...) the parameters and guidelines provided by for example anti-pornography filtering software or, more positively, the National Grid for Learning.1 For the foreseeable future too, teachers will remain in a position to enable, guide and regulate children’s Internet use. It is and will be the job of teachers to help children to employ the resources of the WWW in order to become well informed, and to help them to reflect intelligently on the structures and processes involved, and on the significance of their learning to wider human concerns. But what specifically do children learn from using the WWW? Furthermore, is it possible that using the WWW and reflecting on the engagement with it could provide an opportunity for children to learn something new and significant? If so, what is it, and what is the role of teachers in this learning? (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)