"The total amount of suffering per year in the natural world is beyond all decent contemplation. During the minute that it takes me to compose this sentence, thousands of animals are being eaten alive, others are running for their lives, whimpering with fear, others are being slowly devoured from within by rasping parasites, thousands of all k inds are dying of starvation, thirst and disease. It must be so." -/- —Richard Dawkins, River Out of Eden (1995).

We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.

This essay is an attempt to consider dynamic aspects of scientific theorising from a formal perspective. Our emphasis will be on the aims and methods for constructing formal models of theory dynamics which will be conceived from a general or 'theoretical' rather than 'applied' standpoint.

In this paper we give the gist of our reconstructed notion of (limiting case) correspondence. Our notion is very general, so that it should be applicable to all the cases in which a correspondence has been said to exist in actual science.

"This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of (...) the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision."--PUBLISHER'S WEBSITE. (shrink)

Economists assume that people are fundamentally greedy, though not exclusively so. If environmental improvement is to be achieved, it will require policies that use selfishness rather than opposing it. Such policies are to be found in the basics of green economics in which market signals are modified by environmental taxes and tradeable pollution certificates to ‘decouple’ the economic growth process from its environmental impact. Green economic policies avoid the infringements of human liberties implied in ever stronger ‘command and control’ measures.

The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.

ANDRÉS LOMEÑA: Transhumanism, or human enhancement, suggests the use of new technologies to improve mental and physical abilities, discarding some aspects as stupidity, suffering and so forth. You have been described as technoutopian by critics who write on “Future hypes”. In my opinion, there is something pretty much worse than optimism: radical technopessimism, managed by Paul Virilio, deceased Baudrillard and other thinkers. Why is there a strong strain between the optimistic and pessimistic overview?

There are fundamental differences between the explanation of scientific change and the explanation of technological change. The differences arise from fundamental differences between scientific and technological knowledge and basic disanalogies between technological advance and scientific progress. Given the influence of economic markets and industrial and institutional structures on the development of technology, it is more plausible to regard technological change as a continuous and incremental process, rather than as a process of Kuhnian crises and revolutions.

Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...) minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. (shrink)

Though formal metascience has made rapid advances over the past few decades, it has seldom been seen to contribute much to the rational reconstruction of scientic development; for the most part, logical concepts have found application in the synchronic analysis of scientic theories. It should be important, therefore, to consider to what extent diachronic or dynamic aspects of scientic theorizing may also be captured within the connes of a formal metascientic framework, and what tools are best suited for constructing a (...) general model of theory dynamics. (shrink)

The Abolitionist Project outlines how (post)humans will use biotechnology to abolish suffering in all sentient life. Sadly, this utopian sounding outcome may not be nearly as wonderful as it sounds. Assume..

Summary In hisProgress and its Problems, Laudan dismisses the problem of incommensurability in science by endorsing two general assertions. The first claims there are actually no incommensurable pairs of theories or research traditions; the second maintains that his problem-solving model of scientific progress would be able rationally to appraise even incommensurable pairs of theories or traditions (are compare them for their progressiveness). I argue here that Laudan fails to provide a plausible defence of either thesis, and that this creates some (...) problems for his general approach. (shrink)

The paper provides a preliminary study of algebraic semantics for modal and superintuitionistic non-monotonic logics. The main question answered is: how can non-monotonic inference be understood algebraically?

In this article we examine the role which vindication plays in contract damages. Vindication describes the making good of a right by the award of an adequate remedy. We argue that, while the primary purpose of compensation is to provide an indemnity for loss, an award of compensatory damages will nevertheless generally vindicate the right to performance of the contract. We go on to consider a distinct measure of damages, vindicatory damages. These, we argue, are neither compensatory nor restitutionary, neither (...) loss-based nor gain-based: they are a rights-based remedy. We then identify various situations in which the courts may be seen to have awarded what are, in substance, vindicatory damages. We conclude by considering the benefits which may follow from recognition of the availability of vindicatory damages as a contract remedy. (shrink)

Economists assume that people are fundamentally greedy, though not exclusively so. If environmental improvement is to be achieved, it will require policies that use selfishness rather than opposing it. Such policies are to be found in the basics of green economics in which market signals are modified by environmental taxes and tradeable pollution certificates to 'decouple' the economic growth process from its environmental impact. Green economic policies avoid the infringements of human liberties implied in ever stronger 'command and control' measures.

Stepping on a strongly electrified grid is highly aversive. A desperately hungry rat - even a rat who hasn't eaten for 10 days - won't run across an electrified cage-floor to reach a food-source: the shocks are too painful. But a rat with electrodes implanted in its neural reward circuitry will cross the grid, repeatedly, to gain the chance to self-stimulate its pleasure centres. Direct electrical stimulation of the mesolimbic dopamine system is so overpoweringly delightful that the anticipated reward eclipses (...) the immediate pain. (shrink)

This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision. One invited paper, by D. Vakarelov, is (...) on arrow logics, i.e., modal logics for representing graph information. The other, by L.M. Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation. (shrink)