This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th (...) international congress of the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

The better best system account, short BBSA, is a variation on Lewis’s theory of laws. The difference to the latter is that the BBSA suggests that best system analyses can be executed for any fixed set of properties. This affords the possibility to launch system analyses separately for the set of biological properties yielding the set of biological laws, chemical properties yielding chemical laws, and so on for the other special sciences. As such, the (...) BBSA remains silent about possible interrelations between these freestanding sets of laws. In this paper, I explicate an emergence relation between them which preserves the autonomy or novelty of each special science’s laws but also shows their dependence: the autonomy of each level’s generalisations is given because nomicity is conferred to them system intrinsic, their dependence is established via their supervenience on lower level laws. As will be shown, the autonomy of special science laws is further strengthened by their ceteris paribus character. (shrink)

This paper addresses a famous objection against David Lewis’s Best System Analysis (BSA) of laws of nature. The objection—anticipated and discussed by Lewis (1994)—focuses on the standards of simplicity and strength being (in part) a matter of psychology. Lewis’s answer to the objection relies on his metaphysics of natural properties and its ability to single out the robustly best system, a system that is expected to come out far ahead of its rivals under any (...) standard of simplicity and strength. The main task of this paper is to argue that Lewis’s reply to the objection in terms of nature being kind to us does not succeed, if nature’s kindness is understood in terms of the naturalness of the properties composing the Humean mosaic. For epistemic access to natural properties is downstream to any previous identification of the best system. A possible Lewisian rejoinder in terms of a cross-world Humean mosaic of natural properties is considered and rebutted. The paper concludes by suggesting that Lewis could instead avail himself of a better answer to the objection, if the standards of simplicity and strength were reinterpreted along perspectivalist lines. (shrink)

The merits of David Lewis’s Best System Account of natural law are frequently debated. But to my knowledge, the prospects for extending the BSA to cover meta-laws have never been examined. I shall identify two obstacles facing the most natural way of extending the BSA to cover meta-laws. The BSA’s fans should consider how these obstacles are to be overcome. Meta-laws are laws about laws. For example, Einstein’s special theory of relativity incorporates a meta-law: The content of the (...) [special] relativity theory can … be summarized in one sentence: all natural laws must be so conditioned that they are covariant with respect to Lorentz transformations. [The special theory of relativity] is not a theory in the usual sense but is better regarded as a second-level theory, or a theory of theories that constrains first-level theories. The principle of relativity is an example of a symmetry principle: a principle requiring that the first-order laws be unchanged under a given transformation. Long before Einstein proposed the principle of relativity, other spacetime symmetries were widely believed to be meta-laws: that the first-order laws are covariant under arbitrary spatial displacements, temporal displacements and spatial rotations. These spacetime symmetries require the laws to treat all spatial locations and directions alike and all moments alike. For instance, symmetry under temporal displacements rules out a fundamental force law specifying that a given force declines with the inverse-square of the distance before a given moment but with the inverse-cube of the distance at and after that moment. Wigner characterizes such a symmetry principle as ‘a superprinciple which is in …. (shrink)

Craig Callender, Jonathan Cohen and Markus Schrenk have recently argued for an amended version of the best system account of laws – the better best system account (BBSA). This account of lawhood is supposed to account for laws in the special sciences, among other desiderata. Unlike David Lewis's original best system account of laws, the BBSA does not rely on a privileged class of natural predicates, in terms of which the best (...) class='Hi'>system is formulated. According to the BBSA, a contingently true generalization is a law of a special science S iff the generalization is an axiom (or a theorem) of the best system relative to the set of predicates used by special science S. We argue that the BBSA is, at best, an incomplete theory of special science laws, as it does not account for typical features of special science laws, such as attached ceteris paribus conditions and the idealized character of law statements in these disciplines. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring (...) into focus a useful menu of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

Much recent philosophical attention has been devoted to the prospects of the Best System Analysis of chance for yielding high-level chances, including statistical mechanical and special science chances. But a foundational worry about the BSA lurks: there don’t appear to be uniquely correct measures of the degree to which a system exhibits theoretical virtues, such as simplicity, strength, and fit. Nor does there appear to be a uniquely correct exchange rate at which the theoretical virtues trade (...) off against one another in the determination of an overall best system. I argue that there’s no robustly best system for our world – no system that comes out best under every reasonable measure of the theoretical virtues and exchange rate between them – but rather a set of ‘tied-for-best’ systems: a set of very good systems, none of which is robustly best. Among the tied-for-best systems are systems that entail differing high-level probabilities. I argue that the advocate of the BSA should conclude that the high-level chances for our world are imprecise. (shrink)

In this paper, I aim to explore Lewis’s best system analysis and how it can accommodate laws with exceptions. The Best System Account has been introduced to provide an alternative view for both minimalist and counterfactual theories of regularities. Simple regularity theory faces problems in which there is some generalization that seems to be a law or some regularities that are established accidentally. It tries to exclude the accidental generalization from the account. However, the (...) class='Hi'>best system analysis can solve the problem of how to distinguish between laws and accidents. (shrink)

Lewis’ Best System Analysis of laws of nature is often criticized on the grounds that what it means to be the “best” system is too subjective for an analysis of lawhood. Recent proponents of the BSA have embraced the view’s close connection to the particulars of scientific practice despite the objection. I distinguish two compatible versions of the objection: one opposed to mind or subject dependence and the other opposed to relativity. The BSA can (...) answer both. Answering the anti-relative version of Armstrong’s objection requires that the BSA be no more or less relative than is required by scientific practice. A spectrum of relativity is introduced with extremes of minimally and maximally relative variants of the BSA, and extant variants of the BSA are located on it. Lastly, I sketch what work remains to be done with respect to Armstrong’s objection by BSA proponents depending on where in the spectrum of relativity they hope to locate their view. (shrink)

This paper argues that ceteris paribus (cp) laws exist based on a Lewisian best system analysis of lawhood (BSA). Furthermore, it shows that a BSA faces a second trivialization problem besides the one identified by Lewis. The first point concerns an argument against cp laws by Earman and Roberts. The second point aims to help making some assumptions of the BSA explicit. To address the second trivialization problem, a restriction in terms of natural logical constants is proposed (...) that allows one to describe regularities, as specified by basic generics (e.g. ‘birds can fly’) and universals (e.g. ‘all birds can fly’). It is argued that cp laws rather than strict laws might be a part of the the best system of such a regularity-based BSA, since sets of cp laws can be both (a) simpler and (b) stronger when reconstructed as generic non-material conditionals. Yet, if sets of cp laws might be a part of the best system of a BSA and thus qualify as proper laws of nature, it seems reasonable to conclude that at least some cp laws qualify as proper laws of nature. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

David Lewis's best-system analysis of laws of nature is perhaps the best known sophisticated regularity theory of laws. Its strengths are widely recognized, even by some of its ablest critics. Yet it suffers from what appears to be a glaring weakness: It seems to grant an arbitrary privilege to the standards of our own scientific culture. I argue that by reformulating, or reinterpreting, Lewis's exposition of the best-system analysis, we arrive at a view (...) that is free of this weakness. The resulting theory of laws has the surprising consequence that the term "law of nature" is indexical. (shrink)

What is the origin of the concept of a law of nature? How much does it owe to theology and metaphysics? To what extent do the laws of nature permit contingency? Are there exceptions to the laws of nature? Is it possible to give a reductive analysis of lawhood, or is it a primitive? -/- Twelve brand-new essays by an international team of leading philosophers take up these and other central questions on the laws of nature, whilst also examining (...) some of the most important intuitions and assumptions that have guided the debate over laws of nature since the concept's invention in the seventeenth century. -/- Laws of Nature spans the history of philosophy and of science, contemporary metaphysics, and contemporary philosophy of science. Contents: 1. Intuitions and Assumptions in the Debate over Laws of Nature, Walter Ott and Lydia Patton 2. Early Modern Roots of the Philosophical Concept of a Law of Nature, Helen Hattab 3. Laws of Nature and the Divine Order of Things: Descartes and Newton on Truth in Natural Philosophy, Mary Domski 4. Leges sive natura: Bacon, Spinoza, and a Forgotten Concept of Law, Walter Ott 5. Laws and Powers in the Frame of Nature, Stathis Psillos 6. Laws and Ideal Unity, Angela Breitenbach 7. Becoming Humean, John W. Carroll 8. A Perspectivalist Better Best System Account of Lawhood, Michela Massimi 9. Laws: An Invariance Based Account, James Woodward 10. How the Explanations of Natural Laws Make Some Reducible Physical Properties Natural and Explanatorily Powerful, Marc Lange 11. Laws and their Exceptions, Stephen Mumford 12. Are laws of nature consistent with contingency?, Nancy Cartwright and Pedro Merlussi. (shrink)

In the context of critically ill children, Baines contended that the best interests test was neither objective nor coherent, and thus of little applicability in making end-of-life decisions. In reply, Bridgeman attempted to refute these claims through legal analysis and contended that the doctrine allowed for responsive, fact-specific, context-sensitive and prudential reasoning. This paper is a response to Bridgeman, and argues that an examination of case law reveals the subjective and value-laden nature of the test. Courts must make (...) decisions in contested cases, but there is no reason to hold that a judge can divine the best interests of a critically ill child better than either parents or medical staff. This paper analyses a number of cases where judicial decisions appear at odds with the child's best interests, and argues that as the outcome depends upon the value system of the decision-maker the test is unhelpful in contested end-of-life cases. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Meanings and Function of Anti-System Ideology in the Weimar RepublicBen LiebermanThere are few, if any, ideological terms in the extensive historiography of the Weimar Republic so omnipresent and yet at the same time so obscure as the word “system.” Historical accounts of the Weimar Republic are strewn with references to the “system.” In recent works on the Weimar Republic Hagen Schulze points to the opposition (...) of bourgeois (bürgerliche) parties to the “Weimar ‘system,’ “ Detlev Peukert notes “hatred of ‘the system,’ the political and social order of the Republic”; Knut Borchardt observes the loss of faith in the capacity of “the system” to satisfy expectations; and Hans Mommsen refers to the “political system,” the “party system” and the “parliamentary system.” 1Historians, whatever their other differences, agree that mounting opposition to the System weakened the Weimar Republic, but the usefulness of this observation requires analysis of the meaning or meanings of the System. What, then, was the Weimar System? Surprisingly, many accounts of the Weimar Republic do not even attempt to provide a definition of the System, and the term receives only cursory treatment in several specialized works on ideology of the Weimar era. 2 Anti-System politics does receive attention, but Thomas [End Page 355] Childers’s insightful and pioneering essay on “anti-system politics” concentrates on mobilization against the System rather than on the problem of defining it. 3The best existing analysis of the System in Kurt Sontheimer’s valuable study of anti-democratic thought in the Weimar Republic suggests that historians cannot take the meaning of the term as a given. Sontheimer establishes that the System formed part of the array of anti-democratic thought of the Weimar Republic, but he also notes that the term’s meaning cannot easily be pinned down. The System conveyed a variety of political and economic meanings and ultimately formed a “nationalist counter myth.” 4During the Weimar Republic, attacks against the System emanated from a wide range of sources, most notably from a variety of nationalists as well as from Communists. Nationalists of many leanings detested the System. The DNVP (German National People’s Party), the largest political party of the right for most of the Weimar Republic, hated the System. So, too, did conservative revolutionaries and völkisch (ethnic or racist nationalist) groups including nationalist associations and the National Socialists. At the other end of the political spectrum, attacks against the System also surfaced in the pronouncements of the KPD (German Communist Party). 5No single ideological line of attack doomed the Weimar Republic, but use by an extraordinarily broad range of political groups lent tremendous force to anti-System discourse. Adopted by foes who sometimes agreed on little else, the System was the targets of repeated attacks spread across the German political spectrum and called into question Weimar legitimacy. Analyzing this broad pattern of use raises several tasks. As a prelude to investigating anti-System terminology, it is necessary to map out the patterns of use of the System during the Weimar Republic. The very ability of rival groups to adopt anti-System suggests that the System incorporated varied meanings.Beyond investigating the meaning or meanings of the System, an analysis of anti-System terminology should also explore the appeal and influence of anti-System terminology. Why did such a broad range of groups adopt anti-System discourse, and how did acceptance of anti-System terminology help to discredit the Weimar Republic and designate alternatives for Germany’s future? [End Page 356]Describing Weimar’s perceived failings, anti-System terminology simultaneously provided a partial guide to a presumably-better Germany without the System. The System came to envelop many institutions of German public life, but attention should also be paid to spaces left unoccupied by the System. What, if any, institutions or structures of public life were left untainted by the broad wave of attacks against the System? If the hated System could be swept away, what would be left in its place? It is noteworthy that the many enemies of the System generally desired a strong state.Exploring the effects of broad attacks against the System, analysis of the System should also... (shrink)

In recent years, an active research program has emerged that aims to develop a Humean best-system account (BSA) of laws of nature that improves on Lewis’s canonical articulation of the view. Its guiding idea is that the laws are cognitive tools tailored to the specific needs and limitations of creatures like us. While current versions of this “pragmatic Humean” research program fare much better than Lewis’s account along many dimensions, I will argue that they have trouble making (...) sense of certain key features of the practice of fundamental physics. Indeed, these features seem to go against the very idea that laws are useful for agents like us. In my view, Humeans can address these issues by paying more attention to the explanatory role of laws. Following this idea, I will propose an account on which what makes a systematization the best is a kind of explanatory power, understood along the lines of the unificationist theory of explanation. The resulting view, I will argue, can make sense of those features of laws that other pragmatic accounts of laws have trouble explaining. (shrink)

Molyneux’s question famously asks about whether a newly sighted subject might immediately recognize, by sight alone, shapes that were already familiar to her from a tactile point of view. This paper addresses three crucial points concerning this puzzle. First, the presence of two different questions: the classic one concerning visual recognition and another one concerning vision-for-action. Second, the explicit distinction, reported in the literature, between ocular and cortical blindness. Third, the importance of making reference to our best neuroscientific account (...) on vision, ‘the two visual systems model’, in order to better address Molyneux’s problem. Then, by offering a new, deeper analysis of the relation between, and, this paper suggests that the subjects of Molyneux’s two different questions show the same visual impairment as brain-damaged subjects with different lesions of the visual cortex. In particular, the subject of the first question shows the same impairment in visual recognition as a visual agnosic subject, while the subject of the second question shows the same visual impairment in visuomotor processing as an optic ataxic subject. These impairments still hold even if ocular processing is restored. Therefore, I suggest the following. For the first classic question, the required experimental setting cannot be properly reached. By contrast, concerning the second question, based on the interpretation we select, either the answer is negative, or, as with the first question, the experimental setting cannot be properly reached. This proposal constitutes, with the other approaches offered in the literature, a further attempt to tackle the enormous complexity of Molyneux’s puzzle. (shrink)

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the (...) class='Hi'>Best System Account may seem like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

Many philosophers sympathetic with a Humean understanding of laws of nature have thought that, in the final analysis, the fundamental laws will include not only the traditional dynamical equations, but also two additional principles: the Past Hypothesis and the Statistical Postulate. The former says that the universe began in a particular very-low-entropy macrostate M(0), and the latter posits a uniform probability distribution over the microstates compatible with M(0). Such a view is arguably vindicated by the orthodox Humean Best (...) System Account (BSA). However, I argue here that recent developments of the BSA render the Past Hypothesis otiose. In particular, the trend among Humeans toward a more pragmatic view of laws — according to which the best system is the one that is maximally effective at helping creatures like us amplify our information about the world — does not support the idea that the Past Hypothesis is a law of nature. (shrink)

Much recent philosophical attention has been devoted to variants on the Best System Analysis of laws and chance. In particular, philosophers have been interested in the prospects of such Best System Analyses for yielding *high-level* laws and chances. Nevertheless, a foundational worry about BSAs lurks: there do not appear to be uniquely appropriate measures of the degree to which a system exhibits theoretical virtues, such as simplicity and strength. Nor does there appear to be (...) a uniquely correct exchange rate at which the theoretical virtues of simplicity, strength, and likelihood trade off against one another in the determination of a best system. Moreover, it may be that there is no *robustly* best system: no system that comes out best under *any* reasonable measures of the theoretical virtues and exchange rate between them. This worry has been noted by several philosophers, with some arguing that there is indeed plausibly a set of tied-for-best systems for our world. Some have even argued that this entails that there are no Best System laws or chances in our world. I argue that, while it *is* plausible that there is a set of tied-for-best systems for our world, it doesn't follow from this that there are no Best System chances. Rather, it follows that the Best System chances for our world are *unsharp*. (shrink)

In the current article and contrary to a widespread assumption, I argue that Humeanism and ontological emergence can peacefully coexist. Such a coexistence can be established by reviving elements of John Stuart Mill’s philosophy of science, in which an idiosyncratic account of diachronic emergence is associated with extensions of the Humean mosaic and the correlative coming into being of new best system laws, which have the peculiarity of being temporally indexed. Incidentally, this reconciliation of Humeanism and emergence allows (...) for conceiving the autonomy of the special sciences in an interesting way, consistently with the reductionist ideal of a unified science. (shrink)

According to best systems accounts, laws of nature are generalizations in the best systematization of particular matters of fact. Metrics such as simplicity and strength determine which systematization is best, but these are notoriously language relative. For this reason, David Lewis proposed a constraint on languages of inquiry: all predicates must be natural. This constraint is sometimes interpreted as requiring us to know which natural properties are instantiated in our world prior to scientific theorizing. I argue that (...) this interpretation is incorrect. I provide a better interpretation and show how it undercuts an influential epistemological objection to Lewis's best systems account of laws due to Bas van Fraassen. (shrink)

This book addresses one of the most urgent questions in American society today, one that is currently in the spotlight and hotly debated on all sides: Who shall rule the schools--parents or educators? _School Choice or Best Systems: What Improves Education?_ presents an overview of research and practical applications of innovative--even radical--school reforms being implemented across the United States. These fall along a continuum ranging from "parental choice" to "best systems." At the one extreme are schools of choice, (...) which allow parents to choose and even govern schools for their children. These include charter schools, traditional private and parochial schools, schools that are privately governed but publicly funded through vouchers, and those that are funded by private scholarships provided by both corporations and wealthy individuals. At the other extreme are centralized state or district systems, based on reform initiatives and new systems of education that have been developed in response to views of citizens and legislators that schools can do much better. These schools, which specify uniform goals, policies, and programs for each school, are highly innovative systems based on research or representing advanced thinking about "what works," and have attracted wide interest. Important questions related to schools of choice and best systems are addressed: How can we choose among schools of choice and best systems? Among the various approaches within each of these alternatives? How can we understand their guiding principles and operational practices? What results do they produce? How can we evaluate their claims? In choosing among the alternatives, how should issues of student achievement, accountability, costs, feasibility, and equity be factored in? This volume brings together leading researchers and education leaders who have carried out the latest studies and advances in the field, providing a forum for them to set forth the arguments and evidence that will be most helpful in making choices for tomorrow's schools. It does not provide a single "right" answer--values and preferences differ across parents, schools, districts, and states. However, there are benefits for all from seeing the rigorous research, challenging thinking, and alternate points of view this volume presents. (shrink)

While ethical norms for conducting academic research in the United Kingdom are relatively clear, there is little empirical understanding of how university research ethics committees (RECs) themselves operate and whether they are seen to operate well. In this article, we offer insights from a project focused on the Scottish university context. We deployed a three-sided qualitative approach: (i) document analysis; (ii) interviews with REC members, administrators, and managers; and (iii) direct observation of REC meetings. We found that RECs have (...) diverse operation and vary in terms of what members understand to be the remit of their REC and what should constitute the content of ethics review. Overall, though, most participants perceive university RECs as operating well. When asked what they consider to be areas for further improvement, most commented on: implementation of an online system; more experience with how to evaluate various kinds of research projects; best practice exchange and training opportunities; more accurate reflection of the REC role as part of the university’s workload allocation model; and greater recognition of the importance of research ethics governance in the university’s research environment, and, for the members themselves, their career advancement. Based on our findings and subsequent discussions during an end-of-project roundtable with stakeholders, we propose a model of collaboration that can address some of the identified areas that could benefit from further improvement. This model would facilitate a heightened awareness of the importance of supporting REC members in their own effort in assisting students and staff alike in undertaking as ethically robust research as possible. (shrink)

Under the background of the information age, scientific research and engineering practice have developed vigorously, resulting in many complex optimization problems that are difficult to solve. How to design more effective optimization methods has become the focus of urgent solutions in many academic fields. Under the guidance of such demand, intelligent optimization algorithms have emerged. This article analyzes and optimizes the modern artificial intelligence teaching information system in detail. On the basis of determining the network architecture, a detailed demand (...) analysis was carried out, and the overall structure optimization of the network was given; the business process and data flow of the main modules of the website were optimized. In order to further enhance the local search ability of the algorithm, a multiclass interactive optimization algorithm is proposed in combination with the Euclidean distance-based clustering method, which changes the teaching mode from “one-person teaching” to “multiperson teaching.” This clustering method has lower complexity and is beneficial to enhance the utilization of neighborhood information. At the same time, in order to enhance the diversity of the population and strengthen the connection between the subgroups, after the teaching phase, the worst students in each subgroup are allowed to learn from the best teachers of the population, and after the learning phase, individuals in a random subgroup are allowed to learn from other subgroups. The algorithm was tested in the experimental environment of unconstrained, constrained, and an engineering problem. From the test results, it can be seen that the algorithm is not easy to fall into the local optimum. Compared with other algorithms, the solution accuracy is higher and the stability is better. And it performed well in engineering optimization problems, thus verifying the effectiveness of the strategy. (shrink)

_In _Challenging the One Best System_, a team of leading education scholars offers a rich comparative analysis of the set of urban education governance reforms collectively known as the “portfolio management model.”_ They investigate the degree to which this model—a system of schools operating under different types of governance and with different degrees of autonomy—challenges the standard structure of district governance famously characterized by David Tyack as “the one best system.” The authors examine the design (...) and enactment of the portfolio management model in three major cities: New Orleans, Los Angeles, and Denver. They identify the five interlocking mechanisms at the core of the model—planning and oversight, choice, autonomy, human capital, and school supports—and show how these are implemented differently in each city. Using rich qualitative data from extensive interviews, the authors trace the internal tensions and tradeoffs that characterize these systems and highlight the influence of historical and contextual factors as well. Most importantly, they question whether the portfolio management model represents a fundamental restructuring of education governance or more incremental change, and whether it points in the direction of meaningful improvement in school practices. Drawing on a rigorous, multimethod study, _Challenging the One Best System_ represents a significant contribution to our understanding of system-level change in education. (shrink)

World-systems analysis is a well-established but poorly-defined critical research tradition in the social sciences. Its undisputed progenitor, Immanuel Wallerstein, steadfastly maintains that world-systems analysis is not a theory, yet it is widely referred to as such by commentators, critics, and practitioners alike. The resolution to this conundrum is to identify the defining elements of world-systems analysis as a perspective for understanding human society, then to evaluate propositions based on these defining elements as theories that have been conceptualized (...) from a world-systems perspective. In this paper five defining elements of world-systems analysis are identified that together support a central theorem that the core-periphery hierarchy of the modern world-system can best be understood in terms of state strength and cultural integration. A further conjecture is made that the successor world-system to the current capitalist world-economy is more likely to be an American world-empire than the socialist world-government craved by many world-systems analysts. (shrink)

From the introductory chapter. The distinctions taken between the necessary and the contingent, in philosophical discussion no less than in common life, are ordinarily supposed to be so definitive and are permitted so deeply to influence our conceptions that it seems well worth one's while to examine them in their origin. And the Aristotelian system will best serve our purpose as a corpus vile for very obvious reasons. In the first place, Aristotle is the earliest systematic philosopher who (...) essayed to treat consistently of all the greater problems of life and thought, and whose works remain to be studied. His method, too, was such that, standing as he did just on the verge of formalism, the definitions which he attempted still bear definite traces of the purely functional meaning of those terms, while his formulation of their significance has led naturally to their solidification as objective facts in the world. For Aristotle was wont to preface his own conclusions by inquiring, rather superficially to be sure, into the psychology of the conceptions in question ; yet, while the inadequacy of his psychology is now admitted on all hands, the inferences as to fact which he deduced therefrom are even now in part accepted as conclusive. When one reflects upon it this state of the question strikes one as absurd. For this reason there appears to be the greater justification for an analysis of the presuppositions on which these conceptions rest. If one grants their validity, the conclusions and the resultant contradictions of the system must be accepted as ultimate. But I am convinced that Aristotle's presuppositions and his real problems were wholly unreconcilable with each other, and so his contradictions serve all the better to point out the direction in which their solution lay. Plato made the acute observation that surprise is the beginning of philosophy, and Aristotle appropriated and further applied the thought.' The full sweep of the truth contained in these words is vastly greater, however, than they knew. The feeling of wonder is indeed the point of departure for philosophy ; but what precisely does it mean? It indicates first of all that an old habit has been broken up. Old conceptions, like the proverbial old bottles, have become so surcharged with the new wine of meaning that they have burst. But to say this is to describe the phenomenon merely as A brute fact without according it any symbolic value. This state of surprise must acquire an ideal worth, an indicative function, if it is really to become the parent of philosophy. Briefly, then, we may say : surprise indicates the need of reconstructing our supposed facts. And this statement is to be taken at its full value, with all its implications, if philosophy is to be achieved.... (shrink)

Interval time-varying delay is common in control process, e.g., automatic robot control system, and its stability analysis is of great significance to ensure the reliable control of industrial processes. In order to improve the conservation of the existing robust stability analysis method, this paper considers a class of linear systems with norm-bounded uncertainty and interval time-varying delay as the research object. Less conservative robust stability criterion is put forward based on augmented Lyapunov-Krasovskii functional method and reciprocally convex (...) combination. Firstly, the delay interval is partitioned into multiple equidistant subintervals, and a new Lyapunov-Krasovskii functional comprising quadruple-integral term is introduced for each subinterval. Secondly, a novel delay-dependent stability criterion in terms of linear matrix inequalities is given by less conservative Wirtinger-based integral inequality approach. Three numerical comparative examples are given to verify the superiority of the proposed approach in reducing the conservation of conclusion. For the first example about closed-loop control systems with interval time-varying delays, the proposed robust stability criterion could get MADB about 0.3 more than the best results in the previous literature; and, for two other uncertain systems with interval time-varying delays, the MADB results obtained by the proposed method are better than those in the previous literature by about 0.045 and 0.054, respectively. All the example results obtained in this paper clearly show that our approach is better than other existing methods. (shrink)

The aim of this analysis was to examine the effects on stature in two nationally representative samples of Polish 19-year-old conscripts of maternal and paternal education level, and of degree of urbanization, before and after the economic transition of 1990. Data were from two national surveys of 19-year-old Polish conscripts: 27,236 in 1986 and 28,151 in 2001. In addition to taking height measurements, each subject was asked about the socioeconomic background of their families, including paternal and maternal education, and (...) the name of the locality of residence. The net effect of each of these social factors on stature was determined using four-factor analysis of variance. The secular trend towards increased stature of Polish conscripts has slowed down from a rate 2·1 cm per decade across the period 1965–1986 to 1·5 cm per decade between 1986 and 2001. In both cohorts, mean statures increase with increasing size of locality of residence, paternal education and maternal education. The effect of each of these three social factors on conscript height is highly significant in both cohorts. However, the effect of maternal education has increased substantially while that of size of locality of residence and paternal education diminished between 1986 and 2001. These results imply that the influence of parental education on child growth cannot be due solely to a relationship between education and income, but is also perhaps a reflection of household financial management which benefits child health and growth by better educated parents, regardless of level of income. In addition they suggest that, irrespective of whether there are one or two breadwinners in the family, it is the mother, more so than the father, who is principally responsible for the extent to which such management best favours child health and growth. The asymmetry between the importance of maternal as against paternal education for child growth, clearly seen in the 1986 cohort, became more accentuated in 2001, after the abrupt transition from a command to a free-market economy in the early 1990s. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 485 consent to suffer or die? Consent, contractual obligations, and free acts of commitment certainly have a place in a complete ethical theory. But do they have the only place? If Wolff has consigned certain of Kant's central theses to the deep, he also has managed to salvage and restore others. In The Right and the Good, for instance, Ross argues that it is logically absurd to (...) suppose that we ought to act from a sense of duty. But Wolff argues convincinglythat "what Kant actually says is that our acts have moral worth only insofar as they are done from a certain motive (namely, respect for the law). Their rightness is quite independent of their motive. We have, according to Kant, an obligation to do what is right. We do not have an obligation to perform morally meritorious acts" (p. 81). Wolff also manages to shed light on Kant's analysis of rational agency and the nature of will. He enables us to see more clearly than Kant himself does that "will" does not name a faculty but rather has a home in such phrases as "to have a will" which, in turn, "simply means to be capable of being moved by reason rather than by natural causes.... To be free is simply to be moved by reason" (p. 216). Despite its flaws as a commentary, The Autonomy of Reason contributes significantly to our understanding of Kant and the problems he addresses. Wolff's critique is especially valuable because it attempts to relate Kant's ethics to his metaphysics and epistemology in more than a superficial manner. If it does not always succeed, it never ceases to be provocative, imaginative, and well-argued. The Autonomy of Reason offers us a flesh opportunity not only to grapple with the central problems of Kantian ethics but to face the central issues of contemporary ethics as well. HANS OBERDIEK Swarthmore College Philosophic als System bei Fichte Schelling und Hegel. By Adolf Schurr. (Stuttgart-Bad Cannstatt: Friedrich Frommann, 1974, Pp. 192. DM 58) Fichte and Schelling often seem to have existed merely to serve as a bridge between the genius of Kant and Hegel. Whether or not they deserve better can here be left unanswered, but in any case Schurr's study has supported this common conception. It begins with a "Kantian" Fichte, passes through a confused Schelling, and ends with a young and confident Hegel. The particular topic developed by Schurr is the attempts made by Fichte and Schelling to forge a unitary system from the brilliant yet fundamentally unresolved conceptions of the Kantian legacy. The study was initiallyprepared as Schurr's Habilitationschrift at Regensburg University, and it evidences all of the virtues and vices of these advanced forms of doctoral dissertations: it is orderly and firmly documented, virtues that when pressed pass into the vices of a deadening style and an uninspired recital of textual references. Perhaps the best single term encompassing these virtues and vices is "conscientiousness." The study should arouse neither speculative enthusiasm nor scholarly disdain, being principally a direct and uncomplicated exposition of some central principles found in the philosophy of Fichte, the thought of young Schelling, and a single text of Hegel. It covers the brief historical period from Fichte's review of Schulze's Aenesidemus in 1794 to the appearance of Hegel's 1801 study Differenz des Fichteschen und Sehellingsehen Systems der Philosophic. The work, then, is naturally divided into three chapters of uneven length. Were the reader to rely upon pagination alone to determine importance, Fichte leads by far, and Hegel is the least, being granted only nineteen pages. Insofar as each philosopher is confined to his chapter, the length allowed seems more than usually significant. In this regard, as the final chapter on Hegel can hardly be said to touch directly upon Hegel's own conception of a system, the title of Schurr's work could be misleading to anyone more closely interested in Hegel. 486 HISTORY OF PHILOSOPHY The work lacks both a general introduction and a conclusion, not only as separate sections but in any form whatsoever. Certainly the reader is prepared, for whatever unspoken necessity, to surrender such amenities... (shrink)

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, (...) we propose a Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

Lewis’s original Best Systems Account of laws was not motivated much by pragmatics. But recent commentary on his general approach to laws has taken a ‘pragmatic turn’. This was initiated by Hall’s defence against the charge of ‘ratbag idealism’ which maintained that best systems accounts should be admired rather than criticised for the inherent pragmatism behind their choice of desiderata for what counts as ‘best’. Emboldened by Hall’s pragmatic turn, recent commentators have proposed the addition of pragmatically (...) motivated desiderata to complement or replace the canonical desiderata of strength and simplicity. This, they hope, will allow their revisionary BSAs to respond better to various counterexamples against the original account. While the pragmatic turn itself is well taken, here I problematise these revisionary approaches. First, there are reasonable responses to the counterexamples from within the canonical BSA. Second, while actual laws may satisfy the newly proposed desiderata, there are reasons to think these desiderata cannot be constitutive of laws. By comparison, the canonical desiderata appear to be relevant to explaining why and when the revisionary desiderata will reflect pragmatic features of the laws and better reflect the motives behind practitioners of fundamental physics. (shrink)

David Lewis has formulated a well-known challenge to his Best System account of lawhood: the content of any system whatever can be formulated very simply if one allows for perverse choices of primitive vocabulary. We show that the challenge is not that dangerous, and that to account for it one need not invoke natural properties or relativized versions of the Best System account. This way, we help to move towards an even better Best (...) System account. We discuss extensions of our strategy to the discussions about the indexicality of the notion of laws of nature, and to another trivialization argument. (shrink)

This article has a dual purpose. First, it looks at the transfer of the methodology of systems analysis from the RAND Corporation to the International Institute for Applied Systems Analysis in the wake of an East–West bridge-building effort during the Cold War. Second, it draws out a more general argument about how the institutional structures of these research organizations condition their methodological orientations. Acknowledging the complexity of factors influencing methodological choices at RAND and IIASA, the article concentrates on (...) the centrality of institutional purpose, institutional environments and internal organizational structure, and demonstrates how, when taken together, these factors led to a methodological diversification at IIASA that is best summarized as the internationalization of systems analysis. (shrink)

Sustainability reporting and assurance of sustainability reports have been used by organizations in an attempt to provide accountability to their stakeholders. A better understanding of current practices is important to provide a base for comparative and trend analyses. This paper aims to consolidate and provide information on sustainability reporting, assurance of sustainability reports and types of assurance providers. Another aim of this paper is to provide a descriptive analysis of these practices for a global sample, comparing results with (...) previous studies, and suggesting opportunities for future research. To accomplish these objectives, a literature review was performed, an analysis of the organizations included in the Fortune Global 500 2010 was completed, and results were presented and consolidated by country. These results demonstrate that all organizations analysed provided some type of information in relation to their social or environmental performance in their official website. The percentage of organizations issuing a sustainability report has been increasing in the last few years. However, the percentage of organizations assuring their sustainability report has stagnated. Types of assurance engagements include those performed by accountants and non-accountants, and new practices have emerged, namely the “mixed approach” and the “stakeholder or specialist review”. The analysis also shows that the practices of issuing sustainability reports and having them assured have become a world-wide phenomenon, occurring in developed, and emerging economies around the world. (shrink)

ABSTRACT In recent years there has been intense debate regarding the level of medical care provided to ‘standard care’ control groups in clinical trials in developing countries, particularly when the research sponsors come from wealthier countries. The debate revolves around the issue of how to define a standard of medical care in a country in which many people are not receiving the best methods of medical care available in other settings. In this paper, we argue that additional dimensions of (...) the standard of care have been hitherto neglected, namely, the structure and efficiency of the national health system. The health system affects locally available medical care in two important ways: first, the system may be structured to provide different levels of care at different sites with referral mechanisms to direct patients to the appropriate level of care. Second, inefficiencies in this system may influence what care is available in a particular locale. As a result of these two factors locally available care cannot be equated with a national ‘standard’. A reasonable approach is to define the national standard of care as the level of care that ought to be delivered under conditions of appropriate and efficient referral in a national system. This standard is the minimum level of care that ought to be provided to a control group. There may be additional moral arguments for higher levels of care in some circumstances. This health system analysis may be helpful to researchers and ethics committees in designing and reviewing research involving standard care control groups in developing country research. (shrink)

ABSTRACT In recent years there has been intense debate regarding the level of medical care provided to ‘standard care’ control groups in clinical trials in developing countries, particularly when the research sponsors come from wealthier countries. The debate revolves around the issue of how to define a standard of medical care in a country in which many people are not receiving the best methods of medical care available in other settings. In this paper, we argue that additional dimensions of (...) the standard of care have been hitherto neglected, namely, the structure and efficiency of the national health system. The health system affects locally available medical care in two important ways: first, the system may be structured to provide different levels of care at different sites with referral mechanisms to direct patients to the appropriate level of care. Second, inefficiencies in this system may influence what care is available in a particular locale. As a result of these two factors locally available care cannot be equated with a national ‘standard’. A reasonable approach is to define the national standard of care as the level of care that ought to be delivered under conditions of appropriate and efficient referral in a national system. This standard is the minimum level of care that ought to be provided to a control group. There may be additional moral arguments for higher levels of care in some circumstances. This health system analysis may be helpful to researchers and ethics committees in designing and reviewing research involving standard care control groups in developing country research. (shrink)

This paper looks at the ethics of opt-in vs. opt-out of organ donation as Scotland has transitioned its systems to promote greater organ availability. We first analyse studies that compare the donation rates in other regions due to such a system switch and find that organ increase is inconclusive and modest at best. This is due to a lack of explicit opt-out choices resulting in greater resistance and family override unless there are infrastructures and greater awareness to support (...) such change. The paper then looks at the difference between informed consent of the opt-in vs. presumed consent in the opt-out approaches. Patient autonomy and dignity are better reflected with informed consent. Eighteen months have passed since the new organ donation policy has come into effect, this paper recommends more research into organ donors’ psychological motivations to help governments and the healthcare profession obtain more organs for transplantation. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals (...) and do not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

Many philosophers who do not analyze laws of nature as the axioms and theorems of the best deductive systems nevertheless believe that membership in those systems is evidence for being a law. This raises the question, “If the best systems analysis fails, what explains the fact that being a member of the best systems is evidence for being a law?” In this essay I answer this question on behalf of Leibniz. I argue that although Leibniz’s philosophy (...) of laws is inconsistent with the best systems analysis, his philosophy of nature’s perfection enables him to explain why membership in the best systems is evidence for being a law of nature. (shrink)

How can head teachers live up to expectations? What makes them fail? What keeps the profession in good standing in the taxpayer's eye, and what undermines it? This book sets out a new vision for school leadership, moving beyond leadership styles and best practice to reflect on the intrinsic motivation in becoming a leader within a school setting, and proposing a way for the profession to develop and maintain ethical standards. Chapters explore the 2017-18 Commission on Ethical Leadership in (...) Schools, considering the core principles and behaviours we should expect from our school leaders, and providing a clear, ethical code for thinking about and reinforcing ethical standards in schools. (shrink)

This paper proposes an epistemological approach to analyse social-ecological systems from a process perspective in order to better tackle the co-constitution of the social and the ecological and the dynamism of these systems. It highlights the usefulness of rethinking our conceptual tools taking processes and relations as the main constituents of reality instead of fundamental substances or essences. We introduce the concept of experience as understood in radical empiricism to critically revise our available concepts through focusing on the concept (...) of difference, exploring apparent contradictions and engaging in assemblage thinking. (shrink)

Soilless crops are commonly used in rooftop agriculture because they easily adapt to building constraints. However, acceptance of the produce derived from this system may be controversial. This paper evaluates consumers’ acceptance of food from RA in Mediterranean cities, focusing on the quality of the product, production system, and consumers’ motivations. We surveyed 238 respondents on the UAB university campus as potential consumers. The survey was distributed via an Internet-link that was provided along with a sample of tomatoes (...) from RA. The results showed that most people approved the quality of RA products and perceived them to be local and fresh. The respondents exhibited acceptance of soilless-produced tomatoes and considered them to be environmentally better than conventionally produced ones. Cluster analysis revealed that consumers with high income levels and a university education had a better perception of the quality and proposed a higher price for RA products, but no difference was found regarding their environmental perception of this products. Moreover, people who possessed more information about the product also had a higher perception of the quality and production system and would pay more for them. The main concerns of consumers were related to food safety and the social impact of RA. Additional research is needed to improve the sustainability of RA, and the applied measures should be communicated to potential consumers to enhance their acceptance and success. (shrink)

The distinction between dimensions and units in physics is commonplace. But are dimensions a feature of reality? The most widely-held view is that they are no more than a tool for keeping track of the values of quantities under a change of units. This anti-realist position is supported by an argument from underdetermination: one can assign dimensions to quantities in many different ways, all of which are empirically equivalent. In contrast, I defend a form of dimensional realism, on which some (...) assignments of dimensions to quantities better describe reality than others. The argument I provide is a form of inference to the best explanation. In particular, the technique of dimensional analysis is explanatory, but it is only successful for certain systems of dimensions. Since these dimensional systems support scientific explanations, we have reason to believe that they are real. (shrink)

In the history of political thought, the relationship between property and power has been a central preoccupation. The very nature of private property, on many accounts, is to put owners in a position of self-serving power to make decisions about matters of concern to others. In many legal systems, the vast power of owners is pervasive, as an ever greater range of resources is brought within the property regime and subjected to private power backed by the coercive power of the (...) state. Political and legal philosophers have long puzzled over how to reconcile the nature of private property with the limits and social responsibilities upon which, at least for some accounts, property’s legitimacy depends. The perennial question, then, is how best to understand the nature of property such that property’s limits can also be accounted for coherently within our legal and constitutional arrangements. Robé’s book Property, Power and Politics provides us with a wide-ranging analysis of property. There is much that we agree with and applaud here. In this contribution we seek to situate a key aspect of his work within this larger context, and to offer a criticism of one element of his view: his rejection of an understanding of ownership as an office. In Robé’s analysis, offices belong in the public sphere, where officeholders are held to account by their constituencies. We argue that Robé’s rejection of the idea of ownership-as-office rests on a misunderstanding of the legal concept of “office.” Moreover, this idea, properly understood, provides sound conceptual support for the normative aims of Robé’s account: to bind property and social responsibility tightly together. Robé’s project to criticize the virtually unlimited power of private owners in the contemporary world is served, not undermined, by understanding property as an office. First, we provide a brief summary of the key elements of Robé’s view of property (Part II). We then introduce a theoretical perspective on property as office as it has been developed in legal theory (Part III). Finally, we argue that this perspective fits better with Robé’s stated purposes than his own rejection of it suggests and raises some questions for future discussion (Part IV). (shrink)

Although there is a long-standing international debate concerning the privatization and corporatization of health services, there has been relatively little systematic analysis of the ways these types of reform manifest. We examine the impact of privatization and corporatization on public hospitals, and in particular on hospitals’ autonomy and accountability, with two aims: to uncover the key themes in the literature, and to consider implementation issues. The review of 2,319 articles was conducted using content analysis and a discussion of (...) selected key issues. Several major themes appear in the privatization and corporatization literature, including their use as tools in health systems reform, and the role of governments in sponsoring the processes. We show that much of the underlying argument is ideological rather than evidence based. Those who promote versions of privatization or corporatization claim that decreased government involvement in the management of hospitals leads inter alia to benefits such as greater efficiency, better quality services, and increased choice for patients. Those who argue against say that increased privatization leads to deleterious outcomes such as decreased equity, compromised efficiency and poorer quality of care. The evidence is often weak and at times conflicting. Privatization and corporatization are difficult to implement, and at best produce mixed results, and their impact seems to depend more on the motivation of the evaluator than the standard of the results. These debates are of a type that is to a large extent only resolvable ideologically. (shrink)

This paper explores the ways in which resource limitations influence the nature of perceptual and cognitive processes. A framework is developed that allows early visual processing to be analyzed in terms of these limitations. In this approach, there is no one ``best'' system for any visual process. Rather, a spectrum of systems exists, differing in the particular trade-offs made between performance and resource requirements.

Human gait is a complex activity that requires high coordination between the central nervous system, the limb, and the musculoskeletal system. More research is needed to understand the latter coordination's complexity in designing better and more effective rehabilitation strategies for gait disorders. Electroencephalogram and functional near-infrared spectroscopy are among the most used technologies for monitoring brain activities due to portability, non-invasiveness, and relatively low cost compared to others. Fusing EEG and fNIRS is a well-known and established methodology (...) proven to enhance brain–computer interface performance in terms of classification accuracy, number of control commands, and response time. Although there has been significant research exploring hybrid BCI involving both EEG and fNIRS for different types of tasks and human activities, human gait remains still underinvestigated. In this article, we aim to shed light on the recent development in the analysis of human gait using a hybrid EEG-fNIRS-based BCI system. The current review has followed guidelines of preferred reporting items for systematic reviews and meta-Analyses during the data collection and selection phase. In this review, we put a particular focus on the commonly used signal processing and machine learning algorithms, as well as survey the potential applications of gait analysis. We distill some of the critical findings of this survey as follows. First, hardware specifications and experimental paradigms should be carefully considered because of their direct impact on the quality of gait assessment. Second, since both modalities, EEG and fNIRS, are sensitive to motion artifacts, instrumental, and physiological noises, there is a quest for more robust and sophisticated signal processing algorithms. Third, hybrid temporal and spatial features, obtained by virtue of fusing EEG and fNIRS and associated with cortical activation, can help better identify the correlation between brain activation and gait. In conclusion, hBCI system is not yet much explored for the lower limb due to its complexity compared to the higher limb. Existing BCI systems for gait monitoring tend to only focus on one modality. We foresee a vast potential in adopting hBCI in gait analysis. Imminent technical breakthroughs are expected using hybrid EEG-fNIRS-based BCI for gait to control assistive devices and Monitor neuro-plasticity in neuro-rehabilitation. However, although those hybrid systems perform well in a controlled experimental environment when it comes to adopting them as a certified medical device in real-life clinical applications, there is still a long way to go. (shrink)

In this paper, we give a step by step introduction to the theory of well quasi-ordered transition systems. The framework combines two concepts, namely (i) transition systems which are monotonic wrt. a well-quasi ordering ; and (ii) a scheme for symbolic backward reachability analysis. We describe several models with infinite-state spaces, which can be analyzed within the framework, e.g., Petri nets, lossy channel systems, timed automata, timed Petri nets, and multiset rewriting systems. We will also present better quasi-ordered (...) transition systems which allow the design of efficient symbolic representations of infinite sets of states. (shrink)