This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with (...) various historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

Slavoj Zizek is regarded as one of the pre-eminent European cultural theorists of the last decade. His growing body of work has generated considerable controversy and transformed the way we think about issues of popular culture and politics. This volume provides a critical reflection on Zizek's ideas and his intellectual itinerary. As well as bringing a Zizekian analysis to a discussion of the cultural and social aspects of nationhood in New Zealand and the Southern hemisphere, it will provide readers with (...) new material and fresh perspectives on Zizek's thinking on psychoanalysis, multiculturalism, television and the new media, ethics and politics. It is proposed that Zizek's arresting, and at times scandalous, re-elaboration of psychoanalytical theory and his critique of ideology will open the way for a new understanding of social conflict. FROM Z TO A contains approaches that are challenging and fascinating: What really happened when Paul Holmes interviewed Dennis Connor? Why do we watch reality TV? Is the Treaty of Waitangi a fraud? Why has Peter Ellis come to represent par excellence the figure of sexual threat to children? Why does Ada in Jane Campion's 'The Piano' send a love letter to Baines who cannot read? What psychic mechanisms of nationalism are displayed in British football hooliganism? How did Western orientalism shape Japanese national identity? Why is the discourse of nationhood in the United States always structured around a central void or impossibility? The range of topics demonstrates both the power of Zizek's formulations and the light they can shed on our world. (shrink)

This latest volume of _The Philosopher's Annual_ presents the ten best articles published in the field during 2001. No limitations are placed on the articles' sources, subject matter or mode of treatment, providing for a diverse collection of engaging, high-caliber work that stands as a valuable sample of contemporary philosophy. This year's volume includes papers by Robert Bernasconi, Hans Halvorson, Christopher Hitchcock, Ignacio Jane, Brian Leiter, Liam Murphy and Thomas Nagel, Joel Pust, Alison Simmons, Jason Stanley and Timothy Williamson, (...) and Crispin Wright. (shrink)

Even his peers called Locke's political philosophy “The ABC of Politics“: not only does he clarify why one should exit the state of nature (government guarantees protection of life, freedom, and wealth) but also what a good government has to provide. A government should protect individuals from assaults of fellow citizens, other countries, and itself. Locke also shows how to put limits to the power of political institutions: by division of powers, by law, by neutral judges, and by making people (...) trust their government -- and having the right to revolt when their trust is betrayed. This book provides a cooperative commentary to all important topics of Locke's "Two Treatises". With entries by Wolfgang von Leyden, Bernd Ludwig, Peter Niesen, Francis Oakley, Birger P. Priddat, Michaela Rehm, Michael Schefczyk, Ludwig Siep, A. John Simmons, und Simone Zurbuchen. (shrink)

This paper contains a discussion of how the concept of compositionality is to be extended from context invariant to context dependent meaning, and of how the compositionality of natural language might conflict with context dependence. Several new distinctions are needed, including a distinction between a weaker (e-) and a stronger (ec-) concept of compositionality for context dependent meaning. The relations between the various notions are investigated. A claim by Jerry Fodor that there is a general conflict between context dependence and (...) compositionality is considered. There is in fact a possible conflict betwee ec-compositionality and context dependence, but not of the kind Fodor suggests. It turns on the presence of so-called unarticulated constituents, in John Perry’s sense. Because of this phenomenon, on some semantic accounts there might be a variation in the meaning of a complex expression between contexts without any corresponding variation in any of the syntactic parts of that complex. The conflict can be resolved in several ways. One way is to make the unarticulated context dependence explicit only in the meta-language, which makes it into an unarticulated constituent account. A recent argument by Jason Stanley against such accounts is discussed. According to Stanley, certain readings of English sentences involving binding of contextual variables, are unavailable in these theories. After considering a reply to Stanley by François Recanati, I present an outline of a fully compositional theory, of the unarticulated constituent variety, which does deliver these readings. Concluding remarks on, inter alia, the semantics/pragmatics distinction. (shrink)

: We question the claim, common since Duhem, that sixteenth century astronomy, and especially the Wittenberg interpretation of Copernicus, was instrumentalistic rather than realistic. We identify a previously unrecognized Wittenberg astronomer, Edo Hildericus (Hilderich von Varel), who presents a detailed exposition of Copernicus's cosmology that is incompatible with instrumentalism. Quotations from other sixteenth century astronomers show that knowledge of the real configuration of the heavens was unattainable practically, rather than in principle. Astronomy was limited to quia demonstrations, although demonstration propter (...) quid remained the ideal. We suggest that Osiander's notorious preface to Copernicus expresses these sixteenth century commonplaces rather than twentieth century instrumentalism, and that neither `realism', nor `instrumentalism', in their modern meanings, apply to sixteenth century astronomy. (shrink)

Virtue ethics is often proposed as a third way in health‐care ethics, that while consequentialism and deontology focus on action guidelines, virtue focuses on character; all three aim to help agents discern morally right action although virtue seems to have least to contribute to political issues, such as austerity. I claim: This is a bad way to characterize virtue ethics. The 20th century renaissance of virtue ethics was first proposed as a response to the difficulty of making sense of ‘moral (...) rightness’ outside a religious context. For Aristotle the right action is that which is practically best; that means best for the agent in order to live a flourishing life. There are no moral considerations besides this. Properly characterized, virtue ethics can contribute to discussion of austerity. A criticism of virtue ethics is that fixed characteristics seem a bad idea in ever‐changing environments; perhaps we should be generous in prosperity, selfish in austerity. Furthermore, empirical evidence suggests that people indeed do change with their environment. However, I argue that virtues concern fixed values not fixed behaviour; the values underlying virtue allow for different behaviour in different circumstances: in austerity, virtues still give the agent the best chance of flourishing. Two questions arise. In austere environments might not injustice help an individual flourish by, say, obtaining material goods? No, because unjust acts undermine the type of society the agent needs for flourishing. What good is virtue to those lacking the other means to flourish? The notion of degrees of flourishing shows that most people would benefit somewhat from virtue. However, in extreme circumstances virtue might harm rather than benefit the agent: such circumstances are to be avoided; virtue ethics thus has a political agenda to enable flourishing. This requires justice, a fortiori when in austerity. (shrink)

As part of an article symposium on Partha Dasgupta and Sanjeev Goyal’s “Narrow Identities”, Peter Finke offers a critical anthropological perspective on the concept of social identity and its modeling in economics.

Methodological questions concerning Chomsky’s generative approach to linguistics have been debated without consensus. The status of linguistics as psychology, the psychological reality of grammars, the character of tacit knowledge and the role of intuitions as data remain heatedly disputed today. I argue that the recalcitrance of these disputes is symptomatic of deep misunderstandings. I focus attention on Michael Devitt’s recent extended critique of Chomskyan linguistics and I suggest that his complaints are based on a failure to appreciate the special status (...) of Chomsky’s computational formalisms found elsewhere in cognitive science. Devitt ascribes an intentional conception of representations that Chomsky repudiates and that is independently implausible. I argue that Devitt’s proposed “linguistic reality ” as the proper subject matter of linguistics neglects the problems of tokens as opposed to types and he misses the force of Chomsky’s arguments against Behaviourism and nominalism. I suggest that Devitt’s case against intuitions as data misunderstands their standard role throughout perceptual psychology. Finally, of more general interest, I argue that Devitt’s position exemplifies compelling errors concerning mental representation seen throughout cognitive science and philosophy of mind. (shrink)

_Purpose:_ In order to develop an evidence-based, sport-specific minimum impairment criteria (MIC) for the sport of vision-impaired (VI) shooting, this study aimed to determine the relative influence of losses in visual acuity (VA) and contrast sensitivity (CS) on shooting performance. Presently, VA but not CS is used to determine eligibility to compete in VI shooting. _Methods:_ Elite able-sighted athletes ( n = 27) shot under standard conditions with their habitual vision, and with their vision impaired by the use of simulation (...) spectacles (filters which reduce both VA and CS) and refractive blur (lenses which reduce VA with less effect on CS). Habitual shooting scores were used to establish a cut-off in order to determine when shooting performance was ‘below expected’ in the presence of vision impairment. Logistic regression and decision tree analyses were then used to assess the relationship between visual function and shooting performance. _Results:_ Mild reductions in VA and/or CS did not alter shooting performance, with greater reductions required for shooting performance to fall below habitual levels (below 87% of normalized performance). Stepwise logistic regression selected CS as the most significant predictor of shooting performance, with VA subsequently improving the validity of the model. In an unconstrained decision tree analysis, CS was selected as the sole criterion (80%) for predicting ‘below expected’ shooting score. _Conclusion:_ Shooting performance is better predicted by losses in CS than by VA. Given that it is not presently tested during classification, the results suggest that CS is an important measure to include in testing for the classification of vision impairment for athletes competing in VI shooting. (shrink)

The primary aim of this important study is to produce a reliable account of Peter Martyr’s life before he left Italy in 1542. Earlier biographers had been content to follow the Swiss Calvinist Josiah Simler, who knew Peter Martyr in later years, delivered his funeral oration and published it in 1563. Dr McNair has tried ‘to delve beneath Simler to contemporary records’. He has discovered, for example, that Peter Martyr was born in 1499 not, as is usually (...) said, in 1500. He has been concerned to find out when Peter Martyr left his order and his Church, suggesting that there is little reason to believe that his apostasy began in his years at the University of Padua, 1518-26; it was in Naples, between 1537 and 1540, when he came to know Juan de Valdés, that Peter Martyr’s conversion took place. ‘He arrived a reformer after the order of Ximénez, he left a reformer after the order of Zwingli’, writes Dr McNair, meaning by this the Zwingli of the years immediately before 1523, when he wished to go further than Erasmus but not so far as Luther. (shrink)

RésuméJe critique dans cet article la théorie «naïve»des attributions de croyances, selon laquelle la signification d'un nom propre dans la clause qui figure comme complément d'une telle attribution est son référent. Je soutiens que l'usage que nous faisons de ces attributions dans l'explication du comportement oblige à rejeter la version simple de la sémantique «naïve» au profit de sa cousine plus sophistiquée. Et je soutiens que la théorie «naïve» sophistiquée se compare défavorablement à des versions plausibles de la sémantique non (...) naíve. (shrink)

The purpose of this article is to set out an Aristotelian account of individual autonomy. Individual autonomy is the capacity of the individual to make and act upon judgments for which he is held morally accountable. This sense of autonomy may be contrasted to a number of other senses. Of these, the most important are political or legal autonomy and Kantian principled autonomy. Political or legal autonomy concerns the environment in which an individual operates. It exists where individuals are able (...) to operate reasonably freely.1 For the most part we will not consider this sense except insofar as it is necessary to explain the importance placed on respecting individual autonomy. Kantian principled autonomy has been described recently by Onora O‟Neill in a series of writings.2 On this account, autonomy is seen as a characteristic of the principle behind action rather than of action per se and is not a characteristic of agents at all. (shrink)

AnlaB, dieses Bueh niederzusehreiben, ist ein empiriseh-analytisehes Unbehagen. Besehaftigt mit einer Untersuehung zur Anwendung sozialwissensehaftlieher Erkenntnisse in Wirtsehaftsbetrieben und in der politisehen Administration, muBten wir feststellen, daB die Grundlagen der Befragung einer theoretisehen Klarung besonders bedurftig waren. Dieser die Untersuehung begleitende ProzeB der theoretisehen Se1bstverstandigung begann mit der Einsieht, daB der empiriseh-analytisehe Erfahrungsbegriff der Sozialwissensehaft die Wirkliehkeit dieser Wissensehaft nur unvollkommen erreieht. Es war daher naheliegend, zunaehst einige methodologisehe Grundfragen zu diskutieren, die fur die sozialwissensehaftliehe Theorie und Empirie konstitutiv sind. (...) Das Ergebnis dieser Diskussion laBt sieh dahingehend zusammenfassen, daB die Grunddisziplin der Sozialwissenschaft dann die Philosophie sein muB, wenn die Inter­ pretation empiriseher Befunde nieht beliebig sein solI. Und zwar eine Philosophie, die sieh nieht aussehlieBlieh mit einer wissensehafts­ theoretisehen Naehzeiehnung wissensehaftlieher Methoden begnugt, sondern deren inhaltsbezogene Kategorien Bestandteil der sozial­ wissensehaftliehen Theorien se1bst sein mussen. Sozialwissensehaft wird vor diesem Hintergrund eine Form mog­ lieher Erkenntnis, einer Erkenntnis, die beispielsweise im Gegensatz zur Physik, ihren Erkenntnisgegenstand im wesentliehen mit dem AlI­ tagswissen teilt. Sozialwissensehaftlieh zu ersehlieBende Erfahrungen konnen also nieht von den Erfahrungen des alltagliehen BewuBtseins vollig abstrahieren; aber sie mussen diese Form des BewuBtseins der­ art konkretisieren, daB seine Erfahrungen in ihrer Komplexitat und vie1fliltigen gesellsehaftliehen Bezogenheit verstehbar werden. (shrink)

On being told that "translation is an impossible thing," Anatole France replied: "precisely, my friend; the recognition of that truth is a necessary preliminary to success in art." The task of Transplantings is to add flesh and bones to that familiar quip. Indeed, Daniel Weissbort notes that Viereck's study represented a sixty-five year long project. Now, it is finally being brought to print in its full form, with the completion of the final manuscript shortly before Viereck's death. If translation is (...) a special genre in its own right, the translation of poetry, especially from major foreign languages, is a special subset of that genre. What emerges in the imperfect act of translation is an aesthetic dimension that Viereck considers unique in its own right. Transplantings provides new insight into Viereck as a poet of substance, but more than that as a public intellectual. He is critical in probing the work of the major figures such as Stefan George and Georg Heym. To round out this monumental new look at German poetical history, Viereck reviews Goethe, Novalis, and Rilke among others. For Viereck, the difference between the poetical and the political is critical. The quality of poetry is not measured by politics, nor can the worth of political action be defined by commitment to the poetical. The experience of German thought, as well as French and Italian efforts, reveals a divide that can be narrowed but hardly bridged by rhetoric. Transplantings does not simplify the task of the reader. Rather it shows without doubt that the passion of great poetry is part of a national tradition. Efforts at translation indicate how such poetry becomes part of an international culture. This is a major work by one of the great thinkers of the twentieth century. It merits reading, and then, re-reading. "Peter Viereck was that rare scholar who captured the European experience with America, while fully realizing the American encounter with Europe. He did so with consciousness of and compassion for both sectors of Western Civilization" --Irving Louis Horowitz, Society Peter Viereck was a Pulitzer Prize-winning poet, critic, and historian. He held the Kenan Chair in History at Mount Holyoke College. He was known as one of America's conservatism's early leaders and was the recipient of Guggenheim Fellowships both in history and poetry. (shrink)

Suppose that time is infinitely long towards the future, and that each feasible action produces a finite amount of utility at each time. Then, under appropriate conditions, each action produces an infinite amount of utility. Does this mean that utilitarianism lacks the resources to discriminate among such actions? Since each action produces the same infinite amount of utility, it seems that utilitarianism must judge all actions permissible, judge all actions impermissible, or remain completely silent. If the future is infinite, that (...) is, the prospects for utilitarianism look bleak. (shrink)

Bridging from Husserl to Iamblichus, this book contributes phenomenological readings of Plotinus, Aristotle, Parmenides, and Heraclitus, in which prevalent misconceptions about the very identity of time in the phenomena of motion are corrected, and time's role in Greek philosophy recovered.

Abigail Lang’s La conversation transatlantique: Les échanges franco-américains en poésie depuis 1968 [Transatlantic Conversation: Franco-American Exchanges in Poetry Since 1968] is a book that needed to be written. Anyone reading and studying French and/or American poetry of the mid- to late twentieth century was keenly aware of the fruitfulness of the exchanges between French and American poets. This book archives, records, and documents the challenging theoretical, national, and literary questions that both French and American poetries of this period address. Lang’s (...) book is composed of an approximately thirty-page introduction, followed by chapters dedicated to Objectivist poetry, the “community of poets,” and... (shrink)

A vexing modern conundrum is to be solved. The use of oil, gas, and coal is extremely short-lived as a historical phenomenon: a mere blink of an eye at a little more than 1% of total urban history of 10,000 years to-date. Yet current urban civilization is almost entirely based on it. And the fossil-fuel economy poses not only a massive security risk, it also lies at the root of the vast majority of urban sustainability problems. Fresh water depletion, air (...) pollution, widespread human fatalities can be directly traced to the excessive use of these dirty energy sources. Climate change, predominantly triggered by fossil-fuel combustion, only deepens the very questions the impending petroleum peak raises about the survivability of the global urban system. The fossil disease is a complex global pandemic. To many, conquering this pandemic is an extraordinary challenge of technology: of reengineering the manner in which urban civilization is powered, advancing a future envisioned in numerous studies since the 1970s. Yet foremost, this is a cultural, psychological, and political challenge. The global economy is systematically identified with its underlying fossil supply frameworks—it is a fossil economy. It is marked by an incendiary illusion: the celebration of abundance promised as achievable by all, driving virtually all aspects of contemporary culture. Yet it is also marred with enormous pockets of deprivation, and deep cracks of disbelief, criticism, and dissent. Reinforcing this challenge is the psychoeconomical transaction cost of change, the sheer inertia of an infernal development system, however short-lived it inevitably is. Despite all lip service paid to ‘energy savings’ and ‘environmentally sustainable development’ in urban policy documents and brochures across the globe, dominant political and financial interests demand that as much fossil fuel as possible is used, and as quickly as possible, to secure the highest possible profits for the most powerful, and in the shortest period of time. Hence many national governments and international bodies find it so difficult to place fossil-fuel replacement on the global agenda. It is easier to avoid this topic and talk about buffering, mitigating what are little else than subsidiary, flow-on effects and collateral outcomes of an unsolved energy conundrum: air, water and soil pollution, public health problems, deforestation or fresh water depletion. Rarely, if ever, is petroleum abuse clearly noted as a root cause. A historical revolution is in progress: the move from fossil fuels, nuclear power, and other forms of unsustainable energy use generation to a renewable and sustainable power base for urban communities, cities, towns, and villages. Many examples of positive initiatives encourage, and are testimony to the ability of cities and towns to perform as communities, and evolve into settings of greater independence from fossil and nuclear power sources. They carry the promise of greater energy autonomy based on renewable energy, of recapturing regional productivity, advancing local resources, and enabling new industries and employment opportunities. (shrink)