Understanding terrestrial carbon metabolism is critical because terrestrial ecosystems play a major role in the global carbon cycle. Furthermore, humans have severely disrupted the carbon cycle in ways that will alter the climate system and directly affect terrestrial metabolism. Changes in terrestrial metabolism may well be as important an indicator of global change as the changing temperature signal. Improving our understanding of the carbon cycle at various spatial and temporal scales will require the integration of multiple, complementary and independent (...) methods that are used by different research communities. Tools such as air sampling networks, inverse numerical methods, and satellite data allow us to study the strength and location of the global- and continental-scale carbon sources and sinks. Bottom-up studies provide estimates of carbon fluxes at finer spatial scales and examine the mechanisms that control fluxes at the ecosystem, landscape, and regional scales. Bottom-up approaches include comparative and process studies that provide the necessary mechanistic information to develop and validate terrestrial biospheric models. An iteration and reiteration of top-down and bottom-up approaches will be necessary to help constrain measurements at various scales. We propose a major international effort to coordinate and lead research programs of global scope of the carbon cycle. (shrink)

Physicists regularly invoke universal laws, such as those of motion and electromagnetism, to explain events. Biological and medical scientists have no such laws. How then do they acquire a reliable body of knowledge about biological organisms and human disease? One way is by repeatedly returning to, manipulating, observing, interpreting, and reinterpreting certain subjects—such as flies, mice, worms, or microbes—or, as they are known in biology, “model systems.” Across the natural and social sciences, other disciplinary fields have developed canonical examples (...) that have played a role comparable to that of biology’s model systems, serving not only as points of reference and illustrations of general principles or values but also as sites of continued investigation and reinterpretation. The essays in this collection assess the scope and function of model objects in domains as diverse as biology, geology, and history, attending to differences between fields as well as to epistemological commonalities. Contributors examine the role of the fruit fly Drosophila and nematode worms in biology, troops of baboons in primatology, box and digital simulations of the movement of the earth’s crust in geology, and meteorological models in climatology. They analyze the intensive study of the prisoner’s dilemma in game theory, ritual in anthropology, the individual case in psychoanalytic research, and Athenian democracy in political theory. The contributors illuminate the processes through which particular organisms, cases, materials, or narratives become foundational to their fields, and they examine how these foundational exemplars—from the fruit fly to Freud’s Dora—shape the knowledge produced within their disciplines. Contributors Rachel A. Ankeny Angela N. H. Creager Amy Dahan Dalmedico John Forrester Clifford Geertz Carlo Ginzburg E. Jane Albert Hubbard Elizabeth Lunbeck Mary S. Morgan Josiah Ober Naomi Oreskes Susan Sperling Marcel Weber M. Norton Wise. (shrink)

We propose a class of new gauge field models in 2n dimensions, with n not less than4. These systems are unrelated to Yang-Mills, in the sense that their gauge-field Higgs descendants in lower dimensions do not include the Yang-Mills dynamics.

We start with an extended review of classical field approaches to quantum mechanics (QM). In particular, we present Einstein’s dream to exclude particles totally from quantum physics. We also describe the evolution of Einstein’s views: from the invention of the light quantum to a purely classical field picture of quantum reality. Then we present briefly a new field-type model, prequantum classical statistical field theory (PCSFT), which was recently developed in a series of the author’s papers. (...) PCSFT reproduces basic predictions of QM, including correlations for entangled systems. Finally, we present a mathematical model which justifies the usage of Gaussian random fields in PCSFT. Such fields provide an approximative description of extremely dense trains of wave pulses. Possible physical sources of such pulses are discussed. (shrink)

Calculations are made for the components of the field for electrostatic models of a fixed charge and dipole square sheet. The contributions to the field in certain nonaxial positions indicate that the components of the fieldincrease as a function of distance until they reach amaximum where they thendecrease in the normal manner. In the axial position, the field decreases as a function of position confirming analyses described in previous articles of comparisons of axial symmetric charge and dipole (...) fields.On a fait des calculations des components d'un champ dans une modèle electrostatique avec des charges et des dipoles stabiles d'un plan quadrangulair. En position non-axiale speciale les contributions à la champ indiquent que les components croissent en relation de la distance jusqu'à une maximum et après-la ils diminuent normallement. En position axiale les components diminuent en relation de la position, conformant l'analyse décrit dans les publications prochaines.Es sind Berechnungen für die Komponenten eines Feldes in einem elektrostatischen Modell mit stabiler Ladung und Dipol in einem Quadrat gemacht. Die Beiträge dieser Komponenten bei gewissen nicht axialen Stellungen zeigen dass diese Komponenten heranwachsen mit zunehmendem Abstand bis einem Maximum ist erreicht; nachdem findet eine normale Abnahme statt. In axialer Stellung nehmen die Komponenten mit zunehmender Abstand ab, was eine Bestätigung der frühere Untersuchungen ist. (shrink)

Aphids display an abundance of adaptations that are not easily studied in existing model systems. Here we review the biology of a new genomic model system, the pea aphid, Acyrthosiphon pisum. We then discuss several phenomena that are particularly accessible to study in the pea aphid: the developmental genetic basis of polyphenisms, aphid–bacterial symbioses, the genetics of adaptation and mechanisms of virus transmission. The pea aphid can be maintained in the laboratory and natural populations can be studied (...) in the field. These properties allow controlled experiments to be performed on problems of direct relevance to natural aphid populations. Combined with new genomic approaches, the pea aphid is poised to become an important model system for understanding the molecular and developmental basis of many ecologically and evolutionarily relevant problems. BioEssays 28: 747–755, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

The demonstration that pluripotent stem cells could be generated by somatic cell reprogramming led to wonder if these so-called induced pluripotent stem (iPS) cells would extend our investigation capabilities in the cancer research field. The first iPS cells derived from cancer cells have now revealed the benefits and potential pitfalls of this new model. iPS cells appear to be an innovative approach to decipher the steps of cell transformation as well as to screen the activity and toxicity of (...) anticancer drugs. A better understanding of the impact of reprogramming on cancer cell-specific features as well as improvements in culture conditions to integrate the role of the microenvironment in their behavior may strengthen the epistemic interest of iPS cells as model systems in oncology. (shrink)

The phase field microelasticity theory of a three-dimensional, elastically anisotropic system of voids and cracks is proposed. The theory is based on the equation for the strain energy of the continuous elastically homogeneous body presented as a functional of the phase field, which is the effective stress-free strain. It is proved that the stress-free strain minimizing the strain energy of this homogeneous modulus body fully determines the elastic strain and displacement of the body with voids and/or cracks. (...) The proposed phase field integral equation describing the elasticity of an arbitrary system of voids and cracks is exact. The geometry and evolution of multiple voids and/or cracks are described by the phase field, which is the solution of the time-dependent Ginzburg-Landau equation. Other defects, such as dislocations and precipitates, are trivially integrated into this theory. The proposed model does not impose a priori constraints on possible void and crack configurations or their evolution paths. Examples of computations of elastic equilibrium of systems with voids and/or cracks and the evolution of cracks under applied stress are considered. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic (...) and deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, the knowledge norm and the truth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic (...) and deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

In this chapter, the author articulates two Hobbesian models of interpersonal power relations that can be used to understand gender relations: what he will call the dominion model and the deference model. Hobbes himself analyses the relation between men and women through the dominion model. The author lays out Hobbes's model of interpersonal power relations as dominion, including his application of the model to the case of gender relations. The centerpiece of Hobbes's method is his (...) “state of nature” thought experiment. Hobbes's analysis is radical insofar as he understands familial relations according to the general model of interpersonal relations just outlined, without any reference to sui generis principles. The author indicates some shortcomings of the dominion model for grasping contemporary social life. The much‐celebrated social contract between equal male citizens is quietly underpinned by the sexual contract, a contract of domination between men and women. (shrink)

What are the ethical, political and cultural consequences of forgetting how to trust our senses? How can artworks help us see, sense, think, and interact in ways that are outside of the systems of convention and order that frame so much of our lives? In Cultivating Perception through Artworks, Helen Fielding challenges us to think alongside and according to artworks, cultivating a perception of what is really there and being expressed by them. Drawing from and expanding on the work of (...) philosophers such as Luce Irigaray and Maurice Merleau-Ponty, Fielding urges us to trust our senses and engage relationally with works of art in the here and now rather than distancing and systematizing them as aesthetic objects. Cultivating Perception through Artworks examines examples as diverse as a Rembrandt painting, M. NourbeSe Philip's poetry, and Louise Bourgeois' public sculpture, to demonstrate how artworks enact ethics, politics, or culture. By engaging with different art forms and discovering the unique way that each opens us to the world in a new and unexpected ways, Fielding reveals the importance of our moral, political, and cultural lives. (shrink)

Meaning has traditionally been regarded as a problem for philosophers and psychologists. Advances in cognitive science since the early 1960s, however, broadened discussions of meaning, or more technically, the semantics of perceptions, representations, and/or actions, into biology and computer science. Here, we review the notion of “meaning” as it applies to living systems, and argue that the question of how living systems create meaning unifies the biological and cognitive sciences across both organizational and temporal scales.

We define a Lie differential field as a field of characteristic 0 with an action, as derivations on , of some given Lie algebra . We assume that is a finite-dimensional vector space over some sub-field given in advance. As an example take the field of rational functions on a smooth algebraic variety, with .For every simple extension of Lie differential fields we find a finite system of differential equations that characterizes it. We then define, (...) using first-order conditions, a collection of allowed systems of differential equations s.t. the above characteristic systems are allowed. We prove that for every allowed system there exists a generic solution in some extension, and this solution is unique .We construct the model completion of the theory of Lie differential fields by adding axioms stating that every allowed system has almost generic solutions. The construction is a generalization of Blum's axioms for DCF0. We also show that this model completion is ω-stable. (shrink)

Modelers are tackling ever more complex systems with the aid of computation. Model-based inferences can play a key role in their ability to handle complexity and produce reliable or informative models. We study here the role of model-based inference in the modern field of computational systems biology. We illustrate how these inferences operate and analyze the material and theoretical bases or conditions underlying their effectiveness. Our investigation reiterates the significance and centrality of model-based reasoning in day-to-day (...) problem-solving practices, and the role that debugging processes of partial or incomplete models can play in scientific inference and scientific discovery, particularly with respect to complex systems. We present several deeper implications such an analysis has for philosophy of science regarding the role of models in scientific practice. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

This article introduces practical and theoretical investigations in fields of art and technology related to biotelematics, hybridization and transcultural experimentation based on research carried out over the last four years at the Nucleus of Art and New Organisms (NANO). We will approach this subject by considering three main points of view: field theory (Ascott 1980; Nóbrega 2009); the concept of coherence (Ho 1993; Ho & Popp 1989; Simondon 1980); and the state of connectedness (Ascott 2006). These will act as (...) integrative models for the understanding of an emerging hybrid organic structure presented as an aesthetic organism (Nóbrega 2009). The concept of field theory is applied as a working model for the systemic role of information within the immaterial, invisible, dynamical flow that intercommunicates natural (i.e. humans and other living systems) and artificial (i.e. machine) organisms in the process of invention, as well as in the fruition of artwork. In terms of the concept of coherence, we propose the idea of artworks as transducers of energy; more specifically, as resonators of coherent fields that interconnect the artist and audience in an integrated, dynamical whole. Furthermore, we approach the state of connectedness as a fundamental notion for the dynamics involved in the invention, exhibition and absorption of contemporary artworks. NANO Lab’s involvement with artistic research is not only understood as a physical space for experimentation, but also as an environment in which our practice reflects concepts applied in artistic work. In this sense, we can highlight two theoretical references (other than Roy Ascott’s work) which guide this methodology: Humberto Maturana (2001; Varela & Maturana 1992) and the idea of a conserved ‘autopoiesis’, a systematic medium (space) in which all recursive dynamics of reciprocal interactions occur to sustain the survival of life, processes and systems, and where technology can be conceived as a powerful instrument/medium to expand our knowledge about structural and sensitive coherences within living and non-living systems; and, Jorge de Albuquerque Vieira’s (2006; 2009) approach to art as a type of knowledge related to any process that guarantees the permanence or survival of a system based on three major characteristics for the survival of an open system – sensitivity (to operate information flows), memory (to transfer and retain information), and capability (to elaborate or prepare information according to its needs). (shrink)

The development of new theory is often spurred by novel techniques that provide better answers to existing questions, or that allow asking new ones. In the field of strategy and organization science, models of complex adaptive systems have renewed theoretical work on a fundamental question: how organizations can adapt effectively to their environments. This article has three objectives: to highlight some areas where models of organizations as complex adaptive systems have made substantial contributions: the search for solutions to sets (...) of interdependent choices, the challenge of balancing processes of exploration and exploitation, and the organization of imperfect decision makers; to point to several challenges and tradeoffs which can limit the explanatory power and eventual impact of the modeling enterprise; and to sketch out possible future directions of research that would do further justice to the notion of organizations as complex adaptive systems. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Computers are increasingly interactive. They are no more transformational systems producing a final output after a finite execution. Instead, they continuously react in time to external events that modify the course of computing execution. While philosophers have been interested in conceptualizing computers for a long time, they seem to have paid little attention to the specificities of interactive computing. We propose to tackle this issue by surveying the literature in theoretical computer science, where one can find explicit proposals for a (...) model of interactive computing. In that field, the formal modelling of interactive computing systems has been brought down to whether the new interaction models are reducible to Turing Machines. There are three areas where interaction models are framed. The comparison between TMs and interactive system models is at stake in all of them. These areas are namely some works on concurrency by Milner, on Reactive Turing Machines, and on interaction as a new computing paradigm. For each of the three identified models, we present its motivation, sum up its account for interaction and its legacy, and point out issues regarding the understanding of computers. The survey shows difficulties for epistemologists. The reason is that these analyses focus on the formal equivalence between interactive models of computation and classic ones. Such a project is different from addressing how a computing machine can be interactive: in other words, which mechanisms allow it. (shrink)

This article presents a set of principles for knowledge modeling in knowledge organization systems in specific domains. It discusses the representational problem, comparing the abstraction mechanisms present in the theories related to representation in concept systems, taken from foundational authors of information science, computer science, and terminology approaches. Parallel to this context, several representational possibilities arise to assist the modeler in the activity of elaborating models of representation. It describes the application of theoretical and methodological principles when organizing, representing, and (...) managing navigation on learning paths in the corporate education field. As a concept proof, it exposes a conceptual model of learning paths and discusses a literature review on this subject to verify to what extent these principles are being applied. It concludes that we can consider the principles discussed in this study as relevant, since they expand the modelers’ freedom, not making him hostage to a specific model. (shrink)

The relationship between philosophy and research on artificial intelligence (AI) has been difficult since its beginning, with mutual misunderstanding and sometimes even hostility. By contrast, we show how an approach informed by both philosophy and AI can be productive. After reviewing some popular frameworks for computation and learning, we apply the AI methodology of “build it and see” to tackle the philosophical and psychological problem of characterizing perception as distinct from sensation. Our model comprises a network of very simple, (...) but interacting agents which have binary experiences of the “yes/no”-type and communicate their experiences with each other. When does such a network refer to a single agent instead of a distributed network of entities? We apply machine learning techniques to address the following related questions: i) how can the model explain stability of compound entities, and ii) how could the model implement a single task such as perceptual inference? We thereby find consistency with previous work on “interface” strategies from perception research. While this reflects some necessary conditions for the ascription of agency, we suggest that it is not sufficient. Here, AI research, if it is intended to contribute to conceptual understanding, would benefit from issues previously raised by philosophy. We thus conclude the article with a discussion of action-selection, the role of embodiment, and consciousness to make this more explicit. We conjecture that a combination of AI research and philosophy allows general principles of mind and being to emerge from a “quasi-empirical” investigation. (shrink)

When the history of life on earth is viewed as a history of cell division, all of life becomes a single cell lineage. The growth and differentiation of this lineage in reciprocal interaction with its environment can be viewed as a developmental process; hence the evolution of life on earth can also be seen as the development of life on earth. Here, in reviewing this field, some potentially fruitful research directions suggested by this change in perspective are highlighted. Variation (...) and selection become, for example, bidirectional information flows between scales, while the notions of “cooperation” and “competition” become scale relative. The language of communication, inference, and information processing becomes more useful than the language of causation to describe the interactions of both homogeneous and heterogeneous living systems at any scale. Emerging scale‐free theoretical frameworks such as predictive coding and active inference provide conceptual tools for reconceptualizing biology as the study of a unified, multiscale dynamical system. (shrink)

The paper shows how we can add a truth predicate to arithmetic (or formalized syntactic theory), and keep the usual truth schema Tr( ) ↔ A (understood as the conjunction of Tr( ) → A and A → Tr( )). We also keep the full intersubstitutivity of Tr(>A>)) with A in all contexts, even inside of an →. Keeping these things requires a weakening of classical logic; I suggest a logic based on the strong Kleene truth tables, but with → (...) as an additional connective, and where the effect of classical logic is preserved in the arithmetic or formal syntax itself. Section 1 is an introduction to the problem and some of the difficulties that must be faced, in particular as to the logic of the →; Section 2 gives a construction of an arithmetically standard model of a truth theory; Section 3 investigates the logical laws that result from this; and Section 4 provides some philosophical commentary. (shrink)

A number of philosophers :171–187, 2011; Arnold 2011, in Ethics Politics XV:101–138, 2013) have argued that agent-based, evolutionary game theory models of the evolution of cooperation fail to provide satisfying explanations of cooperation because they are too disconnected from actual biology. I show how these criticisms can be answered by employing modeling approaches from the situated cognition research program that allow for more biologically detailed models. Using cases drawn from recent situated cognition modeling research, I show how agent-based models of (...) the evolution of cooperation can become more empirically-informed and relevant to explaining the evolution of cooperation in real populations. I argue that because situated cognition models allow for more detailed representations of not just agents’ brains but bodies and environments as well, they can be informed by a much wider breadth of empirical research than traditional agent-based models. Moreover, because the simulated bodies of these agents exhibit particular behaviors, they can be more readily compared to the behaviors of actual organisms. I conclude that employing situated cognition approaches to modeling the evolution of cooperation is a more promising way to investigate the evolution of cooperation than more traditional agent-based evolutionary game theory models. (shrink)

Questions surrounding the evolution of cooperation, especially human cooperation, have driven research in many disciplines. Two key methodologies used to research and explain the evolution of cooperation are modeling and narrative construction. A number of scientists and philosophers have suggested that advancing research on the evolution of cooperation will require integrating models and narratives. But, relatively little has been said about what challenges exist to integrating models and narratives, how to go about integrating models and narratives, and what particular benefits (...) might be gained by accomplishing such integration. In this dissertation project, I address these questions in order to show how models and narratives can be integrated to produce better research on and explanations of the evolution of cooperation. The major challenge to integrating models and narratives concerning the evolution of cooperation that I address in this dissertation stems from the criticisms that such models and narratives lack empirical support. I answer this challenge by defending models and narratives from these criticisms. In the case of models, I argue both that at least some models of the evolution of cooperation have stronger empirical support than supposed by critics and that evolutionary robotics modeling approaches can be used to create even better models. In the case of narratives, I argue that several means of defending narratives from evidential challenges already developed by philosophers can be used to defend narratives about the evolution of cooperation as well. To show how narratives and models can be integrated to better research and explain the evolution of cooperation, I first establish an account of integration by drawing on the work of other philosophers. I then argue that models and narratives can provide certain benefits to each other via integration. Models can benefit from integration with narratives by using the narratives as sources of information as well as hypotheses to test. Indeed, as models are used to test such hypotheses, they also gain explanatory power. Narratives can benefit from integration with models by using the models as sources of support and constraint. Moreover, models can help deepen the understanding of historical contingency provided by narratives. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

The Ollivier–Poulin–Zurek definition of objectivity provides a philosophical basis for the environment as witness formulation of decoherence theory and hence for quantum Darwinism. It is shown that no account of the reference of the key terms in this definition can be given that does not render the definition inapplicable within quantum theory. It is argued that this is not the fault of the language used, but of the assumption that the laws of physics are independent of Hilbert-space decomposition. All evidence (...) suggests that this latter assumption is true. If it is, decoherence cannot explain the emergence of classicality. (shrink)

This book surveys and examines the most famous philosophical arguments against building a machine with human-level intelligence. From claims and counter-claims about the ability to implement consciousness, rationality, and meaning, to arguments about cognitive architecture, the book presents a vivid history of the clash between the philosophy and AI. Tellingly, the AI Wars are mostly quiet now. Explaining this crucial fact opens new paths to understanding the current resurgence AI (especially, deep learning AI and robotics), what happens when philosophy meets (...) science, and the role of philosophy in the culture in which it is embedded. -/- Organising the arguments into four core topics - 'Is AI possible', 'Architectures of the Mind', 'Mental Semantics and Mental Symbols' and 'Rationality and Creativity' - this book shows the debate that played out between the philosophers on both sides of the question, and, as well, the debate between philosophers and AI scientists and engineers building AI systems. Up-to-date and forward-looking, the book is packed with fresh insights and supporting material, including: -/- - Accessible introductions to each war, explaining the background behind the main arguments against AI - Each chapter details what happened in the AI wars, the legacy of the attacks, and what new controversies are on the horizon. - Extensive bibliography of key readings. (shrink)

Time was when the proofs of the existence of God formed an essential part of any self-respecting system of Philosophy. But for many years now this has ceased to be the case. It may be due to the gradual increase of the influence of Kant that the idea seems to have become accepted, tacitly, in the main, but none the less very widely, that proof or disproof of a belief such as this was hardly a fit subject for philosophical (...) discussion at all. At any rate, it is noteworthy how rarely the question is faced directly in the philosophical discussions of the last forty years or so. What we have had, much more frequently, is discussion about how the God of religion might be thought of and what sort of place He might have in reality as conceived in this or that philosophical system. And certainly discussions on these lines have done much to clarify our conception of the Divine, even if they have sometimes seemed to explain it only by explaining it away altogether, or at any rate to present us with the idea of something which, whatever it is, is certainly not the God of any religion. But of recent years I seem to detect a growing readiness to face the question as squarely as the old theologians, whopropounded the first proofs of God's existence, did. (shrink)

As the HIV epidemic continues to grow worldwide, women are increasingly and disproportionally affected. With the introduction of anti-retroviral medications that have been found to effectively prevent perinatal transmission of HIV, the approach to HIV testing in pregnant women has grown increasingly more controversial. In recent years, the model of voluntary counseling and testing (VCT) has come into question with opt-out testing now advocated for by the Centers for Disease Control and occurring widely in pregnancy. The benefits of opt-out (...) testing are numerous and may justify its use in replacing the VCT that many have come to see as insufficient. An ethical analysis of opt-out testing suggests it may be at odds with true informed consent and involve a degree of coercion that would not be allowed outside the prenatal setting. If opt-out testing is going to remain the standard of care then the ethical issues it raises must be made transparent. Strategies need to be designed for ensuring that HIV counseling and testing in pregnancy is done in accordance with ethical and reproductive rights principles. (shrink)

In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of van den Dries, and the lifting principle we develop is a generalization of the geometric axiomatization of the theory DCF₀ given by Pierce and Pillay. Moreover, it provides a geometric alternative to the axiomatizations obtained (...) by Tressl and Guzy/Point in separate papers where the authors also build general schemes of axioms for some model complete theories of differential fields. We first characterize the existentially closed models of a given theory of differential topological fields and then, under an additional hypothesis of largeness, we show how to modify this characterization to get a general scheme of first-order axioms for the model companion of any large theory of differential topological fields. We conclude with an application of this lifting principle proving that, in existentially closed models of a large theory of differential topological fields, the jet-spaces are dense in their ambient topological space. (shrink)

Marketing communication in modern times is similar to the propaganda model, i.e. persuasive communication in all possible fields of exploitation. The last three decades in Central and Eastern Europe constituted a time of transformation in many areas of social, political and economic life. Thanks to immanent changes depending on the economic situation and the clash of demand and supply, it was possible to create functional models in three selected time intervals distinguished by the author (socialism, transformational period and capitalism). (...) The use of functional models gives the opportunity to indicate how many changes have taken place in such a short period of time both in terms of consumer mentality and in satisfying the needs of producers. The basis for the application of this type of operationalization of the idea is the statement that “the functional model consists in mapping the functioning of a given system. It should give an idea of the functions and processes taking place in a given system” (Sabryła, Trzciniecki 1986). The purpose of this article is also to start a discussion on contemporary models of product communication. (shrink)

We approach the subject of o-minimality from the point of view of tame systems, following the work of Charbonnel and Wilkie. This gives some general sufficient conditions for a system to be model complete and o-minimal. We are then able to obtain the following generalisation of a recent result of Gabrielov : A polynomially bounded o-minimal expansion of the real ordered field by a collection of restricted C∝ functions, which is closed under partial differentiation, is model (...) complete. (shrink)

Prediction and control sufficient for reliable medical and other interventions are prominent aims of modeling in systems biology. The short-term attainment of these goals has played a strong role in projecting the importance and value of the field. In this paper I identify the standard models must meet to achieve these objectives as predictive robustness—predictive reliability over large domains. Drawing on the results of an ethnographic investigation and various studies in the systems biology literature, I explore four current obstacles (...) to achieving predictive robustness; data constraints, parameter uncertainty, collaborative constraints and system-scale requirements. I use a case study and the commentary of systems biologists themselves to show that current practices in the field, rather than pursuing these goals, frequently use models heuristically to investigate and build understanding of biological systems that do not meet standards of predictive robustness but are nonetheless effective uses of computation. A more heuristic conception of modeling allows us to interpret current practices as ways that manage these obstacles more effectively, particularly collaborative constraints, such that modelers can in the long-run at least work towards prediction and control. (shrink)

Hobbes’s science of politics rests on a dual analysis of human beings: humans as complex material bodies in a network of mechanical forces, prone to passions and irrationality; and humans as subjects of right and obligation, morally exhortable by appeal to the standards of reason. The science of politics proposes an absolutist model of politics. If this proposal is not to be idle utopianism, the enduring functioning of the model needs to be compatible with the materialist analysis of (...) human behaviour. In this paper, I argue that Hobbes's attempts to render his science of politics compatible with his materialism are only partly successful; a fuller compatibility is achieved in the political writings of Spinoza. -/- Published with reply: Luke O'Sullivan, 'Sovereigns and citizens: a response to Field', ibid., 221-224. Reprinted as: Sandra Field (2015), 'Hobbes and human irrationality', in T. Nardin (ed.) Rationality in Politics and its Limits, Abingdon: Routledge, 31-44. With reply: Luke O'Sullivan, 'Sovereigns and citizens: a response to Field', ibid., 45-48. (shrink)

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

The development of bioethics primarily at the cognitive level further perpetuates the tendency to construe all aspects of our lives, including our bodies, as technical systems. For example, if we consider the moral issue of organ sales without taking our embodiment into account, there appear to be no sound arguments for opposing such sales. However, it is important to consider the aspects of the phenomenal body that challenge rational deliberation by exploring an embodied approach to the ethical dilemma produced by (...) a proposed kidney exchange as presented in one of Krzysztof Kieslowski's Dekalog films. What is sought is a description of a body-measure that would serve as a critique of strictly cognitive bioethical deliberations. (shrink)

It is standardly assumed in discussions of quantum theory that physical systems can be regarded as having well-defined Hilbert spaces. It is shown here that a Hilbert space can be consistently partitioned only if its components are assumed not to interact. The assumption that physical systems have well-defined Hilbert spaces is, therefore, physically unwarranted.

Drawing briefly on the quite different discourses of schooling-as-performance and education-as-exploration, the paper opens by exploring some of the consequences of the distinction between schooling and education for any system of school inspection. The second section of the paper examines the conceptual and practical inadequacy of ‘accountability’ as an agent of reciprocal public engagement in a participatory democracy. In its stead a more robust, more open notion of ‘reciprocal responsibility’ is offered as a more fitting means of professional and (...) communal renewal. Section III focuses on the relationship between means and ends that is at once central to democracy and so conspicuously absent from current inspection arrangements. The short conclusion suggests we need a radical break from OFSTED if we wish to approximate more closely to our democratic aspirations. (shrink)

Helen Fielding considers how the repetition of the same can be phenomenally shifted. Considering the phenomenon of death by suicide in response to cyberbullying, she asks how cyberspace as a system can be opened up and become more responsive to the living affect of young women subjected to abuse. At the heart of this problem is the breakdown of personal time into objective time, whereby the inexhaustible potentiality of the living world is collapsed into the indifferent infinity of the (...) possible that, unconnected to living existence, is ultimately a closed system. (shrink)

We propose an analysis of the notion of model as crucially related to the notion of point of view. A model in this sense would always suggest a certain way of looking at a real system, a certain way of thinking about it and a certain way of acting upon it. We focus on System Dynamics as a paradigmatic case with respect to many of the features and problems we can find in the field of (...) modelling and simulation. We analyse in detail some of those features. All of them would be present in many other cases of construction and use of models. Furthermore, they would support the thesis that a model can be fruitfully understood as offering a point of view capable of improving our own points of view over a certain system. The point of view offered by the model could include both non-conceptual and conceptual contents, it would have a complex structure and behaviour, and it would have direct consequences on the decisions made by the subjects adopting that point of view. (shrink)

The concept of imperium is central to Spinoza's political philosophy. Imperium denotes authority to rule, or sovereignty. By extension, it also denotes the political order structured by that sovereignty, or in other words, the state. Spinoza argues that reason recommends that we live in a state, and indeed, humans are hardly ever outside a state. But what is the source and scope of the sovereignty under which we live? In some sense, it is linked to popular power, but how precisely, (...) and how is this popular grounding to be reconciled with the absolutist elements in Spinoza's texts? Against prominent liberal and radical democratic interpretations, I argue that Spinoza's insistence on linking imperium to the power of the people amounts to a normative attitude towards politics in which the formal features of a political system are less significant than the concrete everyday functioning of that system. Furthermore, I argue that its good functioning is importantly a product of an institutional order which does not simply defer to human individuality or to the primordial multitude, but instead, actively shapes them. While it may be worthwhile railing against monarchy and aristocracy and demanding liberal or radical democracy, the prior and more important challenge is to increase the robustness and resilience of the multitude within whatever form of state presents itself, through boring, meticulous, and incremental institutional design. For Spinoza, it is a robust and resilient political order that truly merits being called absolute. (shrink)

Drawing briefly on the quite different discourses of schooling-as-performance and education-as-exploration, the paper opens by exploring some of the consequences of the distinction between schooling and education for any system of school inspection. The second section of the paper examines the conceptual and practical inadequacy of ‘accountability’ as an agent of reciprocal public engagement in a participatory democracy. In its stead a more robust, more open notion of ‘reciprocal responsibility’ is offered as a more fitting means of professional and (...) communal renewal. Section III focuses on the relationship between means and ends that is at once central to democracy and so conspicuously absent from current inspection arrangements. The short conclusion suggests we need a radical break from OFSTED if we wish to approximate more closely to our democratic aspirations. (shrink)