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)

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)

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

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)

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.

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)

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)

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)

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)

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)

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)

This article will exploreJerome's understanding of sinlessness and will argue that he saw himself just as opposed toAugustine as toPelagius. I begin by exposing Jerome's context in thePelagianControversy. I then expose his understanding of sinlessness. Next, I turn to his arguments inEp.133 and the first two books of hisDialogi contraPelagianos. In book three of that text, we notice a change in his arguments which indicates that Jerome is no longer arguing only againstPelagius; he now disagrees withAugustine as well. I then (...) examine a variety of issues besides sinlessness in the third book of theDialogithat reveal thatJerome disagreed withAugustine on multiple topics, showing that his opposition toAugustine's position on sinlessness was not exceptional. Finally I turn to statements byJerome that seem to indicate a positive appreciation for theBishop ofHippo, but which on closer inspection are seen to contain latent criticisms. (shrink)

We contest two claims: (1) that language, understood as the processing of abstract symbolic forms, is an instrument of cognition and rational thought, and (2) that conventional notions of turn-taking, exchange structure, and move analysis, are satisfactory as a basis for theorizing communication between living, feeling agents. We offer an enkinaesthetic theory describing the reciprocal affective neuro-muscular dynamical flows and tensions of co- agential dialogical sense-making relations. This “enkinaesthetic dialogue” is characterised by a preconceptual experientially recursive temporal dynamics forming the (...) deep extended melodies of relationships in time. An understanding of how those relationships work, when we understand and are ourselves understood, when communication falters and conflict arises, will depend on a grasp of our enkinaesthetic intersubjectivity. (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 this article I present an argument for the necessary co-articulation of meaning within our felt enkinaesthetic engagement with our world. The argument will be developed through a series of stages, the first of which will be an elaboration of the notion of articulation of and through the body. This will be followed by an examination of enkinaesthetic experiential entanglement and the role it plays in rendering our world meaningful and our actions values-realising. At this stage I will begin to (...) extend Husserl’s notion of intentional transgression to the enkinaesthetic sphere of lived experience, and in support of this claim I will examine the theoretical and practical work of osteopathic manual listening [Gens & Roche 2014] and the ‘felt sense’ in focusing [Gendlin] which makes possible a shift from a somatic articulation to a semantic, and potentially conceptual, one. Throughout, my position will be compatible with Merleau-Ponty’s claim that “Whenever I try to understand myself, the whole fabric of the perceptible world comes too, and with it comes the others who are caught in it.” [Merleau-Ponty 1964a, p.15]. (shrink)

The philosophy of science has traditionally assumed that knowledge should be organized in the form of theories. From theories propositions can be deduced that can be tested in experiments. Most propositions deduced from theories take the form of if-then statements. For example, if variable A increases, what happens to variable B, assuming that all other variables are held constant? However, an alternative way of organizing knowledge, in the form of producer-product relationships, was proposed by the philosopher E.A. Singer, Jr. and (...) advocated by two of his students, C. West Churchman and Russell L. Ackoff. Whether to structure knowledge in the form of theories or methods is related to the question of whether there is a fundamental difference between the natural and the social sciences. As opposed to Karl Popper’s doctrine of the unity of method, this paper argues that structuring knowledge in the form of methods is appropriate in applied fields, particularly in management where a large part of the task is to achieve agreement among a group of knowing subjects on an appropriate set of actions. (shrink)

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 paper provides analyses of the effect of corruption in South Asia on credit access for small- and medium-size enterprises, and credit constraints faced by female-owned and male-owned SMEs. By addressing potential endogeneity and reverse causality of corruption and credit constraints via instrumental variables, this study reports that corruption has a detrimental effect on credit access. Specifically, corruption increases the probability of SMEs credit constraints by 7.63%. However, gender differences emerge, indicating that bribery is slightly more effective when used by (...) female SME owners. When male-owned SMEs pay bribes, they are on average 0.61% more credit-constrained than their counterparts. For female-owned SMEs paying bribes, they are on average 0.78% more likely to be less credit-constrained compared to female SME owners who do not pay bribes. Overall, bribery is not very effective in achieving the desired outcome and attitudes towards bribery as unethical may be more a question of culture than of gender. (shrink)

Was Descartes an occasionalist about body–body causation? Many scholars have argued that he was. This essay examines the textual evidence against such a reading of Descartes, his discussions of force, and his doctrine of the creation of the eternal truths, and argues that Descartes was not such an occasionalist.

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

In this paper I offer an analysis of causation based upon a theory of mechanisms-complex systems whose internal parts interact to produce a system's external behavior. I argue that all but the fundamental laws of physics can be explained by reference to mechanisms. Mechanisms provide an epistemologically unproblematic way to explain the necessity which is often taken to distinguish laws from other generalizations. This account of necessity leads to a theory of causation according to which events are causally related when (...) there is a mechanism that connects them. I present reasons why the lack of an account of fundamental physical causation does not undermine the mechanical account. (shrink)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

Philosophers of science typically associate the causal-mechanical view of scientific explanation with the work of Railton and Salmon. In this paper I shall argue that the defects of this view arise from an inadequate analysis of the concept of mechanism. I contrast Salmon's account of mechanisms in terms of the causal nexus with my own account of mechanisms, in which mechanisms are viewed as complex systems. After describing these two concepts of mechanism, I show how the complex-systems approach avoids certain (...) objections to Salmon's account of causal-mechanical explanation. I conclude by discussing how mechanistic explanations can provide understanding by unification. (shrink)

Locke refrained from engaging explicitly with Hobbes in any of his writings. Locke’s policy of non-engagement should be interpreted, we argue, neither as evidence of his lack of interest in (or ignorance of) Hobbes’s arguments, nor as an attempt to conceal from the uninitiated Locke’s covert Hobbesian commitments. Locke’s silence reveals rather than conceals. What it reveals is an absolute determination to “distinguish between the business of civil government and that of religion, and to mark the true bounds between them”. (...) Approached in this way, precisely because Locke’s account of the “business of civil government” says nothing about ecclesiastical government, the second of Two Treatises can be read, in its entirety, as a powerful critical response to Hobbes. To see why, it is necessary to grasp that Part iii of Leviathan (“Of a Christian Common-wealth”) is integral to Hobbes’s positive argumentative purposes in the work. (shrink)

A fascinating exploration of the very essence of life itself sheds new light on the order and evolution in complex life systems and defines and explains autonomous agents and work within the contexts of thermodynamics and information theory, setting the stage for a dramatic technological revolution. 50,000 first printing.

At Home in the Universe presents and extends the intellectual core ofKauffman's earlier book The Origins of Order (OUP 1993) for any intelligentgeneral reader can understand and appreciate. The reader is very effectivelyinvited into Kauffman's vision and thought processes, in one of the moreexhilarating and important books of popular science.

From the operation of the universe to DNA, the brain and the economy, natural and social frequently describe their activity as being concerned with discovering mechanisms. Despite this fact, for much of the twentieth century philosophical discussions of the nature of mechanisms remained outside philosophy of science. The Routledge Handbook of Mechanisms and Mechanical Philosophy is an outstanding reference source to the key topics, problems and debates in this exciting subject and is the first collection of its kind. Comprising over (...) thirty chapters by a team of international contributors the _Handbook_ is divided into four parts: Historical Perspectives on Mechanisms The Nature of Mechanisms Mechanisms and the Philosophy of Science Disciplinary Perspectives. Within these sections central topics and problems are examined, including the rise of mechanical philosophy in the seventeenth century; mechanisms as parts and wholes and their interactive powers; mechanisms and laws and regularities; how mechanisms are discovered and explained; dynamical systems theory; and disciplinary perspectives from physics, chemistry, biology, biomedicine, ecology, neuroscience and the social and political sciences. Essential reading for students and researchers in philosophy of science and philosophy the _Handbook _will also be of interest to those in related fields, such as metaphysics, philosophy of psychology and history of science. (shrink)

Philosophers of science increasingly believe that much of science is concerned with understanding the mechanisms responsible for the production of natural phenomena. An adequate understanding of scientific research requires an account of how scientists develop and test models of mechanisms. This paper offers a general account of the nature of mechanical models, discussing the representational relationship that holds between mechanisms and their models as well as the techniques that can be used to test and refine such models. The analysis is (...) supported by study of two competing models of a mechanism of speech perception. (shrink)

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)

In this book, Stuart Hampshire argues that no individual and no modern society can avoid conflicts between incompatible moral interests.

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.

Most philosophical accounts of causation take causal relations to obtain between individuals and events in virtue of nomological relations between properties of these individuals and events. Such views fail to take into account the consequences of the fact that in general the properties of individuals and events will depend upon mechanisms that realize those properties. In this paper I attempt to rectify this failure, and in so doing to provide an account of the causal relevance of higher-level properties. I do (...) this by critiquing one prominent model of higher-level properties—Kim’s functional model of reduction—and contrasting it with a mechanistic approach to higher-level properties and causation. (shrink)

Explores the possiblity and process of evolution beyond the standard and established scientific principles.

Since the Harvard Committees bold and highly successful attempt to redefine death in 1968 (Harvard Ad Hoc committee, 1968), multiple controversies have arisen. Stimulated by several factors, including the inherent conceptual weakness of the Harvard Committees proposal, accumulated clinical experience, and the incessant push to expand the pool of potential organ donors, the lively debate about the definition of death has, for the most part, been confined to a relatively small group of academics who have created a large body of (...) literature of which this issue of the Journal of Medicine and Philosophy is an example. Law and public policy, however, have remained essentially unaffected. This paper will briefly review the multiple controversies about defining death in an attempt to explain why they have and will remain unresolved in the academic community and have even less chance of being understood and resolved by politicians, legislators, and the general public. Considering this, we will end by suggesting the probable course of public policy and clinical practice in the decades ahead. (shrink)

While much of the recent literature on mechanisms has emphasized the superiority of mechanisms and mechanistic explanation over laws and nomological explanation, paradigmatic mechanisms—e.g., clocks or synapses—actually exhibit a great deal of stability in their behavior. And while mechanisms of this kind are certainly of great importance, there are many events that do not occur as a consequence of the operation of stable mechanisms. Events of natural and human history are often the consequence of causal processes that are ephemeral and (...) capricious. In this paper I shall argue that, notwithstanding their ephemeral nature, these processes deserve to be called mechanisms. Ephemeral mechanisms share important characteristics with their more stable cousins, and these shared characteristics will help us to understand connections between scientific and historical explanation. (shrink)