Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. (...) This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?". (shrink)

Recent research has detailed the use of neuroscience in several jurisdictions, but Australia remains a notable omission. To fill this substantial void we performed a systematic review of neuroscience in Australian criminal cases. The first section of this article reports the results of our review by detailing the purposes for which neuroscience is admitted into Australian criminal courts. We found that neuroscience is being admitted pre-trial, at trial, and during sentencing. In the second section, we evaluate these applications. We generally (...) found that courts admit neuroscience cautiously, and to supplement more well-established forms of evidence. Still, we found some instances in which the court seemed to misunderstand the neuroscience. These cases ranged from interpreting neuroscience as “objective” evidence to admitting neuroscience when the same non-neuroscientific psychiatric evidence would be inadmissible for being common sense. Furthermore, in some cases, neuroscientific evidence presents a double-edged sword; it may serve to either aggravate or mitigate a sentence. Thus, the decision about whether or not to tender this evidence is risky. (shrink)

Finding out why we have beliefs and desires is important for a thorough understanding of the nature of our minds (and those of other animals). It is therefore unsurprising that several accounts have been presented that are meant to answer this question. At least in the philosophical literature, the most widely accepted of these are due to Kim Sterelny and Peter Godfrey-Smith, who argue that beliefs and desires evolved due to their enabling us to be behaviourally flexible in a way (...) that reflexes do not—which, they claim, is beneficial in epistemically complex environments. However, as I try to make clear in this paper, upon closer consideration, this kind of account turns out to be theoretically implausible. In the main, this is because it fails to give due credit to the powers of reflex-driven organisms, which can in fact be just as flexible in their behaviour as ones that are belief/desire-driven. In order to improve on this account, I therefore propose that beliefs and desires evolved, not due to their enabling us to do something completely different from what reflexive organisms can do, but rather due to their enabling us to do the same things better. Specifically, I argue that beliefs and desires evolved for making the generation of behaviour more efficient, since they can simplify the necessary cognitive labour considerably. I end by considering various implications of this account. (shrink)

The relationship between individuals’ creativity and their ethical ideologies appears to be complex. Applying Forsyth’s (1980, 1992) personal moral philosophy model which consists of two independent ethical ideology dimensions, idealism and relativism, we hypothesized and found support for a positive relationship between creativity and relativism. It appears that creative people are less likely than non-creative people to follow universal rules in their moral decision making. However, contrary to our hypothesis and the general stereotype that creative people are less caring about (...) others, we found a positive relationship between creativity and idealism. These findings indicate that highly creative people are likely to be what Forsyth called “situationists,” individuals with both an ethic of caring and a pragmatic moral decision-making style. The finding that creative individuals tend to be situationists, and particularly that they tend to be high in idealism, appears to refute the line of reasoning that argues for a “creative personality” characterized in part by social insensitivity. Understanding the relationship between creativity and ethical ideologies has important implications for researchers, managers and teachers. (shrink)

The aim of the paper is to present and evaluate Bolzano's theory of grounding, that is, his theory of the concept expressed and the relation brought into play by 'because'. In the first part of the paper (Sections 1-4) the concept of grounding is distinguished from and related to three other concepts: the concept of an epistemic reason}, the concept of causality, and the concept of deducibility (i.e., logical consequence). In its second part (Sections 5-7) Bolzano's positive account of grounding (...) is reconstructed in axiomatic form and critically discussed. (shrink)

I distinguish two versions of kin selection theory—a purely genetic version and a version that also appeals to cultural forms of cooperation —and present an argument in favor of using the former when it comes to accounting for the evolution of cooperation in non-human organisms. Specifically, I first show that both GKST and WKST are equally mathematically coherent—they can both be derived from the Price equation—but not necessarily equally empirically plausible, as they are based on different assumptions about the inheritance (...) system underlying the cooperative phenotype. Given this, I then, second, present a model selection theoretic argument in favor of GKST over WKST. This argument is based on the fact that, in non-human cases, the former theory is likely to be as empirically successful as WKST, while containing fewer degrees of freedom. I end by defending both the intrinsic importance of this argument and its relevance to the discussion surrounding the “gene’s eye view of evolution.”. (shrink)

In this paper, I consider the recent resurgence of “evolutionary economics”—the idea that evolutionary theory can be very useful to push forward key debates in economics—and assess the extent to which it rests on a plausible foundation. To do this, I first distinguish two ways in which evolutionary theory can, in principle, be brought to bear on an economic problem—namely, evidentially and heuristically—and then apply this distinction to the three major hypotheses that evolutionary economists have come to defend: the implausibility (...) of rational choice theory as an account of economic rationality, the idea that firms are autonomous economic agents, and the need for a more dynamic, less equilibrium-focused economic methodology. In each of these cases, I conclude negatively: the relevant evolutionary considerations neither suggest interesting and novel hypotheses to investigate further (the hallmark of heuristic devices) nor are backed up by the needed data to constitute genuine evidence. I end by distinguishing this criticism of evolutionary economics from others that have been put forward in the literature: in particular, I make clear that, unlike those of other critics, the arguments of this paper are based on epistemic—not structural—considerations and therefore leave more room for a plausible form of evolutionary economics to come about in the future. (shrink)

Three facts are widely thought to be key to the characterization of human cognitive uniqueness (though a number of other factors are often cited as well): (a) humans are sophisticated cultural learners; (b) humans often rely on mental states with rich representational contents; and (c) humans have the ability and disposition to make and use tools. This article argues that (a)–(c) create a positive feedback loop: Sophisticated cultural learning makes possible the manufacture of tools that increase the sophistication of representational (...) decision-making, which in turn allows for yet further increases in the sophistication of cultural learning and tool manufacture. (shrink)

We present a model of computation for string functions over single-sorted, total algebraic structures and study some basic features of a general theory of computability within this framework. Our concept generalizes the Blum-Shub-Smale setting of computability over the reals and other rings. By dealing with strings of arbitrary length instead of tuples of fixed length, some suppositions of deeper results within former approaches to generalized recursion theory become superfluous. Moreover, this gives the basis for introducing computational complexity in a BSS-like (...) manner. Relationships both to classical computability and to Friedman's concept of eds computability are established. Two kinds of nondeterminism as well as several variants of recognizability are investigated with respect to interdependencies on each other and on properties of the underlying structures. For structures of finite signatures, there are universal programs with the usual characteristics. For the general case of not necessarily finite signature, this subject will be studied in a separate, forthcoming paper. (shrink)

The legitimacy of technology as a whole, of individual fields of technology, and of concrete decisions on technology has become problematic. Traditional methods and elements for the legitimization of technological development and of the application of technology have been increasingly called into question since the 1980s. There are great expectations in participatory procedures to improving the legitimization of technology decisions. Those expectations, however, might not be justified. In the paper, the hypothesis is proposed that legitimacy can be brought about through (...) participation only under conditions that require the fulfillment of a number of preconditions, which often cannot be regarded as fulfilled. The unavoidable separation between internal communication among the participants and external communication with the nonparticipants turns out to be the fundamental structural characteristic hindering naïve expectations of improving legitimacy by participation. (shrink)

In their book Unto Others, Sober and Wilson argue that various evolutionary considerations (based on the logic of natural selection) lend support to the truth of psychological altruism. However, recently, Stephen Stich has raised a number of challenges to their reasoning: in particular, he claims that three out of the four evolutionary arguments they give are internally unconvincing, and that the one that is initially plausible fails to take into account recent findings from cognitive science and thus leaves open a (...) number of egoistic responses. These challenges make it necessary to reassess the plausibility of Sober & Wilson’s evolutionary account—which is what I aim to do in this paper. In particular, I try to show that, as a matter of fact, Sober & Wilson’s case remains compelling, as some of Stich’s concerns rest on a confusion, and those that do not are not sufficiently strong to establish all the conclusions he is after. The upshot is that no reason has been given to abandon the view that evolutionary theory has advanced the debate surrounding psychological altruism. (shrink)

Certain strands of contemporary media theory are concerned with the ways in which computational environments exploit the ‘missing half-second’ of human perception and thereby influence, control or exploit humans at an affective level. The ‘technological unconscious’ of our times is often understood to work at this affective level, and high-frequency trading is regularly provided as a primary illustrative example of the contagious dynamics it produces. We challenge and complicate this account of the relation between consciousness, affect and media technologies by (...) drawing on the recent work of N. Katherine Hayles and by focusing in detail on the ways in which the ‘costs of consciousness’ are accounted for and negotiated in high-frequency trading. We suggest that traders actively develop modes of awareness accounting for the costs of consciousness, and that the necessary ‘stupidity’ of high-frequency trading algorithms as well as competition pose limits to the full automation of financial markets. (shrink)

Handling the impacts and consequences of technology has become a problem of political, social and scientific relevance since the Sixties. The earlier assumption that technological evolution would automatically lead to social and human progress in an emphatic sense can no longer be sustained. The ambivalence of technology has become a standing topic in the public, philosophical and scientific debate .In this situation new challenges to technology policy are emerging. Functions of an `early warning' with respect to the risks or potentials (...) of new technologies or to ways of avoiding or, at least, resolving technology conflicts by compromise have been postulated . Technology policy pursued by parliament or government, therefore, is in need of scientific consultation . Since the Seventies a number of institutions in this field have been founded , either primarily as parliamentary bureaus of knowledge-transfer to the decision-makers , as networks with a low degree of institutionalization or as independent scientific institutes .The scientific discussion on how to acquire and establish orientational knowledge for decision-makers facing the ambivalence of technology is sectoralized into two branches: the ethics of technology and technology assessment . These two branches are based on fundamentally different assumptions concerning how to give orientation to technology policy: the philosophical ethics, of course, emphasizes the normative implications of decisions on technology and the importance of moral conflicts , while technology assessment relies mainly on sociological or economic research .Both approaches have largely been developed and practised without regard to one another. In Germany, at the beginning of the Nineties the conceptual discussion around these questions was initiated. At first, a lot of misunderstandings appeared, both parties fundamentally criticizing each other, often one denying the competence of the other to deal appropriately with technology problems . In this paper the conflict is analyzed by looking at the situation in Germany, summarizing and weighing the main arguments which have been brought up by TA and the ethical approach to technology.As a result it will be shown that both are partly right, whereby the relative weight of both approaches in their capacity to give orientation is dependent on contextual circumstances. A non-reductionistic overall approach must take into account the normative aspects of the ethics of technology when handling moral conflicts as well as the need for operationalization, concreteness and established knowledge about the processes of “managing technology in society” postulated by TA. (shrink)

This paper defends the communitarian account of meaning against Boghossian’s (Wittgensteinian) arguments. Boghossian argues that whilst such an account might be able to accommodate the infinitary characteristic of meaning, it cannot account for its normativity: he claims that, since the dispositions of a group must mirror those of its members, the former cannot be used to evaluate the latter. However, as this paper aims to make clear, this reasoning is fallacious. Modelling the issue with four (justifiable) assumptions, it shows that (...) Condorcet’s ‘Jury Theorem’ can be used to prove that the dispositions of the majority of the members of a group can differ from those of any individual member in a way that makes it possible to use communal dispositions as a standard with which individual dispositions can be assessed. Moreover, the argument of the paper is also shown to have general implications for the use of formal methods in the explanation of the nature of certain fallacious inferences. (shrink)

Schon seit ihrer Gründung in den 1970er-Jahren ist die Reihe Germanistische Linguistik (RGL) exponiertes Forum des Faches, dessen Namen sie im Titel führt. Hinsichtlich der thematischen Breite (Sprachebenen, Varietäten, Kommunikationsformen, Epochen), der Forschungsperspektiven (Theorie und Empirie, Grundlagenforschung und Anwendung, Inter- und Transdisziplinarität) und des methodologischen Spektrums ist die Reihe offen angelegt. Das Aufgreifen neuer Trends hat in ihr ebenso Platz wie das Fortführen von Bewährtem. Die Publikationsformen reichen von Monographien und Sammelbänden bis zu Wörterbüchern. Wissenschaftlicher Beirat (ab November 2011): Prof. (...) Dr. Karin Donhauser (Berlin) Prof. Dr. Stephan Elspaß (Augsburg) Prof. Dr. Helmuth Feilke (Gießen) Prof. Dr. Jürg Fleischer (Marburg) Prof. Dr. Stephan Habscheid (Siegen) Prof. Dr. Rüdiger Harnisch (Passau). (shrink)

Dynamic stability of the knee and weakness of the extensor muscles are considered to be the most important functional limitations after anterior cruciate ligament injury, probably due to changes at the central level of motor control rather than at the peripheral level. Despite general technological advances, fewer contraindicative surgical procedures, and extensive postoperative rehabilitation, up to 65% of patients fail to return to their preinjury level of sports, and only half were able to return to competitive sport. Later, it becomes (...) clear that current rehabilitation after knee surgery is not sufficient to address the functional limitations after ACL reconstruction even years after surgery. Therefore, new therapeutic tools targeting the central neural system, i.e., the higher centers of motor control, should be investigated and integrated into current rehabilitation practice. To improve motor performance when overt movement cannot be fully performed, several techniques have been developed to increase physical and mental activation without the need to perform overt movements. Among the most popular cognitive techniques used to increase physical performance are motor imagery and action observation practices. This review, which examines the available evidence, presents the underlying mechanisms of the efficacy of cognitive interventions and provides guidelines for their use at home. (shrink)

Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 112 Heft: 1 Seiten: 238-243.

Contains contributions dealing with religious narrative and cognitive theory written by some of the world's leading scholars in the fields of cognitive science, narratology and comparative religion. This title explores the neurological processes and possible genetic foundations of how language emerged in Homo sapiens.

It is shown that the classes of discrete parts, A ∩ ℕk, of approximately resp. weakly decidable subsets of Euclidean spaces, A ⊆ ℝk, coincide and are equal to the class of ω-r. e. sets which is well-known as the first transfinite level in Ershov's hierarchy exhausting Δ02.

Vorbemerkung: Das Staunen -- Die Scholastik -- Héloïse (um 1099-1164): Die Logik der Liebe -- Mystik als Schau göttlicher Weisheit -- Hildegard von Bingen (1998-1179): "Scivias--Wisse die Wege" -- Die "Querelle du Roman de la Rose" -- Christine de Pizan (um 1364-um 1430): "die Stadt der Frauen" -- Die Aufklärung -- Émilie du Châtlet (1706-1749): "Rede vom Glück" -- Romantik und Neuromantik -- Ricarda Huch (1864-1947): Der Mensch der Zukunft aus dem Geiste der Romantik -- Die Phänomenologie -- Edith Stein (...) (1891-1942): Philosophin der Phänomenologie, Märtyrerin, Heilige -- Philosophie der Pflichten dem Menschen gegenüber -- Simone Weil (1909-1943): Sozialistische Aktivistin, Philosophin, Mystikerin -- Philosophie des Politischen -- Hannah Arendt (1906-1975): Philosophisches Engagement im Zeitalter des Totalitarismus -- Der Existenzialismus -- Simone de Beauvoir (1908-1986): Freiheit und Emanzipation -- Philosophie der Verantwortung in einer globalisierten Welt -- Jeanne Hersch (1910-2000): Freiheit und Verantwortung. (shrink)

Transition Probability (fidelity) for pairs of density operators can be defined as a “functor” in the hierarchy of “all” quantum systems and also within any quantum system. The Introduction of “amplitudes” for density operators allows for a more intuitive treatment of these quantities, also pointing to a natural parallel transport. The latter is governed by a remarkable gauge theory with strong relations to the Riemann-Bures metric.

Confabulations are memories of events and experiences that have never actually happened. Such false memories have fascinated scientists for over a century, and in recent years been the subject of much debate. This is the first book to provide an in-depth analysis of an extraordinary and controversial subject.

Far-reaching promises made by nanotechnology have raised the question of whether we are on the way to understanding human beings more and more as belonging to the realm of technology. In this paper, an increasing need to understand the technological re-conceptualization of human beings is diagnosed whenever increasingly “technical” interpretations of humans as mechanical entities are disseminated. And this can be observed at present in the framework of nanobiotechnology, a foremost “technical” self-description where a technical language is adopted. The arena (...) in which the decision is made on increasing the use of technological understanding to define mankind will not be found in the surgery room in which one works with implants, nor the NBIC-laboratory, in which “nerve plugs” are supposed to be developed. The thesis of this paper is that such arena is rather related to the manner in which concepts of humanity are associated with it, how we think and talk about ourselves, and which consequences we draw out of it. (shrink)

We present some characterizations of the members of Δta2, that class of the topological arithmetical hierarchy which is just large enough to include several fundamental types of sets of points in Euclidean spaces ℝk. The limit characterization serves as a basic tool in further investigations. The characterization by effective difference chains of effectively exhaustible sets yields only a hierarchy within a subfield of Δta2. Effective difference chains of transfinite (but constructive) order types, consisting of complements of effectively exhaustible sets, as (...) well as another closely related concept, yield a rich hierarchy within the whole class Δta2. The presentation always first reports analogies between Hausdorff's difference hierarchy within the Borel class ΔB2 and Ershov's hierarchy within the class Δ02 of the arithmetical hierarchy; after that the counterparts for Δta2 are developed. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

Business Ethics: A European Review, EarlyView.

There are different possibilities for defining the areas for the application of ethics to engineering. They range from descriptive analysis of engineers’ relationship to moral criteria and extend to normative issues on how engineers should design more “sustainable” technology. In this paper, a frame of reference is proposed, which makes it possible to elaborate in a transparent manner goals for analysis of the scope of ethics in engineering. Its point of departure is marked by two questions: 1) which types of (...) situation in the practice of engineering require ethical reflection? and 2) to what extent are engineers expected to assume moral responsibility in the practice of their profession? The answers to both of these questions presuppose reflection on the societal processes of setting definitions and of making ascriptions. Understanding these processes of societal “construction” of demands for ethical reflection in engineering and of engineers’ moral responsibilities should be an important objective of the analysis of ethics in engineering. (shrink)