The thesis of theory-ladenness of observations, in its various guises, is widely considered as either ill-conceived or harmless to the rationality of science. The latter view rests partly on the work of the proponents of New Experimentalism who have argued, among other things, that experimental practices are efficient in guarding against any epistemological threat posed by theory-ladenness. In this paper I show that one can generate a thesis of theory-ladenness for experimental practices from an influential New Experimentalist account. The notion (...) I introduce for this purpose is the concept of ‘theory-driven data reliability judgments’, according to which theories which are sought to be tested with a particular set of data guide reliability judgments about those very same data. I provide various prominent historical examples to show that TDRs are used by scientists to resolve data conflicts. I argue that the rationality of the practices which employ TDRs can be saved if the independent support of the theories driving TDRs is construed in a particular way. (shrink)

In this article I argue that a methodological challenge to an integrated history and philosophy of science approach put forth by Ronald Giere almost forty years ago can be met by what I call the Kuhnian mode of History and Philosophy of Science (HPS). Although in the Kuhnian mode of HPS norms about science are motivated by historical facts about scientific practice, the justifiers of the constructed norms are not historical facts. The Kuhnian mode of HPS therefore evades the naturalistic (...) fallacy which Giere’s challenge is a version of. Against the backdrop of a discussion of Laudan’s normative naturalism I argue that the Kuhnian mode of HPS is a superior form of naturalism: it establishes contact to the practice of science without making itself dependent on its contingencies. (shrink)

In a recent book and an article, Carl Craver construes the relations between different levels of a mechanism, which he also refers to as constitutive relations, in terms of mutual manipulability (MM). Interpreted metaphysically, MM implies that inter-level relations are symmetrical. MM thus violates one of the main desiderata of scientific explanation, namely explanatory asymmetry. Parts of Craver’s writings suggest a metaphysical interpretation of MM, and Craver explicitly commits to constitutive relationships being symmetrical. The paper furthermore explores the option of (...) interpreting MM epistemologically, as a means for individuating mechanisms. It is argued that MM then is redundant. MM should therefore better be abandoned. (shrink)

A teacher controls the release of materials in attempt to get students to appreciate the appeal of a popular yet wrongheaded argument before exposing them to its shortcomings. An instructor uses body language, tone of voice, and images in a Power-Point presentation that appeal to non-deliberative mechanisms in order to influence the students to pay more attention, maintain their focus, or to remember the content better. How do we draw the line between such innocuous educational practices and problematic manipulation, such (...) as deterring students from questioning certain views by instilling fear or shame? I help answering this question by illuminating one significant danger, which hasn’t been accurately identified in the relevant literature: the danger that manipulations in education—even when they’re non-deceptive and aim for the good of the students—will hinder the development or fulfillment of the students’ deliberative projects. (shrink)

Since the publication of Alasdair MacIntyre’s After Virtue in 1981, tensions inherent to the relationship between morally educative practices and the institutions that house them have been widely noted. We propose a taxonomy of the ways in which the pursuit of external goods by institutions undermines the pursuit of the internal goods of practices. These comprise substitution, where the institution replaces the pursuit of one type of good by another; frustration, where opportunities for practitioners to discover goods or develop new (...) standards of excellence are frustrated by institutional priorities and resource allocation; and injustice, which undermines the integrity of relationships within the organization and/or with partners. These threats, though analytically distinct, are often mutually reinforcing. This conceptual contribution is illustrated both by the extant literature and by a novel context, the three-ring circus. (shrink)

Referent Tracking (RT) advocates the use of instance unique identifiers to refer to the entities comprising the subject matter of patient health records. RT promises many benefits to those who use health record data to improve patient care. To further the adoption of the paradigm we provide an illustration of how data from an EHR application needs to be decomposed in order to make it accord with the tenets of RT. We describe the ontological principles on which this decomposition is (...) based in order to allow integration efforts to be applied in similar ways to other EHR applications. We find that an ordinary statement from an EHR contains a surprising amount of “hidden” data that are only revealed by its decomposition according to these principles. (shrink)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories only. -/- Second, two requirements (...) that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and 25 (...) as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

Deflationary positions have been defended in many areas of philosophy. Most prominent are semantic deflationism about truth and reference, and meta-ontological deflationism, according to which existence has no deep nature and the standard neo-Quinean approach to ontology is misguided. Although both kinds of views have generated much discussion, surprisingly little attention has been paid to the question of how they relate to each other. Are they independent, is it advisable to hold them all at once, or do they even entail (...) each other? One exception is Amie Thomasson, who has argued that semantic deflationism actually entails meta-ontological deflationism. This is unexpected, since semantic deflationism is usually regarded as much less controversial than meta-ontological deflationism. In our paper, we will argue that Thomasson’s argument fails though, and that the connection between the views is in fact weaker than she makes them out to be. (shrink)

Race is one of the most common variables in the social sciences, used to draw correlations between racial groups and numerous other important variables such as education, healthcare outcomes, aptitude tests, wealth, employment and so forth. But where concern with race once reflected the view that races were biologically real, many, if not most, contemporary social scientists have abandoned the idea that racial categories demarcate substantial, intrinsic biological differences between people. This, in turn, raises an important question about the significance (...) of race in those social sciences: if there is no biological basis of race, why are racial categories useful to social scientists? More specifically, in virtue of what are racial categories a successful basis of informative, important social scientific generalizations? 2 We’ll call this social science’s race puzzle. (shrink)

Editorial introduction to series of papers resulting from a European Commission Project on mental capacity.

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

Invoking metaphysical naturalness is “perhaps the most popular proposed solution” to the problem of grue (Hedden in Can J Philos 45:716–743, 2016). Accordingly, Bradley (Mind 129:179–203, 2020) develops a “Lewisian” method for constraining priors based on the syntactic simplicity of descriptions of possible worlds in a language whose predicates correspond to natural properties. The Lewisian method therefore requires a solution to the arguably unsolved problem of measuring syntactic simplicity. But this paper argues that _given_ a solution to this problem, there (...) is a better alternative to the Lewisian method: a novel “Neo-Carnapian” method for constraining priors based on the indistinguishability of experiences. (shrink)

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

This paper focuses on the Hasidic view, namely, that human flaws do not function as a barrier between a fallen humanity and a perfect deity, since the whole of creation stems from a divine act of self-contraction. Thus, we need not be discouraged by our own shortcomings, nor by those of our loved ones. Rather, seeing our flaws in the face of another should remind us that imperfection is an aspect of the God who created us. Such a positive approach (...) to human fallibility arouses forgiveness, mutual acceptance, and a hope for repair, and, therefore, has much to recommend itself. In the first part of the paper, I argue that the notion of a perfect God derives from the Greeks rather than the Hebrew Bible. A review of classical philosophies and the idea of God’s imperfection is followed by a consideration of several Jewish attempts to resolve the dichotomy between Divine perfection and an imperfect creation. I focus on Lurianic Kabbalah, Hans Jonas, and on the Hasidic concept of "Ayin " or “nothingness” as the very source of redemption. This Hasidic idea, which was further expanded upon by the Baal Shem Tov’s students, appears in a tale recounted by his great-grandson R. Nachman of Bratslav called “The Hanging Lamp.” I focus on the tale, which illustrates the idea that knowledge of human imperfection is itself a means of perfection and redemption. (shrink)

Leading cosmological theories engender a controversial puzzle which has prompted philosophers to propose competing epistemological solutions and physicists to propose methodological changes to cosmology. The puzzle arises from the prediction that every brain on Earth will eventually be vastly outnumbered by physical duplicates formed by random collisions of particles in outer space. Supposing that this prediction is correct, shouldn't you believe that your brain is probably one of these vastly more typical extraterrestrial brains, since you cannot infer your brain's origin (...) from your experiential state? But supposing that your brain is one of these extraterrestrial brains, why be confident in the cosmological theories, since you never actually received testimony supporting these theories? Proposals in the literature either deny the rationality of believing theories that make the prediction or deny the typicality of your brain among its duplicates. This paper argues that these proposals are not entirely satisfactory. Instead, one should be confident in theories making the prediction on the supposition that your brain is one of the extraterrestrial brains. The upshots include that it may be rational to believe that your brain is probably an extraterrestrial brain and that cosmologists should not alter their methodology in response to the puzzle. (shrink)

Rinard (2019) brings to our attention the fact that, typically, the questions What should I believe? and What should I do? are treated differently. A typical answer to the first question is Believe according to the evidence, and a typical answer to the second question is Do what is right. But Rinard rejects this dichotomy. In its place, she argues for a view which she calls “Equal Treatment” in which one should believe according to the same considerations that govern what (...) one should do. Christensen (forthcoming) aptly situates Equal Treatment as a limit case of a recent movement towards taking pragmatic factors as partly determining what one should believe, in that Equal Treatment is a purely pragmatic view. Does Rinard’s case for a purely pragmatic view succeed? This paper argues that the answer is no. Three objections that target key parts of Rinard’s case for Equal Treatment are presented. The upshot is that the dichotomy between the answers to What should I believe? and What should I do? seems robust against strong attempts to dismantle it. (shrink)

A short philosophic meditation on contemporary civilization as Plato's cave imploding.

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed. However, (...) the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

The World Wide Web Consortium (W3C) has sanctioned languages for ontology formulation, of which the most important is the Web Ontology Language (OWL). These have spawned in their turn powerful open-source software for developing and reasoning with ontologies and for querying data stores aligned to ontologies. Unfortunately, the resultant popularity of semantic technology has itself led to a situation where ontologies are now being created in heterogeneous, uncoordinated ways, thereby leading to a new problem of semantic stovepipes, and thus to (...) a new failure of data integration and reuse. The best practices here described counteract this tendency by providing a set of principles and rules to lead to the development of ontologies in a consistent, non-redundant fashion. (shrink)

Some free-will defenses appeal to the intuition that the love of creatures who God causally determined to love him is less valuable than the love of creatures who chose to love God freely, in the libertarian sense. I challenge that intuition directly. I attempt to discredit the intuition in question by demonstrating that no analogies regarding human-related cases can support it. In each case I treat, I argue either that the case is disanalogous to God’s case, or that granting the (...) lover libertarian free will wouldn’t make the love in question more valuable. (shrink)

A critical reply to the anti-mindfulness critics in the collection, who oppose the popular secularized adoption of mindfulness on various grounds (it is not Buddhism, it is Buddhism, it is a tool of neo-capitalist exploitation, etc.), I argue that mindfulness is a quality of consciousness, opposite mindlessness, that may be cultivated through practice, and is almost always beneficial to those who cultivate it.

The Referent Tracking paradigm, which advocates the use of instance unique identifiers to refer to the entities comprising the subject matter of patient health records, promises many benefits to those who use health record data to improve patient care. To further the adoption of the paradigm we provide an illustration of how data from an EHR application needs to be decomposed to make it accord with the tenets of Referent Tracking. We describe the ontological principles on which such decomposition needs (...) to be based in order to allow integration efforts to be applied to other EHR applications by interested parties. We find that an ordinary statement from an EHR reveals a surprising amount of "hidden" data that is revealed by its decomposition according to these principles. (shrink)

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be (...) aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

A traditional social scientific divide concerns the centrality of the interpretation of local understandings as opposed to attending to relatively general factors in understanding human individual and group differences. We consider one of the most common social scientific variables, race, and ask how to conceive of its causal power. We suggest that any plausible attempt to model the causal effects of such constructed social roles will involve close interplay between interpretationist and more general elements. Thus, we offer a case study (...) that one cannot offer a comprehensive model of the causal power of racial categories as social constructions without careful attention both to local meanings and more general mechanisms. (shrink)

One approach to science treats science as a cognitive accomplishment of individuals and defines a scientific community as an aggregate of individual inquirers. Another treats science as a fundamentally collective endeavor and defines a scientist as a member of a scientific community. Distributed cognition has been offered as a framework that could be used to reconcile these two approaches. Adam Toon has recently asked if the cognitive and the social can be friends at last. He answers that they probably cannot, (...) posing objections to the would-be rapprochement. We clarify both the animosity and the tonic proposed to resolve it, ultimately arguing that worries raised by Toon and others are uncompelling. (shrink)

The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...) life. We call this suite the Product Life Cycle (PLC) Ontologies. The suite extends proximately from The Common Core Ontologies (CCO) used widely in defense and intelligence circles, and ultimately from the Basic Formal Ontology (BFO), which serves as top level ontology for the CCO and for some 300 further ontologies. The PLC Ontologies were developed together, but they have been factored to cover particular domains such as design, manufacturing processes, and tools. We argue that these ontologies, when used together with standard public domain alignment and browsing tools created within the context of the Semantic Web, may offer a low-cost approach to solving increasingly costly problems of data management in the manufacturing industry. (shrink)

An updated survey of the research scope in Integral Biomathics.

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

Finding truth is an art that was learned and unlearned. Truth can only be found by looking for independent confirmation of our beliefs, by reality. This methodology is difficult to apply in personal- and social settings, because power and politics turn 'seeking independent confirmation' into 'avoiding dependent rejection'. A completely different social order is implied and the one keeps running the other into the ground like a tectonic plate. Philosophical Modernism showed us how dualism works, before Post-Modernism challenged it, regressing (...) to monism. (shrink)

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field by evaluating prospects of implementing (...) International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

While the recent special issue of JCS on machine consciousness (Volume 14, Issue 7) was in preparation, a collection of papers on the same topic, entitled Artificial Consciousness and edited by Antonio Chella and Riccardo Manzotti, was published. 1 The editors of the JCS special issue, Ron Chrisley, Robert Clowes and Steve Torrance, thought it would be a timely and productive move to have authors of papers in their collection review the papers in the Chella and Manzotti book, and include (...) these reviews in the special issue of the journal. Eight of the JCS authors (plus Uziel Awret) volunteered to review one or more of the fifteen papers in Artificial Consciousness; these individual reviews were then collected together with a minimal amount of editing to produce a seamless chapter-by-chapter review of the entire book. Because the number and length of contributions to the JCS issue was greater than expected, the collective review of Artificial Con- sciousness had to be omitted, but here at last it is. Each paper’s review is written by a single author, so any comments made may not reflect the opinions of all nine of the joint authors! (shrink)

A recording or performance of a song is a cover if there is an earlier, canonical recording of the song. It can seem intuitive to think that properly appreciating a cover requires considering it in relation to the original, or at least that doing so will yield a deeper appreciation. This intuition is supported by some philosophical accounts of covers. And it is complicated by the possibility of hearing in, whereby one hears elements of the original version in the cover. (...) We argue that it can nevertheless be just as legitimate to consider a cover version on its own as it is to consider it in relation to the earlier recording that it is covering. In some cases, these two modes of appreciation will offer distinct rewards. In other cases, one mode will be substantially more rewarding than the other. The details matter, especially in complicated cases like covers of covers, but neither mode is privileged in principle. (shrink)

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, (...) thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)