"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).

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?

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.

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.

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.

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.

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)

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)

The minimum performance rule applies where the defendant who has repudiated his contract would have had a choice as to how to perform it. The rule requires that damages be assessed on the basis that the defendant would have chosen to perform in the least onerous manner. Two principal criticisms of the rule are made. The first is that the rule’s fundamental assumption, that minimum performance is all the claimant is entitled to, rests on a flawed understanding of what it (...) means to have a choice as to how to perform a promise. The second is that the rule is wrongly applied to claims for consequential loss. Having shown that the rule has no remaining role, the conclusion reached is that it should be abandoned. (shrink)

We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model different domains and solve practical reasoning problems. We discuss some of the main differences with respect to reasoning in classical logic and we examine an ongoing research programme for the rational reconstruction of human knowledge that may be considered a successor to the (...) logical empiricists’ programme of the mid-twentieth century. (shrink)

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)

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.

Does introspection grant us privileged insight into the intrinsic nature of the stuff of the world? Michael Lockwood 's startling answer is yes. Quantum mechanics may indeed supply a complete formal description of the universe. Yet what "breathes fire into" the quantum-theoretic equations, it transpires, isn't physical in the traditional sense at all.

advocating the use of biotechnology to abolish suffering throughout the living world. At that time, Nick was a philosophy postgrad in London. He read the manifesto and fired off several incisive questions. Later we met up. I harangued Nick into getting a website. Nick then sounded me out about setting up a kind of umbrella organization for transhumanists - and overcame my doubts about whether overcoming suffering is really at the heart of a transhumanist agenda.

Before anaesthesia, surgery used to be agony. It’s hard to imagine that anyone could have been anything but pleased when painless surgery was introduced in the mid-19th century. And yet, although many welcomed anaesthesia, some did object. In Zurich, anaesthesia was even outlawed. “Pain is a natural and intended curse of the primal sin. Any attempt to do away with it must be wrong,” claimed the Zurich City Fathers. Painless delivery in childbirth was a particularly contentious issue. Some insisted that (...) “in sorrow thou shalt bring forth children” (Genesis 3:16). Others, like Doctor Charles Delucena Meigs (1792-1869), Professor of Obstetrics and Diseases of Women at Jefferson Medical College, believed that labour pains were “a most desirable, salutary and conservative manifestation of the life force.” There was even a belief, expressed in 1847 in The New York Journal of Medicine, that pain was vital to surgical procedure. (shrink)

"Over the past half billion years, life on Earth has been governed by the pleasure pain axis. Nature is typically "red in tooth and claw". Consequently, life has typically been "nasty, brutish and short". However, a major evolutionary transition lies ahead. Natural selection has evolved organic robots with the capacity to rewrite their own source code. Humans will shortly be able to redesign our own reward circuitry, decommission natural selection, design compassionate ecosystems, and abolish suffering throughout the living world.

Issues of the ‘global commons’ have secured a prominent place in environmental discourse. The temperature-regulating functions of the global atmosphere and radiation control functions of stratospheric ozone offer clear examples of true public goods. Other environmental assets, such as biodiversity and forests, are treated as if they are public goods, but in reality are complex mixtures of private goods, local public goods and global public goods. The approach to the provision and protection of these goods has tended to focus on (...) the development of international agreements, such as those at the Rio de Janeiro ‘Earth Summit’ in 1992. But do these agreements contain the relevant incentives to conserve the global commons? Much depends on one's view of human nature. The Scottish economic tradition suggests that unless incentives focus on ‘self love’, as postulated by Hume and Smith, improvements will, at best, be marginal. A richer array of policy measures is obtained by analysing the potential for ‘global bargains’, trades that improve the environment whilst making each party better off. The souls of Hume and Smith surely approve recent developments in practical global bargains. (shrink)

Transhumanists are ambitious. We want unlimited lifespan, unlimited intelligence, unlimited computer power. But this doesn't mean that we're ambitious about everything, for example height. Perhaps we want to be a bit taller, and we want to ensure that e.g. midgets have the opportunity to reach "normal" stature. Yet even in Second Life, or in tomorrow's immersive virtual realities, we don't for the most part want to be 1000 metres tall - despite freedom from the constraints of gravity. Of course, there (...) are some very exotic creatures in Second Life: they might say the rest of us have stunted imaginations. But intuitively, there is quite a narrow optimum for body height. Moreover, height may be regarded as what economists call a "positional good". It's socially advantageous to be slightly taller than average; but if everyone were to become taller, then no one would be better off. (shrink)

D.P. It will technically be possible to get rid of all suffering within a century or two. Its abolition would be practical only if it were agreed in the sense of something like the moon program or the human genome project – if there was a degree of social consensus. There are certainly technological obstacles, but they are dwarfed by the ethical-ideological ones. Many people’s negative reaction to the idea of a world without suffering comes from a fear that someone (...) is going to be manipulating and controlling them. Partly, too, the abolition of suffering seems to make a mockery of one’s life projects. Most of us spend the greater part of our lives seeking happiness for ourself and others we care about. But we do so in extremely inefficient and in many cases self-defeating ways. This is a problem with existing human society. Even though we have made extraordinary progress technologically and medically, we aren’t any happier than our ancestors. Even if we could arrange society in the most utopian way imaginable, there would be some people who would still be depressed and anxious. There would be some people who would be consumed by jealousy or unhappy love affairs. No amount of environmental reform or manipulation is going to get rid of suffering. Only biotechnology can eradicate its neural substrates. (shrink)

Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...) Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the international workshop ‘Logical Reasoning and Computation’ that was held at IRITInstitut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, on 3–4 March 2016. The present introduction contains a short scientific biography describing the many different areas of logic and computation where Luis contributed significant advances. (shrink)

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.

Business scholars have recently proposed that the virtue of personal wisdom may predict leadership behaviors and the quality of leader–follower relationships. This study investigated relationships among leaders’ personal wisdom—defined as the integration of advanced cognitive, reflective, and affective personality characteristics (Ardelt, Hum Dev 47:257–285, 2004)—transformational leadership behaviors, and leader–member exchange (LMX) quality. It was hypothesized that leaders’ personal wisdom positively predicts LMX quality and that intellectual stimulation and individualized consideration, two dimensions of transformational leadership, mediate this relationship. Data came from (...) 75 religious leaders and 1–3 employees of each leader (N = 158). Results showed that leaders’ personal wisdom had a positive indirect effect on follower ratings of LMX quality through individualized consideration, even after controlling for Big Five personality traits, emotional intelligence, and narcissism. In contrast, intellectual stimulation and the other two dimensions of transformational leadership (idealized influence and inspirational motivation) did not mediate the positive relationship between leaders’ personal wisdom and LMX quality. Implications for future research on personal wisdom and leadership are discussed, and some tentative suggestions for leadership development are outlined. (shrink)

Following in a psychological and musicological tradition beginning with Leonard Meyer, and continuing through David Huron, we present a functional, cognitive account of the phenomenon of expectation in music, grounded in computational, probabilistic modeling. We summarize a range of evidence for this approach, from psychology, neuroscience, musicology, linguistics, and creativity studies, and argue that simulating expectation is an important part of understanding a broad range of human faculties, in music and beyond.

Few thinkers have left such an influence across such a diverse range of studies as Michel Foucault has. This book pays homage to that diversity by presenting a multidisciplinary series of analyses dedicated to the question of power today.

A correction to this paper has been published: https://doi.org/10.1007/s10441-021-09414-2.

This book provides a concise treatment of David Hume’s “Of Miracles,” defending both an interpretation of Hume’s argument and an evaluation of its philosophical significance. The philosophical argumentation is consistently rigorous, and the interpretation of Hume is interesting and original.A distinctive aspect of George’s approach, which should have been highlighted in the introduction but was not, is his treatment of “Of Miracles” as a standalone essay. This approach serves to illuminate certain aspects of “Of Miracles,” especially the relationship between (...) the two parts. However, there are places where the lack of discussion of the essay’s position in the larger scheme of Hume’s Enquiry concerning Human... (shrink)

What sorts of reasons are i) required and ii) morally acceptable when citizens in a pluralist liberal democracy undertake to resolve pressing political issues? This paper presents and then critically examines John Rawls''s answer to this question: his so called wide-view of public reason. Rawls''s view requires that the content of liberal public reason prove rich enough to yield a reasoned and determinate resolution for most if not all fundamental political issues. I argue that the content of liberal public reason (...) will prove inadequate in this regard far more often than Rawls suspects. (shrink)

Rawls's "The Law of Peoples" has not been well received. The first task of this essay is to draw (what the author regards as) Rawls's position out of his own text where it is imperfectly and incompletely expressed. Rawls's view, once fully and clearly presented, is less vulnerable to common criticisms than it is often taken to be. The second task of this essay is to go beyond Rawls's text to develop some supplementary lines of argument, still Rawlsian in spirit, (...) to deflect key criticisms made by Rawls's critics. The overall defense given here of Rawls's position draws on a deep theme running throughout all of Rawls's work in political philosophy, namely, that the task of political philosophy is to mark the moral limits given by and through a common human reason, itself socially and historically achieved, within which human nature must develop (and reveal itself over time) if it is to be an expression or manifestation of human freedom. (shrink)