Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might (...) be expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory (but is compatible with the homotopy interpretation), and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics? 2.1 A characterization of a foundation for mathematics 2.2 Autonomy3 The Basic Features of Homotopy Type Theory 3.1 The rules 3.2 The basic ways to construct types 3.3 Types as propositions and propositions as types 3.4 Identity 3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types 5.1 Tokens as mathematical objects? 5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy 7.1 Framework 7.2 Semantics 7.3 Metaphysics 7.4 Epistemology 7.5 Methodology8 Possible Objections to this Account 8.1 A constructive foundation for mathematics? 8.2 What are concepts? 8.3 Isn’t this just Brouwerian intuitionism? 8.4 Duplicated objects 8.5 Intensionality and substitution salva veritate9 Conclusion 9.1 Advantages of this foundation. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...) from pre-mathematical considerations, without recourse to homotopy theory. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers (...) a method that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the (...) treatment of the Hole Argument in HoTT is clarified. (shrink)

Where does the road to reality lie? This fundamental question is addressed in this collection of essays by physicists and philosophers, inspired by the original ideas of Sir Roger Penrose, the English mathematical physicist and philosopher of science. The topics range from black holes and quantum information to the very nature of mathematical cognition itself. *** Librarians: ebook available on ProQuest and EBSCO [Subject: Philosophy, Physics, Mathematics, Cosmology].

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton and Owen Maroney both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers a method (...) that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences. We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

When considering controversial thermodynamic scenarios such as Maxwell's demon, it is often necessary to consider probabilistic mixtures of states. This raises the question of how, if at all, to assign entropy to them. The information-theoretic entropy is often used in such cases; however, no general proof of the soundness of doing so has been given, and indeed some arguments against doing so have been presented. We offer a general proof of the applicability of the information-theoretic entropy to probabilistic mixtures of (...) macrostates, making clear the assumptions on which it depends, in particular a probabilistic version of the Kelvin statement of the Second Law. We briefly discuss the interpretation of our result. (shrink)

The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralism, and that Univalence may be regarded as ‘expanding the notion of identity to that of equivalence’. This article explores the conceptual, foundational and philosophical status of Univalence in Homotopy Type Theory. It extends our Types-as-Concepts interpretation of HoTT to Universes, and offers an account (...) of the Univalence axiom in such terms. We consider Awodey’s informal argument that Univalence is motivated by the principle that reasoning should be invariant under isomorphism, and we examine whether an autonomous and rigorous justification along these lines can be given. We consider two problems facing such a justification. First, there is a difference between equivalence and isomorphism and Univalence must be formulated in terms of the former. Second, the argument as presented cannot establish Univalence itself but only a weaker version of it, and must be supplemented by an additional principle. The article argues that the prospects for an autonomous justification of Univalence are promising. (shrink)

Homotopy type theory is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for math- ematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in par- ticular the interpretation of types, tokens, and equalities as spaces, points, and paths. Fundamental to the use of identity and equality in HoTT is the (...) powerful proof technique of path induction. In the ‘HoTT Book’ this principle is justified through the homotopy interpretation of type theory, by treating identifications as paths and the induction step as a homotopy between paths. This is incompatible with HoTT being an au- tonomous foundation for mathematics, since any such foundation must be able to justify its principles without recourse to existing areas of mathemat- ics. In this paper it is shown that path induction can be motivated from pre-mathematical considerations, and in particular without recourse to ho- motopy theory. This makes HoTT a candidate for being an autonomous foundation for mathematics. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kT ln 2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and (...) Maroney offers a method that he claims instantiates the operation reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

In this book of essays, he argues that morality cannot be defined solely by rational and universal principles; instead, a major place must be found for changing and conflicting ideals, values peculiar to specific times and cultures.

We might think that thought experiments are at their most powerful or most interesting when they produce new knowledge. This would be a mistake; thought experiments that seek understanding are just as powerful and interesting, and perhaps even more so. A growing number of epistemologists are emphasizing the importance of understanding for epistemology, arguing that it should supplant knowledge as the central notion. In this chapter, I bring the literature on understanding in epistemology to bear on explicating the different ways (...) that thought experiments increase three important kinds of understanding: explanatory, objectual and practical. (shrink)

What role does the imagination play in scientific progress? After examining several studies in cognitive science, I argue that one thing the imagination does is help to increase scientific understanding, which is itself indispensable for scientific progress. Then, I sketch a transcendental justification of the role of imagination in this process.

On 26 August 1974, Michel Foucault completed work on Discipline and Punish, and on that very same day began writing the first volume of The History of Sexuality. A little under ten years later, on 25 June 1984, shortly after the second and third volumes were published, he was dead. This decade is one of the most fascinating of his career. It begins with the initiation of the sexuality project, and ends with its enforced and premature closure. Yet in 1974 (...) he had something very different in mind for The History of Sexuality than the way things were left in 1984. Foucault originally planned a thematically organised series of six volumes, but wrote little of what he promised and published none of them. Instead over the course of the next decade he took his work in very different directions, studying, lecturing and writing about historical periods stretching back to antiquity. This book offers a detailed intellectual history of both the abandoned thematic project and the more properly historical version left incomplete at his death. It draws on all Foucault’s writings in this period, his courses at the Collège de France and lectures elsewhere, as well as material archived in France and California to provide a comprehensive overview and synthetic account of Foucault’s last decade. (shrink)

1. Animal Cruelty Industrial farming is appallingly abusive to animals. Pigs. In America, nine-tenths of pregnant sows live in “gestation crates. ” These pens are so small that the animals can barely move. When the sows are first crated, they may flail around, in an attempt to get out. But soon they give up. Crated pigs often show signs of depression: they engage meaningless, repetitive behavior, like chewing the air or biting the bars of the stall. The sows live like (...) this for four months. Gestation crates will be phased out in Europe by the end of 2012, but they will still be used in America.1 In nature, pigs nurse their young for about thirteen weeks. But in industrial farms, piglets are taken from their mothers after about ten days. Because the piglets are weaned prematurely, they develop a lifelong craving to suck and chew. But the farmers don’t want them sucking and chewing on other pigs’ tails. So the growers routinely snip off the tails of all their pigs. They do this with a pair of pliers and no anesthetic. However, the whole tail is not removed; a tender stump remains. The point is to render the area sensitive, so the pigs being chewed on will fight back. Which they do.2 Over 113 million pigs are slaughtered each year in America.3 Typically, these pigs are castrated, their needle teeth are clipped, and one of their ears is notched for identification —all without pain relief.4 In nature, pigs spend up to three quarters of their waking hours foraging and exploring their environment.5 But in the factory farms, “tens of thousands of hogs spend their entire lives ignorant of earth or straw or sunshine, crowded together beneath a metal roof standing on metal slats suspended over a septic tank. ”6 Bored, and in constant pain, the pigs must perpetually inhale the fumes of their own waste. These pigs often get sick, and their ill health is exacerbated by the overcrowding. In 2000, the U.S. Department of Agriculture compared hog farms containing over 10,000 pigs—which is the norm—with farms containing under 2,000 pigs. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The argument (...) view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

I claim that one way thought experiments contribute to scientific progress is by increasing scientific understanding. Understanding does not have a currently accepted characterization in the philosophical literature, but I argue that we already have ways to test for it. For instance, current pedagogical practice often requires that students demonstrate being in either or both of the following two states: 1) Having grasped the meaning of some relevant theory, concept, law or model, 2) Being able to apply that theory, concept, (...) law or model fruitfully to new instances. Three thought experiments are presented which have been important historically in helping us pass these tests, and two others that cause us to fail. Then I use this operationalization of understanding to clarify the relationships between scientific thought experiments, the understanding they produce, and the progress they enable. I conclude that while no specific instance of understanding (thus conceived) is necessary for scientific progress, understanding in general is. (shrink)

Every action, touch, utterance, and look, every listening, taste, smell, and feel is a living question; but it is no ordinary propositional one-by-one question, rather it is a plenisentient sensing and probing non-propositional enquiry about how our world is, in its present continuous sense, and in relation to how we anticipate its becoming. I will take this assumption as my first premise and, by using the notion of enkinaesthesia, I will explore the ways in which an agent’s affectively-saturated co-engagement with (...) its world establishes patterns of co-articulation of meaning within the anticipatory affective dynamics and the experiential entanglement necessary for expedient action and adaptation. In advancing this thesis I will reject the minimalist notions of embodiment by amplifying and extending the claims made by the most radical of the embodied mind theories. Crucially, I will offer a new wave of embodiment theory which has at its core the radical extension of sensorimotor affect into the life and being of other agents where their experience is for us both direct and immediate. This I will present as an immanent intercorporeality. (shrink)

The last three decades have witnessed a heated debate of the merits of intelligent design (ID) as a way to understand a number of observable natural phenomena. The present dispute has its roots in a much older discussion: that of natural theology, which has always had as its goal the discernment of design(s) attributable to God in the natural world. Despite its ongoing relevance, natural theology does not have a coherent scholarly history. Turning Points in Natural Theology from Bacon to (...) Darwin deftly fills that gap, analysing the argument of design during the period from Francis Bacon (1561-1626) to Charles Darwin (1809-82), with a specific focus on those moments at which the rhetorical terms changed significantly. (shrink)

This book, which inaugurates the Princeton Monographs in Philosophy series, starts from Plato's analogy in the Republic between conflict in the soul and conflict in the city. Plato's solution required reason to impose agreement and harmony on the warring passions, and this search for harmony and agreement constitutes the main tradition in political philosophy up to and including contemporary liberal theory. Hampshire undermines this tradition by developing a distinction between justice in procedures, which demands that both sides in a conflict (...) should be heard, and justice in matters of substance, which will always be disputed. Rationality in private thinking consists in adversary reasoning, and so it does in public affairs. Moral conflict is eternal, and institutionalized argument is its only universally acceptable restraint and the only alternative to tyranny. In the chapter "Against Monotheism," Hampshire argues that monotheistic beliefs are only with difficulty made compatible with pluralism in ethics. In "Conflict and Conflict Resolution," he argues that socialism, seen as the proposal of extended political solutions for natural human ills, is still a relevant, yet strongly contested, ideal. (shrink)

Species : visions and values -- Fantasies : seeing without what was within -- Prestiges : illusions in magic and art -- Glamours : demons and virtual worlds -- Images : the reformation of the eyes -- Apparitions : the discernment of spirits -- Sights : King Saul and King Macbeth -- Seemings : philosophical scepticism -- Dreams : the epistemology of sleep -- Signs : vision and the new philosophy.

Toward a Science of Consciousnessmarks the first major gathering -- a landmark event -- devoted entirely to unlocking the mysteries of consciousness.

Fetal pain has long been a contentious issue, in large part because fetal pain is often cited as a reason to restrict access to termination of pregnancy or abortion. We have divergent views regarding the morality of abortion, but have come together to address the evidence for fetal pain. Most reports on the possibility of fetal pain have focused on developmental neuroscience. Reports often suggest that the cortex and intact thalamocortical tracts are necessary for pain experience. Given that the cortex (...) only becomes functional and the tracts only develop after 24 weeks, many reports rule out fetal pain until the final trimester. Here, more recent evidence calling into question the necessity of the cortex for pain and demonstrating functional thalamic connectivity into the subplate is used to argue that the neuroscience cannot definitively rule out fetal pain before 24 weeks. We consider the possibility that the mere experience of pain, without the capacity for self reflection, is morally significant. We believe that fetal pain does not have to be equivalent to a mature adult human experience to matter morally, and so fetal pain might be considered as part of a humane approach to abortion. (shrink)

This is an important work for those studying the concept of utilitarianism, or those who are interested in the writings of John Stuart Mill.

British philosopher and economist John Stuart Mill is the author of several essays, including Utilitarianism - a defence of Jeremy Bentham's principle applied to the field of ethics - and The Subjection of Women, which advocates legal equality between the sexes. This work, arguably his most famous contribution to political philosophy and theory, was first published in 1859, and remains a major influence upon contemporary liberal political thought. In it, Mill argues for a limitation of the power of government (...) and society over the individual, and defines liberty as an absolute individual right. According to the still much debated 'harm principle', power against the individual can only be exercised to prevent harm to others. Full of contemporary relevance, this essay also defends freedom of speech as a necessary condition of social and intellectual progress. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

There is no strong reason to believe that human-level intelligence represents an upper limit of the capacity of artificial intelligence, should it be realized. This poses serious safety issues, since a superintelligent system would have great power to direct the future according to its possibly flawed motivation system. Solving this issue in general has proven to be considerably harder than expected. This paper looks at one particular approach, Oracle AI. An Oracle AI is an AI that does not act in (...) the world except by answering questions. Even this narrow approach presents considerable challenges. In this paper, we analyse and critique various methods of controlling the AI. In general an Oracle AI might be safer than unrestricted AI, but still remains potentially dangerous. (shrink)

Michel Foucault's The Archaeology of Knowledge was published in March 1969; Discipline and Punish in February 1975. Although only six years apart, the difference in tone is stark: the former is a methodological treatise, the latter a call to arms. What accounts for the radical shift in Foucault's approach? Foucault's time in Tunisia had been a political awakening for him, and he returned to a France much changed by the turmoil of 1968. He taught at the experimental University of Vincennes (...) and then moved to a prestigious position at the Collège de France. He quickly became involved in activist work concerning prisons and health issues such as abortion rights, and in his seminars he built research teams to conduct collaborative work, often around issues related to his lectures and activism. Foucault: The Birth of Power makes use of a range of archival material, including newly available documents at the Bibliothèque nationale de France, to provide a detailed intellectual history of Foucault as writer, researcher, lecturer and activist. Through a careful reconstruction of Foucault's work and preoccupations, Elden shows that, while Discipline and Punish may be the major published output of this period, it rests on a much wider range of concerns and projects. (shrink)

When philosophers discuss the possibility of machines making scientific discoveries, they typically focus on discoveries in physics, biology, chemistry and mathematics. Observing the rapid increase of computer-use in science, however, it becomes natural to ask whether there are any scientific domains out of reach for machine discovery. For example, could machines also make discoveries in qualitative social science? Is there something about humans that makes us uniquely suited to studying humans? Is there something about machines that would bar them from (...) such activity? A close look at the methodology of interpretive social science reveals several abilities necessary to make a social scientific discovery, and one capacity necessary to possess any of them is imagination. For machines to make discoveries in social science, therefore, they must possess imagination algorithms. (shrink)

Ethicists and economists commonly assume that if A is all things considered better than B, and B is all things considered better than C, then A is all things considered better than C. Call this principle Transitivity. Although it has great conceptual, intuitive, and empirical appeal, I argue against it. Larry S. Temkin explains how three types of ethical principle, which cannot be dismissed a priori, threaten Transitivity: (a) principles implying that in some cases different factors are relevant to comparing (...) A to C than to comparing A to B or B to C; (b) principles of limited scope; (c) principles implying that morally relevant differences in degree can amount to differences in kind. My counterexamples employ a principle of type (c): pleasures and pains enormously different in intensity differ in kind. Temkin has also endorsed this type of counterexample, using arguments based on earlier drafts of this paper. (shrink)

When and where did consciousness emerge in the course of evolution? Did it happen as recently as the past million years, for example concomitant with language or tool making in humans or primates? Or did consciousness arrive somewhat earlier, with the advent of mammalian neocortex 200 million years ago (Eccles, 1992)? At the other extreme, is primitive consciousness a property of even simple unicellular organisms of several billion years ago (e.g. as suggested by Margulis and Sagan, 1995)? Or did consciousness (...) appear at some intermediate point, and if so, where and why? Whenever it first occurred, did consciousness alter the course of evolution? (shrink)

This volume argues for a new image of science that understands both natural and social phenomena to be the product of mechanisms, casting the work of science as an effort to understand those mechanisms. Glennan offers an account of the nature of mechanisms and of the models used to represent them in physical, life, and social sciences.

In recent years we have seen a dramatic shift, in several different areas of communication studies, from an information-theoretic to a dynamic systems paradigm. In an information processing system, communication, whether between cells, mammals, apes, or humans, is said to occur when one organism encodes information into a signal that is transmitted to another organism that decodes the signal. In a dynamic system, all of the elements are continuously interacting with and changing in respect to one another, and an aggregate (...) pattern emerges from this mutual co-action. Whereas the information-processing paradigm looks at communication as a linear, binary sequence of events, the dynamic systems paradigm looks at the relation between behaviors and how the whole configuration changes over time. One of the most dramatic examples of the significance of shifting from an information processing to a dynamic systems paradigm can be found in the debate over the interpretation of recent advances in ape language research (ALR). To some extent, many of the early ALR studies reinforced the stereotype that animal communication is functional and stimulus bound, precisely because they were based on an information-processing paradigm that promoted a static model of communicative development. But Savage-Rumbaugh's recent results with bonobos has introduced an entirely new dimension into this debate. Shifting the terms of the discussion from an information-processing to a dynamic systems paradigm not only highlights the striking differences between Savage-Rumbaugh's research and earlier ALR studies, but further, it sheds illuminating light on the factors that underpin the development of communication skills in great apes and humans, and the relationship between communicative development and the development of language. Key Words: apes; ape language research (ALR); brain development; co-regulation; communication; dynamic systems; language development; symbols. (shrink)

Emergentism is often imagined to be opposed to mechanism. If some phenomenon admits of mechanistic explanation, it is thought to be ipso facto not emergent. In this paper I argue to the contrary that emergence requires mechanism. Whenever some emergent phenomenon occurs, there is a mechanism responsible for its emergence. To make this case I show how mechanisms can explain four commonly held characteristics of emergent phenomena – dependence, autonomy, novelty and holism. By looking at the various kinds of emergence-generating (...) mechanisms, it will be possible to classify different kinds of emergent phenomena by the particular features of the mechanisms that generate them, and so to bring some order to diversity of phenomena that we call emergent. (shrink)

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the (...) work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Volume 1 contains Mill's introduction, which elaborates upon his definition of logic as 'not the science of Belief, but the science of Proof, or Evidence'. It also features discussions of the central components of logical reasoning - propositions and syllogisms - in relation to Mill's theories of inductive reasoning and experimental method. (shrink)

This volume presents a selection of invited papers from the second conference, held in April 1996.

Quantum aspects of brain activity and the role of consciousness. Proceedings of the National ... Casti, JL 1996. Confronting science's logical limits. ...

Despite protestations to the contrary, philosophers have always been renowned for espousing theories that do violence to common-sense opinion. In the last twenty years or so there has been a growing number of philosophers keen to follow in this tradition. According to these philosophers, if a story of pure fic-tion tells us that an individual exists, then there really is such an individual. According to these realists about fictional characters, ‘Scarlett O’Hara,’ ‘Char-lie Brown,’ ‘Batman,’ ‘Superman,’ ‘Tweedledum’ and ‘Tweedledee’ are not (...) denotationless terms, but names that really refer. What is truly surprising about this situation is that almost no one has inveighed against this unfortunate real-ist tendency. My aim here will be to challenge this new orthodoxy, and to defend an anti-realist position against the arguments proffered by the realist. (shrink)