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)

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)

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

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)

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)

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 work, Mill reflects on the struggle between liberty and authority and defends the view that “the only purpose for which power can be rightfully exercised over any member of a civilized community, against his will, is to prevent harm to others.” He questions the justification for the limits of freedom of conscience and religion, freedom of speech, freedom of action, and the nature of liberalism itself. This new Broadview Edition demonstrates the ways in which Mill’s intellectual landscape differed (...) markedly from our own, while also drawing attention to the reasons why the work remains relevant and essential reading in the present day. Appendices include antecedents to Mill’s work, critical discussions by his contemporaries, and related writings by Mill. Please note: Broadview offers two separate editions of On Liberty. The Kahn edition is particularly relevant to readers who are interested in how the work is situated in the history of political philosophy, whereas the Alexander edition is recommended to those most interested in the work’s Victorian literary and social contexts. (shrink)

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)

Grand Hotel Abyss investigates the lives and afterlives of the critical theorists who formed the Frankfurt School.

As Nelson Goodman highlighted, there are two main senses of “abstract” that can be found in discussions about abstract art. On the one hand, a representation is abstract if it leaves out certain features of its target. On the other hand, something can be abstract to the extent that it does not represent a concrete subject. The first sense of “abstract” is well-known in philosophy of science. For example, philosophers discuss mathematical models of physical, biological, and economic systems as being (...) abstract in this sense. However, it is the second sense that dominates discussions of abstract art in aesthetics. For example, abstract art was (and is) considered revolutionary precisely for being non-figurative. Through an analysis of artists including Kandinsky, Malevich, and Mondrian, we develop a reading of this second sense, which we call “generative abstraction,” as opposed to “subtractive” abstraction. Generative abstraction is a process in which a new artifact is created which does not represent the initial concrete target system that inspired it (if there was one), where the artifact’s features are explored for their own sake, and where the “language” of the new artifact is in some way more “universal.” Focusing on this sense of abstraction is helpful in revealing the complexity of the process of crafting an abstract artifact, in problematizing the notion that abstraction can always be un-done (or concretized), as well as revealing new ways for abstractions to be epistemically (un)successful. (shrink)

Although republican political theory has undergone something of a revival in recent years, some question its contemporary relevance on the grounds that republicanism has little to say about central questions of modern economic organization. In response, this paper offers an account of core republican values and then considers how capitalism stands in relation to these values. It identifies three areas of republican concern related to: the impact of unequal wealth distribution on personal liberty; the impact of the private control of (...) investment on popular sovereignty and pursuit of the common good; and the impact of capitalism on the level and quality of political participation. In view of these concerns, we can see some of the likely requirements of a distinctively republican, but contemporary political economy. (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)

Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...) make progress tomorrow. Thus, epistemology of imagination needs to make room for an element of epistemological anarchy. (shrink)

Imagination is necessary for scientific practice, yet there are no in vivo sociological studies on the ways that imagination is taught, thought of, or evaluated by scientists. This article begins to remedy this by presenting the results of a qualitative study performed on two systems biology laboratories. I found that the more advanced a participant was in their scientific career, the more they valued imagination. Further, positive attitudes toward imagination were primarily due to the perceived role of imagination in problem-solving. (...) But not all problem-solving episodes involved clear appeals to imagination, only maximally specific problems did. This pattern is explained by the presence of an implicit norm governing imagination use in the two labs: only use imagination on maximally specific problems, and only when all other available methods have failed. This norm was confirmed by the participants, and I argue that it has epistemological reasons in its favour. I also found that its strength varies inversely with career stage, such that more advanced scientists do (and should) occasionally bring their imaginations to bear on more general problems. A story about scientific pedagogy explains the trend away from (and back to) imagination over the course of a scientific career. Finally, some positive recommendations are given for a more imagination-friendly scientific pedagogy. (shrink)

Can an ugly experiment be a good experiment? Philosophers have identified many beautiful experiments and explored ways in which their beauty might be connected to their epistemic value. In contrast, the present chapter seeks out (and celebrates) ugly experiments. Among the ugliest are those being designed by AI algorithms. Interestingly, in the contexts where such experiments tend to be deployed, low aesthetic value correlates with high epistemic value. In other words, ugly experiments can be good. Given this, we should conclude (...) that beauty is not generally necessary or sufficient for epistemic value, and increasing beauty will not generally tend to increase epistemic value. (shrink)

Reissued here in its corrected second edition of 1864, this essay by John Stuart Mill argues for a utilitarian theory of morality. Originally printed as a series of three articles in Fraser's Magazine in 1861, the work sought to refine the 'greatest happiness' principle that had been championed by Jeremy Bentham, defending it from common criticisms, and offering a justification of its validity. Following Bentham, Mill holds that actions can be judged as right or wrong depending on whether they (...) promote happiness or 'the reverse of happiness'. Although attracted by Bentham's consequentialist framework based on empirical evidence rather than intuition, Mill separates happiness into 'higher' and 'lower' pleasures, arguing for a weighted system of measurement when making and judging decisions. Dissected and debated since its first appearance, the essay is Mill's key discussion on the topic and remains a fundamental text in the study of ethics. (shrink)

A thorough-going re-elaboration of modern experience via the senses.

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)

Scientists imagine constantly. They do this when generating research problems, designing experiments, interpreting data, troubleshooting, drafting papers and presentations, and giving feedback. But when and how do scientists learn how to use imagination? Across 6 years of ethnographic research, it has been found that advanced career scientists feel comfortable using and discussing imagination, while graduate and undergraduate students of science often do not. In addition, members of marginalized and vulnerable groups tend to express negative views about the strength of their (...) imaginations and the general usefulness of imagination in science. After introducing these findings and discussing the typical relationship between a scientist and their imagination across a career, we argue that reducing the number or power of active imaginations in science is epistemically counterproductive. We suggest several ways to bring imagination back into science in a more inclusive way, especially through courses on imagination for scientists, good role models, and exemplar-based learning. (shrink)

Moral philosophy is the study of what morality is and what it requires of us. As Socrates said, it's about "how we ought to live"-and why. It would be helpful if we could begin with a simple, uncontroversial definition of what morality is. Unfortunately, we cannot. There are many rival theories, each expounding a different conception of what it means to live morally, and any definition that goes beyond Socrates's simple formula-tion is bound to offend at least one of them. (...) This should make us cautious, but it need not paralyze us. In this chapter, I will describe the "minimum conception" of morality. (shrink)

Is there enough progress in philosophy? It is notable that even within the discipline, opinions are divided. Optimists think there is more than enough progress in philosophy. Pessimists think we could and should do better. In this chapter I defend an optimistic answer to this question.

This volume of The Subjection of Women provides a reliable text in an inexpensive edition, with explanatory notes but no additional editorial apparatus. -/- .

Scientists recognize the necessity of imagination for solving tough problems. But how does the cognitive faculty responsible for daydreaming help in solving scientific problems? Philosophers claim that imagination is informative only when it is constrained to be maximally realistic. However, using a case study from space science, we show that scientists use imagination intentionally to break reality-oriented constraints. To do this well, they first target low-confidence constraints, and then higher-confidence constraints, until a plausible solution is found. This paper exemplifies a (...) new approach to epistemology of imagination that focuses on sets of imaginings (rather than individual imaginings), and responsible (rather than reliable) imaginings. (shrink)

A foundational text in modern empiricist method, published in 1843 by Victorian England's foremost philosopher of political and social life.

John Stuart Mill's Utilitarianism is one of the most important, controversial, and suggestive works of moral philosophy ever written. Mill defends the view that all human action should produce the greatest happiness overall, and that happiness itself is to be understood as consisting in "higher" and "lower" pleasures. This volume uses the 1871 edition of the text, the last to be published in Mill's lifetime. The text is preceded by a comprehensive introduction assessing Mill's philosophy and the alternatives to (...) utilitarianism, and discussing some of the specific issues Mill raises in Utilitarianism. (shrink)

This chapter contains sections titled: Introduction The Republicanism of Rawls's Liberalism: An Open Question Property‐Owning Democracy Justice and Stability Tocqueville on the Ills of Democratic Personality The Republican Response Some Objections Conclusion: Lessons for Republicans and Liberals References.

Attempts to unravel the complex and often conflicting character of the counterculture philosopher who advocated total freedom and introduced the rebellious youth of the 1950s and 60s to Zen Buddhism.

Imagination is extremely important for science, yet very little is known about how scientists actually use it. Are scientists taught to imagine? What do they value imagination for? How do social and disciplinary factors shape it? How is the labor of imagining distributed? These questions should be high priority for anyone who studies or practices science, and this paper argues that the best methods for addressing them are qualitative. I summarize a few preliminary findings derived from recent interview-based and observational (...) qualitative studies that I have performed. These finding include: (i) imagination is only valued for use in addressing maximally specific problems, and only when all else fails; (ii) younger scientists and scientists who are members of underrepresented groups express less positive views about imagination in general, and have less confidence in their own imaginations; (iii) while scientists seem to employ various epistemological frameworks to evaluate imaginings, overall they appear to be epistemic consequentialists about imagination, and this holds also for their evaluations of the tools they use to extend the power of their imaginations. I close by discussing the epistemic and ethical consequences of these findings, and then suggesting a few research avenues that could be explored next as we move forward in the study of scientific imagination. (shrink)

Foundations -- The normal and the pathological -- Philosophy of biology -- Physiology and the reflex -- Regulation and psychology -- Evolution and monstrosity -- Philosophy of history -- Writings on medicine -- Legacies.

In Rethinking the Enlightenment, Dr. Stuart demonstrates that the three primary strategies employed during the Enlightenment -- conflict, engagement, and retreat -- are time-tested methods that should be employed in our own anti-Christian age"--The publisher.

Stuart Kauffman here presents a brilliant new paradigm for evolutionary biology, one that extends the basic concepts of Darwinian evolution to accommodate recent findings and perspectives from the fields of biology, physics, chemistry and mathematics. The book drives to the heart of the exciting debate on the origins of life and maintenance of order in complex biological systems. It focuses on the concept of self-organization: the spontaneous emergence of order widely observed throughout nature. Kauffman here argues that self-organization plays (...) an important role in the emergence of life itself and may play as fundamental a role in shaping life's subsequent evolution as does the Darwinian process of natural selection. Yet until now no systematic effort has been made to incorporate the concept of self-organization into evolutionary theory. The construction requirements which permit complex systems to adapt remain poorly understood, as is the extent to which selection itself can yield systems able to adapt more successfully. This book explores these themes. It shows how complex systems, contrary to expectations, can spontaneously exhibit stunning degrees of order, and how this order, in turn, is essential for understanding the emergence and development of life on Earth. Topics include the new biotechnology of applied molecular evolution, with its important implications for developing new drugs and vaccines; the balance between order and chaos observed in many naturally occurring systems; new insights concerning the predictive power of statistical mechanics in biology; and other major issues. Indeed, the approaches investigated here may prove to be the new center around which biologicalscience itself will evolve. The work is written for all those interested in the cutting edge of research in the life sciences. (shrink)

This was scanned from the 1909 edition and mechanically checked against a commercial copy of the text from CDROM. Differences were corrected against the paper edition. The text itself is thus a highly accurate rendition. The footnotes were entered manually.

Recognition has, over the past three decades, come to occupy a central place in moral and political philosophy, and critical theory; but to the extent that scholars have exhibited an interest in tr...

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.