One approach to achieving cooperation in the one-shot prisoner’s dilemma is Tennenholtz’s (Games Econ Behav 49(2):363–373, 2004) program equilibrium, in which the players of a game submit programs instead of strategies. These programs are then allowed to read each other’s source code to decide which action to take. As shown by Tennenholtz, cooperation is played in an equilibrium of this alternative game. In particular, he proposes that the two players submit the same version of the following (...) class='Hi'>program: cooperate if the opponent is an exact copy of this program and defect otherwise. Neither of the two players can benefit from submitting a different program. Unfortunately, this equilibrium is fragile and unlikely to be realized in practice. We thus propose a new, simple program to achieve more robust cooperative program equilibria: cooperate with some small probability. (shrink)

Discussions of the foundations of Classical Equilibrium Statistical Mechanics (SM) typically focus on the problem of justifying the use of a certain probability measure (the microcanonical measure) to compute average values of certain functions. One would like to be able to explain why the equilibrium behavior of a wide variety of distinct systems (different sorts of molecules interacting with different potentials) can be described by the same averaging procedure. A standard approach is to appeal to ergodic theory to (...) justify this choice of measure. A different approach, eschewing ergodicity, was initiated by A. I. Khinchin. Both explanatory programs have been subjected to severe criticisms. This paper argues that the Khinchin type program deserves further attention in light of relatively recent results in understanding the physics of universal behavior. (shrink)

In this paper, we investigate how data about public preferences may be used to inform policy around the use of controversial novel technologies, using public preferences about autonomous vehicles (AVs) as a case study. We first summarize the recent ‘Moral Machine’ study, which generated preference data from millions of people regarding how they think AVs should respond to emergency situations. We argue that while such preferences cannot be used to directly inform policy, they should not be disregarded. We defend an (...) approach that we call ‘Collective Reflective Equilibrium in Practice’ (CREP). In CREP, data on public attitudes function as an input into a deliberative process that looks for coherence between attitudes, behaviours and competing ethical principles. We argue that in cases of reasonable moral disagreement, data on public attitudes should play a much greater role in shaping policies than in areas of ethical consensus. We apply CREP to some of the global preferences about AVs uncovered by the Moral Machines study. We intend this discussion both as a substantive contribution to the debate about the programming of ethical AVs, and as an illustration of how CREP works. We argue that CREP provides a principled way of using some public preferences as an input for policy, while justifiably disregarding others. (shrink)

This paper contains a survey of the main definitions and results obtained to date related to Temporal Equilibrium Logic, a nonmonotonic hybrid approach that combines Equilibrium Logic (the best-known logical characterisation for the stable models semantics of logic programs) with Linear-Time Temporal Logic.

Influential neoclassical economist Lionel McKenzie has made major contributions to postwar economic thought in the fields of equilibrium, trade, and capital accumulation. This selection of his papers traces the development of his thinking in these three crucial areas.McKenzie's early academic life took him to Duke, Princeton, Oxford, the University of Chicago, and the Cowles Commission. In 1957, he went to the University of Rochester to head the economics department there, and he remains at Rochester, now Wilson Professor Emeritus of (...) Economics. McKenzie's most significant research was undertaken during a period that saw the development of the major themes of neoclassical economics and the use of fundamental mathematical methods to do so. McKenzie contributed to both aspects of this research program. He helped shape the direction of the field and, at Rochester, influenced generations of future scholars. In 2002, The MIT Press published McKenzie's Classical General Equilibrium Theory, a detailed summary of the model and methodology. This book, collecting his most important papers in the form in which they were originally published, can be seen as a companion to that one. The many state-of-the-art results achieved in McKenzie's original papers present sophisticated theoretical work that will continue to be important to future developments in the discipline. (shrink)

In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic, an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models and their characterisation in terms of Equilibrium Logic. We show that Kamp’s translation can also be used to translate the new extension of TEL with past operators into Quantified Equilibrium Logic. Additionally, we provide a method for removing past operators that consists in replacing past-time subformulas by fresh (...) auxiliary atoms, obtaining an equivalent formula, modulo the original alphabet. (shrink)

General equilibrium analysis is a theoretical structure which focuses research in economics. On this point economists and philosophers agree. Yet studies in general equilibrium analyses are not well understood in the sense that, though their importance is recognized, their role in the growth of economic knowledge is a subject of some controversy. Several questions organize an appraisal of general equilibrium analysis. These questions have been variously posed by philosophers of science, economic methodologists, and historians of economic thought. (...) Is general equilibrium analysis a theory, a paradigm, a scientific research program, or a set of interrelated theories? Is it not any of these but rather a branch of applied mathematics? Is GE analysis associated with the growth of knowledge, or does it waste intellectual resources? How is it related to other work in economics? Is it connected to, or is it apart from, the concerns of applied economists? (shrink)

In recent work, semantic games of independence-friendly logic were studied in strategic form in terms of Nash equilibria. The class of strategic games of independence-friendly logic is contained in the class of win-loss, zero-sum two-player games. In this note we draw on the theory of linear programming to develop tools to analyze the value of such games. We give two applications of these tools to independence-friendly logic under the so-called equilibrium semantics.

1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...

The theory of competition has held a central place in economic analysis since Adam Smith. This book, written by one of the most distinguished of contemporary economic theorists, reports on a major research program to provide strategic foundations for the theory of perfect competition. Beginning with a concise survey of how the theory of competition has evolved, Gale makes extensive and rigorous use of dynamic matching and bargaining models to provide a more complete description of how a competitive equlibrium (...) is achieved. Whereas economists have made use of a macroscopic description of markets in which certain behavioral characteristics, such as price-taking behavior, are taken for granted, Gale uses game theory to re-evaluate this assumption, beginning with individual agents and modelling their strategic interaction. A strategic foundation for competitive equilibrium shows how such interaction leads to competitive, price-taking behavior. Essential reading for graduate courses in game theory and general equilibrium. (shrink)

In the history of science, the birth of classical chemistry and thermodynamics produced an anomaly within Newtonian mechanical paradigm: force and acceleration were no longer citizens of new cited sciences. Scholars tried to reintroduce them within mechanistic approaches, as the case of the kinetic gas theory. Nevertheless, Thermodynamics, in general, and its Second Law, in particular, gradually affirmed their role of dominant not-reducible cognitive paradigms for various scientific disciplines: more than twenty formulations of Second Law—a sort of indisputable intellectual wealth—are (...) conceived after 1824 Sadi Carnot’s original statement and a multitude of entropy functions are proposed after 1865 Clausius’ former definition. Furthermore, at the end of nineteenth century, thermodynamics extended its cognitive domain to chemistry. Mainly thanks to Gibbs, a brand new discipline—chemical thermodynamics or physical chemistry—gradually affirmed its role inside the scientific community. This paper reports the former results of collaborative research program in the History and Epistemology of Science as well as Nature of Science Teaching aimed at retracing the foundations of the physical chemistry. Specifically, the research is structured in three parts: historical-epistemic reflections on fundamental thermodynamic concepts and principles—such as reversible process, heat, temperature, thermal equilibrium and Clausius’ Second Law—that play a structural role inside modern physical chemistry; panoramic overview on the entropy, whose polysemy makes it one of the most demanding concepts for scholars, teachers and students while approaching thermodynamics; conceptualization of chemical equilibrium as complex entity according to the dual epistemological approach offered by Gibbs’ thermodynamic model and the kinetic standpoint by Guldberg and Waage. In particular, the present work details an original reading of thermodynamic principles with the aim of setting forth a rationalized multidisciplinary substrate whereon the foundational concepts of reversible process and thermal equilibrium can be set. (shrink)

In the history of science, the birth of classical chemistry and thermodynamics produced an anomaly within Newtonian mechanical paradigm: force and acceleration were no longer citizens of new cited sciences. Scholars tried to reintroduce them within mechanistic approaches, as the case of the kinetic gas theory. Nevertheless, Thermodynamics, in general, and its Second Law, in particular, gradually affirmed their role of dominant not-reducible cognitive paradigms for various scientific disciplines: more than twenty formulations of Second Law—a sort of indisputable intellectual wealth—are (...) conceived after 1824 Sadi Carnot’s original statement and a multitude of entropy functions are proposed after 1865 Clausius’ former definition. Furthermore, at the end of nineteenth century, thermodynamics extended its cognitive domain to chemistry. Mainly thanks to Gibbs, a brand new discipline—chemical thermodynamics or physical chemistry—gradually affirmed its role inside the scientific community. This paper reports the former results of collaborative research program in the History and Epistemology of Science as well as Nature of Science Teaching aimed at retracing the foundations of the physical chemistry. Specifically, the research is structured in three parts: historical-epistemic reflections on fundamental thermodynamic concepts and principles—such as reversible process, heat, temperature, thermal equilibrium and Clausius’ Second Law—that play a structural role inside modern physical chemistry; panoramic overview on the entropy, whose polysemy makes it one of the most demanding concepts for scholars, teachers and students while approaching thermodynamics; conceptualization of chemical equilibrium as complex entity according to the dual epistemological approach offered by Gibbs’ thermodynamic model and the kinetic standpoint by Guldberg and Waage. In particular, the present work details an original reading of thermodynamic principles with the aim of setting forth a rationalized multidisciplinary substrate whereon the foundational concepts of reversible process and thermal equilibrium can be set. (shrink)

This paper was originally presented at the annual meeting of the program board of the Division of Overseas Ministries of the National Council of Churches. It followed a discussion by Jorgen Randers showing the implications of present world trends in growth of population and industrialization, depletion of natural resources, rise in population, and full utilization of agricultural land. Referring to the two hours of his talk and the ensuing discussion, Randers said, “The entire purpose is to convince you that (...) exponential growth cannot go on forever in a world of fixed size.” Randers stressed that overtaxing of the natural environment is caused more by industrialization than by population. Industrial processes use natural resources and emit pollution. Capital‐intensive agriculture in time decreases the productivity of land. Limiting of capital accumulation is as necessary as limiting of population. World civilization must and will move from growth to equilibrium, either by human choice or by the pressure of natural and social forces.Many trade‐offs and choices lie before us in the approaching equilibrium. We can press forward along the historical growth curves, exceed the limits of the world environment, and endure a collapse of population and industrialization back to a level the world can support. Or we can choose a redirection of law, policies, and religions to create a smooth transition to world equilibrium. Even in choosing equilibrium, alternatives arise. The higher the population, the lower will be the achieveable standard of living and quality of life. Trade‐offs will be made consciously or implicitly between advantages in the immediate future compared to advantages in the distant future. An inherent conflict exists between time horizons. Choosing to maximize the present quality of life condemns future generations to suffer for their predecessors' advantage.The reader should, if possible, read first any of those cited in notes1, 2, or 6 listed at the end of this paper before reading the following text, —J A Y W. FORRESTER. (shrink)

Macroeconomics is evolving in an almost dialectic fashion. The latest evolution is the development of a new synthesis that combines insights of new classical, new Keynesian and real business cycle traditions into a dynamic, stochastic general equilibrium model that serves as a foundation for thinking about macro policy. That new synthesis has opened up the door to a new antithesis, which is being driven by advances in computing power and analytic techniques. This new synthesis is coalescing around developments in (...) complexity theory, automated general to specific econometric modeling, agent-based models, and non-linear and statistical dynamical models. This book thus provides the reader with an introduction to what might be called a Post Walrasian research program that is developing as the antithesis of the Walrasian DSGE synthesis. (shrink)

The search for symmetry is part of the fundamental scientific paradigm in mathematics and physics. Can this be valid also for economics? This book represents an attempt to explore this possibility. The behavior of price-taking producers, monopolists, monopsonists, sectoral market equilibria, behavior under risk and uncertainty, and two-person zero- and non-zero-sum games are analyzed and discussed under the unifying structure called the linear complementarity problem. Furthermore, the equilibrium problem allows for the relaxation of often-stated but unnecessary assumptions. This unifying (...) approach offers the advantage of a better understanding of the structure of economic models. It also introduces the simplest and most elegant algorithm for solving a wide class of problems. (shrink)

The book is very well structured to support practical skills development in understanding DSGE modelling through exercises to graduate a user knowledge on macroeconomic application relevant for policy decisions through use of scientific programs like DYNARE /IRIS, appropriate for use with MatLab/Octave. The author also provided useful references for the more inquisitive reader or practitioner to develop his / her ontological quest for further knowledge in the macroeconomic management of a state (Jackson, 2016). On the basis of relevance of its (...) contents pertaining to theoretical application of macroeconomic policy and management of an economy, I strongly recommend this book to anyone preparing for graduate courses in Economics and related areas like Econometrics, Economic Policy Management and also, to the practitioner-researcher engaged in macroeconomic model construction and policy formulation. (shrink)

This article presents two theorems: a generalization of Löb’s Theorem that applies to formal proof systems operating with bounded computational resources, such as formal verification software or theorem provers, and a theorem on the robust cooperation of agents that employ proofs about one another’s source code as unexploitable criteria for cooperation. The latter illustrates a capacity for outperforming classical Nash equilibria and correlated equilibria, attaining mutually cooperative program equilibrium in the Prisoner’s Dilemma while remaining unexploitable, i.e., sometimes achieving (...) the outcome, and never receiving the outcome as player 1. (shrink)

Could a computer be programmed to make moral judgments about cases of intentional harm and unreasonable risk that match those judgments people already make intuitively? If the human moral sense is an unconscious computational mechanism of some sort, as many cognitive scientists have suggested, then the answer should be yes. So too if the search for reflective equilibrium is a sound enterprise, since achieving this state of affairs requires demarcating a set of considered judgments, stating them as explanandum sentences, (...) and formulating a set of algorithms from which they can be derived. The same is true for theories that emphasize the role of emotions or heuristics in moral cognition, since they ultimately depend on intuitive appraisals of the stimulus that accomplish essentially the same tasks. Drawing on deontic logic, action theory, moral philosophy, and the common law of tort, particularly Terry's five-variable calculus of risk, I outline a formal model of moral grammar and intuitive jurisprudence along the foregoing lines, which defines the abstract properties of the relevant mapping and demonstrates their descriptive adequacy with respect to a range of common moral intuitions, which experimental studies have suggested may be universal or nearly so. Framing effects, protected values, and implications for the neuroscience of moral intuition are also discussed. (shrink)

A hypothesis about sensorimotor integration (the λ model) is described and applied to movement control and kinesthesia. The central idea is that the nervous system organizes positional frames of reference for the sensorimotor apparatus and produces active movements by shifting the frames in terms of spatial coordinates. Kinematic and electromyographic patterns are not programmed, but emerge from the dynamic interaction among the system s components, including external forces within the designated frame of reference. Motoneuronal threshold properties and proprioceptive inputs to (...) motoneurons may be cardinal components of the physiological mechanism that produces positional frames of reference. The hypothesis that intentional movements are produced by shifting the frame of reference is extended to multi-muscle and multi-degrees-of-freedom systems with a solution of the redundancy problem that allows the control of a joint alone or in combination with other joints to produce any desired limb configuration and movement trajectory. The model also implies that for each motor behavior, the nervous system uses a strategy that minimizes the number of changeable control variables and keeps the parameters of these changes invariant. Examples are provided of simulated kinematic and electromyographic signals from single- and multi-joint arm movements produced by suggested patterns of control variables. Empirical support is provided and additional tests of the model are suggested. The model is contrasted with others based on the ideas of programming of motoneuronal activity, muscle forces, stiffness, or movement kinematics. (shrink)

Between December 14 and 20, 1965, the World Health Organization Scientific Group on Haemoglobinopathies and Allied Disorders metatthe Geneva agency's headquarters. The group comprised eight well-known physicians including Tulio Arends, a leading Latin American human geneticist from the Venezuelan Institute for Scientific Investigations. Others came from North America, Northern and Southern Europe, the Middle East and South East Asia, an array that reflected the delicate geopolitical equilibriums of postwar international health programs, but also the development of highly specialized biomedical research (...) around the globe. They elected Herman Lehmann, from the Abnormal Haemoglobin Research Unit of the Medical Research... (shrink)

Could an artificial intelligence become a legal person? As of today, this question is only theoretical. No existing computer program currently possesses the sort of capacities that would justify serious judicial inquiry into the question of legal personhood. The question is nonetheless of some interest. Cognitive science begins with the assumption that the nature of human intelligence is computational, and therefore, that the human mind can, in principle, be modelled as a program that runs on a computer. Artificial (...) intelligence (AI) research attempts to develop such models. But even as cognitive science has displaced behavioralism as the dominant paradigm for investigating the human mind, fundamental questions about the very possibility of artificial intelligence continue to be debated. This Essay explores those questions through a series of thought experiments that transform the theoretical question whether artificial intelligence is possible into legal questions such as, "Could an artificial intelligence serve as a trustee?" What is the relevance of these legal thought experiments for the debate over the possibility of artificial intelligence? A preliminary answer to this question has two parts. First, putting the AI debate in a concrete legal context acts as a pragmatic Occam's razor. By reexamining positions taken in cognitive science or the philosophy of artificial intelligence as legal arguments, we are forced to see them anew in a relentlessly pragmatic context. Philosophical claims that no program running on a digital computer could really be intelligent are put into a context that requires us to take a hard look at just what practical importance the missing reality could have for the way we speak and conduct our affairs. In other words, the legal context provides a way to ask for the "cash value" of the arguments. The hypothesis developed in this Essay is that only some of the claims made in the debate over the possibility of AI do make a pragmatic difference, and it is pragmatic differences that ought to be decisive. Second, and more controversially, we can view the legal system as a repository of knowledge-a formal accumulation of practical judgments. The law embodies core insights about the way the world works and how we evaluate it. Moreover, in common-law systems judges strive to decide particular cases in a way that best fits the legal landscape-the prior cases, the statutory law, and the constitution. Hence, transforming the abstract debate over the possibility of AI into an imagined hard case forces us to check our intuitions and arguments against the assumptions that underlie social decisions made in many other contexts. By using a thought experiment that explicitly focuses on wide coherence, we increase the chance that the positions we eventually adopt will be in reflective equilibrium with our views about related matters. In addition, the law embodies practical knowledge in a form that is subject to public examination and discussion. Legal materials are published and subject to widespread public scrutiny and discussion. Some of the insights gleaned in the law may clarify our approach to the artificial intelligence debate. (shrink)

_Locked_ and _unlocked_ strategies are illustrated in this article as concepts that deal with important cognitive aspects of deep learning systems. They indicate different inference routines that refer to poor (locked) to rich (unlocked) cases of creative production of creative cognition. I maintain that these differences lead to important consequences when we analyze computational deep learning programs, such as AlphaGo/AlphaZero, which are able to realize various types of abductive hypothetical reasoning. These programs embed what I call locked abductive strategies, so, (...) even if they present spectacular performances for example in games, they are characterized by poor types of hypothetical creative cognition insofar as they are constrained in what I call _eco-cognitive openness_. This openness instead characterizes unlocked human cognition that pertains to higher kinds of abductive reasoning, in both the creative and diagnostic cases, in which cognitive strategies are instead unlocked. This special kind of “openness” is physically rooted in the fundamental character of the human brain as an open system constantly coupled with the environment (that is, an “open” or “dissipative” system): its activity is the uninterrupted attempt to achieve the equilibrium with the environment in which it is embedded, and this interplay can never be switched off without producing severe damage to the brain. The brain cannot be conceived as deprived of its physical quintessence that is its openness. In the brain, contrary to the computational case, ordering is not derived from the outside thanks to what I have called in a recent book “computational domestication of ignorant entities”, but it is the direct product of an “internal” open dynamical process of the system. (shrink)

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I (...) note in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

Transcription factor (TF) signaling regulates gene transcription and requires a complex network of proteins. This network includes co‐activators, co‐repressors, multiple TFs, histone‐modifying complexes, and the basal transcription machinery. It has been widely appreciated that pioneer factors, such as FoxA1 and GATA1, play an important role in opening closed chromatin regions, thereby allowing binding of a secondary factor. In this review we will focus on a newly proposed model wherein multiple TFs, such as steroid receptors (SRs), can function in a pioneering (...) role. This model, termed dynamic assisted loading, integrates data from widely divergent methodologies, including genome wide ChIP‐Seq, digital genomic footprinting, DHS‐Seq, live cell protein dynamics, and biochemical studies of ATP‐dependent remodeling complexes, to present a real time view of TF chromatin interactions. Under this view, many TFs can act as initiating factors for chromatin landscape programming. Furthermore, enhancer and promoter states are more accurately described as energy‐dependent, non‐equilibrium steady states. (shrink)

Certain extensions of Nelson's constructive logic N with strong negation have recently become important in arti.cial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's .rst-order logic as a basis for de.ning nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for .rst-order here-and-there logics, and their (...) minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by QNc5, as a basis for de.ning a .rst-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of QNc5, including Skolem forms and Herbrand theorems and Interpolation, and show that the .rst-oder version of equilibrium logic can be used as a foundation for answer set inference. (shrink)

Stephen Jay Gould is rightly remembered for many different kinds of contributions to our intellectual life. I focus on his criticisms of uses of evolutionary ideas to defend inegalitarian doctrines and on his attempts to expand the framework of Darwinian evolutionary theory. I argue that his important successes in the former sphere are applications of the idea of local critique, grounded in careful attention to the details of the inegalitarian proposals. As he became more concerned with the second project, Gould (...) was inclined to suggest that the abuses of evolutionary ideas rested on an insufficiently expanded Darwinism. I suggest that what is valuable in Gould's contribution to general evolutionary theory is the original claim about punctuated equilibrium (advanced, with Niles Eldredge in1972), and the careful defense of that claim through the accumulation of paleontological evidence. I try to show that the more ambitious program of a hierarchical expansion of neo-Darwinism is misguided, and that the endeavor to go beyond local critique fails. (shrink)

The development of modern science, as everybody knows, has come largely through naturalizing domains of inquiry that were historically parts of philosophy. Theories based on mere speculation about matters empirical, such as Aristotle‟s view about teleology in nature, were replaced with law-based, predictive explanatory theories that invoked empirical data as supporting evidence. Although philosophers have, by and large, applauded such developments, inquiry into normative domains presents a different set of problems, and there is no consensus about whether such an inquiry (...) can be naturalized. Since the early twentieth century, attempts at naturalizing ethics have been at the center of heated debates, and later attempts at naturalizing epistemology triggered similarly contentious disputes. In ethics, of course, it was not only the Humean and Moorean arguments of early nonnaturalists and noncognitivists that raised doubts about naturalism, but also the arguments of nihilists, who later joined the chorus of criticism, rejecting any ontology that would countenance moral properties and facts. In epistemology, Quinean eliminativism brought reactions that questioned the consistency of naturalism and asked whether it could accommodate the normativity of fundamental epistemic notions such as belief and knowledge. There have so far been no similarly substantial reactions to attempts at naturalizing inquiry into another normative domain, that of reasoning. We hope to remedy that by offering 1 here a response to some recent efforts by experimental philosophers. Experimentalism about reasoning is a radical naturalistic program that rejects reflective-equilibrium accounts of the epistemic grounds for the rules of inference. If we ignore other attempts at justifying those rules a priori by, for instance, appeal to self-evidence, then those invoking Goodmanian reflective equilibrium can be considered the standard analytic accounts (hereafter, „SAA‟). Of concern here is an objection to SAA, the cognitive-diversity argument,1 that is part of a broader experimentalist critique of analytic epistemology.. (shrink)

This unusual book takes the form of a dialogue between a linguist and another scientist. This unusual book takes the form of a dialogue between a linguist and another scientist. The dialogue takes place over six days, with each day devoted to a particular topic--and the ensuing digressions. The role of the linguist is to present the fundamentals of the minimalist program of contemporary generative grammar. Although the linguist serves essentially as a voice for Noam Chomsky's ideas, he is (...) not intended to be a portrait of Chomsky himself. The other scientist functions as a kind of devil's advocate, making the arguments that linguists tend to face from those in the "harder" sciences. The author does far more than simply present the minimalist program. He conducts a running argument over the status of theoretical linguistics as a natural science. He raises the general issues of how we conceive words, phrases, and transformations, and what these processes tell us about the human mind. He also attempts to reconcile generative grammar with the punctuated equilibrium version of evolutionary theory. In his foreword, Massimo Piatelli-Palmarini says, "The vast number of readers who have been enthralled by Goedel, Escher, Bach may well like also this syntactic companion, a sort of 'Chomsky, Fibonacci, Bach.'". (shrink)

Supersaturated hcp f -Zr alloys containing 22-28 at.% N were prepared by nitriding sheets of Zr in an atmosphere of high-purity N 2 , followed by homogenization under high-purity Ar gas. Quenching and isothermal ageing of the alloys for various times between 500 and 650°C resulted in precipitation of a metastable phase, rather than the equilibrium phase ZrN. This investigation focused on determining the structure, orientation relationship, habit plane, morphology, growth kinetics and atomic growth mechanism of this non-equilibrium (...) precipitate using transmission electron microscopy imaging and diffraction techniques, high-resolution transmission electron microscopy, electron-energy-loss spectroscopy and various simulation programs. The precipitate, which was arbitrarily designated the  phase, has a monoclinic Bravais lattice. Its lattice parameters are a = 0.32 nm, b = 0.60 nm, c = 0.56 nm, f = g = 90° and n = 121.5°. Its orientation relationship with the f matrix is $$ _alpha /mskip-2/ _xiquad adquad [01bar 10] _alpha /mskip-2/ [001]_xi, $$ and the average habit plane of lenticularly shaped precipitates is $_alpha$ . Determination of the structure and other aspects of the phase transformation are discussed. (shrink)

Global health research partnerships are increasingly taking the form of consortia. Recent scholarship has proposed what features of governance may be necessary for these consortia to advance justice in global health. That guidance purports three elements of global health research consortia are essential — their research priorities, research capacity development strategies, research translation strategies — and should be structured to promote the health of the worst-off globally. This paper adopted a reflective equilibrium approach, testing the proposed ethical guidance against (...) the experience of a global health research consortium with equity objectives. Case study research was performed with Future Health Systems, a health systems research consortium funded over two phases. Data on FHS Phase-2 were gathered through in-depth interviews with steering committee members and junior researchers and collection of consortium-related documents. Thematic analysis of the data for consistency with the proposed guidance generated recommendations for how the guidance might be better articulated and identified areas where it could usefully be expanded. Factors facilitating FHS alignment with the ethical guidance were also identified, including early engagement and partnership with low and middle-income country stakeholders, the learning developed during FHS Phase-1, and aspects of the grant program funding it. (shrink)

Methodological naturalism arises as a topic in metaethics in two ways. One is the issue of whether we should be methodological naturalists when doing our moral theorising, and another is whether we should take a naturalistic approach to metaethics itself. Interestingly, these can come apart, and some naturalist programs in metaethics justify a non-scientific approach to our moral theorising. This paper discusses the range of approaches that fall under the general umbrella of methodological naturalism, and how naturalists view the role (...) of science in ethics and metaethics. It discusses how naturalism interacts with the use of intuitions, using conceptual analysis, and reflective equilibrium methods. Finally, it discusses some ways using scientific investigation can make distinctive contributions to ethics and metaethics. (shrink)

After the birth of thermodynamics’ second principle—outlined in Carnot's Réflexions sur la puissance motrice du feu —several studies provided new arguments in the field. Mainly, they concerned the thermodynamics’ first principle—including energy conceptualisation—, the analytical aspects of the heat propagation, the statistical aspects of the mechanical theory of heat. In other words, the second half of nineteenth century was marked by an intense interdisciplinary research activity between physics and chemistry: new disciplines applied to the heat developed in the form of (...) analytical, mechanical and statistical theories. Inside all these theories, entropy—the brand-new function that Clausius coined in his Mechanical theory of heat—started to play a central epistemic role. In the present paper, we analyse some steps of the historical process of conceptualisation of such function from 1850 to 1902. Particularly, we retrace the historical–foundational path that—starting from Clausius’ Second Law—lead Boltzmann and Gibbs to their distinguished formulations of statistical entropy. As usual, our research has been unrolled through the analyses of primary sources and by leaning on critical readings of the secondary literature. As for the methodological approach, text analysis of historical documents constituted our privileged modus operandi. This paper is the expression of a collaborative historical research program focused on the thermodynamic foundations of physics–chemistry relationship; early results have already been published by the same authors upon the concepts of reversibility––and––thermal equilibrium. (shrink)

The measurement of force is based on a formal law of additivity, which characterizes the effects of two or more configurations on the equilibrium of a material point. The representing vectors (resultant forces) are additive over configurations. The existence of a tight interrelation between the force vector and the geometric space, in which motion is described, depends on observations of partial (directional) equilibria; an axiomatization of this interrelation yields a proof of part two of Newton's second law of motion. (...) The present results (which were derived from a curious and deep isomorphism between force measurement and trichromatic color measurement) yield a kind of subunit, which needs to be incorporated into more complete axiomatizations of mechanics that would fulfill the Mach-Kirchhoff program. (shrink)

During the past two decades non-cooperative game theory has become a central topic in economic theory. Many scholars have contributed to this revolution, none more than John Nash. Following the publication of von Neumann and Morgenstern's book, it was Nash's papers in the early fifties which pointed the way for future research in game theory. The notion of Nash equilibrium is indispensable. Nash's formulation of the bargaining problem and the Nash bargaining solution constitute the cornerstone of modern bargaining theory. (...) His insights into the non-cooperative foundations of cooperative game theory initiated an area of research known as the Nash program. Nash's analysis of the demand game in which he uses a perturbation of a game to select an equilibrium inspired the construction of several refinements of the notion of Nash equilibrium. A scholar's influence does not necessarily qualify him for a Nobel prize. One may argue that such awards are a social institution established to serve social goals. It is legitimate to ask what message the Swedish Academy sends to the scientific community and the rest of the world. (shrink)

Philosophical discussion of molecular and developmental biology began in the late 1960s with the use of genetics as a test case for models of theory reduction. With this exception, the theory of natural selection remained the main focus of philosophy of biology until the late 1970s. It was controversies in evolutionary theory over punctuated equilibrium and adaptationism that first led philosophers to examine the concept of developmental constraint. Developmental biology also gained in prominence in the 1980s as part of (...) a broader interest in the new sciences of self-organization and complexity. The current literature in the philosophy of molecular and developmental biology has grown out of these earlier discussions under the influence of twenty years of rapid and exciting growth of empirical knowledge. Philosophers have examined the concepts of genetic information and genetic program, competing definitions of the gene itself and competing accounts of the role of the gene as a developmental cause. The debate over the relationship between development and evolution has been enriched by theories and results from the new field of 'evolutionary developmental biology'. Future developments seem likely to include an exchange of ideas with the philosophy of psychology, where debates over the concept of innateness have created an interest in genetics and development. (shrink)

Various potential strategic interactions between a “strong” Artificial intelligence and humans are analyzed using simple 2 × 2 order games, drawing on the New Periodic Table of those games developed by Robinson and Goforth. Strong risk aversion on the part of the human player leads to shutting down the AI research program, but alternative preference orderings by the human and the AI result in Nash equilibria with interesting properties. Some of the AI-Human games have multiple equilibria, and in other (...) cases Pareto-improvement over the Nash equilibrium could be attained if the AI’s behavior towards humans could be guaranteed to be benign. The preferences of a superintelligent AI cannot be known in advance, but speculation is possible as to its ranking of alternative states of the world, and how it might assimilate the accumulated wisdom of humanity. (shrink)

InStabilizing Dynamics Roy Weintraub provides a history of stability theory from the work of Hicks and Samuelson in the late 1930s to the Gale and Scarf counterexamples in the 1960s. Unlike his earlier work in the history of general equilibrium theory this recent contribution is not an attempt to fit the Walrasian program into the narrow framework of some particular philosophy of natural science. Rather, the theme inStabilizing Dynamicsis broadly social constructivist. Simply put, the constructivist view of science (...) is “that scientific knowledge itself is constructed socially, in communities of scientists: Knowledge is constructed, not found”. (shrink)

In its classical conception, game theory aspires to be a determinate decision theory for games, understood as elements of a structurally specified domain. Its aim is to determine for each game in the domain a complete solution to each player's decision problem, a solution valid for all real-world instantiations, regardless of context. "Permissiveness" would constrain the theory to designate as admissible for a player any conjecture consistent with the function's designation of admissible strategies for the other players. Given permissiveness and (...) other appropriate constraints, solution sets must contain only Nash equilibria and at least one pure-strategy equilibrium, and there is no solution to games in which no symmetry invariant set of pure-strategy equilibria forms a Cartesian product. These results imply that the classical program is unrealizable. Moreover, the program is implicitly committed to permissiveness, through its common-knowledge assumptions and its commitment to equilibrium. The resulting incoherence deeply undermines the classical conception in a way that consolidates a long series of contextualist criticisms. (shrink)

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic (...) and its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic. (shrink)

Living kidney donation provides a promising opportunity in situations where the scarcity of cadaveric kidneys is widely acknowledged. While many patients and their relatives are willing to accept its benefits, others are concerned about living kidney programs; they appear to feel pressured into accepting living kidney transplantations as the only proper option for them. As we studied the attitudes and views of patients and their relatives, we considered just how actively health care professionals should encourage living donation. We argue that (...) active interference in peoples’ personal lives is justified - if not obligatory. First, we address the ambiguous ideals of non-directivity and value neutrality in counselling. We describe the main pitfalls implied in these concepts, and conclude that these concepts cannot account for the complex reality of living donation and transplantation. We depict what is required instead as truthful information and context-relative counselling. We then consider professional interference into personal belief systems. We argue that individual convictions are not necessarily strong, stable, or deep. They may be flawed in many ways. In order to justify interference in peoples’ personal lives, it is crucial to understand the structure of these convictions. Evidence suggests that both patients and their relatives have attitudes towards living kidney donation that are often open to change and, accordingly, can be influenced. We show how ethical theories can account for this reality and can help us to discern between justified and unjustified interference. We refer to Stephen Toulmin’s model of the structure of logical argument, the Rawlsian model of reflective equilibrium, and Thomas Nagel’s representation of the particularistic position. (shrink)

The economics of search is a prominent component of economic theory, and it has a richness and elegance that underpins a host of practical applications. In this book Brian and John McCall present a comprehensive overview of the economic theory of search, from the classical model of job search formulated 40 years ago to the recent developments in equilibrium models of search. The book gives decision-theoretic foundations to seemingly slippery issues in labour market theory, estimation theory and economic dynamics (...) in general, and surveys the entire field of the economics of search, including its history, theory, and econometric applications. Theoretical models of the economics of search are covered as well as estimation methods used in search theory and topics covered include job search, turnover, unemployment, liquidity, house selling, real options and auctions. The mathematical methods used in search theory such as dynamic programming are reviewed as well as structural estimation methods and econometric methods for duration models. The authors also explore the classic sequential search model and its extensions in addition to recent advances in equilibrium search theory. (shrink)

When posing the question "is artificial life possible?", our immediate answer is that on the one hand : of course it is - people make it, and indeed very interesting and even breathtaking structures have already been constructed, such as `aminats', self-reproducing patterns and the other things, we have seen already. In this sense we are forced to take artificial life as a fact (at least as a fact about a new branch of research), nearly in the same way that (...) the philosopher Kant took the theoretical physics of his days, Newtonian physics, as a matter of fact, and then asked: What are the conditions of possibility for this kind of theoretical science? On the other hand: The situation differs from Kant's. Artificial Life does not confront us with an analogy of theoretical mechanics within the field of biology. We face a curious situation: It is not obvious to the majority of biologists that Artificial Life is possible at all, at least in the purely computational sense of `software life'. Probably, most biologists would never call these artificial constructs `living'. Why not? Because the intuitive notions of life and living systems within biology implies, among other things, that living beings are a result of a long, ongoing evolutionary process that have created autonomous organisms, single-celled and multi-celled, that are highly organized, open (non-equilibrium), material thermodynamic systems based on metabolism and some kind of genetic information supported by macromolecules, that only metaphorically resemble a computer program. It is not that.. (shrink)

Hybridisations between related species with divergent ontogenies can provide insights into the bases for evolutionary change in development. One example of such hybridisations involves sea urchin species that exhibit either standard larval (pluteal) stages or those that develop directly from embryo to adult without an intervening feeding larval stage. In such crosses, pluteal features were found to be restored in fertilisations of the eggs of some direct developing sea urchins (Heliocidaris erythrogramma) with the sperm of closely (Heliocidaris tuberculata) and distantly (...) (Pseudoboletia maculata) related species with feeding larvae. Such results can be argued to support the punctuated equilibrium model—conservation in pluteal regulatory systems and a comparatively rapid switch to direct development in evolution.1,2 Generation of hybrids between distantly related direct developers may, however, indicate evolutionary convergence. The ‘rescue’ of pluteal features by paternal genomes may require maternal factors from H. erythrogramma because the larva of this species has pluteal features. In contrast, pluteal features were not restored in hybridisations with the eggs of Holopneustes purpurescens, which lacks pluteal features. How much of pluteal development can be lost before it cannot be rescued in such crosses? The answer awaits hybridisations among indirect and direct developing sea urchins differing in developmental phenotype, in parallel with investigations of the genetic programs involved. BioEssays 26:343–347, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

continent. 2.2 (2012): 155–158 Michel Serres. Biogea . Trans. Randolph Burks. Minneapolis: Univocal Publishing. 2012. 200 pp. | ISBN 9781937561086 | $22.95 Conveying to potential readers the significance of a book puts me at risk of glad handing. It’s not in my interest to laud the undeserving, especially on the pages of this journal. This is not a sales pitch, but rather an affirmation of a necessary work on very troubled terms: human, earth, nature, and the problematic world we made. (...) It is this world that aspirates the silence (so to speak), and therefore the subject which, along with the development of the “made world” exports the excess augmentation of the cosmically missing, this silence of the natural, et cetera. Had we learned from Locke that lesson of “labor,” to consume what we need… but perhaps we need more than what matters? Serres’ Biogea has several functions on this manner, if it is indeed a book to be consumed. First, readers searching for novelistic entertainment have a place to dwell. Biogea deserves a place in your back pocket; biographical generosity and poetic fluidity should satisfy most textual fetishes. For lay philosophers who want to refresh their acumen, Biogea deserves a place on the book shelf, one already reads a sorely needed postmodern tune-up here. Serres’ style is clearly French; he leaves few cheese crumbs on his words, rather preciseness and breathing in the work give way to a sweeping manner that breaks the narrative line of sight. A circular narrative and anachronistic fragmentation of terms allows an abyssal atmosphere to swell, if only to pump into the book the externality of its broader text. Biogea aspires to a higher standard and the book, at times, is thinking this negentropic problem too. Univocal, the publisher, has crafted a book appropriate for the hands to hold and the translations are an achievement of an otherwise difficult writer to translate. Terms are the conditions of a broader text. It is important to note that Serres’ content is as much a thinking of terminal ports. There is a regard for the transportation technology of the written word. For me, this is the mark of genius, a craftiness that tells of a book device that I may trust. Serres is an accomplished thinker and a necessary voice to check the putative trendiness of anti-postmodernist and market-driven theory of endless cultural liquidation. Offering interventions on subjectivity as an open system we are given a chance to affirm the human, not merely to discard it, but to engage its poetic image emotion, the calibratory silent sense of the analogic world; the terms on which we base our efforts. 1 The human is the center of its own negation, constantly mediating it. Something deeper at stake appears in the work then, and it is quite obvious from the onset. Certainly, a book is an intensification of possible text and those who brought this actual book into existence have captured a rarity in regards to the subject matter and artistic accomplishment. I mentioned terms as conditions, so let us understand Biogea as bio-yea, a yes to bios . An affirmation of living and accepting presence for all of its defiance of images, words, and things temporal. Therefore Serres’ existence and its existants plays parts; out of linearity and still like a porous bone pumping blood it manufactures into the fleshy life it becomes. Starting from a man named silence chaos emerges, or the man “Old Taciturn” takes up a journey anticipating a great flood. In other words, a development akin to the one in Genesis. In dealing with this ancestral occupation, fusing Genesis with contemporary philosophical terms, Serres initiates this anachronistic fragmentation under the forming subjectivity of his own autobiography. This mutation in the open system is precisely one of Serres’ terms. There an abyss is at work, stated, but also measured by heels on the ground—the abyss dispatching earthen tensions, that which plays our tunes, that which we abide by and recognize in volcanoes, rivers, oceans, earthquakes and weaponry in the battles of the world. Set in later stages of the book, such tensions are harnessed through scientific principles in an attempt to unify the terms of natural force if only to terminate the world. Thus the elevation of the earth into the world is clearly set forth. Here already, and few pages in, a resonance is set forth under appellations such as the river Garonne, a subjectivity as much as it is inhuman, the river is the inhuman that makes us human. I get the sense that Serres is taking up a challenge issued by Wallace Stevens; namely, that the great poems of heaven and hell have been written, but that only the poem of the earth has resisted composition. 2 On this level we cannot avoid the killing factor of silence, given that our cognition blocks its pure, radical obliteration. Thus a silence of attunement to the earth is in a novel dialectic of the rithmic and rhythm. A technological world, a triumph of termination is set forth. If a text imposes its will given the reader who authorizes it, it is made to convey or convect a presupposition to a reader or its inhabitant(s). Text is therefore both, in-content, contenting, contentedness, and in reading it, a way to navigate self-destruction (dis-content). Here then would one note that the “inhuman” reveals itself, “an aperiodic rhythm of lovers and beloved…the sea as our friend…but as our enemy…maternal vivifying sea.” The sea is an open book, or vaginal birth canal, where the engagement of text comes forth: “…woman sea, open vulva.” One sees like the sea, but only after it, when the uninhabitable truth of inhabiting it switches the polarity of the sailors soul: “I was seeing like the sea” (9-11). In other words, we are invited to embrace the nonsense of the visible. At this point I am taken to Jean-François Lyotard’s work The Inhuman , specifically the first entry on negentropy that would be congruent with Serres’ thematic. 3 The human being exports, deports, or transplants its relation through text, through the system— and this is its sense or relation to silence, to music. Unaware of Serres’ proximity to this work, the concept of gender interrelation as regards a solar catastrophe runs clear. It would be, on this basis, that Serres references his peers, the other texts that, as mentioned above, are discarded in philosophy today. For students of philosophy what we have here is perhaps a gift, a needed project. If silence and death are at work, there is a political valence to deal with, and here, much like the domain of the text and the dominion of the reader, we confront the world of natural, fluid violence. The anti-postmodernist critique is in part based on a weak idea that the loss of ideology, of a world vision, motivates the “correlationist” project. 4 Serres seems to offer another way to view this when he notes that whereas persons “sometimes kill,” it is clearly “the collective” that “always kills” (17). What is the collective today, if not an organizing function we never see yet acts in its favor in the name of truth? One feels a sense of enigma here, if only to link to what Stevens remarked of communism as a “grubby faith,” providing this applies for capitalism as well, namely any ideology of progress overly interested in absolutes. Here we get the sense that the inhuman, silence, this type of killing, always killing, could not be matched by human-made, political dynamos. Or that if it comes to an equilibrium, a catastrophe is never too far from us to read with our heels. We are left to note that the forces of nature presuppose and permeate political systems, the more these systems obtain force, the more the system takes upon itself the proper name of nature that motivates its dissemination, albeit falsely. This note, that in an age of ecocide and technological captivity (sustainability and transparency) political regimes won’t grow our soul-learning ears any larger than our tongues, stands clear to us. The promise of technological desubjectification is here pushed aside. Regarding politics, Serres illustrates this fact: Where did this corpse come from? Who was it? Who killed it? I don’t know. I won’t try to find out. I refuse to get vengeance for it. And I only see Garonne. For our victims, today, are the rivers, too. Their waters have irrigated my life, enchanted my thought, invigorated my body; I’ve known them to be threatening, untamable, as dangerous as the sea when it rages. Yes, murderous. They decided to control their courses; dams, sometimes senseless, destroying sites and valleys, reduced entire populations to servile displacements; programs for the irrigation of thirsty farmland, often beneficial of course, completed their drying up.(22) Serres enters into his idea concerning the captivity of language from the natural into a world system: For thousands of years, we have been licking things with our tongues, covering and daubing them so as to appropriate things for ourselves. If language boils down to a convention, this convention took place between the speakers without consulting the thing named, become as a result the property of those who covered it in this way with their drawn or voiced productions. Malfeasance analyzes these acts of appropriation. Thus every inert object, every living thing as well, sleeps under the covers of signs, a little in the way that, today, a thousand posters shouting messages and ugly riots of color drown, with their filthy flood, the landscapes, or better, exclude them from perception because the meaning, almost nil, of this false language and these base images forms an irresistible source of attraction to our neurons and eyes. This appropriation covers the world’s beauty with ugliness. (38-39) Technological concealment coming to bear, we begin to get a sense of another commentary on the condition of sensing, driving home the necessity of a text dealing with such subject matter to be what its terms insist. Thus toward new openings: The new opening. As low beneath our feet as you like, the Biogea opens us to another space, high enough for us to be able to acquire a wisdom there, that of redeveloping this same place differently from our fathers, this place that’s still politically cut up by old hatreds, beneath the flood of tears and blood that we call history. Without this soft place, spiritually very old, but newly conceived in this way, without the juridical construction of a common good, opposed to our filthy ownership, I don’t see how our planet, hard, will survive. Hardness that depends on a softness, material belonging that depends on this temporary rented location (51). Serres enters into a summit on the content and the structure of his work. Archimedes is brought in with the concept of three volcanoes. Meaning fire, but as well earth, water, air. For it was Archimedes’ war machines that sought to lift the earth, thus bringing in the question of principles of science: “can a principle be invented while controlling its consequences?” (66-7). May the earth be put in a sentence, terminated by terminology, appellations, gone wild? By means of these element-dominating laws, this old physicist began to tear nature away from the ancient myths; by a strange return, today we’re plunging our successes back into the anxieties and terrors from which that ancient physics was born. Yes, our new history of science and technology is plunging, today, as though in a loop, into the fundamental human myths from which Empedocles’ first laws came. A major progression and a regression on the nether side of the origins. Consequently, the contemporary time requires that we try to return to that unity in which the principles of hate and love are at the same time human, living, inert and global. We will never attain a deontology of our knowledge and actions without thinking the subjective, the objective, the collective, and the cognitive all together simultaneously. Here, hate and love are the result of these four components.(71) Working then on the concept of fire-starting mirrors to the atomic annihilation of the Second War, Serres works into the subjectivity in question on the matter of rhythm—say rithmic— precisely at that point: Knowledge is changing today. The all-political is dying; the monarchy of the sciences said to be hard is coming to a close. The science of the things of the world will have to communicate just as much as the things of the world do, which do it much better than humans do, who don’t always want to do it. Let’s celebrate two changes this morning. The first one strikes a new blow to our narcissism. No, knowledge and the world don’t resemble our analytical enjoyments of refined cutting up, of endless debates and of exclusions full of hate. They, on the contrary, form a bloc and a sum, alliance and alloys. Uniting the fields of knowledge among themselves the way the things are connected among themselves, the second newness puts into place sets united by interlacing, webs and simplexes that combine with the things of the world, themselves combined, the combined knowledge that understands them.(130-1) Biogea closes on its opening flood thematic, approaching the initial telos of Genesis. Here the trees are brought into a position with atmosphere, the opaque abyssal reservoir, the tomb of the sun, sea in the polarity of the earthen heaven and hell. The poem of the earth then is silent but deadly, indeed, as funny as that phrase is, mainly a tomb gas. The meaning of the living and the non-meaning of things converge in the muteness of the world; this meaning and non-meaning plunge there and come out, the ultimate eddy. Mundus patet: through a fissure, through an opening, a fault, a cleft come noises, calls as small as these apertures. I’m listening, attentive, I’m translating, I’m advancing in the scaled-down meaning and science. Mundus patet: should the world open greatly, it will launch me into its silence. The totality remains silent. Knowledge expanded in elation. White origin of meaning, fountain of joy. (198) Final Remarks One test of a review is the long term trajectory the referee thinks the book will have. I see Serres’ text lending greatly into the vision of Biogea . In fact, in the vision of the novel inquiries of Stephen Jay Gould’s work there is something to be thought on the level of the individual and the species; namely, that humanity and its uniqueness is in its deferral, its thinking and naming, a thinking surrounded by silence that filters into everything, that pulls us through the world, the kinetic pulse we recognize, and all of that we cleave away in the base philosophical maxim of difference itself. Unique individuals are spatial creatures: we dwell, and we ought to get good at it. Yet this is an imaginative space that, if you are crazy enough to believe it, de-term-ine the conditions of its own terms. That is why we are not merely creating spaces on the acceleration of time, or so this ignoramus thinks, to accidentally transcend. Imagination already has this insatiable silence that we drink up and fail to manifest. Space is timeless. The imagination itself, shared by humans for themselves, their objects, and the species as a whole, is a non-defined space of relation; a whole human trajectory as part of nature, and part of worlds that are the other side of thinking nature, the consequence of it, at least our attempt to do so. Our survival is based on our deliberation, our caution, our natural deconstructive sense toward this silence that is already part of the song, sung, singing of this century without end. Good books will let us inhabit this space and recognize a form of life. Serres’ text moves toward dwelling, as noted, in masterful and accessible ways. The pitched battles are the falling replays of anemic and dead politics. As soon as we realize there is humanity, we may be able to enjoy the end of it, our inhuman capability of listening to silence. NOTES 1. See Michel Serres. The Parasite . Minneapolis: University of Minnesota Press. 2007. 2. Wallace Stevens, “Imagination as Value” [ca. 1945], in Collected Poetry and Prose . New York: The Library of America. 1997. 724-39. 3. Jean-François Lyotard. The Inhuman: Reflections on Time . Trans. Geoffrey Bennington & Rachel Bowlby. Stanford, CA: Stanford University Press. 1992. 4. See the introduction: Quentin Melliassoux. After Finitude: An Essay on the Necessity of Contingency . Trans. Ray Brassier. New York: Continuum. 2008. EDITOR'S NOTE: This review was updated on August 8, 2012. Substantial edits include block quotes from the book under review as well as the inclusion of comments from the author. (shrink)

In this paper, a HIV-TB co-infection model is explored which incorporates a non-linear treatment rate for TB. We begin with presenting a HIV-TB co-infection model and analyze both HIV and TB sub-models separately. The basic reproduction numbers corresponding to HIV-only, TB-only and the HIV-TB full model are computed. The disease-free equilibrium point of the HIV sub-model is shown to be locally as well as globally asymptotically stable when its corresponding reproduction number is less than unity. The HIV-only model exhibits (...) a transcritical bifurcation. On the other hand, for the TB sub-model, the disease-free equilibrium point is locally asymptotically stable but may not be globally asymptotically stable. We have also analyzed the full HIV-TB co-infection model. Numerical simulations are performed to investigate the effect of treatment rate in the presence of resource limitation for TB infected individuals, which emphasize the fact that to reduce co-infection from the population programs to accelerate the treatment of TB should be implemented. (shrink)

In this paper, I would like to show that considering technological models as they arise in engineering disciplines can greatly enrich the philosophical perspective on models. In fluid mechanics, (at least) three types of models are distinguished: mathematical, computer and physical models. Very often, the choice of a particular mathematical, computer or physical model highly affects the type of solutions and the computational time needed for it. Technological models not only aim at a correct description of the physical phenomena, but (...) also for an efficient and accurate simulation. The problem arises how heterogeneous models of an engineering problem can be brought together and be compared to each other as regards their function and technological efficiency. There are two developments in the history of fluid mechanics that have greatly influenced the use of models in the field: The introduction of the concept of the boundary layer by Ludwig Prandtl in 1904 made it possible to apply ideal analytical solutions, which at the time were almost entirely based on Euler’s equations for inviscid fluids, to interesting real cases and to approximate the theoretical Navier-Stokes equations to practical engineering problems, i.e. to cases at high Reynolds numbers. This made it possible to link the empirical tradition of hydraulics with the theoretical tradition of analytical mechanics and therefore lead to a kind of equilibrium in the use of mathematical and physical models. In the 1970s the introduction of the computer has greatly pushed back the importance of both physical and mathematical (analytic) models alike without making them superfluous. There remain, however, three different ways to conceive of physical models in fluid mechanics, and thus of the experimental ingredient, depending on whether they are devised from an analytical, computational or measurement theoretical point of view. Yet even inside the tradition of computer simulation, different practices have formed according to the programming methods used. The choice of method either depends on considerations of efficiency in terms of costs and time, or on historically contingent factors, like availability of instruments and programming packages or the arbitrary choice of a forerunner. Seen from a technological point of view the factors that make models “autonomous agents” and thus (relatively) independent from theory depend on efficiency constraints. Models are means to solve problems in a certain practical perspective by the most efficient means available. To develop a model is a “fast and frugal way” to get to grips with a certain region of reality, whereas the theoretical approach stresses the importance of universal features. (shrink)

I begin by criticizing reductionist knowledge-first epistemology according to which knowledge can be used to reductively analyze other epistemic phenomena. My central concern is that proponents of such an approach commit a similar mistake to the one that they charge their opponents with. This is the mistake of seeking to reductively analyze basic epistemic phenomena in terms of other allegedly more fundamental phenomena. I then turn to non-reductionist brands of knowledge-first epistemology. Specifically, I consider the knowledge norms of assertion and (...) contrast them with an alternative that I have developed elsewhere (Gerken 2011, 2012a, 2013b, 2014, 2015a, 2015c, MS). On the basis of the critical discussion, I question whether a knowledge-first program that is both plausible and distinctive has been identified. On a more positive note, I sketch the contours of an alternative that I label ‘equilibristic epistemology.’ According to this approach, there isn’t a single epistemic phenomenon or concept that is “first.” Rather, there are a number of basic epistemic phenomena that are not reductively analyzable although they may be co-elucidated in a non-reductive manner. This approach preserves some grains of truth in knowledge-first epistemology. For example, it preserves the idea that knowledge can be taken to be explanatorily basic and unanalyzable. However, since no single epistemic phenomenon is first, knowledge is not first. (shrink)