Flap EndoNuclease‐1 (FEN‐1) is a multifunctional and structure‐specific nuclease involved in nucleic acid processing pathways. It plays a critical role in maintaining human genome stability through RNA primer removal, long‐patch base excision repair and resolution of dinucleotide and trinucleotide repeat secondary structures. In addition to its flap endonuclease (FEN) and nick exonuclease (EXO) activities, a new gap endonuclease (GEN) activity has been characterized. This activity may be important in apoptotic DNA fragmentation and in resolving stalled DNA replication forks. The multiple (...) functions of FEN‐1 are regulated via several means, including formation of complexes with different protein partners, nuclear localization in response to cell cycle or DNA damage and post‐translational modifications. Its functional deficiency is predicted to cause genetic diseases, including Huntington's disease, myotonic dystrophy and cancers. This review summarizes the knowledge gained through efforts in the past decade to define its structural elements for specific activities and possible pathological consequences of altered functions of this multirole player. BioEssays 27:717–729, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

continent. 2.1 (2012): 22–28. Jeroen Mettes burst onto the Dutch poetry scene twice. First, in 2005, when he became a strong presence on the nascent Dutch poetry blogosphere overnight as he embarked on his critical project Dichtersalfabet (Poet’s Alphabet). And again in 2011, when to great critical acclaim (and some bafflement) his complete writings were published – almost five years after his far too early death. 2005 was the year in which Dutch poetry blogging exploded. That year saw the foundation (...) of the influential, polemical, and populistically inclined weblog De Contrabas (The Double Bass), which became a strong force for internet poetry in Dutch in the years to follow. In the summer of that year, a lively debate raged in the aftermath of Bas Belleman’s article “ Doet poëzie er nu eindelijk toe ?” (“Does poetry finally matter now?”), on a blog specifically devoted to this question. Up to that point, the poetical debate in the Netherlands had largely been confined to literary reviews (which were often subsidized), having become mostly marginalized in more mainstream media, where poetry could be covered by only a small number of so-called authorities. As a result, literary debate had acquired a rather placid quality. Though a variety of camps with different aesthetics could be discerned, most poetical positions shared a general acceptance of poetry as a form of art somewhat apart from fundamental political concerns. Late modernists would pursue subtlety and density of reference. Others would insist poetry was best understood as a form of entertainment that should ideally be accessible and work well on the stage. Still others would insist that poetry is mostly a play with forms. Linguistically disruptive strategies were valued highly by some, but mostly for their aesthetic effect. Values of disinterested playfulness reigned supreme everywhere. Any idea that poetry could be a field in which one confronts politics and the world was decidedly marginal. This led to a climate in which most attempts at polemics were DOA, often based on far too superficial positioning and analysis. The greatest polemical debates were revolving around the question of whether poetry should be difficult or easy, with both camps defining their ideas of difficulty and accessibility in ways that were so utterly shallow as to make the entire point moot. Debates were performed, rather than engaged with. It was a postmodern hell of underarticulated poetics. Half-consciously, people were yearning for new forms of criticism that could put the oomph back into poetry. Weblogs provided for ways to explore debate directly outside of the clotted older channels of the reviews and the newspapers. Belleman’s essay and the resulting online activity had shown that there was a widespread eagerness to take poetry more seriously as a social art form. It was in this environment that Mettes started his remarkable project Dichtersalfabet . At that moment, Mettes was active mostly in academic circles, having become noted at Leiden University as a particularly gifted student of literary theory. Within the Netherlands, the field of literary theory has a very odd relationship to literature as it is practiced in the country. Academic theory tends to have a mostly international view and engage with international debates of cultural criticism, literary theory, and philosophy, with academics often publishing in English and attending conferences around the world. Literature itself however is much more concerned with domestic traditions. Consequently, in the Netherlands, there exists a language gap between academic theoretical practice (as it is studied in the literary theory departments) and literary practice (which, academically, gets studied in specialized departments of Dutch literature). The Dichtersalfabet can be seen as Mettes’s attempt to close this gap. It is also an attempt to bridge the divide between theory and practice, in which he could apply his theoretical knowledge in a very unorthodox and unacademic critical mode that moreover could reach far beyond the domain of conventional criticism. Mettes’s goal was to trace a diagonal through Dutch poetic culture, to “strangle” what he perceived to be its dominant oppressive traditions of agreeable irrelevance, in order to see whatever might be able to survive his critical assaults. But he could only do so by means of a very serious engagement with poetry itself. To this end, he would go systematically through the poetry bookshelf of the Verwijs bookshop (part of a mainstream chain of booksellers) in The Hague, buying one publication per blog item, starting from A and working his way through the alphabet, reading whatever he might encounter that way in the restaurant of the HEMA store (another big commercial chain in the country). He would subsequently write down his reading experiences, refraining however from trying to write a nuanced book review. Rather, he would write about anything that caught his attention and sparked his critical interest. This way of working would yield vast, at times somewhat rambling, dense, lively, and generally brilliant essays, in which he held no punches. He never hesitated to pull out his entire arsenal of concepts from the international theory traditions, while never degenerating into mere academic exercise and pointless intertextualities. The attempt was rather to live the poetry that he read, and to engage it with the full range of political, academic, cultural, and personal references that he had at his disposal—all that composed the individual named Jeroen Mettes as a reader. Often what he wrote would not be according to the standards of what we usually think of as a critical review of a book of poetry. Sometimes he would even be a little sloppy in his judgments of poets or representations of the books he read, for example by basing an entire essay on the blurb of a book rather than its poetry content. But what he did was always brilliant writing nonetheless—virtuoso riffs on poetic fragments randomly found within capitalist society, exposing an incisive and insistent poetical sensibility. Mettes read poetry for political reasons, to see whether poetry could offer him a way to deal with a political world he detested. The right-wing horrors of the Bush years, the Iraq war, and the turn of Dutch public opinion towards ever more conservative, narrow-minded, and xenophobic views alongside a complete failure of the political left to present any credible alternative, were weighing heavily on the times in which Mettes reported on his reading. Poetry was to measure this world, diagram it, to lay bare its inconsistencies and faults, to indicate where lines of flight might be found. Amid the ruins of a world wrecked by imperialist policies, corporate capitalism, and doctrinal neoliberalism it would have to show the possibility of a new community. And it was, through its rhythmical workings, to release the reading subject from his confinement to ideologically conditioned individuality and lead him into the immanent paradise of reading. The stakes were high. Much higher than anything Dutch poetry had seen for many years. Mettes’s blog was widely read from the start. His posts sparked lively debates. Some of these subsequently led to the publication of extensive essays on a few key poets in some literary journals, particularly Parmentier and the Flemish journal yang , for which Mettes would become a member of the editorial board, a few months after starting the Dichtersalfabet . This could have been the start of a brilliant career, but this was not to be. The initial manic energy that fueled the blog gradually subsided. The Alfabet was updated less and less regularly. Mettes sometimes just disappeared for many weeks, then suddenly returning with a brilliant essay. Until, on September 21, 2006, he posted his final blogpost, consisting of no text whatsoever. That night I learned from his mentor at Leiden University that he had committed suicide. Mettes and I had had some fruitful exchanges on poetry, rhythm, music, and form, mostly on the blogs, but also by email. Three weeks before his death was the last time I heard from him: a very sudden, uncharacteristically curt note saying “My old new sentence epic.” Attached to that message I found a DOC-file of a work so major that I felt intimidated. This was N30 , a text he had been working on for over five years. After his death, it took me a long time before I dared to read it in its entirety. In the meantime, the work of preparing the manuscript for publication was entrusted by his relatives to his colleagues at yang magazine. It took them a few years to brush up the text and to edit the Dichtersalfabet -blog (which, apart from the Alphabet project itself, incorporated many other fragments of political, polemical, and theoretical writing) into book form along with the essays. The result of this labor was finally published in 2011 as a two-book set, and Mettes burst onto the Dutch poetry scene for the second time. The work was widely reviewed, on blogs, in journals, magazines, and newspapers. Many critics who had not followed the blogs in 2005 showed themselves surprised, baffled even, by the intensity of Mettes’s critical writing. But for those who had read the blog, the main surprise was in the poetry. During Mettes’s lifetime, some of his poems had already been published in Parmentier . Although these were strong texts by themselves, in no way did they prepare readers for N30 . Nothing like it had been written in Dutch before. Instead, N30 explicitly follows the American tradition of Language Writing, directly referencing Ron Silliman and his concept of The New Sentence. However, it would seem that much of the poetical thinking around his use of this technique puts him closer to a writer such as Bruce Andrews. For Mettes, using non sequiturs as a unit of poetic construction was not only a way of reinventing formal textual construction, but it was another way of finding the fault lines in the social fabric. From the perspective of the Language tradition, one may put N30 somewhere between Silliman and Andrews. N30 shares an autobiographical element with Silliman’s New Sentence projects, and as in Andrews, there is a concern for mapping out social totality within text—what Mettes refers to as a “textual world civil war.” Again this shows a formal textual strategy for allowing the person “Jeroen Mettes” to be absorbed by the world, which here appears as a whirlwind of demotic and demonic chatter, full of violence, humor, intensity, beauty, disgust, sex, commerce, and strife. Influenced as it may by American precursors, Mettes’s tone and form end up quite different from his American counterparts, consistently referencing a world that is Dutch, all too Dutch, taking on the oppressive orderliness of Dutch society with its endemic penchant for consensus by introducing chaos into its daily life and laying bare its implicit aggressions. The work’s 31 chapters each have a different feel and rhythmical outline, but none of them follow a predetermined pattern. Rather, Mettes would consistently edit and reedit the text, randomly rewriting parts of it, as he explains in his poetical creed Politieke Poëzie (Political Poetry). N30 – referring to the 1999 antiglobalist protest in Seattle – was to be the first text of a trilogy. The work itself was written “in the mode of the present.” A second text was to be written in the mode of the future, and a third one, in the mode of the past, was going to be an epic poem about the Paris Commune, and to form an alternative poetic constitution for the European project. I still deeply regret that Jeroen Mettes never got to complete those projects, just as I would be very keen on knowing what he might have had to say about more recent political developments. Instead, in 2006, he remained stuck in the horrors of the present, that ended up consuming him completely. He left Dutch literature with some of its most piercing criticism and its most profoundly moving, exciting and powerful poetry. Excerpts from N30 Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "N30." In N30+ . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. Chapter 1 1999. A day is a space too. And another man, who had chained himself, had his ribs crushed, and a motor has driven over somebody’s legs. Dutch health care system spends ±145 million guilders per year on worriers. A spiderweb vibrates as I pass by. Randstad renovating. She slaps her bag against her ass: “Hurry up!” OPINION IS TRUE FRIENDSHIP Your skin. It doesn’t express anything. “But the use of the sword, that’s what I learned, and you’ll need nothing more for the moment.” Just try to interrogate a guy like that. Gullit in Sierra Leone. Codes silently lying all around. But that’s simply what belongs to “that it’s just allowed”: that sigh of “world” (a word expressing that the trees are now standing along the water like black men with white bags in their hair); that’s nothing else right? And you see how everything has to move, and first of all what cannot do so. Without Elysium and without savings, barbarians lashing out, horny for an enemy, staring across the water, staring into the air—staring to get out of it. “You’ve never showed me more than the mall,” she said. All those “dreams” in the end—and now? It was lying on the stairway, so I picked it up and took it upstairs. Chapter 3 “You know what?” Telecommunication. For love… I don’t really like that cheap cultural pessimism, but… The holy city is on pilgrimage in the earthly bodies of the faithful until the time of the heavenly kingdom has come. The end of an exhausting autumn day behind the computer, my eyes filled with tears of fatigue. KITCHEN / INSTALLATION / SPECIALIST. Network integration. In the sun, stretched out on a sheet. (…) I don’t believe what I’m reading, because I want to believe something else. An illusion? Suits me. There’s a variety of shapes and tastes… “So what?” you may think. 102 dalmatians can’t be wrong. But I want more, dear… A feel good movie. I’m smashing the burned body. So what? We continue to save the European civilization. What’s there to win? Plato with poets = Stalin without gulag? Ball against the crossbar. No wonder. She comes straight to her point. She’s standing in the kitchen eating an apple. (…) The godless Napoleon had used her as a stable and wanted to have her taken down. “Our” Rutger Hauer. Ready or not here I come. Psst… are you also wearing a string? Nobody understands our desire. Cliffs breaking the waves and shattering the sunset. I used to be a real romantic (as a poet). A typical fantasy used to be the one in which I brutally raped mother and daughter Seaver from the sitcom Growing Pains . Nevertheless you only contain bad words. Eyelashes. Automatic or manual? That your skin always in the afternoon. Integration. The air is empty. Too bad! Hand in hand on their lonely way. Alaska! Chapter 12 May 5, 2001 [10:00-10:30] A dust cloud on a hill. Globe. Indian (British) (tie) / pope. Damascus. Rape. We’re carrying the ayatollah’s portrait through the streets. At the moment the girl is mostly suede jacket with white ribbons on her sleeves. A small explosion flares up/impact. Camouflage. Close up. We’re analyzing the situation. He’s dead right? Dead dead. Dead. Everything without, these, and only with the body. Indices signal death. Dollar bills are printed in factories. Holes. Light patch. Globe in a box. Microphone. What’s the situation? Grey impact on a green hill (field?). The water is blue. He has no lips. Interns on the background with skirts that are too long. This is an example of a sonnet. An Islamic woman pushes against the door of an electronics shop. Arrows (percentages (prices)). Is this what awaits the American? Touch screen interface. The word, an island, can only be a sign in that situation. We pull up a chair, join in on the fun. On the shelves only books about computers. One glance in the distance is enough to lighten up a luna park in the distance. She’s really desperate, especially when she laughs. Click. Ah. Next. And now it’s raining, but that’s ok. Yellow stains sliding over the south. Shallow caves light: clothes, boots, electrical equipment. 45. 22:10. Nothing gives you the right to eat more than people starving to death. The Hague. Slam dunk. Traffic light. Two H’s, one L (standing for the L (little prick)). We’re happy to say something. Clouds, small suns, temperatures, cities. The truth is never an excuse. Yellow. Yellow. Green. Yellow. Yellow. Yellow. Yellow. Green. Green. Yellow. Will you email me? Skeleton: “No.” Ex-nerds in brand-new and brightly red sport cars. $$$. I love. Shihab. Hooves in the sand. Skinny senior with over-sized sunglasses; old jockey (cap, trophy) smiling in slow motion. And there I am again, flashback, crying with my head in between my hands. Sometimes I’ve got the feeling that cannibals. Eyes: blue. Cancer. Why would I wait until tomorrow? Golden beams protruding from the lifted/lit earth. May 5, 2001 [11:30-12:45] You’ll remember this for the rest of your life. Graphs, diagrams. Bu$ine$$. Blue shirt, white collar, no neck (porn star). A name lights up. I’m hysteric. Will you join us? Letters falling in their words. Fingers set up a tent and start to dance. Young entrepreneurs from poor neighborhoods (read: black) guided by Microsoft. Kinda makes me happy, that sort of kitsch. A sense of exhaustion/impotence to see anything but the present. (…) Wouldn’t you like to? Orange explosion in an industrial zone. YOU’RE DOING THIS FOR AMNESTY INTERNATIONAL. Would you. A familiar face. Clouds and blossom. Sunflowers. Supermodels. Mountainous area in a rectangle: shades of brown, from dark to beige, more green toward the south. Tents and next to them (it’s all a blur) people. Plane. Stadium. Geometrical block of people. No, I ain’t crying. I don’t speak no more. I just want. Quote + photo. (Positive:) screaming crowd. Three-piece suit, seen from the back, before entering the arena. On the back: “Daddy abused me.” Oh, bummer. State of emergency has been declared and everyone has to cooperate. She’s cut her wrists. What we do know (…) is that there’s never been a unique word, an imperative name, nor will there ever be. [Click here for work that suits you.] Barefooted children are watching it (coherent pieces revelation of what’s lying below). Who knows how she’s changed during those two years. “Everything used to be better” + sigh. And here we are. An empty field of parquet. A city lying behind it. Explosion. Blue. A rain drop falling in my coffee. May 5, 2001 [14:30-15:30] A young Arafat on video speaking with raised finger. “I’m calling from my convertible.” Names on walls, victims, numbers… Tourists. Yellow. Yellow. “Your own child! Really, what kind of human are you?” I don’t want to hear it no more. A woman jumping out of the water in a yellow bikini against a background of fireworks and the Cheops pyramid. Thy sorrow shall become good fortune, thy complaints laudation. All planets will float and wander. Wo die Welt zum Bild wird, kommt das System (…) zur Herrschaft. It is something, but is it? May 5, 2001 [18:30-19:00] Iris. Leaves. NASDAQ. Open / and white and. For the one who’s doing nothing, just waiting. (…) NO DEFEAT is made entirely up of defeat -- since / the world it opens is always a place / formerly / unsuspected. October 2002. “Jeroen, I’m leaving for the cemetery, byeeee.” The rise of the middle class. My entire oeuvre is an ode to the. My entire head is a fight against the. God always demands what you cannot sacrifice. You may take that the easy way, but… “The state hasn’t made us, but we make the state” (Hitler). A stork exits the elevator. Skeletons of. Moscow. Helsinki. Palermo. Paris. Chapter 30 Like your paradises: nothing. United Desire, as only remaining superpower. And even though the sea is now calmer and the wind is blowing pleasantly in my face… Heart! Who determines whether a tradition is “alive”? The yellow leaf or the white branch? Mars. This sentence is a typical example. Most Dutch people are happy. No consolation. When I see a girl sitting at a table with a book, a notepad, a pen, a bottle of mineral water, her hand writing in the light—then I consider that one thing. “Presents,” “poetry,” “classics.” We are what we cannot make from ourselves. “Left”: mendicant orders, missionaries. Saint-Just: “A republic is founded on the destruction of its enemies.” She crosses the street with a banana peel between her fingers. (…) We chose our own wardens, torturers, it was us who called all this insanity upon ourselves, we created this nightmare… But “no”? Girl (just like a beach ball) talking rapid Spanish (Portuguese?) in a mobile phone. Do I have a chance now that her boyfriend is getting bold? CLIO, horny bitch. What else do you want? An old woman, between the doors of the C1000, is suddenly unable to go on; her husband stretches out his hand, speaking a few encouraging words. Selection from. Der Führer schenkt den Jüden ein Stadt. How can it reach us if we haven’t been already reached somehow? It doesn’t “speak.” No problem. Each word she uses is a small miracle, as if she doesn’t belong to it, to language, but wanders around with a pocket light looking for the exit; she’s never desperate (maybe a little nervous), lighting up heavy words from the inside. But indeed, we’re free. But the predicate is not an attribute, but an event, and the subject is not a subject, but a shell. That’s why also samurai, knights, and warriors raised the blossom as emblem: they knew how to die. Locked up in a baby carriage with a McDonald’s balloon. Blue helicopter, the blue sky. Whether you want to refer? The point is. How / Motherfucker can I sing a sad song / When I remember Zion? You’ll feel so miserable and worthless that you think: “If only I were dead!,” or: “Just put an end to it!” “So you’re an economist?” Her card—two little birds building a nest, her handwriting shaking—is still on the mantelpiece. Guevara: “No, a communist.” A straw fire, such was our life: rapidly it flared up, rapidly it passed. I’m fleeing, coming from nowhere. (…) Eazy-E drinking coffee with the American president. If I’d scream, would that be an event? Drown it: the cleaner it will rise up from the depths. No! The night, so fast… As if there’s something opened up in that face. Come on, we may not curse life. He shows me his methadone: “If you drink that all at once, you’ll die instantly.” The last one dictates how we should behave to deserve happiness. One shine / above the earth. “I want to go to Bosnia,” I said bluntly. I don’t even know the name of the current mayor. Let’s despise our success! “There is no future; this is the future. Hope is a weakness that we've overcome. We have found happiness!” Sun. Sushi. Volvo. I feel like a bomb about to explode at any moment. Makes a difference for the reconstruction right? The decor moves forward. Daughter of Nereus, you nymphs of the sea, and you Thetis, you should have kept his tired head above the waves! Alas! This sentence has been written wearing a green cap. I receive my orders from the future. A frog jumps into it. Her husband has turned the Intifada, which he follows daily on CCN, into his hobby, “to forget that he doesn’t have his driver’s license yet." Suddenly the sun slides over the crosswalk. Her (his?) foot is playing with the slipper under the table. Is this how I’m writing this book now? I’m not a fellow man. I hate you and I want to hurt you. These are my people. Their screaming doesn’t rise above the constantly wailing sirens which we've learned to ignore. My whole body became warm and suddenly started to tremble. Unfortunate is he who is standing on the threshold of the most beautiful time, but awaits a better one. Arafat’s “removal” is contrary to American interests. Jeep drives into boy. What you can do alone, you should do alone. A food gift from the people of the United States of America. Two seagulls. [...]. (shrink)

The most important and exciting recent development in the philosophy of science is its merging with the sociology of scientific knowledge. Here is the first text book to make this development available.

The examination of the notion of science from a sociological perspective has begun to transform the attitudes to science traditionally upheld by historians and philosophers.

This book criticizes the common belief that we are entitled to exploit animals for our benefit because they are not as rational as people. After discussing the moral (in)significance of reason in general, the author proceeds to develop a clear, commonsensical conception of what "animal rights" is about and why everyday morality points toward the liberation of animals as the next logical step in Western moral progress. The book evaluates criticisms of animal rights that have appeared in recent philosophical literature (...) and explains the consequences of animal liberation for our diet, science, and treatment of the environment. The issue of animal rights has become of increasing philosophical and popular importance over the past decade. Morals. Reason, and Animals is the first extensive, second-generation contribution to this debate. Focusing exclusively on the fundamental philosophical issues, Sapontzis both undermines the arguments that have been raised against animal rights and constructs a rebuttal that avoids the pitfalls encountered by earlier defenses. (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.

The dismissive attitude of intellectuals toward conspiracy theorists is considered and given some justification. It is argued that intellectuals are entitled to an attitude of prima facie skepticism toward the theories propounded by conspiracy theorists, because conspiracy theorists have an irrational tendency to continue to believe in conspiracy theories, even when these take on the appearance of forming the core of degenerating research program. It is further argued that the pervasive effect of the "fundamental attribution error" can explain the behavior (...) of such conspiracy theorists. A rival approach due to Brian Keeley, which involves the criticism of a subclass of conspiracy theories on epistemic grounds, is considered and found to be inadequate. Key Words: conspiracy • conspiracy theories • conspiracy theorizing. (shrink)

An exploration of the production, transmission, and mutation of affective tonality—when sound helps produce a bad vibe.

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)

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.

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

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)

In the face of argument to the contrary, it is shown that there is defensible middle ground available for entity realism, between the extremes of scientific realism and empiricist antirealism. Cartwright's ([1983]) earlier argument for defensible middle ground between these extremes, which depended crucially on the viability of an underdeveloped distinction between inference to the best explanation (IBE) and inference to the most probable cause (IPC), is examined and its defects are identified. The relationship between IBE and IPC is clarified (...) and a revised version of Cartwright's argument for defensible middle ground, which is free of the identified defects, is presented. (shrink)

There is a growing perception among economists that their field is becoming increasingly irrelevant due to its disregard for reality. Critical realism addresses the failure of mainstream economics to explain economic reality and proposes an alternative approach. This book debates the relative strengths and weaknesses of critical realism, in the hopes of developing a more fruitful and relevant socio-economic ontology and methodology. With contributions from some of the leading authorities in economic philosophy, it includes the work of theorists critical of (...) this approach. In the first part, contributors develop and deepen economics as a realist social theory by considering the work of individuals, various schools of thought, socio- economic phenomena and methodology. In the second part, contributors weigh the strengths and weaknesses of critical realism. (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)

Wittgenstein's philosophy of mathematics has long been notorious. Part of the problem is that it has not been recognized that Wittgenstein, in fact, had two chief post-Tractatus conceptions of mathematics. I have labelled these the calculus conception and the language-game conception. The calculus conception forms a distinct middle period. The goal of my article is to provide a new framework for examining Wittgenstein's philosophies of mathematics and the evolution of his career as a whole. I posit the Hardyian Picture, modelled (...) on the Augustinian Picture, to provide a structure for Wittgenstein's work on the philosophy of mathematics. Wittgenstein's calculus period has not been properly recognized, so I give a detailed account of the tenets of that stage in Wittgenstein's career. Wittgenstein's notorious remarks on contradiction are the test case for my theory of his transition. I show that the bizarreness of those remarks is largely due to the calculus conception, but that Wittgenstein's later language-game account of mathematics keeps the rejection of the Hardyian Picture while correcting the calculus conception's mistakes. (shrink)

John Dupr argues that 'scientific imperialism' can result in 'misguided' science being considered acceptable. 'Misguided' is an explicitly normative term and the use of the pejorative 'imperialistic' is implicitly normative. However, Dupr has not justified the normative dimension of his critique. We identify two ways in which it might be justified. It might be justified if colonisation prevents a discipline from progressing in ways that it might otherwise progress. It might also be justified if colonisation prevents the expression of important (...) values in the colonised discipline. This second concern seems most pressing in the human sciences. (shrink)

This paper is the second 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)

We will analyze the concept of anonymity, along with cognate notions, and their relation to privacy, with a view to developing an understanding of how we control our identity in public and why such control is important in developing and maintaining our social selves. We will take anonymity to be representative of a suite of techniques of nonidentifiability that persons use to manage and protect their privacy. At the core of these techniques is the aim of being untrackable; this means (...) that others lack the information they would need either to intrude physically upon me or to discover some private facts about me. Anonymity often enough goes together with privacy, but not always. Consider a person walking down a foreign street. It is not a physically private situation but no one there knows who you are. On the other hand, when I cast a postal vote, this act is both private and anonymous. Privacy and anonymity seem to go together because of the way each protects something importantly personal, but their coming apart suggests a difference both in what they mean and in our purposes for securing them. A lot has been written about privacy, and deservedly so; there is reason to think anonymity, and its cognates, important as well. (shrink)

This paper is the second 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)

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)

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)

Jonathan Haidt ( 2001 ) advances the 'Social Intuitionist' account of moral judgment, which he presents as an alternative to rationalist accounts of moral judgment, hitherto dominant in psychology. Here I consider Haidt's anti-rationalism and the debate that it has provoked in moral psychology, as well as some anti-rationalist philosophical claims that Haidt and others have grounded in the empirical work of Haidt and his collaborators. I will argue that although the case for anti-rationalism in moral psychology based on the (...) work of Haidt and his collaborators is plausible, a decisive case has yet to be made. It will require further experimental evidence before a decisive case could be made. My assessment of anti-rationalist philosophical arguments that are grounded in the empirical work of Haidt and his collaborators is much more negative than this. I will argue that this body of empirical work is a very unpromising basis for such arguments. (shrink)

The integral consciousness -- The internal universe -- The evolution of consciousness -- The within of things -- The systemic nature of evolution -- Stages of consciousness and culture -- The spiral of development -- Tribal consciousness -- Warrior consciousness -- Traditional consciousness -- Modernist consciousness -- Postmodern consciousness -- The spiral as a whole -- What is the real evidence for the spiral? -- The integral stage of consciousness -- Life conditions for integral consciousness -- The values of integral (...) consciousness -- Integral consciousness in the context of history -- Practicing the integral lifestylevalue metabolism -- Postintegral consciousness -- Integral politics -- The politics of the spiral -- Integral politics and global governance -- Is global governance an unrealistic fantasy? -- Is global governance too dangerouswhat are the safeguards? -- Global governance and integral consciousness cocreate each other -- Integral spirituality -- The development of spiritual traditions -- Public spirituality in the integral age -- Beauty, truth, and goodnessphilosophical spirituality -- The practice of beauty, truth, and goodness -- The revelation of evolution -- The founders of integral philosophy -- Ken Wilber in context -- The evolution of philosophy as a human endeavor -- Hegel, the first integral philosopher -- Bergson, the first post-darwinian integral philosopher -- Whitehead, spiritual philosopher for the ages -- Teilhard de Chardin, master of the internal universe -- Gebser, prophet of integral consciousness -- Developmental psychology and the mapping of the internal universe -- Habermas, architect of integral foundations -- Wilber, framer of integral philosophys twenty-first-century synthesis -- What I add to integral philosophy -- The integral reality frame -- Metaphysics and the evolution of reality frames -- The integral map of reality -- Integral philosophy and human spirituality -- Some critiques of the integral reality frame -- Structures of the human mind -- Lines of development recognized by psychologists -- Wilber's theory of the lines of development -- A critique of Wilber's theory of developmental lines -- An alternative theory of the structures of consciousness -- The self as a whole -- The directions of evolution -- Evolution and the idea of progress -- Unity, complexity, and consciousness -- Directions of evolution in the internal universe -- The dialectical quality of the master patterns of evolution -- Potential applications of a dialectical understanding of evolution. (shrink)

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)

If nothing else, the twelve papers assembled in this volume should lay to rest the idea that the interesting debates about the nature of science are still being conducted by "internalists" vs. "externalists,"" rationalists" vs. "arationalists, n or even "normative epistemologists" vs. "empirical sociologists of knowledge. " Although these distinctions continue to haunt much of the theoretical discussion in philosophy and sociology of science, our authors have managed to elude their strictures by finally getting beyond the post-positivist preoccupation of defending (...) a certain division of labor among the science studies disciplines. But this is hardly to claim that our historians, philosophers, sociologists, and psychologists have brought about an "end of ideology," or even an "era of good feelings," to their debates. Rather, they have drawn new lines of battle which center more squarely than ever on practical matters of evaluating and selecting methods for studying science. To get a vivid sense of the new terrain that was staked out at the Yearbook conference, let us start by meditating on a picture. The front cover of a recent collection of sociological studies edited by one of us (Woolgar 1988) bears a stylized picture of a series of lined up open books presented in a typical perspective fashion. The global shape comes close to a trapezium, and is composed of smaller trapeziums gradually decreasing in size and piled upon each other so as to suggest a line receding in depth. The perspective is stylized too. (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)

Research in Science and Technology Studies (STS) tends to presume that intellectual and political radicalism go hand in hand. One would therefore expect that the most intellectually radical movement in the field relates critically to its social conditions. However, this is not the case, as demonstrated by the trajectory of the Parisian School of STS spearheaded by Michel Callon and Bruno Latour. Their position, "actor-network theory," turns out to be little more than a strategic adaptation to the democratization of expertise (...) and the decline of the strong nation-state in France over the past 25 years. This article provides a prehistory of this client-driven, contract-based research culture in U.S. sociology of the 1960s, followed by specific features of French philosophical and political culture that have bred the distinctive tenets of actor-network theory. Insofar as actor-network theory has become the main paradigm for contemporary STS research, it reflects a field that dodges normative commitments in order to maintain a user-friendly presence. (shrink)

Defining privacy is problematic because the condition of privacy appears simultaneously to require separation from others, and the possibility of choosing not to be separate. This latter feature expresses the inherent normative dimension of privacy: the capacity to control the perceptual and informational spaces surrounding one’s person. Clearly the features of separation and control as just described are in tension because one may easily enough choose to give up all barriers between oneself and the public space. How could the capacity (...) for privacy give rise to its absence? Yet both the separation and control features of privacy do seem indispensable to any sensible understanding of it. In this paper I set out an approach to defining privacy that keeps these features and avoids the tension between them. (shrink)

There is overwhelming agreement amongst naturalists that a naturalistic ontology should not allow for the possibility of supernatural entities. I argue, against this prevailing consensus, that naturalists have no proper basis to oppose the existence of supernatural entities. Naturalism is characterized, following Leiter and Rea, as a position which involves a primary commitment to scientific methodology and it is argued that any naturalistic ontological commitments must be compatible with this primary commitment. It is further argued that properly applied scientific method (...) has warranted the acceptance of the existence of supernatural entities in the past and that it is plausible to think that it will do so again in the future. So naturalists should allow for the possibility of supernatural entities. (shrink)

The practice of conservation assumes that current persons have some obligations to future generations, but these obligations are complicated by a number of philosophical problems, chief among which is what Derek Parfit calls the Non-Identity Problem. Because our actions now will affect the identities of persons to be born in the distant future, we cannot say that those actions either benefit or harm those persons. Thus, a causal link between our acts and their consequences for particular persons is severed, and (...) the justification for conservation duties toward future generations undermined. I argue for an alternative justification for conservation in the capacity of foresight, which requires us to act not only upon duties that we have now, but also upon those that we will predictably have in the future. In this way, the future generations problem, at least as applied to conservation issues, is overcome. (shrink)

Nearly thirty years after the first stirrings of the Kuhnian revolution, history and philosophy of science continues to galvanize methodological discussions in all corners of the academy except its own. Evidence for this domestic stagnation appears in Warren Schmaus's thoughtful review of Social Epistemology in which Schmaus takes for granted that history of science is the ultimate court of appeal for disputes between philosophers and sociologists. As against this, this essay argues that such disputes may be better treated by experimental (...) psychology. Humanistic methods typically (though not always) blind the historian to cognitive biases and limitations that make it difficult for philosophers and sociologists to mobilize historical research for settling their differences. It is also observed that the failure of philosophers to incorporate the methods and findings of experiemental psychology is symptomatic of an artificially restrictive understanding of the normative dimension of their enterprise. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

In the twentieth century, philosophy came to be dominated by the English-speaking world, first Britain and then the United States. Accompanying this development was an unprecedented professionalization and specialization of the discipline, the consequences of which are surveyed and evaluated in this article. The most general result has been a decline in philosophy's normative mission, which roughly corresponds to the increasing pursuit of philosophy in isolation from public life and especially other forms of inquiry, including ultimately its own history. This (...) is how the author explains the increasing tendency, over the past quarter-century, for philosophy to embrace the role of "underlaborer" for the special sciences. Indicative of this attitude is the long-term popularity of Thomas Kuhn's The Structure of Scientific Revolutions, which argues that fields reach maturity when they forget their past and focus on highly specialized problems. In conclusion, the author recalls the history of philosophy that, following Kuhn's advice, has caused us to forget, namely, the fate of Neo-Kantianism in the early twentieth century. Key Words: analytic philosophy • normative • positivism • pragmatism • professionalism • underlaborer. (shrink)

This essay argues against routine dissection exercises on animals under three headings. First, attaining goals of general scientific education does not require dissection. The training of specialists, in whose vocations dissection skills are essential, could then be accomplished without killing animals specifically for the purpose of acquiring those skills. Second, killing and dissecting animals for unnecessary exercises teaches students bad attitudes toward animal life. Third, moral principles cannot justify killing and dissecting animals but not humans; consequently, such treatment of animals (...) is prejudiced exploitation of the weak by the strong. (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)

He also proposes an original theory of Baudrillard's relation to postmodernism, presenting the theorist's work as "non-postmodernist," after Bruno Latour's ...

There is one grand question that lies beneath most of what follows. That question is: what is morality I mean morality as it is contrasted with the non-moral, not as it is opposed to the immoral. The question does not ask, say, whether lying to a friend in a certain situation is moral or immoral, but asks what makes something, for instance lying to a friend, a moral problem. Parts of the same question ask what counts as a moral consideration, (...) as opposed to, say, one of efficiency or aesthetics, or ask what makes a motivation moral as opposed to prudential. The question asks for the boundaries of the domain of morality. (shrink)

As a bioethical and social issue, euthanasia has become in the 1990s what abor- tion was in the 1960s. Around the world, a de facto taboo on open discussion of the practice is seemingly falling by the wayside, as recognition increases that “active” euthanasia is taking place in spite of social and legal prohibitions. Euthanasia, or more specifically physician-assisted suicide, has become the most visible bioethical issue of the present era; and in the United States the debate has taken on (...) a prominence and urgency unprecedented in our nation's history. (shrink)

In this article I argue that insanity defences such as M’Nagten should be abolished in favour of a defence of failed agency. It is not insanity per se, or any other empirical condition, which constitutes the moral reason for exculpation. Rather, we should first recognize the conditions for being a responsible moral agent. These include some capacity to direct and control one’s behavior, a non-delusional component, and the capacity to recognize that one’s behavior is expressive of what they have reason (...) to be doing. When either of these fail in a case involving alleged criminal behavior the defence of failed agency may be appealed to. There may be many causes, including and besides insanity, that give rise to use of the defence of failed agency. (shrink)