The style of arithmetic in the treatises the Neo-Pythagorean authors is strikingly different from that of the "Elements". Namely, it is characterised by the absence of proof in the Euclidean sense and a specific genetic approach to the construction of arithmetic that we are going to describe in our paper. Lack of mathematical sophistication has led certain historians to consider this type of mathematics as a feature of decadence of mathematics in this period [Tannery 1887; Heath 1921]. The alleged (...) absence of originality in these works has also given grounds to believe that “the arithmetic presented in these works derives substantially from an ancient, primitive stage of Pythagorean arithmetic” and to use them as “an index of the character of arithmetic science in the 5th century” [Knorr 1975]. In this paper, we take Nicomachus’ Introduction to Arithmetic for point of departure, because it is the richest and most well organised treatise representing this tradition. However, we also take into account the works of other Neo-Pythagorean authors. We are going to show that the Neo-Pythagorean arithmetic might have been developed in a natural, self-contained manner as a simple theory of counting over a domain of concrete initial objects, designated by fixed signs. This approach can be comfortably realised without appealing to assumptions of axiomatic character, but relying upon some ‘genetic’ constructions intented to be carried out by means of the designated entities. (shrink)

A fascinating portrait of the Pythagorean tradition, including a substantial account of the Neo-Pythagorean revival, and ending with Johannes Kepler on the threshold of modernism.

Form should follow function but often technical aspects of function dictate form. Form fitting and shape hugging are concepts we associate with a comfy jumper or a well cut suit or dress not with hard wearable technology. How many of the objects we buy are going to transition from worn to unworn? It is not until we have to wear something or are subjected to technology for medical reasons that we realise how uncomfortable some of it is. This paper addresses (...) the issues of form and function in relation to the growing world of unwearables. (shrink)

The term embodiment identifies a theory that meaning and semantics cannot be captured by abstract, logical systems, but are dependent on an agent’s experience derived from being situated in an environment. This theory has recently received a great deal of support in the cognitive science literature and is having significant impact in artificial intelligence. Memetics refers to the theory that knowledge and ideas can evolve more or less independently of their human-agent substrates. While humans provide the medium for this evolution, (...) memetics holds that ideas can be developed without human comprehension or deliberate interference. Both theories have profound implications for the study of language—its potential use by machines, its acquisition by children and of particular relevance to this special issue, its evolution. This article links the theory of memetics to the established literature on semantic space, then examines the extent to which these memetic mechanisms might account for language independently of embodiment. It then seeks to explain the evolution of language through uniquely human cognitive capacities which facilitate memetic evolution. (shrink)

One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. This special issue of Philosophy and Technology investigates whether and to what extent machines, of various designs and configurations, can or should be considered moral subjects, defined here as either a moral agent, a moral patient, or both. The articles that comprise the issue were competitively selected from papers initially prepared for and presented at a symposium on this subject matter convened during (...) the AISB/IACAP 2012 World Congress, held in at the University of Birmingham in Birmingham, UK. (shrink)

One of the interesting and occasionally controversial aspects of Dennett’s career is his direct involvement in the scientific process. This article describes some of Dennett’s participation on one particular project conducted at MIT, the building of the humanoid robot named Cog. One of the intentions of this project, not to date fully realized, was to test Dennett’s multiple drafts theory of consciousness. I describe Dennett’s involvement and impact on Cog from the perspective of a graduate student. I also describe the (...) problem of coordinating distributed intelligent systems, drawing examples from robot intelligence, human intelligence, and the Cog project itself. (shrink)

One of the interesting and occasionally controversial aspects of Dennett’s career is his direct involvement in the scientific process. This article describes some of Dennett’s participation on one particular project conducted at MIT, the building of the humanoid robot named Cog. One of the intentions of this project, not to date fully realized, was to test Dennett’s multiple drafts theory of consciousness. I describe Dennett’s involvement and impact on Cog from the perspective of a graduate student. I also describe the (...) problem of coordinating distributed intelligent systems, drawing examples from robot intelligence, human intelligence, and the Cog project itself. (shrink)

The question of whether AI systems such as robots can or should be afforded moral agency or patiency is not one amenable either to discovery or simple reasoning, because we as societies constantly reconstruct our artefacts, including our ethical systems. Consequently, the place of AI systems in society is a matter of normative, not descriptive ethics. Here I start from a functionalist assumption, that ethics is the set of behaviour that maintains a society. This assumption allows me to exploit the (...) theoretical biology of sociality and autonomy to explain our moral intuitions. From this grounding I extend to consider possible ethics for maintaining either human- or of artefact-centred societies. I conclude that while constructing AI systems as either moral agents or patients is possible, neither is desirable. In particular, I argue that we are unlikely to construct a coherent ethics in which it it is ethical to afford AI moral subjectivity. We are therefore obliged not to build AI we are obliged to. (shrink)

The most pressing problems facing humanity today - over-population, energy shortages, climate change, soil erosion, species extinctions, the risk of epidemic disease, the threat of warfare that could destroy all the hard-won gains of civilization, and even the recent fibrillations of the stock market - are all ecological or have a large ecological component. in this volume philosophers turn their attention to understanding the science of ecology and its huge implications for the human project. To get the application of ecology (...) to policy or other practical concerns right, humanity needs a clear and disinterested philosophical understanding of ecology which can help identify the practical lessons of science. Conversely, the urgent practical demands humanity faces today cannot help but direct scientific and philosophical investigation toward the basis of those ecological challenges that threaten human survival. This book will help to fuel the timely renaissance of interest in philosophy of ecology that is now occurring in the philosophical profession. Provides a bridge between philosophy and current scientific findings Covers theory and applications Encourages multi-disciplinary dialogue. (shrink)

Conferring legal personhood on purely synthetic entities is a very real legal possibility, one under consideration presently by the European Union. We show here that such legislative action would be morally unnecessary and legally troublesome. While AI legal personhood may have some emotional or economic appeal, so do many superficially desirable hazards against which the law protects us. We review the utility and history of legal fictions of personhood, discussing salient precedents where such fictions resulted in abuse or incoherence. We (...) conclude that difficulties in holding “electronic persons” accountable when they violate the rights of others outweigh the highly precarious moral interests that AI legal personhood might protect. (shrink)

In this paper we introduce a paraconsistent reasoning strategy, Chunk and Permeate. In this, information is broken up into chunks, and a limited amount of information is allowed to flow between chunks. We start by giving an abstract characterisation of the strategy. It is then applied to model the reasoning employed in the original infinitesimal calculus. The paper next establishes some results concerning the legitimacy of reasoning of this kind - specifically concerning the preservation of the consistency of each chunk (...) and concludes with some other possible applications and technical questions. (shrink)

Residents living in the vicinity of lead smelters are subjected to particularly high levels of contamination from the toxic process of smelting. Yet, public health strategies currently promoted by state health authorities in Australia do not focus their major attention on stopping the contamination at its source. This article focuses on housecleaning regimes, largely implemented by women, aimed at stopping the toxic material from being ingested by children. Because the residential areas surrounding the smelters are degraded, their property value is (...) low and, by and large, working-class families live there. As this article shows, the recommended cleaning regimes are embedded in social class and gender relations. Analysis of the implementation of the strategy and the historical context within which it is administered provides an example of a state gender regime, the state “doing” gender and class, and a lens through which to view contemporary gender and class relations. (shrink)

B. H. Slater has argued that there cannot be any truly paraconsistent logics, because it's always more plausible to suppose whatever "negation" symbol is used in the language is not a real negation, than to accept the paraconsistent reading. In this paper I neither endorse nor dispute Slater's argument concerning negation; instead, my aim is to show that as an argument against paraconsistency, it misses (some of) the target. A important class of paraconsistent logics - the preservationist logics - are (...) not subject to this objection. In addition I show that if we identify logics by means of consequence relations, at least one dialetheic logic can be reinterpreted in preservationist (non-dialetheic) terms. Thus the interest of paraconsistent consequence relations - even those that emerge from dialetheic approaches - does not depend on the tenability of dialetheism. Of course, if dialetheism is defensible, then paraconsistent logic will be required to cope with it. But the existence (and interest) of paraconsistent logics does not depend on a defense of dialetheism. (shrink)

When individuals learn from what others tell them, the information is subject to transmission error that does not arise in learning from direct experience. Yet evidence shows that humans consistently prefer this apparently more unreliable source of information. We examine the effect this preference has in cases where the information concerns a judgment on others’ behaviour and is used to establish cooperation in a society. We present a spatial model confirming that cooperation can be sustained by gossip containing a high (...) degree of uncertainty. Accuracy alone does not predict the value of information in evolutionary terms; relevance, the impact of information on behavioural outcomes, must also be considered. We then show that once relevance is incorporated as a criterion, second-hand information can no longer be discounted on the basis of its poor fidelity alone. Finally we show that the relative importance of accuracy and relevance depends on factors of life history and demography. (shrink)

Feminist Political Theory provides both a wide-ranging history of western feminist thought and a lucid analysis of contemporary debates. It offers an accessible and thought-provoking account of complex theories, which it relates to 'real-life' issues such as sexual violence, political representation and the family. This timely new edition has been thoroughly updated to incorporate the most recent developments in feminism and feminist scholarship throughout, in particular taking into account the impact of black and postmodern feminist thought on feminist political theory.

Just what forms do (or should) our cognitive attitudes towards scientific theories take? The nature of cognitive commitment becomes particularly puzzling when scientists' commitments are) inconsistent. And inconsistencies have often infected our best efforts in science and mathematics. Since there are no models of inconsistent sets of sentences, straightforward semantic accounts fail. And syntactic accounts based on classical logic also collapse, since the closure of any inconsistent set under classical logic includes every sentence. In this essay I present some evidence (...) that there really was a substantial cognitive commitment to OQT, and that some of its characteristics have a simple and straightforward explanation in terms of a model based on a form of paraconsistent logic. (shrink)

Paraconsistent logic is an area of philosophical logic that has yet to find acceptance from a wider audience. The area remains, in a word, disreputable. In this essay, we try to reassure potential consumers that it is not necessary to become a radical in order to use paraconsistent logic. According to the radicals, the problem is the absurd classical account of contradiction: Classically inconsistent sets explode only because bourgeois classical semantics holds, in the face of overwhelming evidence to the contrary, (...) that both A and ∼ A cannot simultaneously be true! We suggest (more modestly) that there is, at least sometimes, something else worth preserving, even in an inconsistent, unsatisfiable premise set. In this paper we present, in a new guise, a very general version of this “preservationist” approach to paraconsistency. (shrink)

Whether we’re reading H.G. Wells, Robert Heinlein, Ray Bradbury, or Kurt Vonnegut, time travel is a wonderful narrative trick, freeing a story from the normal ‘one damn thing after another’ progression of time. But many philosophers claim it can never be more than that because backwards causation in general, and time travel in particular, are logically impossible.In this paper I examine one type of argument commonly given for this disappointing conclusion: the time travel paradoxes. Happily for science fiction fans, these (...) arguments fall far short of showing what they are intended to show. Why they fail can be better understood in the light of an analogy between these arguments and some arguments libertarians offer against determinism. (shrink)

The role of judgments of beauty in scientific theory evaluation is the subject of significant debate in contemporary philosophy of science. This book advances that debate by broadening its scope. In Judgments of Beauty in Theory Evaluation, the author argues that judgments of beauty are a justified part of theory evaluation of all sorts: not only scientific theory evaluation, but also philosophical theory evaluation. The author argues for this thesis by providing an account of beauty—inherited from Kant and Mothersill—on which (...) the distinctive nature of judgments of beauty is that they are unprincipled, yet possible. The author then analyzes two important methods of theory evaluation—reflective equilibrium and simplicity—and argues that these methods require making judgments of beauty so understood. Finally, the author argues that these methods of theory evaluation are not anomalies, but that they point to a deeper lesson about the nature of theorizing and the necessity of using judgments of beauty to evaluate systems, like theories. This conclusion has implications for the debate in philosophy of science over judgments of beauty, but also prompts a reckoning in philosophy itself over the use of judgments of beauty in philosophical theory evaluation. (shrink)

It can sometimes be that when a great artist works in a particular genre, what is done within that genre can make one see as if for the first time what that genre really is, why for centuries the genre has been important, what its logic is, and what, in the end, that genre is for. I want to suggest that this is so in the case of Jean-Baptiste-Siméon Chardin, and in the case of still life. Chardin’s still life painting (...) can reveal, as almost no other classical painting of still life can, what is at stake in still life, and what is that made still life one of the enduring categories of classical European painting. Understanding Chardin can force us right back to the fundamentals of the genre, to still life’s origins in antiquity, and to the extraordinary development of the genre in the seventeenth century. Here I will be trying to investigate the genre of still life in the light of what Chardin’s work reveals about it. In a sense I will be treating hardin as a critic, and not only as a painter, though everything he has to say about the genre is said in paint, and not as argument. If we can see Chardin’s work with eyes fresh enough, we can let Chardin reveal to us still life’s inner logic, its specific problems and solutions, and not only his solutions, but the solutions other still life painters look towards. In fact we probably have to turn to a painter to understand what still life is concerned with. It has always been the least discussed and the least theorised of the classical genres, and even today it is hard to find discussions of still life at a level of sophistication comparable to that of history painting, landscape, or portraiture. It is the genre farthest from language, and so the hardest for discourse to reach. There is no obvious tradition of theoretical work on still life, and in these circumstances it is appropriate to turn to a painter’s practice for guidance. But first I need to make some preliminary observations about a striking and defining feature of the genre: its exclusion of the human form, and its seeming assault on the value and prestige of the human subject. Norman Bryson is professor of comparative literature at the University of Rochester and editor of the series Cambridge New Art History and Criticism. He is the author of Tradition and Desire: From David to Delacroix and the editor of Calligram: Essays in New Art History from France . He is currently completing a study of still life painting, Looking at the Overlooked. (shrink)

This paper demonstrates how Mary Astell's version of Cartesian dualism supports her disavowal of female subordination and traditional gender roles, her rejection of Locke's notion of "thinking matter" as a major premise for rejecting his political philosophy of "social contracts" between men and women, and, finally, her claim that there is no intrinsic difference between genders in terms of ratiocination, the primary assertion that grants her the title of the first female English feminist.