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)

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)

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)

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)

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)

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)

"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"--.

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 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)

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)

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)

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.

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)

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)

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)

Functionalism about truth, or alethic functionalism, is one of our most promising approaches to the study of truth. In this chapter, I chart a course for functionalist inquiry that centrally involves the empirical study of ordinary thought about truth. In doing so, I review some existing empirical data on the ways in which we think about truth and offer suggestions for future work on this issue. I also argue that some of our data lend support to two kinds of pluralism (...) regarding ordinary thought about truth. These pluralist views, as I show, can be straightforwardly integrated into the broader functionalist framework. The main result of this integration is that some unexplored metaphysical views about truth become visible. To close the chapter, I briefly respond to one of the most serious objections to functionalism, due to Cory Wright. (shrink)

Physicians place significant weight on the distinction between acts and omissions. Most believe that autonomous refusals for procedures, such as blood transfusions and resuscitation, ought to be respected, but they feel no similar obligation to accede to requests for treatment that will, in the physician’s opinion, harm the patient (e.g., assisted death). Thus, there is an asymmetry. In this paper, we challenge the strength of this distinction by arguing that the ordering of values should be the same in both cases. (...) The reason for respecting refusals is that, in such cases, autonomy outweighs well-being. We argue that the same should be true in request cases, which means that requests should not be denied only due to the treatment being too harmful in the physician’s opinion. Our strategy is to consider and reject a number of arguments for the asymmetrical view, including an appeal to the doing–allowing distinction and positive and negative rights. The duty to respect refusals is still greater than the duty to grant requests on our view, but, by arguing that the ordering of values is the same in both cases, we show that there is less of a distinction in healthcare between requests and refusals than many currently believe. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

Despite a significant amount of literature debating the efficiency of high-risk pools in health insurance, dramatically less has been written about their normative implications. The present article takes the route less traveled by setting aside the question of efficiency to argue that the use of high-risk pools creates some serious normative concerns. The article explores these concerns by dividing them on two fronts. First, as regards the social-recognitional status of those who are forced into the high-risk pool. Second, as regards (...) a general concern of distributive justice, namely fairness in access to resources. The author argues that regardless of the veracity of arguments which laud the efficiency of high-risk pools, their use in health insurance is unjust because of the herein explained implications for social recognition and distributive justice. (shrink)

The present edition of 'Of the Limits of the Penal Branch of Jurisprudence' supersedes 'Of Laws in General,' edited by H.L.A. Hart and published by the Athlone Press in 1970, as a volume in The Collected Works of Jeremy Bentham." --P. xi.

Predicates of personal taste have attracted a great deal of attention from philosophers of language and linguists. In the intricate debates over PPT, arguably the most central consideration has been which analysis of PPT can best account for the possibility of faultless disagreement about matters of personal taste. I argue that two models of such disagreement—the relativist and absolutist models—are empirically inadequate. In their stead, I develop a model of faultless taste disagreement which represents it as involving a novel incompatibility (...) relation between preferences that I call type-noncotenability. This model is available to all parties in the ongoing debates about PPT, but it points up an advantage enjoyed by expressivist accounts of PPT. In closing, I consider four objections against the model that, while failing to fully undermine it, open up promising avenues of inquiry about the nature of disagreement. (shrink)

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour that is novel. Here, my aim is again to reconcile reduction and emergence, for a case which is apparently more problematic than those I treated before: renormalization. My main point is that renormalizability being a generic feature at accessible energies gives us a conceptually unified family of Nagelian reductions. 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 endowed with enough structure that it provides a family of reductions. (shrink)

This is the first book in any language to deal comprehensively with the work of Michel de Certeau, the author of one of the most important, influential, and diverse bodies of scholarship and cultural theory to emerge from Europe during the exciting decades after the late Sixties. It is designed as a guide to draw out, not only the exceptional range, but the overall coherence of his approach. The author focuses on Certeau's major writings: on contemporary French historiography, the writings (...) of early modern mystics and travellers, on Michel Foucault and Pierre Bourdieu, Freud, the linguistics of 'utterance,' and a broad spectrum of work on contemporary cultural practices. In the process, the author seeks to draw out a set of themes that are distinctive to Certeau either in their form or their treatment: the history of early modern and modern 'economies' of writing, reading, and speech; the gap between representation and practice; the relation between 'strategic' social and intellectual programmes and 'tactical' political or poetic activity; the question of religious belief and desire; psycho-analysis and socio-analysis; and the development of what might be called an ethics/aesthetics. (shrink)

A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of first- and second-order arithmetic, bounded arithmetic, and admissible set theory.

Wilfrid Sellars’s ethical theory was rich and deeply innovative. On Sellars’s view, moral judgments express a special kind of shared intention. Thus, we should see Sellars as an early advocate of an expressivism of plans and intentions, and an early theorist of collective intentionality. He supplemented this theory with a sophisticated logic of intentions, a robust theory of the categorical validity of normative expressions, a subtle way of reconciling the cognitive and motivating aspects of moral judgment, and much more— all (...) within a strict nominalism that preserves Sellars’s commitment to naturalism. The Ethics of Wilfrid Sellars offers the first systematic treatment of this sadly neglected aspect of Sellars’s work and demonstrates that his ethical theory— just like his more widely discussed epistemology— has much to contribute to current debates. (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)

When should you engage with difficult arguments against your cherished controversial beliefs? The primary conclusion of this book is that your obligations to engage with counterarguments are more limited than is often thought. In some standard situations, you shouldn't engage with difficult counterarguments and, if you do, you shouldn't engage with them open-mindedly. This conclusion runs counter to aspects of the Millian political tradition and political liberalism, as well as what people working in informal logic tend to say about argumentation. (...) -/- Not all misleading arguments wear their flaws on their sleeve. Each step of a misleading argument might seem compelling and you might not be able to figure out what's wrong with it. Still, even if you can't figure out what's wrong with an argument, you can know that it's misleading. One way to know that an argument is misleading is, counterintuitively, to lack expertise in the methods and evidence-types employed by the argument. When you know that a counterargument is misleading, you shouldn't engage with it open-mindedly and sometimes shouldn't engage with it at all. You shouldn't engage open-mindedly because you shouldn't be willing to reduce your confidence in response to arguments you know are misleading. And you sometimes shouldn't engage closed-mindedly, because to do so can be manipulative or ineffective. -/- In making this case, Jeremy Fantl discusses echo chambers and group polarization, the importance in academic writing of a sympathetic case for the opposition, the epistemology of disagreement, the account of open-mindedness, and invitations to problematic academic speakers. (shrink)

This edited volume brings together 18 state-of-the art essays on pluralism about truth and logic. Parts I and II are dedicated to respectively truth pluralism and logical pluralism, and Part III to their interconnections. Some contributors challenge pluralism, arguing that the nature of truth or logic is uniform. The majority of contributors, however, defend pluralism, articulate novel versions of the view, or contribute to fundamental debates internal to the pluralist camp. The volume will be of interest to truth theorists and (...) philosophers of logic, as well as philosophers interested in relativism, contextualism, metaphysics, philosophy of language, semantics, paradox, epistemology, or normativity. (shrink)

Did Plato intend the laws of the Laws to change? While most scholars agree that there is to be legal change in Magnesia, I contend that this issue has been clouded by confusing three distinct questions: (1) whether there are legal mechanisms for changing the law in Magnesia, (2) what the attitudes of Magnesian citizens towards innovation and legal change are, and (3) whether Plato thinks the law is always the ultimate political authority. Once we separate these issues and look (...) at the relevant texts more closely, we see that the Athenian Visitor is primarily concerned with supplementing the original lawgiver’s laws and that any innovation that occurs should be consistent with this lawcode. This does not settle the question about whether it is always right to act in accordance with the existing laws, though it does provide a valuable framework for understanding a central aspect of Platonic political philosophy. Thus, although Plato’s ideal places knowledge above the law, in practice the laws of Magnesia will be fixed and authoritative for those people living under them. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction (Section 1), we briefly review the conceptual problems of the ingredient theories (Section 2) and introduce the enterprise of quantum gravity (Section 3). We then describe how three main research programmes in quantum (...) gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called `problem of time' (Section 4). These programmes are the old particle-physics approach, superstring theory, and canonical quantum gravity. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section 5. (shrink)

I discuss various formulations of stochastic Einstein locality (SEL), which is a version of the idea of relativistic causality, that is, the idea that influences propagate at most as fast as light. SEL is similar to Reichenbach's Principle of the Common Cause (PCC), and Bell's Local Causality. My main aim is to discuss formulations of SEL for a fixed background spacetime. I previously argued that SEL is violated by the outcome dependence shown by Bell correlations, both in quantum mechanics and (...) in quantum field theory. Here I reassess those verdicts in the light of some recent literature which argues that outcome dependence does not violate the PCC. I argue that the verdicts about SEL still stand. Finally, I briefly discuss how to formulate relativistic causality if there is no fixed background spacetime. (shrink)

The violation of the Bell inequality means that measurement-results in the two wings of the experiment cannot be screened off from one another, in the sense of Reichenbach. But does this mean that there is causation between the results? I argue that it does, according to Lewis's counterfactual analysis of causation and his associated views. The reason lies in his doctrine that chances evolve by conditionalization on intervening history. This doctrine collapses the distinction between the conditional probabilities that are used (...) to state screening off, and the counterfactuals with chance consequents that are used to state lack of causation. I briefly discuss ways to evade my argument. (shrink)

Abstract:This paper investigates whether, in theoretical terms, corporations can be citizens. The argument is based on the observation that the debate on “corporate citizenship” (CC) has only paid limited attention to the actual notion of citizenship. Where it has been discussed, authors have either largely left the concept of CC unquestioned, or applied rather unidimensional and decontextualized notions of citizenship to the corporate sphere. The paper opens with a critical discussion of a major contribution to the CC literature, the work (...) of Logsdon and Wood (Wood and Logsdon 2001; Logsdon and Wood 2002). It continues with a consideration of the nature and role of metaphors for business and of the contestable nature of the political concept of citizenship. It evaluates corporations as citizens through a four-dimensional framework of democratic citizenship offered by Stokes (2002). The analysis suggests that corporations do not easily fit the “liberal minimalist” model of citizenship. It finds, however some possibilities for fit with the three more participatory models. The paper concludes by cautioning against basing corporate citizenship on legal and administrative status or identity, and mapping out specific criteria by which we might determine whether corporations could be considered as citizens by virtue of their participation in processes of governance. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.