Public policy in post-apartheid South Africa has been characterized by a mix of state regulation and ‘neo-liberalism’. This article argues that this mix is rooted in the model of economic modernity adopted in South Africa in the 1920s and 1930s, and underpinned by the institutions of a modern state. In an economy transformed by mining and subsequent secondary industrialization, the state played a central role in facilitating capitalist growth, including through the regulation of labour. I argue that, contrary to the (...) conventional understanding, the enduring characteristic of the political economy of modernization in South Africa was not so much the mobilization of cheap African labour, mostly migrants from across Southern Africa, but was rather the institutionalization of high wages and protected incomes for economic, social and political insiders. Anglo-centric institutions and conceptions of industrial and social citizenship were adapted to the colonial context in South Africa. The imperatives of both gold-led capitalist industrialization and the governance of a society in which the settler or immigrant population remained a minority required that the African population was excluded from most dimensions of this citizenship. But the institutions, discourses and ideologies associated with high wages (for citizens) continued to structure economic life in South Africa through and after the apartheid period. South Africa’s mode of economic modernization thus reflects the possibly unique interaction of a British model of economic modernization with the social, economic and political realities of a colonial society. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

Sometimes we make a decision about an action we will undertake later and form an intention, but our judgment of what it is best to do undergoes a temporary shift when the time for action comes round. What makes it rational not to give in to temptation? Many contemporary solutions privilege diachronic rationality; in some “rational non-reconsideration” (RNR) accounts once the agent forms an intention, it is rational not to reconsider. This leads to other puzzles: how can someone be motivated (...) to follow a plan that is contrary to their current judgment? How can it be rational to form a plan to resist if we can predict that our judgment will shift? I show how these puzzles can be solved in a framework where there are multiple units of agency, distinguishing between the judgments of the timeslice and those of the person over time, and allowing that the timeslice can “self identify”, taking the person over time as the relevant unit of agency and doing intrapersonal team reasoning (with a different causal role for intentions than RNR accounts). On my account, resisting temptation is compatible with synchronic rationality, so synchronic and diachronic rationality are aligned. However, either resisting or succumbing to temptation can be instrumentally rational, depending on the unit of agency that is identified with. In order to show why we ought to resist temptation, we need to draw on a non-instrumental rationale. I sketch possible routes for doing this. (shrink)

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

Author Jeremy Waldron has thoroughly revised thirteen of his most recent essays in order to offer a comprehensive critique of the idea of the judicial review of legislation. He argues that a belief in rights is not the same as a commitment to a Bill of Rights. This book presents legislation by a representative assembly as a form of law making which is especially apt for a society whose members disagree with one another about fundamental issues of principle.

The Indian Buddhist philosopher Vasubandhu is known for his critical contribution to Buddhist Abhidharma thought, his turn to the Mahayana tradition, and his concise, influential Yogacara-Vijñanavada texts. _Paving the Great Way_ reveals another dimension of his legacy: his integration of several seemingly incompatible intellectual and scriptural traditions, with far-ranging consequences for the development of Buddhist epistemology and the theorization of tantra. Most scholars read Vasubandhu's texts in isolation and separate his intellectual development into distinct phases. Featuring close studies of Vasubandhu's (...) _Abhidharmakosabhasya_, _Vyakhyayukti_, _Vimsatika_, and _Trisvabhavanirdesa_, among other works, this book identifies recurrent treatments of causality and scriptural interpretation that unify distinct strands of thought under a single, coherent Buddhist philosophy. In Vasubandhu's hands, the Buddha's rejection of the self as a false construction provides a framework through which to clarify problematic philosophical issues, such as the nature of moral agency and subjectivity under a broadly causal worldview. Recognizing this continuity of purpose across Vasubandhu's diverse corpus recasts the interests of the philosopher and his truly innovative vision, which influenced Buddhist thought for a millennium and continues to resonate with today's philosophical issues. An appendix includes extensive English-language translations of the major texts discussed. (shrink)

Bentham's best-known book stands as a classic of both philosophy and jurisprudence. The 1789 work articulates an important statement of the foundations of utilitarian philosophy — it also represents a pioneering study of crime and punishment. Bentham's reasoning remains central to contemporary debates in moral and political philosophy, economics, and legal theory.

Since its founding in the nineteenth century, social anthropology has been seen as the study of exotic peoples in faraway places. But today more and more anthropologists are dedicating themselves not just to observing but to understanding and helping solve social problems wherever they occur--in international aid organizations, British TV studios, American hospitals, or racist enclaves in Eastern Europe, for example. In Exotic No More , an initiative of the Royal Anthropological Institute, some of today's most respected anthropologists demonstrate, in (...) clear, unpretentious prose, the tremendous contributions that anthropology can make to contemporary society. They cover issues ranging from fundamentalism to forced migration, child labor to crack dealing, human rights to hunger, ethnicity to environmentalism, intellectual property rights to international capitalisms. But Exotic No More is more than a litany of gloom and doom the essays also explore topics usually associated with leisure or "high" culture, including the media, visual arts, tourism, and music. Each author uses specific examples from their fieldwork to illustrate their discussions, and 62 photographs enliven the text. Throughout the book, the contributors highlight anthropology's commitment to taking people seriously on their own terms, paying close attention to what they are saying and doing, and trying to understand how they see the world and why. Sometimes this bottom-up perspective makes the strange familiar, but it can also make the familiar strange, exposing the cultural basis of seemingly "natural" behaviors and challenging us to rethink some of our most cherished ideas--about gender, "free" markets, "race," and "refugees," among many others. Contributors: William O. Beeman Philippe Bourgois John Chernoff E. Valentine Daniel Alex de Waal Judith Ennew James Fairhead Sarah Franklin Michael Gilsenan Faye Ginsburg Alma Gottlieb Christopher Hann Faye V. Harrison Richard Jenkins Melissa Leach Margaret Lock Jeremy MacClancy Jonathan Mazower Ellen Messer A. David Napier Nancy Scheper-Hughes Jane Schneider Parker Shipton Christopher B. Steiner. (shrink)

Negative Ecstasies discusses the contribution and significance of the work of Georges Bataille to the contemporary study of religion and theology, collecting essays that examine specific case studies and make connections to other significant scholars in the field.

The contractarian theory elaborated by John Rawls in A Theory of Justice exploits the difference principle in a great many ways. Rawls argues that, when used as part of a set of guiding principles for structuring the basic institutions of society, it simplifies the problem of interpersonal comparisons (91-4)1, helps compensate for the arbitrariness of natural endowments (101-3), promotes a harmony of interests between citizens (104-5), reintroduces the principle of fraternity to democratic society (105-6), and, what is critical to his (...) contractarian theory, it is an essential part of the principles of justice which would be chosen by free, equal, and rational persons in the original position. (shrink)

Most of us believe that partiality applies in a broad range of relationships. One relationship on which there is much disagreement is co-nationality. Some writers argue that co-national partiality is not justified in certain cases, like killing in war, since killing in defense of co-nationals is intuitively impermissible in other contexts. I argue that this approach overlooks an important structural feature of partiality—namely, that its scope is sometimes restricted. In this essay, I show how some relationships that generate reasons of (...) partiality are restricted in scope—that is, they generate reasons within particular contexts or with respect to particular goods. I then argue that co-national partiality is scope restricted. I then show how this fact helps proponents of co-national partiality overcome the aforementioned objection to its application in cases like war. (shrink)

As idealized descriptions of mathematical language, there is a sense in which formal systems specify too little, and there is a sense in which they specify too much. On the one hand, formal languages fail to account for a number of features of informal mathematical language that are essential to the communicative and inferential goals of the subject. On the other hand, many of these features are independent of the choice of a formal foundation, so grounding their analysis on a (...) particular choice of a formal system introduces unnecessary specificity. This chapter begins to map out the design features of mathematical language without descending to the level of formal implementation, drawing on examples from the mathematical literature and insights from the design of computational proof assistants and their libraries. (shrink)

Introduces history's greatest philosophers and explains their major contributions to the field of philosophy, profiling such figures as Francis Bacon, David Hume, John Stuart Mill, and Bertrand Russell.

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

Plato is often acknowledged as the first philosophical critic of democracy and his Republic is regularly taken as a paradigm of an anti-democratic work. While it is true that Plato objected to much about the democracy of his own time, Plato’s political theorizing also reveals an interest in improving democratic institutions. This chapter explores three themes in Plato’s thinking about democracy: firstly, Plato's insistence that rulers should be knowledgeable and his claim that most people are politically incompetent (§1); secondly, Plato's (...) criticisms of oratory and the corrupting effects of public rhetoric (§2); thirdly, Plato's use of democratic institutions in the Laws (§3). Once we appreciate these different evaluations of democratic practices, we can see that Plato was not simply ‘anti-democratic’ or ‘pro-democratic’ but thought some democratic practices should be abandoned, some reformed, and some adopted. (shrink)

Shearmur draws on his years as Popper's assistant, on unpublished material in the Hoover archive, and on wider themes within Popper's philosophy to offer striking critical re-interpretations of his ethical and social theory. This title available in eBook format. Click here for more information . Visit our eBookstore at: www.ebookstore.tandf.co.uk.

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

The COVID-19 global pandemic has shone a light on several important ethical questions, ranging from fairness in resource allocation to the ethical justification of government mandates. In addition to these institutional issues, there are also several ethical questions that arise at the interpersonal level. This essay focuses on several of these issues. In particular, I argue that, despite the insistence in public health messaging that avoiding infecting others constitutes ‘saving lives’, virus transmission that results in death constitutes an act of (...) killing. Whether this killing is wrongful depends on several factors. I consider one intuitively plausible view—namely, that in many cases, killing via unintentional transmission is not wrongful, because the parties in question have implicitly waived their rights against this harm, often via reciprocal risk imposition. I argue that this view is mistaken, but that its central insight can be better captured by identifying the appropriate standards of blame that we ought to apply during a pandemic. I conclude by showing how these conclusions can be fruitfully applied to certain institutional questions, such as helping to justify restricting government mandates. (shrink)

"Arguing that debates over legitimacy, political violence, freedom, and justice would benefit greatly from cross-tradition theorizing, this book shows how putting analytic and continental political theory in conversation would help us to overcome these intractable problems"--.

The new critical edition of the works and correspondence of Jeremy Bentham is being prepared and published under the supervision of the Bentham Committee of University College London. In spite of his importance as jurist, philosopher, and social scientist, and leader of the Utilitarian reformers, the only previous edition of his works was a poorly edited and incomplete one brought out within a decade or so of his death. Eight volumes of the new Collected Works, five of correspondence, and (...) three of writings on jurisprudence, appeared between 1968 and 1981, published by the Athlone Press. Further volumes in the series since then are published by Oxford University Press. The overall plan and principles of the edition are set out in the General Preface to The Correspondence of Jeremy Bentham, vol. 1, which was the first volume of the Collected Works to be published.An Introduction to the Principles of Morals and Legislation, Jeremy Bentham's best-known work, is a classic text in modern philosophy and jurisprudence. First published in 1789, it contains the important statement of the foundations of utilitarian philosophy and a pioneering study of crime and punishment, both of which remain at the heart of contemporary debates in moral and political philosophy, economics, and legal theory. Printed here in full is the definitive edition, edited by the distinguished scholars J. H. Burns and H. L. A. Hart. An introductory essay by Hart, first published in 1982 and a widely acknowledged classic in its own right, is reprinted here. It contains an important analysis of Bentham's principle of utility, theory of action, and an account of the relationship between law and morality.A new introduction by the leading Bentham scholar F. Rosen, specially written for this Clarendon Paperback edition, provides students with a helpful survey of Bentham's main ideas and an extensive bibliographical study of recent critical work on Bentham. Professor Rosen's essay also contains a new analysis of the principle of utility in Bentham's philosophy which is compared with its use in Hume and J. S. Mill. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

v. 1. 1752-76.--v. 2. 1777-80.--v. 3. January 1781 to October 1788.--v. 4. 1788-1793.--v. 5. 1794-1797.--v. 6. January 1798 to December 1801.--v. 7. January 1802 to December 1808.--v. 8. January 1809 to December 1816.--v. 9. January 1817 to June 1820.-- v. 10. July 1820 to December 1821.--v. 11. January 1822 to June 1824.--v. 12. July 1824-June 1828.

Kant infamously claimed that all human beings, without exception, are evil by nature. This collection of essays critically examines and elucidates what he must have meant by this indictment. It shows the role which evil plays in his overall philosophical project and analyses its relation to individual autonomy. Furthermore, it explores the relevance of Kant's views for understanding contemporary questions such as crimes against humanity and moral reconstruction. Leading scholars in the field engage a wide range of sources from which (...) a distinctly Kantian theory of evil emerges, both subtle and robust, and capable of shedding light on the complex dynamics of human immorality. (shrink)

Demonstrates the systematic connection between Kant's ethics and his philosophy of history.

This volume makes available one of the central texts in the development of utilitarian tradition, in the authoritative 1977 edition prepared by Professors Burns and Hart as part of Bentham's Collected Works. Certain that history was on his side, Bentham sought to rid the world of the hideous mess wrought by legal obfuscation and confusion, and to transform politics into a rational, scientific activity, premised on the fundamental axiom that "it is the greatest happiness of the greatest number that is (...) the measure of right and wrong.". (shrink)

It is widely held that a successful theory of the mind will be neuroscientific. In this paper we ask, first, what this claim means, and, secondly, whether it is true. In answer to the first question, we argue that the claim is ambiguous between two views--one plausible but unsubstantive, and one substantive but highly controversial. In answer to the second question, we argue that neither the evidence from neuroscience itself nor from other scientific and philosophical considerations supports the controversial view.

Foucault and Religion seeks to unearth a new dimension of Foucault scholarship. Renowned Foucault scholar Jeremy Carrette reveals not simply how Foucault's work can be applied to religion but how a religious question at the heart of Foucault's own work offers a radical challenge to religious ideas. Carrette argues that Foucault offers a twofold critique of Christianity by bringing the body and sexuality into religious practice and exploring a political spirituality of the self. This first major commentary on Foucault (...) and religion opens up the diverse religious questions the philosopher raises in his work, and sheds new light on how Foucault challenges religious thinking and transforms religious understanding. (shrink)

Debates about the semantics and pragmatics of predicates of personal taste have largely centered on contextualist and relativist proposals. In this paper, I argue in favor of an alternative, absolutist analysis of PPT. Theorists such as Max Kölbel and Peter Lasersohn have argued that we should dismiss absolutism due to its inability to accommodate the possibility of faultless disagreement involving PPT. My aim in the paper is to show how the absolutist can in fact accommodate this possibility by drawing on (...) an account of faultless disagreement that improves upon a recent proposal due to Karl Schafer. In amending Schafer’s proposal, I put forward an empirically informed view of our beliefs regarding matters of personal taste, as well as an account of our assertions concerning such matters. I also argue that absolutists should take disagreement about these matters to be conative, rather than doxastic, in nature. The anticipated result is an independently compelling account of faultless disagreement about matters of personal taste that fits naturally with absolutism. (shrink)

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure and explores the ways in which modularity in mathematics is epistemically advantageous.

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

The rejection of behaviorism in the 1950s and 1960s led to the view, due mainly to Noam Chomsky, that language must be studied by looking at the mind and not just at behavior. It is an understatement to say that Chomskyan linguistics dominates the field. Despite being the overwhelming majority view, it has not gone unchallenged, and the challenges have focused on different aspects of the theory. What is almost universally accepted, however, is Chomsky’s view that understanding language demands a (...) theory that posits mental states that represent rules of language. Call this claim, following Cowie (1999), Representationalism or (R). According to (R), ‘‘[e]xplaining language mastery and acquisition requires the postulation of contentful mental states and processes involving their manipulation’’ (Cowie, 1999, p. 154). Although (R) is nothing more than the general assumption on which cognitive psychology is founded applied to the case of language, even it has had its detractors. Critics have argued that linguistic competence should not in fact be thought of as based on the possession of a body of linguistic knowledge but should be thought of, rather, as a kind of skill. This is an important challenge because one might be inclined to think that no recognizable form of Chomskyan linguistics could withstand the falsification of (R). In this paper we attempt to show that in fact (R) could be false without doing much damage to Chomskyan linguistics at all. Indeed, it is possible that the Chomskyan position could be made more coherent by adopting the view we will sketch. Our claim, therefore, is that critics of (R) might be right, but that this does not obviously make them serious critics of the Chomskyan program. (shrink)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

The Anthropocene is a radical reconceptualisation of the relationship between humanity and nature. It posits that we have entered a new geological epoch in which the human species is now the dominant Earth-shaping force, and it is rapidly gaining traction in both the natural and social sciences. This article critically explores the scientific representation of the concept and argues that the Anthropocene is less a scientific concept than the ideational underpinning for a particular worldview. It is paradigm dressed as epoch. (...) In particular, it normalises a certain portion of humanity as the ‘human’ of the Anthropocene, reinserting ‘man’ into nature only to re-elevate ‘him’ above it. This move promotes instrumental reason. It implies that humanity and its planet are in an exceptional state, explicitly invoking the idea of planetary management and legitimising major interventions into the workings of the earth, such as geoengineering. I conclude that the scientific origins of the term have diminished its radical potential, and ask whether the concept’s radical core can be retrieved. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)