This book explores the constitutional, legally binding dimension to legisprudence in the light of the German Federal Constitutional Court's approach to rational lawmaking. Over the last decades this court has been remarkably active in applying legisprudential criteria and standards when reviewing parliamentary laws. It has thus supplied observers with a unique material to analyse the lawmakers' duty to legislate rationally, and to assess the virtues and drawbacks of this strand of judicial control in a constitutional democracy. By bringing together legislation (...) experts and public law scholars to elaborate on 'legisprudence under review', this contributed volume aspires to shed light on the constitutionalisation of rational lawmaking as a controversial trend gaining ground in both national and international jurisdictions. The book is divided into five parts. Part I frames the two key issues pervading the whole collection: the intricate relationship between judicial review and democracy, on the one hand, and the possibility of improving and rationalizing the task of legislation under the current circumstances of politics, on the other. Part II provides an overview of the judicial review of rational lawmaking, laying special emphasis on the duty of legislative justification imposed on lawmakers by the German Constitutional Court. Part III is devoted to the review of the systemic rationality of legislation, in particular to the requirements of legislative consistence and coherence as developed by this court. Contributions in Part IV revolve around the judicial scrutiny of the socio-empirical elements of rational lawmaking, with the control of legislative facts and impacts and the problem of symbolic laws being the central topics. Finally, Part V draws on the German case law to discuss the links between rational lawmaking, balancing and proportionality, and the interdependence between process review and substantive review of legislation. (shrink)

The Jewish Philosophy Reader is the first comprehensive anthology of classic writings on Jewish philosophy from the Bible to postmodernism. The Reader is clearly divided into four separate parts: Foundations and First Principles, Medieval and Renaissance Jewish Philosophy, Modern Jewish Thought, and Contemporary Jewish Philosophy. Each part is clearly introduced by the editors. The readings featured are representative writings of each era listed above and are from the following major thinkers: Abrabanel, Baeck, Bergman, Borowitz, Buber, Cohen, Crescas, Fackenheim, Geiger, Gersonides, (...) Goodman, Graetz, Halevi, Hartman, Heschel, Hess, Hirsch, Ibn Ezra, Ibn Gabirol, Ibn Paquda, Kellner, Kook, Krochmal, Leibowitz, Levinas, Maimonides, Maybaum, Mendelssohn, Novak, Philo, Plaskow, Rosenzweig, Saadia, Scholem, Seeskin, Soloveitchik, Spinoza, Strauss, Wolf, Zunz. (shrink)

Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent (...) collective ontologies. We propose to solve the possible inconsistencies in the collective ontology by applying suitable weakenings of axioms that cause inconsistencies. (shrink)

Many research fields concerned with the processing of information contained in human faces would benefit from face stimulus sets in which specific facial characteristics are systematically varied while other important picture characteristics are kept constant. Specifically, a face database in which displayed expressions, gaze direction, and head orientation are parametrically varied in a complete factorial design would be highly useful in many research domains. Furthermore, these stimuli should be standardised in several important, technical aspects. The present article presents the freely (...) available Radboud Faces Database offering such a stimulus set, containing both Caucasian adult and children images. This face database is described both procedurally and in terms of content, and a validation study concerning its most important characteristics is presented. In the validation study, all frontal images were rated with respect to the shown facial expression, intensity of expression, clarity of expression, genuineness of expression, attractiveness, and valence. The results show very high recognition of the intended facial expressions. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

Self-control provides one cooperative explanation for “purity.” Other types of cooperation provide additional explanations. For example, individuals compete for status by displaying high-value social and sexual traits, which are moralised because they reduce the mutual costs of conflict. As this theory predicts, sexually unattractive traits are perceived as morally bad, aside from self-control. Moral psychology will advance more quickly by drawing on all theories of cooperation.

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...) the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

Jewish philosophy is often presented as an addendum to Jewish religion rather than as a rich and varied tradition in its own right, but the _History of Jewish Philosophy_ explores the entire scope and variety of Jewish philosophy from philosophical interpretations of the Bible right up to contemporary Jewish feminist and postmodernist thought. The links between Jewish philosophy and its wider cultural context are stressed, building up a comprehensive and historically sensitive view of Jewish philosophy and its place in the (...) development of philosophy as a whole. Includes: · Detailed discussions of the most important Jewish philosophers and philosophical movements · Descriptions of the social and cultural contexts in which Jewish philosophical thought developed throughout the centuries · Contributions by 35 leading scholars in the field, from Britain, Canada, Israel and the US · Detailed and extensive bibliographies. (shrink)

From the ninth to the fifteenth centuries Jewish thinkers living in Islamic and Christian lands philosophized about Judaism. Influenced first by Islamic theological speculation and the great philosophers of classical antiquity, and then in the late medieval period by Christian Scholasticism, Jewish philosophers and scientists reflected on the nature of language about God, the scope and limits of human understanding, the eternity or createdness of the world, prophecy and divine providence, the possibility of human freedom, and the relationship between divine (...) and human law. Though many viewed philosophy as a dangerous threat, others incorporated it into their understanding of what it is to be a Jew. This Companion presents all the major Jewish thinkers of the period, the philosophical and non-philosophical contexts of their thought, and the interactions between Jewish and non-Jewish philosophers. It is a comprehensive introduction to a vital period of Jewish intellectual history. (shrink)

In comparing different risk elicitation methods under the assumptions of expected utility theory, previous studies have found significant differences in the elicited risk attitudes. This paper extends this line of research to consider cumulative prospect theory by comparing risk attitudes and probability weightings determined using two elicitation methods: the method by Tanaka et al. :557–571, 2010; TCN method) and the method by Wakker and Deneffe :1131–1150, 1996; WD method). We demonstrate that the two methods reveal significantly different mean values for (...) the measured risk attitudes. Participants are classified on average as moderately risk-averse using the TCN method, whereas the same individuals are classified as nearly risk-neutral using the WD method. Moreover, we find that on average, participants overweight low probabilities and underweight high probabilities to a greater extent with the WD method than with the TCN method. Therefore, the different elicitation methods, that both consider probability weighting, can lead to different measured values of risk attitude and probability weighting. (shrink)

Biology and history are often viewed as closely related disciplines, with biology informed by history, especially in its task of charting our evolutionary past. Maximizing the opportunities for cross-fertilization in these two fields requires an accurate reckoning of their commonalities and differences-precisely what this volume sets out to achieve. Specially commissioned essays by a team of recognized international researchers cover the full panoply of topics in these fields and include notable contributions on the correlativity of evolutionary and historical explanations, applying (...) to history the latest causal-mechanical approach in the philosophy of biology, and the question of generalized laws that might pertain across the two subjects. The collection opens with a vital interrogation of general issues on explanation that apart from potentially fruitful areas of interaction (could the etiology of the causal-mechanical perspective in biology account for the historical trajectory of the Roman Empire?) this volume also seeks to chart relative certainties distinguishing explanations in biology and history. It also assesses techniques such as the use of probabilities in biological reconstruction, deployed to overcome the inevitable gaps in physical evidence on early evolution. Methodologies such as causal graphs and semantic explanation receive in-depth analysis. Contributions from a host of prominent and widely read philosophers ensure that this new volume has the stature of a major addition to the literature. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

This self-interview is the responsive document coming forth from the post-conference camaraderie. The four “Žižekian Performers” – found with themselves personally, creatively, and academically following the 2014 International Žižek Studies Conference. As a self-interview document that mimics the gameplay of Žižek himself in his own self-interview from his The Metastases of Enjoyment where he puts on the guise of the “big Other” to examine himself, we four performers here examine ourselves, each other, our work, and each other’s work to produce (...) this post-partum collaborative essay. In our collective project, we outline our individual performances from the Conference, each stake a claim and personal response to the critical question of what is a “Žižekian Performance,” and identify and discuss other synergies that emerged and exist amid our work in the form of cross-examinations and self-examinations. Ultimately, this group’s self-interview blazes the way for performance to interpenetrate the “Žižekian” and to intervene wherever theory, investigation, and presentation may lie. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...) Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

1 Evidence-based policy requires researchers to provide the answers to ecological questions that are of interest to policy makers. To find out what those questions are in the UK, representatives from 28 organizations involved in policy, together with scientists from 10 academic institutions, were asked to generate a list of questions from their organizations. 2 During a 2-day workshop the initial list of 1003 questions generated from consulting at least 654 policy makers and academics was used as a basis for (...) generating a short list of 100 questions of significant policy relevance. Short-listing was decided on the basis of the preferences of the representatives from the policy-led organizations. 3 The areas covered included most major issues of environmental concern in the UK, including agriculture, marine fisheries, climate change, ecosystem function and land management. 4 The most striking outcome was the preference for general questions rather than narrow ones. The reason is that policy is driven by broad issues rather than specific ones. In contrast, scientists are frequently best equipped to answer specific questions. This means that it may be necessary to extract the underpinning specific question before researchers can proceed. 5 Synthesis and applications. Greater communication between policy makers and scientists is required in order to ensure that applied ecologists are dealing with issues in a way that can feed into policy. It is particularly important that applied ecologists emphasize the generic value of their work wherever possible. (shrink)

Die Welt als Wille und Vorstellung entstand in den Jahren 1814 bis 1818 in Dresden und erschien im Dezember 1818 mit der Jahreszahl 1819 bei Brockhaus in Leipzig. Unmittelbar nachdem das Hauptwerk erschienen war, habilitierte sich Schopenhauer mit seinem Buch an der Berliner Universität und wurde dort Privatdozent.