This paper compares the four national electronic Identity Management Systems (eIDMS), which have been described in the previous chapters. The section Similarities and differences between four national eIDMS will highlight the differences between these systems conceived as socio-technical systems with regard to the eID itself, the eID cards as tokens, the authentication processes as well as the procedures for distribution and personalisation, the support provided for installing the technology and any provider-related regulation. The section A three-fold path dependency , according (...) to the conceptual framework presented in the introductory chapter to this special issue, compares the new electronic systems with the previous ones in each country, in order to assess the continuation or changes with regard to the organisational, technological and regulatory path of development. The following sections explain the differences between the paths chosen and the path-related changes by analysing the actor constellation of the institutional actors, in particular the policy field and the power structure, as well as the context in which the policy makers made their choices, looking at privacy and Staatsverständnis in particular. Finally the diffusion and usage of the eID function will be compared and analysed, discussing to what extent the new institution has made a contribution to solving the policy problem it was developed for, e.g. providing a stronger authentication in order to meet security concerns regarding e-government and e-commerce transactions and avoiding new privacy infringements. Using grounded theory, the explanations provided have the status of generalisations derived from the four cases. They have to be considered as hypotheses, which will be checked for other countries in the following papers of this special issue. The comparison of the four cases in this article shows a high degree of path dependency. Most of the differences between the new systems are just a continuation of differences between the previous systems although they are to solve the same problem and can draw on the same technologies. But most astonishing is the finding that these differences between the systems do not influence diffusion and use of the eID function in the respective countries. (shrink)

A first comparison of the innovation processes of introducing electronic identities on a national level in Austria, Belgium, Germany and Spain, based on extensive expert interviews with key actors, has been amended by four more country reports from Denmark, Finland, Estonia and Sweden in order to check the validity of generalisations derived from the first four cases. The extended comparison with the four additional countries increases the variance between the eID systems in Europe by showing differing technical and organisational features, (...) such as purely software-based solutions, e.g. in Denmark, or complete outsourcing of the eIDMs, e.g. in Sweden. In the second part of the paper, the conceptual framework of the comparative study, a combination of path analysis, institutional actor theory and policy field analysis will be reflected. It has resulted in a fruitful approach allowing for the explanation of some, but by no means all, of the differences between the national eIDMs in Europe. (shrink)

David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.

The group of mathematicians known as Bourbaki persuasively proclaimed the isolation of its field of research – pure mathematics – from society and science. It may therefore seem paradoxical that links with larger French cultural movements, especially structuralism and potential literature, are easy to establish. Rather than arguing that the latter were a consequence of the former, which they were not, I show that all of these cultural movements, including the Bourbakist endeavor, emerged together, each strengthening the public appeal of (...) the others through constant, albeit often superficial, interaction. This codependency is partly responsible for their success and moreover accounts for their simultaneous fall from favor, which, however, can clearly be seen as also stemming from different internal problems. To understand this dynamics, I argue that Bourbaki’s role can best be captured by using the notion of cultural connector, which I introduce here. (shrink)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

In this innovative study, Lea David critically investigates the relationship between human rights and memory, suggesting that, instead of understanding human rights in a normative fashion, human rights should be treated as an ideology. Conceptualizing human rights as an ideology gives us useful theoretical and methodological tools to recognize the real impact human rights has on the ground. David traces the rise of the global phenomenon that is the human rights memorialization agenda, termed 'Moral Remembrance', and explores what (...) happens once this agenda becomes implemented. Based on evidence from the Western Balkans and Israel/Palestine, she argues that the human rights memorialization agenda does not lead to a better appreciation of human rights but, contrary to what would be expected, it merely serves to strengthen national sentiments, divisions and animosities along ethnic lines, and leads to the new forms of societal inequalities that are closely connected to different forms of corruptions. (shrink)

Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the (...) possibilities of progress in distant and diverse places, and the relationship between universalism and cultural pluralism. In so doing he reveals some of the central ambiguities that characterize the ways that liberal thought has dealt with the reality of an illiberal world. Of particular importance are appeals to various forms of universal history, attempts to mediate between the claims of identity and the reality of difference, and the different ways of thinking about the achievement of liberal goods in other places. Pointing to key elements in still ongoing debates within liberal states about how they should relate to illiberal places, Progress, Pluralism, and Politics enriches the discussion on political thought and the relationship between liberalism and colonialism. (shrink)

Introduction -- The end of history and the Kantian moment -- The progressive mind and the Islamist challenge -- The incoherence of the philosophers -- The language of progress and the closure of the European mind -- The networked global order -- All roads lead to China -- Maxims or axioms? -- The revenge of politics and the search for order -- Conclusion -- Afterword : the study of international relations and the erosion of acdemic integrity.

Thus, Meyers provides a valuable account, not only of current medical attitudes, but also of relevant case and statute law as it stands at present.

This chapter provides an analysis of the long process of introducing an electronic identity for online authentication in Germany. This process is described as a multi-facet innovation, involving actors from different policy fields shifting over time. The eID process started in the late ‘90s in the context of eGovernment and eCommerce with the legislation on e-signatures, which were supposed to allow for online authentication of citizens. When after 5 years it was recognized that this was not the case, a new (...) digital ID card, which had meanwhile been announced, was chosen as token for the eID. This process was dominated by the concerns for visual inspection and border control, including the storage of digital fingerprints. Under the leadership of the Ministry of the Interior (BMI) and technical guidance of the Federal Agency for Information Security (BSI), technical specifications have to a large extent been adopted from the electronic passport, which had been smoothly introduced 2 years before. However, in the legislative process some concern regarding digital fingerprints on the eID card was raised and led to an opt-in solution. In 2009, a bill on the new ID card was passed which regulates the eID function for online authentication as well. This is characterized as a radical innovation by introducing a double-sided, mutual authentication of the citizen and the service provider and implementing the principle of proportionality regarding the access of service providers to data on the chip. At the time of writing, field tests are conducted. Roll-out of the new eID card is to start in November 2010. Therefore no figures about adoption can be provided here. (shrink)

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

This paper introduces the objectives and basic approach of a collaborative comparative research project on the introduction of national electronic Identity Management Systems (eIDMS) in Member States of the European Union. Altogether eight country case studies have been produced in two waves by researchers in the respective countries, which will be presented in the following articles in this special issue. The studies adopt a common conceptual framework and use the same terminology, which will be presented in this introduction, just as (...) the reasoning for the selection of the particular countries under investigation. The conceptual framework combines elements of actor centred institutionalism with path analysis, looking for path continuation, change or creation in the transition from the previous IDMS to an electronic one and explaining this as choices of actors in certain contexts. Information on the reasons for these choices in the first four cases has been collected from in depth interviews with key actors and in the four other cases from official documents. As the subject of this research is the transition of national identity management systems only countries have been included in which a national ID and a civil registry already exist before the introduction of the electronic elements, thus excluding the UK. (shrink)

In this paper, we investigate the way in which French artillery engineers met the challenge of air drag in the nineteenth century. This problem was especially acute following the development of rifled barrels, when projectile initial velocities reached values much higher than the speed of sound in air. In these circumstances, the Newtonian approximation according to which the drag was a force proportional to the square of the velocity was not nearly good enough to account for experimental results. This prompted (...) a series of theoretical and experimental investigations aimed at determining the correct law of air resistance. Throughout the nineteenth century, contrary to what happened before or after, ballistician were—with very rare exceptions—alone in trying to tackle the problem of air resistance. This was a complex problem where theoretical considerations, experimental results, and computational algorithms intermingled with one another, as well as with the development of new materials and doctrine in artillery. By carefully studying the reasons why ballisticians finally opted for a complex empirical law at the end of the nineteenth century, we show that military procedures for evaluating materials became a yardstick for assessing the worth of mathematical theories as well. In conclusion, we try to assess why military specialists were not able to face the challenges posed by World War I and required the help of civilian scientists and mathematicians. (shrink)

This article describes the creation of a lightweight ontology of European Union (EU) criminal procedural rights in judicial cooperation. The ontology is intended to help legal practitioners understand the precise contextual meaning of terms as well as helping to inform the creation of a rule ontology of criminal procedural rights in judicial cooperation. In particular, we started from the problem that directives sometimes do not contain articles dedicated to definitions. This issue provided us with an opportunity to explore a phenomenon (...) typically neglected in the construction of domain-specific legal ontologies. Whether classical definitions are present or absent, laws and legal sources in general are typically peppered with a number of hidden definitions (in the sense that they are not clearly marked out as such) as well as incomplete definitions, which may nevertheless help legal practitioners (and legal reasoning systems) to reason on the basis of analogy or teleology. In this article we describe the theoretical basis for building an analogical lightweight ontology in the framework of an EU project called _CrossJustice_. We present our methodology for collecting the data, extracting the data fields and creating the ontology with WebProtégé, followed by our conclusions and ideas for future work. (shrink)

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

Career shocks are the norm, not the exception. Yet, much of research and counseling on career-development holds unrealistic assumptions of a makeable career. Little is understood about the role of shocks on the career path and how the interplay of individual reactions to shocks shapes careers. The purpose of this study is to provide understanding of responses to different attributes of career shocks and career shocks as antecedents to career and job change. A qualitative approach was chosen and data were (...) obtained from 25 semi-structured interviews with a sample of mid-career individuals who had experienced shocks in their work lives. The analysis was 2-fold and aimed at unearthing of individual responses to shocks and the question of the role of shocks on changes in the career path. Firstly, the analysis of career shocks revealed a pattern of distinct agentic responses in relation to shocks of different attributes. Secondly, from the analysis of shock attributes and corresponding responses over time career changer profiles emerged which differ in regard to career change behavior and magnitude of changes in the career. A process model which depicts how post-shock careers are shaped distinctively in relation to different shock attributes and corresponding responses is presented. This study underlines the importance of understanding the unplannable in career development and shows a variety of options for individuals to develop their careers despite shocks. Limitation stems from the investigation of a sample limited to mid-career individuals. The findings provide a new conceptual lens to theorize and conduct research on career shocks and career changes and facilitate the development of coping strategies for career shocks. The originality lies in the investigation of the momentum of career shocks on career paths with detail to different attributes of career shocks and how they impact the career path. (shrink)

Beneath the stylized violence and thrilling car crashes, the Mad Max films consider universal questions about the nature of human life, order and anarchy, justice and moral responsibility, society and technology, and ultimately, human redemption. In Mad Max and Philosophy, a diverse team of political scientists, historians, and philosophers investigates the underlying themes of the blockbuster movie franchise, following Max as he attempts to rebuild himself and the world. -/- This book guides you through the barren wastelands of a post-apocalyptic (...) future as you explore ethics and politics in The Wasteland, the importance of costumes and music, humankind's relationship with nature, commerce, gender, religion, madness, and more. (shrink)

David Charles presents a major new study of Aristotle's views on meaning, essence, necessity, and related topics. These interconnected views are central to Aristotle's metaphysics, philosophy of language, and philosophy of science, and are also highly relevant to current philosophical debates. Charles aims to reach a clear understanding of Aristotle's claims and arguments, to assess their truth, and to evaluate their importance to ancient and modern philosophy.

This is an introduction to the structure of sentences in human languages. It assumes no prior knowledge of linguistic theory and little of elementary grammar. It will suit students coming to syntactic theory for the first time either as graduates or undergraduates. It will also be useful for those in fields such as computational science, artificial intelligence, or cognitive psychology who need a sound knowledge of current syntactic theory.

With respect to many, if not most issues, there exist significant differences of opinion among individuals who seem to be equally knowledgeable and sincere. Individuals who apparently have access to the same information and are equally interested in the truth affirm incompatible perspectives on, for instance, significant social, political, and economic issues. Such diversity of opinion, though, is nowhere more evident than in the area of religious thought. On almost every religious issue, honest, knowledgeable people hold significantly diverse, often incompatible (...) beliefs. -/- Religious diversity of this sort can fruitfully be explored in many ways — for instance, from psychological, anthropological, or historical perspectives. The current discussion, however, will concern itself primarily with those key issues surrounding religious diversity with which philosophers, especially analytic philosophers of religion, are most concerned at present. Specifically, our discussion will focus primarily on the following questions: How pervasive is religious diversity? Does the reality of this diversity require a response? Can a person who acknowledges religious diversity remain justified in claiming just one perspective to be correct? If so, is it morally justifiable to attempt to convert others to a different perspective? Can it justifiably be claimed that only one religion offers a path into the eternal presence of God? The answers to such questions are not simply academic. They increasingly have great impact on how we treat others, both personally and corporately. (shrink)

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

Today it is generally assumed that epistemic justification comes in degrees. The consequences, however, have not been adequately appreciated. In this paper we show that the assumption invalidates some venerable attacks on infinitism: once we accept that epistemic justification is gradual, an infinitist stance makes perfect sense. It is only without the assumption that infinitism runs into difficulties.

Galileo claimed inconsistency in the Aristotelian dogma concerning falling bodies and stated that all bodies must fall at the same rate. However, there is an empirical situation where the speeds of falling bodies are proportional to their weights; and even in vacuo all bodies do not fall at the same rate under terrestrial conditions. The reason for the deficiency of Galileo’s reasoning is analyzed, and various physical scenarios are described in which Aristotle’s claim is closer to the truth than is (...) Galileo’s. The purpose is not to reinstate Aristotelian physics at the expense of Galileo and Newton, but rather to provide evidence in support of the verdict that empirical knowledge does not come from prior philosophy.Author Keywords: Author Keywords: Aristotle; Galileo; Thought experiments; Falling bodies. (shrink)

According to Iris Marion Young, a structural injustice occurs when members participating in one or more scheme of social coordination act blamelessly, but the schemes, in combination with norms and background conditions, systematically prevent some from developing their capacities and fulfilling their rights. Because participants are mostly blameless, Young argues that traditional individualist theories of responsibility inadequately address structural injustices. Young instead proposes a social connection theory of responsibility, whereby participants in a structural injustice acquire forward-looking responsibilities to remediate the (...) injustice by organizing, voting, protesting and pressuring institutions. In this paper, I argue that Young’s theory of structural injustice conflates several different moral failings, and that when we correctly disambiguate structural injustices, we can successfully address them with traditional individualist theories of responsibility, both forward-looking and backward-looking. (shrink)

A Zenonian supertask involving an infinite number of colliding balls is considered, under the restriction that the total mass of all the balls is finite. Classical mechanics leads to the conclusion that momentum, but not necessarily energy, must be conserved. Relativistic mechanics, on the other hand, implies that energy and momentum conservation are always violated. Quantum mechanics, however, seems to rule out the Zeno configuration as an inconsistent system.

What is called ``orthodox'' quantum mechanics, as presented in standard foundational discussions, relies on two substantive assumptions --- the projection postulate and the eigenvalue-eigenvector link --- that do not in fact play any part in practical applications of quantum mechanics. I argue for this conclusion on a number of grounds, but primarily on the grounds that the projection postulate fails correctly to account for repeated, continuous and unsharp measurements and that the eigenvalue-eigenvector link implies that virtually all interesting properties are (...) maximally indefinite pretty much always. I present an alternative way of conceptualising quantum mechanics that does a better job of representing quantum mechanics as it is actually used, and in particular that eliminates use of either the projection postulate or the eigenvalue-eigenvector link, and I reformulate the measurement problem within this new presentation of orthodoxy. (shrink)

Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for ten different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.

The notion of probabilistic support is beset by well-known problems. In this paper we add a new one to the list: the problem of transitivity. Tomoji Shogenji has shown that positive probabilistic support, or confirmation, is transitive under the condition of screening off. However, under that same condition negative probabilistic support, or disconfirmation, is intransitive. Since there are many situations in which disconfirmation is transitive, this illustrates, but now in a different way, that the screening-off condition is too restrictive. We (...) therefore weaken this condition to what we call ‘partial’ screening off. We show that the domain defined by partial screening off comprises two mutually exclusive subdomains. In one subdomain disconfirmation is indeed transitive, but confirmation is then intransitive. In the other, confirmation is transitive, but here disconfirmation is once more intransitive. (shrink)

Margaret Cavendish was a philosopher, poet, scientist, novelist, and playwright of the seventeenth century. Her work is important for a number of reasons. It presents an early and compelling version of the naturalism that is found in current-day philosophy; it offers important insights that bear on recent discussions of the nature and characteristics of intelligence and the question of whether or not the bodies that surround us are intelligent or have an intelligent cause; it anticipates some of the central views (...) and arguments that are more commonly associated with figures like Thomas Hobbes and David Hume. This is the first full account of Cavendish’s philosophy and covers the whole span of her work. David Cunning begins with an overview of Cavendish’s life and work before assessing her contribution to a wide range of philosophical subjects, including her arguments concerning materialism, experimentation, the existence of God, social and political philosophy and free will and compatibilism. Setting Cavendish in both historical and philosophical context, he argues that like Spinoza she builds on central tenets of Descartes’ philosophy and develops them in a direction that Descartes himself would avoid. She defends a plenum metaphysics according to which all individuals are causally interdependent, and according to which the physical universe is a larger individual that constitutes all of reality. Cavendish is essential reading for students of seventeenth-century philosophy, early modern philosophy and seventeenth-century literature. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We introduce bounded category forcing axioms for well-behaved classes [math]. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe [math] modulo forcing in [math], for some cardinal [math] naturally associated to [math]. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation [math] — to classes [math] with [math]. Unlike projective absoluteness, these higher bounded category forcing (...) axioms do not follow from large cardinal axioms but can be forced under mild large cardinal assumptions on [math]. We also show the existence of many classes [math] with [math] giving rise to pairwise incompatible theories for [math]. (shrink)

Quantum electrodynamics is a time-symmetric theory that is part of the electroweak interaction, which is invariant under a generalized form of this symmetry, the PCT transformation. The thesis is defended that the arrow of time in electrodynamics is a consequence of the assumption of an initial state of high order, together with the quantum version of the equiprobability postulate.

We have earlier shown by construction that a proposition can have a welldefined nonzero probability, even if it is justified by an infinite probabilistic regress. We thought this to be an adequate rebuttal of foundationalist claims that probabilistic regresses must lead either to an indeterminate, or to a determinate but zero probability. In a comment, Frederik Herzberg has argued that our counterexamples are of a special kind, being what he calls ‘solvable’. In the present reaction we investigate what Herzberg means (...) by solvability. We discuss the advantages and disadvantages of making solvability a sine qua non , and we ventilate our misgivings about Herzberg’s suggestion that the notion of solvability might help the foundationalist. (shrink)

David Cooper explores and defends the view that a reality independent of human perspectives is necessarily indescribable, a "mystery." Other views are shown to be hubristic. Humanists, for whom "man is the measure" of reality, exaggerate our capacity to live without the sense of an independent measure. Absolutists, who proclaim our capacity to know an independent reality, exaggerate our cognitive powers. In this highly original book Cooper restores to philosophy a proper appreciation of mystery-that is what provides a measure (...) of our beliefs and conduct. (shrink)

Quantum electrodynamics is a time-symmetric theory that is part of the electroweak interaction, which is invariant under a generalized form of this symmetry, the PCT transformation. The thesis is defended that the arrow of time in electrodynamics is a consequence of the assumption of an initial state of high order, together with the quantum version of the equiprobability postulate.

Could some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it might, moreover under conditions that are the same for ten different measures of confirmation. Further, we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.

The critical concern of the present volume is contemporary naturalism, both in its scientific version and as represented by newly emerging hopes for another, philosophically more liberal, naturalism.1 The papers collected here are state-of-the-art discussions that question the appeal, rational motivations, and presuppositions of scientific naturalism across a broad range of philosophical topics. As an alternative to scientific naturalism, we offer the outlines of a new non- reductive form of naturalism and a more inclusive conception of nature than any provided (...) by the natural sciences. Our authors collectively believe that holding scientific naturalism up for philosophical scrutiny and challenging its misconceptions is of the first importance both for understanding ourselves and our place in the world; and, also, for the future direction of philosophy itself. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)