Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL with negation of atomic programs, only. We argue that this logic is still (...) useful, e.g. in the context of description logics, and prove that satisfiability is decidable and EXPTIME-complete using an approach based on Büchi tree automata. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and (...) use the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have not been (...) very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)

In this paper, we describe the completeness of a calculation procedure of logic programs. The procedure is the combination of two procedures, a replacement procedure of atoms in the goal by the bodies or the negation of the bodies of rules in the program, and a transformation procedure of equations to disjunctive normal forms equivalent under Clark's Equational Theory. To combine replacement of atoms in the goal to logical formulae determined from the program and transformation of equations to (...) DNF equivalent under CET is a method by which procedures with the capability of expressing answers in DNF can be build, so it is a leading method for expressing answers in a form including negation. Some procedures based on the method are devised, and their calculation capabilities are shown by applying the theory of completed programs. However, the procedure that uses the bodies or the negation of the bodies of rules for replacement has higher calculation capability, and is intuitively more natural than they. Therefore, to clarify the calculation capability of the procedure is considered an important subject for research into calculation procedures of logic programs with the capability for expressing answers in a form including negation. Moreover, since the completeness is realized by standing on the viewpoint of treating the implication symbol as a different implication symbol from usual, and interpreting logic programs in three-valued logic, examples which support the viewpoint are also described. (shrink)

Place mouse over image continent. 2.1 (2012): 36–39. From an ethical and political perspective, people and property can hardly be separated. Indeed, the modern political subject – that is, the individual, the person, the self, the autonomous actor, the rational self-interest maximizer, etc. – has taken shape in and through the elaboration, institutionalization, and enactment of that which rightfully belongs to it. This thread can be traced back perhaps most directly to Locke’s notion that the origin of the political state (...) occurs when people rise above the state of nature by ceding the power to prosecute offenses. The rule of law begins then with a defense of the right to property. People become subjects by adhering to the social contract, which they do by deferring the defense of their own property to the state. In this light, the response of the United States federal government to the financial crisis of 2008 appears to many as a breach of the social contract. The chant “banks got bailed out, we got sold out” states the claim plainly. Why exactly did some subjects (e.g., the banks) have their property defended by the state (i.e., through the variety of programs including TARP, the discount window at the US Federal Reserve, etc.), when other subjects (e.g., homeowners) found themselves without protection of their property rights, forced to default on mortgage debts and face dispossession? Even if the rhetoric about “too big to fail” can be believed, and the collapse of the financial system would lead to negative consequences for people who had little or no connection to the activities that brought it about, such consequences need not call into question the notion that everyone stands equally before the law. To occupy, then, appears as a form of civil disobedience, an intentional, retaliatory breach of the social contract by those who feel that they have lost the support of the state to which they ceded their power as sovereign agents. The visible and the invisible The violation of property rights of people who have recognition, protection and power under the law destabilizes their very status as citizens and tests the limit of democracy. Does the financial system force the dematerialized victimization of individuals? Do people become numbers, or worse still, percentages of unemployed, tranches of defaulted mortgages and foreclosures? Are they perhaps instead disenfranchised prospectively from the privileged position occupied by virtual entities and actors such as those involved in the derivatives markets, always already exiled back into the physical, visible realm? The line of conflict appears to be drawn between invisibility/absence/deferral and visibility/presence/realization. The demonstrators occupy an excess property of those subjects, namely, the banks and financial elite, who did receive recognition and protection under the law. By domesticating this excess property, rendering its invisibility visible within the political economy, the protesters raise a new form of threat to the hegemonic order. To occupy, then, involves a rejection of the order under which the “99%” have been subjected to erasure. The occupation seeks creatively to establish a new means of communication and law for its subjects. In the face of an existing power structure that is increasingly disenfranchising the majority of people while consolidating nodes of power and influence, the “occupation”, or the work of the Occupy movement, involves seizing a space that refuses the rules of the existing, allegedly corrupt sovereign state. This refusal of governance extends even to include a steadfast refusal to articulate a strategy, to formulate a list of demands, to converse with the sovereign power on the grounds of its own conventions, to put forth a leader, to resolve the ambiguity of the movement into a discreet identity, face, or voice. Do these tactics provide a resolution to the problem that was its genesis? Not in such a direct and easily resolved manner, but it remains difficult to imagine a direct and simple resolution to the problematic of the breach of the social contract. The ambiguity of the situation has generated significant interest within the broader populace, though many people sympathetic to the cause appear to be frustrated because the movement has not simply put forward a short list of concrete demands, or even a set of leaders and spokespeople, much less a resolution. And yet, this lack of coherence appears as a resolution of a problem generic to protest movements in the past, where individual leaders can be removed or discredited, and lists of demands can be co-opted by others holding more political power. Meanwhile, the ambiguity has compelled imitations on a global scale, with the Occupy Wall Street participants consciously taking actions that can be replicated by anyone anywhere without significant cost. These actions have taken place not in a peripheral location such as a parking lot in New Jersey, but instead close to the centers of power and governance, adjacent to Wall Street, close to the White House, on college campuses, etc. This spontaneous archipelago of protests becomes an irritant, a negation of the accepted order of protests, but when the protesters themselves move outside of their encampments, they are escorted by the police, constantly monitored and maintained so that a permanent state of paranoid persecution takes hold. To occupy, occupying, occupation – these actions involve a variable degree of danger – are you willing to step into a different space, where the rule of law is unclear and evolving? Are you presenting yourself as a representative of the majority, the 99%? Who has a sense of belonging to the 99%? This previously invisible population becomes a focal point of political power, garners increasing public support, infects the public dialogue. The government recognizes this population by forcing it from the occupied space, removing the element of possession of property. It is at this point of conflict, in the struggle to hold the physical property, where the greatest friction and violence occurs. Scaling the rule of law While occupied, the property calls for a redress of grievances, a restoration of the rule of law. The Occupy movement does not select and put forward individuals or leaders, it puts forward places – the occupied property represents the point of conflict, not the individual. And it is this very property that the government then tries to reclaim. The movement remains faceless, anonymous, uncounted, or rather counted only as a mass, the self-labeled mass of 99%. These spaces are like refugee camps or favelas, but constructed to unite the political life and private life of the protesters. This objective is presented as a tactical necessity, as all other means of protest and communication have failed, leaving only the option of seizing, holding, occupying a property. But to what end, exactly? Can anyone deliberately return to the prior social contract, embrace, affirm, and govern in strict accordance with the earlier relationship to property, following the logic of Locke’s arguments? In this respect, the contemporary crisis indicates a new, transitional phase in the way that property operates, or rather, in the balance between real and virtual value. The roots of the crisis lay in the massive overvaluation of property caused by lax lending practices, as more people were encouraged to borrow more money, which drove up the prices of property. At the same time, these individual properties, these mortgages for homes actual families lived in and worked to support, were bundled into securities that could be bought, sold, and speculated on. The reduction of a physical house or piece of real estate to an almost incalculably small element in an investment vehicle appears as a scaling of the hedge that radically diminishes the value of any individually owned property. Moreover, a number of recently-innovated financial products allow investors to hedge in new ways, to deliberately spread risk around a portfolio in hopes of bringing returns even when the individual mortgage defaults. At the level of the ‘free’ market, these virtual negative valuations are designed to balance the physical positive valuation, though many of the biggest lenders are now being investigated for controlling both sides of this valuation, the positive and the negative, to facilitate both the creation and failure of the investments and to profit from both. The ability to benefit from both the negative and positive value of an investment is a result of a technologically enabled capacity to operate within a complex field. These layered and scaled investment vehicles and the simultaneous negation of their value together represent a commingling of the virtual and physical existence that is both complex and multiple. The valuation of a virtual property has tremendous power to change the valuation of the physical - either injecting it with or depriving it of funds, pumping in or draining life and energy. This situation has roots of its own – the notion of property advanced e.g., throughout the enclosure movement in Britain was, from the outset, an imposition of virtuality (i.e., the concept of law, the institutions associated with ownership, etc.) on the physical reality of land. 1 The difference today is that technological trading platforms combined with innovations within the financial services industry have enabled the reduction of each individual property receiving or losing value in scale to an almost atomic level. In turn, the number of properties held simultaneously and valued as a massive, multiple wholes – i.e., the derivatives market in mortgage-backed securities – is a new phenomenon made possible through the application of similar technologies and institutional structures. And those actors who can trade in these layers of complexity can then profit from the new phase of disassociation of the virtual and the physical – unconcerned with and operating at such a virtual distance from the individual residing physically on a particular piece of real estate that they no longer feel the tug of the physical tying them back to the physical, operating literally as in a video game, in a virtually distanced world. What can or should be done about this situation? Answers lie outside the scope of this current essay, but merit consideration in the near future… NOTE 1) Hernando de Soto has emphasized this dimension by empirically demonstrating its non-existence in many countries in The Mystery of Capital. (shrink)

We present an infinite-game characterization of the well-founded semantics for function-free logic programs with negation. Our game is a simple generalization of the standard game for negation-less logic programs introduced by van Emden [M.H. van Emden, Quantitative deduction and its fixpoint theory, Journal of Logic Programming 3 37–53] in which two players, the Believer and the Doubter, compete by trying to prove a query. The standard game is equivalent to the minimum Herbrand model semantics of logic (...) programming in the sense that a query succeeds in the minimum model semantics iff the Believer has a winning strategy for the game which begins with the Doubter doubting this query. The game for programs with negation that we propose follows the same rules as the standard one, except that the players swap roles every time the play “passes through” negation. We start our investigation by establishing the determinacy of the new game by using some classical tools from the theory of infinite-games. Our determinacy result immediately provides a novel and purely game-theoretic characterization of the semantics of negation in logic programming. We proceed to establish the connections of the game semantics to the existing semantic approaches for logic programming with negation. For this purpose, we first define a refined version of the game that uses degrees of winning and losing for the two players. We then demonstrate that this refined game corresponds exactly to the infinite-valued minimum model semantics of negation [P. Rondogiannis,W.W. Wadge, Minimum model semantics for logic programs with negation-as-failure, ACM Transactions on Computational Logic 6 441–467]. This immediately implies that the unrefined game is equivalent to the well-founded semantics. (shrink)

In this paper, I contend that Brandom’s interpretive oversights leave his inferentialist program vulnerable to Hegelian critique. My target is Brandom’s notion of “conceptual realism,” or the thesis that the structure of mind-independent reality mimics the structure of thought. I show, first, that the conceptual realism at the heart of Brandom’s empiricism finds root in his interpretation of Hegel. I then argue that conceptual realism is incompatible with Hegel’s thought, since the Jena Phenomenology, understood as a “way of despair,” includes (...) a critique of the philosophical framework upon which conceptual realism relies. Finally, I offer the Hegelian critique of Brandom that results from these textual infidelities. (shrink)

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and (...) universal algebra, and implementation on transputer networks. (shrink)

The widespread adoption of radioisotopes as tools in biomedical research and therapy became one of the major consequences of the "physicists' war" for postwar life science. Scientists in the Manhattan Project, as part of their efforts to advocate for civilian uses of atomic energy after the war, proposed using infrastructure from the wartime bomb project to develop a government-run radioisotope distribution program. After the Atomic Energy Bill was passed and before the Atomic Energy Commission was formally established, (...) the Manhattan Project began shipping isotopes from Oak Ridge. Scientists and physicians put these reactor-produced isotopes to many of the same uses that had been pioneered with cyclotron-generated radioisotopes in the 1930s and early 1940s. The majority of early AEC shipments were radioiodine and radiophosphorus, employed to evaluate thyroid function, diagnose medical disorders, and irradiate tumors. Both researchers and politicians lauded radioisotopes publicly for their potential in curing diseases, particularly cancer. However, isotopes proved less successful than anticipated in treating cancer and more successful in medical diagnostics. On the research side, reactor-generated radioisotopes equipped biologists with new tools to trace molecular transformations from metabolic pathways to ecosystems. The U.S. government's production and promotion of isotopes stimulated their consumption by scientists and physicians, such that in the postwar period isotopes became routine elements of laboratory and clinical use. In the early postwar years, radioisotopes signified the government's commitment to harness the atom for peace, particularly through contributions to biology, medicine, and agriculture. (shrink)

SummaryWilliam Barlow was an important if unconventional scientist, known for having developed the ‘closest-packing’ atomic models of crystal structure. He resumed an early nineteenth-century tradition of utilizing crystallographical and chemical data to determine atomic arrangements in crystals. This essay recounts Barlow's career and scientific activity in three parts: His place in the tradition of determining atomic arrangement in context of this earlier tradition and of contemporaneous developments of crystallography and chemistry, his unconventional career, and the ‘success’ of (...) his program to determine atomic arrangements in crystals and its influence on the work of William Lawrence Bragg. (shrink)

In the mid-1970s, the fascist-leaning dictatorships in Spain (1939–1977) and Portugal (1933–1974) fell. Closely linked to the 1973 oil crisis, debates over energy and technology policies became very prominent during the ensuing political redefinition of both countries. Two decades after the first international agreements between the Iberian regimes and the United States for the development of nuclear programs, a myriad of movements of social resistance to nuclear technology emerged in dialogue with anti-nuclear organizations in other European countries. Fun and (...) playfulness have been used for top–down popularization and banalization of nuclear technologies since the 1950s, but here pleasant forms of resistance also played a central role in contesting national energy plans, expert discourses, and vested interests. This article explores what we call “anti-nuclear fun,” the use of amusement, play, and humor as political and epistemic tools to familiarize society with the exceptional and daily risks of the “peaceful atom.”. (shrink)

The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down (...) derivation of G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)

For any finite n 3 there are two atomic n-dimensional cylindric algebras with the same atom structure, with one representable, the other, not.Hence, the complex algebra of the atom structure of a representable atomic cylindric algebra is not always representable, so that the class RCAn of representable n-dimensional cylindric algebras is not closed under completions. Further, it follows by an argument of Venema that RCAn is not axiomatisable by Sahlqvist equations, and hence nor by equations where negation (...) can only occur in constant terms.Similar results hold for relation algebras. (shrink)

This article examines the attempt by the Kingdom of Morocco—a country of pivotal geopolitical importance in the late 1970s and early 1980s—to secure a research reactor. It finds that by treating that reactor as a diplomatic object, we can observe the different diplomatic frameworks in which that object was conceived of, contextualized, and negotiated. The historical emergence of these frameworks occurred in close relationship with the IAEA, which acted as an intermediary linking various administrations, programs, and countries, including Morocco. (...) In the end, this history reveals that the late Cold War nuclear world involved multilateral actions and forces, some of which encouraged Morocco in its bid to acquire a reactor, but others of which left that same reactor orphaned and unfinished. (shrink)

The standard theory of logic programming is not applicable to Prolog programs even not to pure code. Modifying the theory to take account of reality more is the motivation of this article. For this purpose we introduce the ℓ-completion and the inductive extension of a logic program. Both are first-order theories in a language with operators for success, failure and termination of goals. The ℓ-completion of a logic program is a sound and complete axiomatization of the Prolog depth-first search (...) under certain natural conditions; the inductive extension of the ℓ-completion is a suitable theory for proving termination and equivalence of pure Prolog programs with negation. (shrink)

We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its standard interpretation, while dynamic negation is an operator familiar to students of Dynamic Predicate Logic (DPL) (Groenendijk and Stokhof, 1991): given a relation R its dynamic negation R is a test that contains precisely those pairs (s,s) for which s is not in the domain of R. These two operators comprise precisely the propositional part of DPL.This paper contains (...) a finite equational axiomatization for these dynamic relation algebras. The completenessresult uses techniques from modal logic. We also lookat the variety generated by the class of dynamic relation algebras and note that there exist nonrepresentable algebras in this variety, ones which cannot be construedas spaces of relations. These results are also proved for an extension to a signature containing atomic tests and union. (shrink)

This article examines the problem of the origins of the correspondence principle formulated by Bohr in 1920 and intends to test the correctness of the argument that the essential elements of that principle were already present in the 1913 “trilogy”. In contrast to this point of view, moreover widely shared in the literature, this article argues that it is possible to find a connection between the formulation of the correspondence principle and the assessment that led Bohr to abandon the search (...) for a Planck-type theory. In fact, a thorough examination of Bohr’s works shows that the birth of this principle coincided with the depletion of a research program whose origins may date back to Bohr’s stay at the Rutherford’s laboratory (summer 1912). Finally, this article argues that original program of research was abandoned when it became clear that Planck’s quantum hypothesis for the harmonic oscillator was not an adequate support for the theoretical architecture of atomic physics; namely, there was evidence enough to justify a most drastic conclusion, according to Bohr: “I do not think that a theory of the Planck type can be made logical consistent”. (shrink)

continent. 2.2 (2012): 155–158 Michel Serres. Biogea . Trans. Randolph Burks. Minneapolis: Univocal Publishing. 2012. 200 pp. | ISBN 9781937561086 | $22.95 Conveying to potential readers the significance of a book puts me at risk of glad handing. It’s not in my interest to laud the undeserving, especially on the pages of this journal. This is not a sales pitch, but rather an affirmation of a necessary work on very troubled terms: human, earth, nature, and the problematic world we made. (...) It is this world that aspirates the silence (so to speak), and therefore the subject which, along with the development of the “made world” exports the excess augmentation of the cosmically missing, this silence of the natural, et cetera. Had we learned from Locke that lesson of “labor,” to consume what we need… but perhaps we need more than what matters? Serres’ Biogea has several functions on this manner, if it is indeed a book to be consumed. First, readers searching for novelistic entertainment have a place to dwell. Biogea deserves a place in your back pocket; biographical generosity and poetic fluidity should satisfy most textual fetishes. For lay philosophers who want to refresh their acumen, Biogea deserves a place on the book shelf, one already reads a sorely needed postmodern tune-up here. Serres’ style is clearly French; he leaves few cheese crumbs on his words, rather preciseness and breathing in the work give way to a sweeping manner that breaks the narrative line of sight. A circular narrative and anachronistic fragmentation of terms allows an abyssal atmosphere to swell, if only to pump into the book the externality of its broader text. Biogea aspires to a higher standard and the book, at times, is thinking this negentropic problem too. Univocal, the publisher, has crafted a book appropriate for the hands to hold and the translations are an achievement of an otherwise difficult writer to translate. Terms are the conditions of a broader text. It is important to note that Serres’ content is as much a thinking of terminal ports. There is a regard for the transportation technology of the written word. For me, this is the mark of genius, a craftiness that tells of a book device that I may trust. Serres is an accomplished thinker and a necessary voice to check the putative trendiness of anti-postmodernist and market-driven theory of endless cultural liquidation. Offering interventions on subjectivity as an open system we are given a chance to affirm the human, not merely to discard it, but to engage its poetic image emotion, the calibratory silent sense of the analogic world; the terms on which we base our efforts. 1 The human is the center of its own negation, constantly mediating it. Something deeper at stake appears in the work then, and it is quite obvious from the onset. Certainly, a book is an intensification of possible text and those who brought this actual book into existence have captured a rarity in regards to the subject matter and artistic accomplishment. I mentioned terms as conditions, so let us understand Biogea as bio-yea, a yes to bios . An affirmation of living and accepting presence for all of its defiance of images, words, and things temporal. Therefore Serres’ existence and its existants plays parts; out of linearity and still like a porous bone pumping blood it manufactures into the fleshy life it becomes. Starting from a man named silence chaos emerges, or the man “Old Taciturn” takes up a journey anticipating a great flood. In other words, a development akin to the one in Genesis. In dealing with this ancestral occupation, fusing Genesis with contemporary philosophical terms, Serres initiates this anachronistic fragmentation under the forming subjectivity of his own autobiography. This mutation in the open system is precisely one of Serres’ terms. There an abyss is at work, stated, but also measured by heels on the ground—the abyss dispatching earthen tensions, that which plays our tunes, that which we abide by and recognize in volcanoes, rivers, oceans, earthquakes and weaponry in the battles of the world. Set in later stages of the book, such tensions are harnessed through scientific principles in an attempt to unify the terms of natural force if only to terminate the world. Thus the elevation of the earth into the world is clearly set forth. Here already, and few pages in, a resonance is set forth under appellations such as the river Garonne, a subjectivity as much as it is inhuman, the river is the inhuman that makes us human. I get the sense that Serres is taking up a challenge issued by Wallace Stevens; namely, that the great poems of heaven and hell have been written, but that only the poem of the earth has resisted composition. 2 On this level we cannot avoid the killing factor of silence, given that our cognition blocks its pure, radical obliteration. Thus a silence of attunement to the earth is in a novel dialectic of the rithmic and rhythm. A technological world, a triumph of termination is set forth. If a text imposes its will given the reader who authorizes it, it is made to convey or convect a presupposition to a reader or its inhabitant(s). Text is therefore both, in-content, contenting, contentedness, and in reading it, a way to navigate self-destruction (dis-content). Here then would one note that the “inhuman” reveals itself, “an aperiodic rhythm of lovers and beloved…the sea as our friend…but as our enemy…maternal vivifying sea.” The sea is an open book, or vaginal birth canal, where the engagement of text comes forth: “…woman sea, open vulva.” One sees like the sea, but only after it, when the uninhabitable truth of inhabiting it switches the polarity of the sailors soul: “I was seeing like the sea” (9-11). In other words, we are invited to embrace the nonsense of the visible. At this point I am taken to Jean-François Lyotard’s work The Inhuman , specifically the first entry on negentropy that would be congruent with Serres’ thematic. 3 The human being exports, deports, or transplants its relation through text, through the system— and this is its sense or relation to silence, to music. Unaware of Serres’ proximity to this work, the concept of gender interrelation as regards a solar catastrophe runs clear. It would be, on this basis, that Serres references his peers, the other texts that, as mentioned above, are discarded in philosophy today. For students of philosophy what we have here is perhaps a gift, a needed project. If silence and death are at work, there is a political valence to deal with, and here, much like the domain of the text and the dominion of the reader, we confront the world of natural, fluid violence. The anti-postmodernist critique is in part based on a weak idea that the loss of ideology, of a world vision, motivates the “correlationist” project. 4 Serres seems to offer another way to view this when he notes that whereas persons “sometimes kill,” it is clearly “the collective” that “always kills” (17). What is the collective today, if not an organizing function we never see yet acts in its favor in the name of truth? One feels a sense of enigma here, if only to link to what Stevens remarked of communism as a “grubby faith,” providing this applies for capitalism as well, namely any ideology of progress overly interested in absolutes. Here we get the sense that the inhuman, silence, this type of killing, always killing, could not be matched by human-made, political dynamos. Or that if it comes to an equilibrium, a catastrophe is never too far from us to read with our heels. We are left to note that the forces of nature presuppose and permeate political systems, the more these systems obtain force, the more the system takes upon itself the proper name of nature that motivates its dissemination, albeit falsely. This note, that in an age of ecocide and technological captivity (sustainability and transparency) political regimes won’t grow our soul-learning ears any larger than our tongues, stands clear to us. The promise of technological desubjectification is here pushed aside. Regarding politics, Serres illustrates this fact: Where did this corpse come from? Who was it? Who killed it? I don’t know. I won’t try to find out. I refuse to get vengeance for it. And I only see Garonne. For our victims, today, are the rivers, too. Their waters have irrigated my life, enchanted my thought, invigorated my body; I’ve known them to be threatening, untamable, as dangerous as the sea when it rages. Yes, murderous. They decided to control their courses; dams, sometimes senseless, destroying sites and valleys, reduced entire populations to servile displacements; programs for the irrigation of thirsty farmland, often beneficial of course, completed their drying up.(22) Serres enters into his idea concerning the captivity of language from the natural into a world system: For thousands of years, we have been licking things with our tongues, covering and daubing them so as to appropriate things for ourselves. If language boils down to a convention, this convention took place between the speakers without consulting the thing named, become as a result the property of those who covered it in this way with their drawn or voiced productions. Malfeasance analyzes these acts of appropriation. Thus every inert object, every living thing as well, sleeps under the covers of signs, a little in the way that, today, a thousand posters shouting messages and ugly riots of color drown, with their filthy flood, the landscapes, or better, exclude them from perception because the meaning, almost nil, of this false language and these base images forms an irresistible source of attraction to our neurons and eyes. This appropriation covers the world’s beauty with ugliness. (38-39) Technological concealment coming to bear, we begin to get a sense of another commentary on the condition of sensing, driving home the necessity of a text dealing with such subject matter to be what its terms insist. Thus toward new openings: The new opening. As low beneath our feet as you like, the Biogea opens us to another space, high enough for us to be able to acquire a wisdom there, that of redeveloping this same place differently from our fathers, this place that’s still politically cut up by old hatreds, beneath the flood of tears and blood that we call history. Without this soft place, spiritually very old, but newly conceived in this way, without the juridical construction of a common good, opposed to our filthy ownership, I don’t see how our planet, hard, will survive. Hardness that depends on a softness, material belonging that depends on this temporary rented location (51). Serres enters into a summit on the content and the structure of his work. Archimedes is brought in with the concept of three volcanoes. Meaning fire, but as well earth, water, air. For it was Archimedes’ war machines that sought to lift the earth, thus bringing in the question of principles of science: “can a principle be invented while controlling its consequences?” (66-7). May the earth be put in a sentence, terminated by terminology, appellations, gone wild? By means of these element-dominating laws, this old physicist began to tear nature away from the ancient myths; by a strange return, today we’re plunging our successes back into the anxieties and terrors from which that ancient physics was born. Yes, our new history of science and technology is plunging, today, as though in a loop, into the fundamental human myths from which Empedocles’ first laws came. A major progression and a regression on the nether side of the origins. Consequently, the contemporary time requires that we try to return to that unity in which the principles of hate and love are at the same time human, living, inert and global. We will never attain a deontology of our knowledge and actions without thinking the subjective, the objective, the collective, and the cognitive all together simultaneously. Here, hate and love are the result of these four components.(71) Working then on the concept of fire-starting mirrors to the atomic annihilation of the Second War, Serres works into the subjectivity in question on the matter of rhythm—say rithmic— precisely at that point: Knowledge is changing today. The all-political is dying; the monarchy of the sciences said to be hard is coming to a close. The science of the things of the world will have to communicate just as much as the things of the world do, which do it much better than humans do, who don’t always want to do it. Let’s celebrate two changes this morning. The first one strikes a new blow to our narcissism. No, knowledge and the world don’t resemble our analytical enjoyments of refined cutting up, of endless debates and of exclusions full of hate. They, on the contrary, form a bloc and a sum, alliance and alloys. Uniting the fields of knowledge among themselves the way the things are connected among themselves, the second newness puts into place sets united by interlacing, webs and simplexes that combine with the things of the world, themselves combined, the combined knowledge that understands them.(130-1) Biogea closes on its opening flood thematic, approaching the initial telos of Genesis. Here the trees are brought into a position with atmosphere, the opaque abyssal reservoir, the tomb of the sun, sea in the polarity of the earthen heaven and hell. The poem of the earth then is silent but deadly, indeed, as funny as that phrase is, mainly a tomb gas. The meaning of the living and the non-meaning of things converge in the muteness of the world; this meaning and non-meaning plunge there and come out, the ultimate eddy. Mundus patet: through a fissure, through an opening, a fault, a cleft come noises, calls as small as these apertures. I’m listening, attentive, I’m translating, I’m advancing in the scaled-down meaning and science. Mundus patet: should the world open greatly, it will launch me into its silence. The totality remains silent. Knowledge expanded in elation. White origin of meaning, fountain of joy. (198) Final Remarks One test of a review is the long term trajectory the referee thinks the book will have. I see Serres’ text lending greatly into the vision of Biogea . In fact, in the vision of the novel inquiries of Stephen Jay Gould’s work there is something to be thought on the level of the individual and the species; namely, that humanity and its uniqueness is in its deferral, its thinking and naming, a thinking surrounded by silence that filters into everything, that pulls us through the world, the kinetic pulse we recognize, and all of that we cleave away in the base philosophical maxim of difference itself. Unique individuals are spatial creatures: we dwell, and we ought to get good at it. Yet this is an imaginative space that, if you are crazy enough to believe it, de-term-ine the conditions of its own terms. That is why we are not merely creating spaces on the acceleration of time, or so this ignoramus thinks, to accidentally transcend. Imagination already has this insatiable silence that we drink up and fail to manifest. Space is timeless. The imagination itself, shared by humans for themselves, their objects, and the species as a whole, is a non-defined space of relation; a whole human trajectory as part of nature, and part of worlds that are the other side of thinking nature, the consequence of it, at least our attempt to do so. Our survival is based on our deliberation, our caution, our natural deconstructive sense toward this silence that is already part of the song, sung, singing of this century without end. Good books will let us inhabit this space and recognize a form of life. Serres’ text moves toward dwelling, as noted, in masterful and accessible ways. The pitched battles are the falling replays of anemic and dead politics. As soon as we realize there is humanity, we may be able to enjoy the end of it, our inhuman capability of listening to silence. NOTES 1. See Michel Serres. The Parasite . Minneapolis: University of Minnesota Press. 2007. 2. Wallace Stevens, “Imagination as Value” [ca. 1945], in Collected Poetry and Prose . New York: The Library of America. 1997. 724-39. 3. Jean-François Lyotard. The Inhuman: Reflections on Time . Trans. Geoffrey Bennington & Rachel Bowlby. Stanford, CA: Stanford University Press. 1992. 4. See the introduction: Quentin Melliassoux. After Finitude: An Essay on the Necessity of Contingency . Trans. Ray Brassier. New York: Continuum. 2008. EDITOR'S NOTE: This review was updated on August 8, 2012. Substantial edits include block quotes from the book under review as well as the inclusion of comments from the author. (shrink)

Feature logics are the logical basis for so-called unification grammars studied in computational linguistics. We investigate the expressivity of feature terms with negation and the functional uncertainty construct needed for the description of long-distance dependencies and obtain the following results: satisfiability of feature terms is undecidable, sort equations can be internalized, consistency of sort equations is decidable if there is at least one atom, and consistency of sort equations is undecidable if there is no atom.

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations (...) for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms. (shrink)

The properties of negation, in combination with those of other logical operations and structural features of the deductibility relation, serve as gateways among logical systems. Negation therefore plays an important role in selecting logical systems for particular applications. This volume provides a thorough treatment of this concept, based on contributions written by authors from various branches of logic. The resulting 14 research papers address a variety of topics including negation in relevant logics; a defense of dialetheic theory (...) of negation; stable negation in logic programming; antirealism and falsity; and negation, denial, and language change in philosophical logic. Suited to scholars and graduate students in the fields of philosophy, logic mathematics, computer science, and linguistics. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a (...) complete list, nor to analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable. (shrink)

The infinite-valued logic of ukasiewicz was originally defined by means of an infinite-valued matrix. ukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) (...) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result. (shrink)

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory (...) and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

In this paper I argue for the Atlas-Kempson Thesis that sentences of the form The A is not B are not ambiguous but rather semantically general (Quine), non-specific (Zwicky and Sadock), or vague (G. Lakoff). This observation refutes the 1970 Davidson-Harman hypothesis that underlying structures, as full semantic representations, are logical forms. It undermines the conception of semantical presupposition, removes a support for the existence of truth-value gaps for presuppositional sentences (the remaining arguments for which are viciously circular), and lifts (...) the Russell-Strawson dispute of 1950–1964 from stalemate to a formulation in which a resolution is possible for the first time. Suggestions of Davidson, Montague, Stalnaker, Kaplan and H. P. Grice are shown to be inadequate semantic descriptions of negative, presuppositional sentences. I briefly discuss the radical Pragmatics view of my 1975 publications and suggest that it too fails to do justice to the linguistic data. I speculate that Semantic Representations should be given the form (more or less) of computer programs, describable in Dana Scott's mathematical semantics for programming languages. (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators (...) and an additional operator for formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (shrink)

Fine (J Philos Logic 46(6):625–674, 2017) develops a unilateral and a bilateral truthmaker semantics for propositional logic. The unilateral approach trades off the primitive exact falsification relation of the bilateral approach for a primitive exclusion relation between states, thereby raising the question if exclusion serves any purpose other than to avoid exact falsification. We argue that exclusion is motivated independently of its use in avoiding exact falsification, namely as a foundation for the reconstruction of modal notions such as possibility and (...) necessity. This reconstruction in turn motivates what we call _emergent exclusion_: an atomic state can exclude a sum of atomic states collectively without excluding any of these atomic states individually. Emergent exclusion is banned in Fine (2017a) in order to maintain exact equivalence in de Morgan’s law \(\lnot (P \wedge Q) \Leftrightarrow \lnot P \vee \lnot Q\) ; we argue that the two sides of this law are not exactly equivalent and discuss a variety of state spaces that feature emergent exclusion. This paper aims to be accessible to linguists without prior exposure to truthmaker semantics. We highlight points of contact with natural language semantics, such as event semantics and algebraic semantics of plurals and conjunction. (shrink)

The mathematician G.F.C. Griss is known for his program of negationless intuitionistic mathematics. Although Griss’s rejection of negation is regarded as characteristic of his philosophy, this is a consequence of an executability requirement that mental constructions presuppose agents’ executing corresponding mental activity. Restoring Griss’s executability requirement to a central role permits a more subtle characterization of the rejection of negation, according to which D. Nelson’s strong constructible negation is compatible with Griss’s principles. This exposes a ‘holographic’ theory (...) of negation in negationless mathematics, in which a full theory of negation is ‘flattened’ in a putatively negationless setting. (shrink)

In Minker and Rajasekar (J Log Program 9(1):45–74, 1990), Minker proposed a semantics for negation-free disjunctive logic programs that offers a natural generalisation of the fixed point semantics for definite logic programs. We show that this semantics can be further generalised for disjunctive logic programs with classical negation, in a constructive modal-theoretic framework where rules are built from _claims_ and _hypotheses_, namely, formulas of the form \(\Box \varphi \) and \(\Diamond \Box \varphi \) where \(\varphi (...) \) is a literal, respectively, yielding a “base semantics” for general disjunctive logic programs. Model-theoretically, this base semantics is expressed in terms of a classical notion of logical consequence. It has a complete proof procedure based on a general form of the cut rule. Usually, alternative semantics of logic programs amount to a particular interpretation of nonclassical negation as “failure to derive.” The counterpart in our framework is to complement the original program with a set of hypotheses required to satisfy specific conditions, and apply the base semantics to the resulting set. We demonstrate the approach for the answer set semantics. The proposed framework is purely classical in mainly three ways. First, it uses classical negation as unique form of negation. Second, it advocates the computation of logical consequences rather than of particular models. Third, it makes no reference to a notion of preferred or minimal interpretation. (shrink)

Denotational semantics of logic programming and its extensions have been studied thoroughly for many years. In 1998, a game semantics was given to definite logic programs by Di Cosmo, Loddo, and Nicolet, and a few years later it was extended to deal with negation by Rondogiannis and Wadge. Both approaches were proven equivalent to the traditional semantics. In this paper we define a game semantics for disjunctive logic programs and prove soundness and completeness with respect to the (...) minimal model semantics of Minker. The overall development has been influenced by the games studied for PCF and functional programming in general, in the styles of Abramsky–Jagadeesan–Malacaria and Hyland–Ong–Nickau. (shrink)

Bohr’s atomic model is one of the better known examples of empirically successful, albeit inconsistent, theoretical schemes in the history of physics. For this reason, many philosophers use this model to illustrate their position for the occurrence and the function of inconsistency in science. In this paper, I proceed to a critical comparison of the structure and the aims of Bohr’s research program – the starting point of which was the formulation of his model – with some of its (...) contemporary philosophical readings. My study comes to conclude that the attempt of certain philosophers to accommodate Bohr’s model to a form of paraconsistent logic obliterates essential aspects of scientists' actual practice and reasoning. (shrink)

This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the formn(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-negation-free proof when the conclusion is free of double negation. The second (...) question asks about the existence of an axiom system for classical propositional calculus whose use, for theorems with a conclusion free of double negation, guarantees the existence of a double-negation-free proof. After giving conditions that answer the first question, we answer the second question by focusing on the Lukasiewicz three-axiom system. We then extend our studies to infinite-valued sentential calculus and to intuitionistic logic and generalize the notion of being double-negation free. The double-negation proofs of interest rely exclusively on the inference rule condensed detachment, a rule that combines modus ponens with an appropriately general rule of substitution. The automated reasoning program Otter played an indispensable role in this study. (shrink)

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively (...) minimal contact between communities. In this paper we summarize one variety of approaches to the semantics of logic programs: that based on fixpoint theory. We do not attempt to cover much beyond this single area, which is already remarkably fruitful. We hope readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies. (shrink)

Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop (...) a theory of “instantiate- by-need” that performs instantiations only when needed. We prove that this method is sound and complete when computing answer substitutions for non-ground logic programs including those containing function symbols. More importantly, when taken in conjunction with Colmerauer's result that unification can be viewed as linear programming, this means that resolution with unification can be completely replaced by linear programming as an operational paradigm. Additionally, our tree construction method is not rigidly tied to the linear programming paradigm-we will show that given any method M that can compute the set of atomic logical consequences of a propositional logic program, our method can use M to compute , the set of all atoms that are consequences of a first-order logic program. (shrink)

The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation (in a frame), shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate (...) to false. Thus, atomic sentences are not independent in their truth-values. The resulting negation, in addition to excluding the negated formula, provides a positive alternative to the negated formula. I also present a sound and complete natural deduction proof systems for those logics. In addition, the kind of negation considered in this paper is shown to provide an innovative notion of grounding negation. (shrink)

A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. The (...) resulting system can give reasonable answers to queries that involve both negation and free variables. Also it gives the same results as Prolog when there are no negations. Finally, an implementation in Prolog is given. (shrink)

Hibakusha are “witnesses” of the atomic bombings, not just in a standard sense but also in the instrumental sense. For medical and scientific experts, hibakusha are biological resources of unparalleled scientific value. Over the past seventy years, the hibakusha bodies have narrated what it means to be exposed to radiation. In this paper, I explore studies at the Atomic Bomb Casualty Commission that examined hibakusha bodies as sites where risk could be read. I focus on a period from (...) the mid-1950s to 1975, during which new methods, practices, and technologies allowed ABCC scientists to investigate chromosomes as a way to study radiation exposure and human risk. By focusing on chromosomal aberrations, ABCC scientists connected their work directly to the emerging infrastructure for radiobiology at the time. ABCC administrators actively sought out such prestige, especially given their relationship with the Atomic Energy Commission. The shift in approach would also alleviate some public relations problems with which the institution was struggling. Launching a cytogenetics program required some older practices that had assumed American privilege and dominance to be abandoned. Eventually, the decision to let chromosomes speak of radiation exposure brought about fundamental changes in ABCC, which came to symbolize the model for future studies at the organization, especially as ABCC was transitioning to a US-Japan binational organization. More broadly, this case highlights the intricate scientific negotiation of radiation risk where uncertainties necessarily prevail. (shrink)

A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability (...) in finite models, can be effectively reduced from arbitrary formulas to Krom formulas of these several prefix types. (shrink)

Felicitous models were defined by Kit Fine in 1987 for the purpose of describing the semantics of negation in the programming language Prolog. They are often referred to as stable models, or answer sets. Years later, sophisticated software systems for generating answer sets were designed, and they became the basis of a new programming paradigm, called answer set programming. That programming method is used now for solving computational problems in many areas of science and technology. This chapter traces the (...) early history of felicitous models and the ways in which that idea contributed to computer science. (shrink)

How do bioethics gatekeepers located in wealthy nations treat bioethics workers from developing countries? Can the policies of leading international bioethics journals—based on a concern for profit that effectively restricts access for most researchers from developing countries—be ethically justified? We examined these policies focusing on the way they influence the ability of researchers in resource-poor countries to participate in the development of the field of bioethics. Eight of the fourteen leading bioethics journals are published by three transnational publishing houses, all (...) of which are based in wealthy nations. None of these eight journals participates in the Health InterNetwork Access to Research Initiative of the World Health Organization, a program that provides free or very low-cost online access to the major journals by researchers in developing countries. Lack of access to these essential resources makes it extremely difficult, if not impossible, for bioethicists in developing countries to learn from, and engage in, the global bioethics dialogue. Thus, exclusionary practices of leading bioethics journals sustain the hegemony of Western bioethics, raising serious questions about professed aspirations to create a truly “global” bioethics. This phenomenon indicates lack of empathy and moral imagination of bioethicists in developed countries, raises serious questions about the ethics of bioethics, and highlights the urgent need for creative solutions to remedy this social injustice. (shrink)

As is well known, answer-set programs do not satisfy the replacement property in general, i.e., programs and that are equivalent may cease to be so when they are put in the context of some other program, i.e., and may have different answer sets. Lifschitz, Pearce, and Valverde thus introduced strong equivalence for context-independent equivalence, and proved that such equivalence holds between given programs and iff and are equivalent theories in the monotonic logic of here-and-there. In this article, (...) we consider a related question: given a program, does there exist some program from a certain class of programs such that and are equivalent under a given notion of equivalence? Furthermore, if the answer to this question is positive, how can we recast as an equivalent program from? In particular, we consider classes of programs that emerge by allowing disjunction and/or negation, and as equivalence notions we consider strong, uniform, and ordinary equivalence. Based on general model-theoretic properties and a novel form of canonical programs, we develop semantic characterisations for the existence of such a program, determine the computational complexity of checking existence, and provide rewriting rules for recasting. (shrink)

In this article, we compare the expressive powers of classes of normal logic programs that are obtained by constraining the number of positive subgoals in the bodies of rules. The comparison is based on the existence/nonexistence of polynomial, faithful, and modular translation functions between the classes. As a result, we obtain a strict ordering among the classes under consideration. Binary programs are shown to be as expressive as unconstrained programs but strictly more expressive than unary programs (...) which, in turn, are strictly more expressive than atomic programs. We also take propositional theories into consideration and prove them to be strictly less expressive than atomic programs. In spite of the gap in expressiveness, we develop a faithful but non-modular translation function from normal programs to propositional theories. We consider this as a breakthrough due to sub-quadratic time complexity |). Furthermore, we present a prototype implementation of the translation function and demonstrate its promising performance with SAT solvers using three benchmark problems. (shrink)

Project Chariot, one of the first planned nuclear excavation experiments of the Atomic Energy Commission’s Plowshare program, touched off a controversy over its safety that drew in two prominent American biologists, Paul Sears and Barry Commoner, both now known mainly for their roles as environmental advocates. However, Sears, the ecologist and well-established conservationist, supported Project Chariot and the Plowshare program in general, while Commoner, unacquainted with ecology at the time, strongly opposed it. A close study of their different responses (...) to this project provides insights into the tensions and pressures on scientists during this critical period of the Cold War, 1960–1961, when fear of nuclear war and concerns over radioactive fallout from bomb tests mixed with hopes for peaceful applications of nuclear energy and the environmental movement had not yet begun. For Sears, the close connections in the United States between the science of ecology and the Atomic Energy Commission may well have played a significant role in his support for Chariot, while for Commoner, Project Chariot turned out to be his epiphany moment, the incident that transformed him from an antinuclear activist into an environmentalist. (shrink)

This paper examines the US Atomic Energy Commission's radioisotope distribution program, established in 1946, which employed the uranium piles built for the wartime bomb project to produce specific radioisotopes for use in scientific investigation and medical therapy. As soon as the program was announced, requests from researchers began pouring into the Commission's office. During the first year of the program alone over 1000 radioisotope shipments were sent out. The numerous requests that came from scientists outside the United States, however, (...) sparked a political debate about whether the Commission should or even could export radioisotopes. This controversy manifested the tension between the aims of the Marshall Plan and growing US national security concerns after World War II. Proponents of international circulation of radioisotopes emphasized the political and scientific value of collaborating with European scientists, especially biomedical researchers. In the end, radioisotopes were shipped from the Commission's Oak Ridge facility to many laboratories in England and continental Europe, where they were used in biochemical research on animals, plants, and microbes. However, the issue of radioisotope export continued to draw political fire in the United States, even after the establishment of national atomic energy facilities elsewhere. (shrink)

Recent work on Imre Lakatos’s missing Hungarian dissertation on the historical sociology of science sheds new light on his mature philosophy of science. Remembered primarily as an “internalist” defender of the autonomy of science, and a Cold Warrior in poli­tics, commentators have mistaken his contribution as primarily a rearguard action against the followers of Thomas Kuhn and the “externalists” influenced by Boris Hessen. It comes as a surprise, then, to find that he developed and retained a fully general soci­ology of (...) scientific knowledge, with Marxist roots that articulated Lenin’s “inexhaustible atom.” He carried forward this emphasis on the fallible, changing, and incomplete nature of our engagement with the natural world by a dialectical account of how research programs advance and recede historically. In his effort to develop a synthesis of Popper and Kuhn, and via his engagement with Paul Feyerabend, he continued to develop a distinctly dialectical ap­proach to science. (shrink)

The ArgumentIn Germany during the 1870s and 1880s a number of important scientific innovations in chemistry and biology emerged that were linked to advances in the new technology of synthetic dyestuffs. In particular, the rapid development of classical organic chemistry was a consequence of programs in which chemists devised new theories and experimental strategies that were applicable to the processes and products of the burgeoning dye factories. Thereafter, the novel products became the means to examine and measure biological systems. (...) This took place as a result of two trends. The first was a move toward diversification in the dye industry – made possible by the extensive range of products – which in turn was stimulated by economic and political conditions. The second was the increasing availability of techniques, substances, and processes used in industry. This made possible a concrete program of introducing the qualitative and quantitative methods of chemistry into the domain of laboratory experimentation on biological materials, thereby realizing the abstract desire to transform cell biology into an exact science.Moreover, the conceptualization of biological systems that emerged from this endeavor leaned heavily on a theory of dye chemistry that indicated which particular arrangements of atoms performed specific functions. This biological modeling used the imagery of chemical structural formulae to transform chemical nuclei and their side chains into adequate representations of protoplasmic structure. (shrink)