The first promising results from “streamlined,” minimal genomes tend to support the notion that these are a useful tool in biological systems engineering. However, compared with the speed with which genomic microbial sequencing has provided us with a wealth of data to study biological functions, it is a slow process. So far only a few projects have emerged whose synthetic ambition even remotely matches our analytic capabilities. Here, we survey current technologies converging into a future ability to engineer large‐scale biological (...) systems. We argue that the underlying synthetic technology, de novo DNA synthesis, is already rather mature – in particular relative to the scope of our current synthetic ambitions. Furthermore, technologies towards rationalizing the design of the newly synthesized DNA fragment are emerging. These include techniques to implement complex regulatory circuits, suites of parts on a DNA and RNA level to fine tune gene expression, and supporting computational tools. As such DNA fragments will, in most cases, be destined for operating in a cellular context, attention has to be paid to the potential interactions of the host with the functions encoded on the engineered DNA fragment. Here, the need of biological systems engineering to deal with a robust and predictable bacterial host coincides with current scientific efforts to theoretically and experimentally explore minimal bacterial genomes. (shrink)

Journal of Applied Philosophy, EarlyView.

The paper introduces ten open problems in belief revision theory, related to the representation of the belief state, to different notions of degrees of belief, and to the nature of change operations. It is argued that these problems are all issues in philosopical logic, in the strong sense of requiring inputs from both logic and philosophy for their solution.

A central question in online human sentence comprehension is, “How are linguistic relations established between different parts of a sentence?” Previous work has shown that this dependency resolution process can be computationally expensive, but the underlying reasons for this are still unclear. This article argues that dependency resolution is mediated by cue‐based retrieval, constrained by independently motivated working memory principles defined in a cognitive architecture. To demonstrate this, this article investigates an unusual instance of dependency resolution, the processing of negative (...) and positive polarity items, and confirms a surprising prediction of the cue‐based retrieval model: Partial‐cue matches—which constitute a kind of similarity‐based interference—can give rise to the intrusion of ungrammatical retrieval candidates, leading to both processing slow‐downs and even errors of judgment that take the form of illusions of grammaticality in patently ungrammatical structures. A notable achievement is that good quantitative fits are achieved without adjusting the key model parameters. (shrink)

It is a mistake to think that we cannot be morally responsible for forgetting because, as a matter of principle, forgetting is outside of our control. Sometimes we do have control over our forgetting. When forgetting is under our control there is no question that it is the proper object of praise and blame. But we can also be morally responsible for forgetting something when it is beyond our control that we forget that thing. The literature contains three accounts of (...) the blameworthiness of forgetting over which the agent has no control—the tracing account, the liberalized awareness condition, and attributionism. Even though these are competing accounts of the blameworthiness of harmful forgetting they are compatible with one another. In particular, it is possible to come up with a position that endorses the tracing account for certain kinds of harmful forgetting and attributionism for other kinds of harmful forgetting. (shrink)

According to Stalnaker’s Hypothesis, the probability of an indicative conditional, $\Pr(\varphi \rightarrow \psi),$ equals the probability of the consequent conditional on its antecedent, $\Pr(\psi | \varphi)$ . While the hypothesis is generally taken to have been conclusively refuted by Lewis’ and others’ triviality arguments, its descriptive adequacy has been confirmed in many experimental studies. In this paper, we consider some possible ways of resolving the apparent tension between the analytical and the empirical results relating to Stalnaker’s Hypothesis and we argue (...) that none offer a satisfactory resolution. (shrink)

This is a reply to a comment by Kåre Letrud [Letrud, Kåre. 2019. “The Gordian Knot of Demarcation: Tying Up Some Loose Ends.” International Studies in the Philosophy of Science 32 : 3–11. doi:10...

The relatively new discipline of risk analysis promises to provide objective guidance in some of the most controversial issues in modern high‐technology societies. Four conditions are discussed that must be satisfied for this promise to be fulfilled. Since none of these conditions is satisfied, risk analysis does not keep its promise. In its attempts to reduce genuinely political issues to technocratic calculations, it neglects many of the factors that should influence decisions on risk acceptance. A list of tentative guidelines is (...) given for numerical decision support that encourages democratic decision‐making instead of trying to evade it. (shrink)

The outcome set of a belief change operator is the set of outcomes that can be obtained with it. Axiomatic characterizations are reported for the outcome sets of the standard AGM contraction operators and eight types of base-generated contraction. These results throw new light on the properties of some of these operators.

Several attempts have been made to transfer the concept of informed consent from medical and research ethics to dealing with affected groups in other areas such as engineering, land use planning, and business management. It is argued that these attempts are unsuccessful since the concept of informed consent is inadequate for situations in which groups of affected persons are dealt with collectively (rather than individually, as in clinical medicine). There are several reasons for this. The affected groups from which informed (...) consent is sought cannot be identified with sufficient precision. Informed consent is associated with individual veto power, but it does not appear realistic to give veto power to all individuals who are affected for instance by an engineering project. Most importantly, the concept of informed consent puts focus on the public’s acceptance of ready-made proposals rather than on its participation in the decision-making process as a whole, which includes the development of alternatives for the decision. Therefore, the concept of informed consent is not applicable to a company’s relations with groups and collectives. It may, however, be applicable to a company’s relations with individual persons such as customers and employees. (shrink)

Available methods such as technology assessment and risk analysis have failed to predict the effects of technological choices. We need to give up the futile predictive ambitions of previous approaches and instead base decisions on systematic studies of alternative future developments. It will then be necessary to cope with mere possibility arguments, i.e., arguments in which a conclusion is drawn from a mere possibility that a course of action may have certain consequences. A five-step procedure is proposed for the assessment (...) of such arguments. It includes a search for mere possibility arguments pointing in different directions, a scientific evaluation that may lead to the specification or refutation of some of these arguments, two symmetry tests, evaluation of the seriousness of the arguments in terms of novelty, spatio-temporal unlimitedness and interference with complex systems, and hypothetical retrospection that aims at finding a course of action that will be defensible in retrospect. (shrink)

This book provides students with a toolbox for the study of the ethics of technology, exploring the methods available for ethical assessments of technologies and their social introduction. An international team of leading experts in the field provides the first comprehensive treatment of the topic, including case studies and annotated further reading.

A general format is introduced for deriving preferences over states of affairs from preferences over a set of contextually complete alternatives. Formal results are given both for this general format and for a specific instance of it that is a plausible explication of ceteris paribus preference.

By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is (...) shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision. (shrink)

Christine M. Korsgaard ist eine der einflussreichsten Stimmen der Gegenwartsphilosophie. In ihren Arbeiten zur Moralphilosophie Kants verteidigt sie diese gegen zwei Einwände: erstens, dass der kategorische Imperativ auf externe Werte angewiesen ist, mithin als formales Testverfahren scheitere, und, zweitens, dass Kant empfindungsfähige Wesen, die kein Vernunftvermögen besitzen, aus seiner Ethik ausgeschlossen habe und ausschließen musste. Den ersten Einwand glaubt Korsgaard durch eine spezifische Interpretation des kantischen Widerspruchsverständnisses zumindest partiell zurückweisen zu können. Wie ich zeigen werde, unterschätzt Korsgaard allerdings die Probleme, (...) die die Allgemeine Formel des kategorischen Imperativs mit sich bringt. Den zweiten Einwand wiederum glaubt Korsgaard in Form einer immanenten Kritik entkräften zu können: Kant selbst hätte auf Grundlage seines transzendentalen Arguments für die Selbstzweckformel zu dem Schluss kommen können, dass Tiere Zwecke an sich sind. Meine Thesen lauten, (a) dass Korsgaards Kant-Auslegung nicht vom Text gedeckt ist, (b) ihr Regress-upon-the-conditions-Argument nicht zur Begründung einer interpersonellen Moral taugt und es (c) auch tierethisch nicht zum gewünschten Ziel führt. (shrink)

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are “self-evident” in the sense that there is only one serious candidate that can be (...) the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some “self-evident” contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction. (shrink)

The ideal world semantics of standard deontic logic identifies our obligations with how we would act in an ideal world. However, to act as if one lived in an ideal world is bad moral advice, associated with wishful thinking rather than well-considered moral deliberation. Ideal world semantics gives rise to implausible logical principles, and the metaphysical arguments that have been put forward in its favour turn out to be based on a too limited view of truth-functional representation. It is argued (...) that ideal world semantics should be given up in favour of other, more plausible uses of possible worlds for modelling normative subject-matter. (shrink)

This paper argues for an overlooked dimension in the metaphysical microstructure of knowledge. The connection between knowledge and truth is even deeper than generally acknowledged. Knowledge, I argue, supervenes not only on a specific (namely modal) relation between the proposition p’s truth and an agent’s belief that p, but also on specific relations between the proposition’s truthmaker and the belief’s justification-maker. S knows that p only if the states of affairs referred to by S’s reasons for believing that p are (...) identical with, causally related to, or grounded in the states of affairs that make p true. (shrink)

This introduction to formal philosophy has its focus on the basic methodology of formalization: the selection of concepts for formalization, appropriate splittings and merges of concepts to be formalized, the idealization that is necessary prior to formalization, the identification of variables and their domains, and the construction of a formal language. Other topics covered in this chapter are the advantages and pitfalls of formal philosophy, the relationships between formal models and that which they represent, and the use of non-logical models (...) in philosophy. (shrink)

Contractions on belief sets that have no finite representation cannot be finite in the sense that only a finite number of sentences is removed. However, such contractions can be delimited so that the actual change takes place in a logically isolated, finite-based part of the belief set. A construction that answers to this principle is introduced, and is axiomatically characterized. It turns out to coincide with specified meet contraction.

We can express values in three major ways: in terms of classification, comparison, and quantity. The interrelations among these three types of value expressions are surveyed, with a particular emphasis on relations of interdefinability. Furthermore, interrelations between value terms and terms expressing norms or choices are explored. Several of these connections have been surprisingly little studied, and further investigations may possibly lead to the discovery of additional connections among the different formal representations of value and value-related concepts.

ZusammenfassungDie gegenwärtige Debatte über die normativen Grundlagen Kritischer Theorie lässt sich nur vor dem Hintergrund ihrer Geschichte verstehen: Die Defizite in den Konzeptionen der 1. und 2. Generation strukturieren das Feld der Optionen, die heute noch als aussichtsreich gelten können. Der Blick zurück schärft den Blick nach vorn. Im ersten Teil des Beitrags werde ich deshalb die Hauptthesen, ethischen Implikationen und Einseitigkeiten von Horkheimers Zur Kritik der instrumentellen Vernunft darstellen. Im zweiten Teil werde ich die von Habermas ausgearbeitete These diskutieren, (...) dass der Sprache das nicht-instrumentelle Telos der Verständigung innewohnt. Zudem werde ich zeigen, dass es Habermas nicht gelingt, den für seine Diskursethik zentralen Universalisierungsgrundsatz abzuleiten. Wie sich die Begründungsprobleme bei Horkheimer und Habermas auf die gegenwärtige Debatte auswirken, werde ich im dritten Teil besprechen. (shrink)

Seit ihrer Entstehung ging es der kritischen Theorie in ihren unterschiedlichen Ausführungen stets darum, die bestehende Gesellschaft mit ihren normativen Ordnungen zu kritisieren. Dabei differenzierten sich die unterschiedlichen Formen der kritischen Theorie hinsichtlich verschiedener Aspekte aus: Wurde die kapitalistische Gesellschaft in der frühen kritischen Theorie ausgehend von Hegel und Marx vor allem in ihrer Produktionsweise kritisiert, so rückten später die in ihr wirksamen Verständigungs- und Anerkennungsverhältnisse in den Vordergrund. Mit der Veränderung des Gegenstandsbereichs veränderten sich jedoch auch die normativen Maßstäbe (...) der Kritik, wodurch die Frage nach den Gründen, aus denen Kritik geübt wird, für das Selbstverständnis der kritischen Theorie eine bedeutende Rolle spielt. -/- Der vorliegende Band geht den unterschiedlichen Begründungsformen von Kritik nach, die sich in klassischen und gegenwärtigen kritischen Theorien finden lassen. Dabei werden sowohl zu klassischen Positionen der Frankfurter Schule (Adorno, Habermas, Honneth), zu Reaktualisierungen kantianischer, hegelianischer und marxistischer Theorien als auch zu aktuellen Ansätzen des Critical Realism und des Perfektionismus Beiträge geliefert. Der Leser findet einen differenzierten Überblick über die unterschiedlichen Begründungsstrategien kritischer Theorien und erfährt, inwiefern die kritische Theorie einen unverzichtbaren Beitrag zur Philosophie und Gesellschaftstheorie der Gegenwart darstellt. -/- Mit Beiträgen von Peggy Breitenstein, Hauke Brunkhorst, Volkan Cidam, Fabian Freyenhagen, Christoph Henning, Steffen Herrmann, Philip Hogh, Hannes Kuch, Frank Kuhne, Christine Kirchhoff, Johanna Müller, Stefan Müller-Doohm, Hartmut Rosa. (shrink)