This book argues that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it really is, and not on philosophers' a priori intuitions, common sense, or simplifications of science. In addition to showing how recent metaphysics has drifted away from connection with all other serious scholarly inquiry as a result of not heeding this restriction, this book demonstrates how to build a metaphysics compatible with current fundamental physics, which, when combined (...) with metaphysics of the special sciences, can be used to unify physics with the other sciences without reducing these sciences to physics itself. Taking science metaphysically seriously, this book argues, means that metaphysicians must abandon the picture of the world as composed of self-subsistent individual objects, and the paradigm of causation as the collision of such objects. The text assesses the role of information theory and complex systems theory in attempts to explain the relationship between the special sciences and physics, treading a middle road between the grand synthesis of thermodynamics and information, and eliminativism about information. The consequences of the books' metaphysical theory for central issues in the philosophy of science are explored, including the implications for the realism versus empiricism debate, the role of causation in scientific explanations, the nature of causation and laws, the status of abstract and virtual objects, and the objective reality of natural kinds. (shrink)

Philosophers now treat the relationship between classical genetics and molecular biology as a paradigm of nonreduction and this example is playing an increasingly prominent role in debates about the reducibility of theories in other sciences. This paper shows that the anti-reductionist consensus about genetics will not withstand serious scrutiny. In addition to defusing the main anti-reductionist objections, this critical analysis uncovers tell-tale signs of a significant reduction in progress. It also identifies philosophical issues relevant to gaining a better understanding of (...) what is now happening in genetics and of what we might expect to happen in other sciences. (shrink)

Explanations contribute to our understanding of the world byembedding phenomena into general nomic patterns that we recognize in the world. Manyof these patterns are, of course, causal ones, but the declaration as ``causal'' often fails to determinethe explanatory power of the pattern. More important is the systematization capacity and the empiricalcontent of the pattern or theory with respect to explanations. We can specify these parameters moreprecisely within the framework of the structuralist view of theories.

Achieving understanding of nature is one of the aims of science. In this paper we offer an analysis of the nature of scientific understanding that accords with actual scientific practice and accommodates the historical diversity of conceptions of understanding. Its core idea is a general criterion for the intelligibility of scientific theories that is essentially contextual: which theories conform to this criterion depends on contextual factors, and can change in the course of time. Our analysis provides a general account of (...) how understanding is provided by scientific explanations of diverse types. In this way, it reconciles conflicting views of explanatory understanding, such as the causal-mechanical and the unificationist conceptions. (shrink)

Are fictional characters such as Sherlock Holmes real? What can fiction tell us about the nature of truth and reality? In this excellent introduction to the problem of fictionalism R. M. Sainsbury covers the following key topics: what is fiction? realism about fictional objects, including the arguments that fictional objects are real but non-existent; real but non-factual; real but non-concrete the relationship between fictional characters and non-actual worlds fictional entities as abstract artefacts fiction and intentionality and the problem of irrealism (...) fictionalism about possible worlds moral fictionalism. R. M. Sainsbury makes extensive use of examples from fiction, such as Sherlock Holmes, Anna Karenina and Madame Bovary and examines the work of philosophers who have made significant contributions to the topic, including Meinong, David Lewis, and Bas Van Fraassen. Additional features include chapter summaries, annotated further reading and a glossary of technical terms, making _Fiction and Fictionalism_ ideal for those coming to the issue for the first time. (shrink)

It is often supposed that the spectacular successes of our modern mathematical sciences support a lofty vision of a world completely ordered by one single elegant theory. In this book Nancy Cartwright argues to the contrary. When we draw our image of the world from the way modern science works - as empiricism teaches us we should - we end up with a world where some features are precisely ordered, others are given to rough regularity and still others behave in (...) their own diverse ways. This patchwork makes sense when we realise that laws are very special productions of nature, requiring very special arrangements for their generation. Combining classic and newly written essays on physics and economics, The Dappled World carries important philosophical consequences and offers serious lessons for both the natural and the social sciences. (shrink)

Reasoning in Biological Discoveries brings together a series of essays, which focus on one of the most heavily debated topics of scientific discovery. Collected together and richly illustrated, Darden's essays represent a groundbreaking foray into one of the major problems facing scientists and philosophers of science. Divided into three sections, the essays focus on broad themes, notably historical and philosophical issues at play in discussions of biological mechanism; and the problem of developing and refining reasoning strategies, including interfield relations and (...) anomaly resolution. Darden summarizes the philosophy of discovery and elaborates on the role that mechanisms play in biological discovery. Throughout the book, she uses historical case studies to extract advisory reasoning strategies for discovery. Examples in genetics, molecular biology, biochemistry, immunology, neuroscience and evolutionary biology reveal the process of discovery in action. (shrink)

In 2006, in a special issue of this journal, several authors explored what they called the dual nature of artefacts. The core idea is simple, but attractive: to make sense of an artefact, one needs to consider both its physical nature—its being a material object—and its intentional nature—its being an entity designed to further human ends and needs. The authors construe the intentional component quite narrowly, though: it just refers to the artefact’s function, its being a means to realize a (...) certain practical end. Although such strong focus on functions is quite natural , I argue in this paper that an artefact’s intentional nature is not exhausted by functional considerations. Many non-functional properties of artefacts—such as their marketability and ease of manufacture—testify to the intentions of their users/designers; and I show that if these sorts of considerations are included, one gets much more satisfactory explanations of artefacts, their design, and normativity.Keywords: Artefacts; Dual Nature program; Function; Intentionality; Normativity. (shrink)

The paper presents an argument for treating certain types of computer simulation as having the same epistemic status as experimental measurement. While this may seem a rather counterintuitive view it becomes less so when one looks carefully at the role that models play in experimental activity, particularly measurement. I begin by discussing how models function as “measuring instruments” and go on to examine the ways in which simulation can be said to constitute an experimental activity. By focussing on the connections (...) between models and their various functions, simulation and experiment one can begin to see similarities in the practices associated with each type of activity. Establishing the connections between simulation and particular types of modelling strategies and highlighting the ways in which those strategies are essential features of experimentation allows us to clarify the contexts in which we can legitimately call computer simulation a form of experimental measurement. (shrink)

The book from which these sections are excerpted is concerned with the prospects for assimilating the study of human intelligence and its products to the natural sciences through the investigation of cognitive structures, understood as systems of rules and representations that can be regarded as “mental organs.” These mental structui′es serve as the vehicles for the exercise of various capacities. They develop in the mind on the basis of an innate endowment that permits the growth of rich and highly articulated (...) structures along an intrinsically determined course under the triggering and partially shaping effect of experience, which fixes parameters in an intricate system of predetermined form. It is argued that the mind is modular in character, with a diversity of cognitive structures, each with its specific properties arid principles. Knowledge of language, of the behavior of objects, and much else crucially involves these mental structures, and is thus not characterizable in terms of capacities, dispositions, or practical abilities, nor is it necessarily grounded in experience in the standard sense of this term.Various types of knowledge and modes of knowledge acquisition are discussed in these terms. Some of the properties of the language faculty are investigated. The basic cognitive relation is “knowing a grammar”; knowledge of language is derivative and, correspondingly, raises further problems. Language as commonly understood is not a unitary phenomenon but involves a number of interacting systems: the “computational” system of grammar, which provides the representations of sound and meaning that permit a rich range of expressive potential, is distinct from a conceptual system with its own properties; knowledge of language must be distinguished from knowledge of how to use a language; and the various systems that enter into the knowledge and use of language must be further analyzed into their specific subcomponents. (shrink)

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

_ Convention_ was immediately recognized as a major contribution to the subject and its significance has remained undiminished since its first publication in 1969. Lewis analyzes social conventions as regularities in the resolution of recurring coordination problems-situations characterized by interdependent decision processes in which common interests are at stake. Conventions are contrasted with other kinds of regularity, and conventions governing systems of communication are given special attention.

Presenting a landmark in linguistics and cognitive science, Ray Jackendoff proposes a new holistic theory of the relation between the sounds, structure, and meaning of language and their relation to mind and brain. Foundations of Language exhibits the most fundamental new thinking in linguistics since Noam Chomsky's Aspects of the Theory of Syntax in 1965—yet is readable, stylish, and accessible to a wide readership. Along the way it provides new insights on the evolution of language, thought, and communication.

A fascinating analysis of human language and its influence on other disciplines by one of the nation's most respected linguists. Chomsky is also the author of What Uncle Sam Really Wants and The Prosperous Few and the Restless Many (15,000 copies sold).

An analysis of two heuristic strategies for the development of mechanistic models, illustrated with historical examples from the life sciences. In Discovering Complexity, William Bechtel and Robert Richardson examine two heuristics that guided the development of mechanistic models in the life sciences: decomposition and localization. Drawing on historical cases from disciplines including cell biology, cognitive neuroscience, and genetics, they identify a number of "choice points" that life scientists confront in developing mechanistic explanations and show how different choices result in divergent (...) explanatory models. Describing decomposition as the attempt to differentiate functional and structural components of a system and localization as the assignment of responsibility for specific functions to specific structures, Bechtel and Richardson examine the usefulness of these heuristics as well as their fallibility—the sometimes false assumption underlying them that nature is significantly decomposable and hierarchically organized. When Discovering Complexity was originally published in 1993, few philosophers of science perceived the centrality of seeking mechanisms to explain phenomena in biology, relying instead on the model of nomological explanation advanced by the logical positivists (a model Bechtel and Richardson found to be utterly inapplicable to the examples from the life sciences in their study). Since then, mechanism and mechanistic explanation have become widely discussed. In a substantive new introduction to this MIT Press edition of their book, Bechtel and Richardson examine both philosophical and scientific developments in research on mechanistic models since 1993. (shrink)

Was the first book to examine the exciting area of overlap between philosophy and quantum mechanics with chapters by leading experts from around the world.

A model of judgment aggregation is presented in which judgments on propositions are not binary but come in degrees. The primitives are a set of propositions, an entailment relation, and a “triangular norm” which establishes a lower bound on the degree to which a proposition is true whenever it is entailed by a set of propositions. Under standard assumptions, we identify a necessary and sufficient condition for the collective judgments to be both deductively closed and free from veto power. This (...) condition says that the triangular norm used to establish the lower bound must contain a zero divisor. (shrink)

According to internalist conceptions of language, languages are properties of the mind/brains of individuals and supervene entirely on the internal states of these mind/brains. Hence, languages are primarily to be studied by the mind and/or brain sciences — psychology, neuroscience, and the cognitive sciences more generally. This is not to deny that other sciences may contribute to our understanding too. The internalist conception of language is most associated with Chomsky, who has argued for it in many of his writings. Chomsky (...) argues that one part of the human brain is specialized for language. This language system has an innate specification. (shrink)

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import just in case t exists (...) (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’. (shrink)

The machine conception of the organism (MCO) is one of the most pervasive notions in modern biology. However, it has not yet received much attention by philosophers of biology. The MCO has its origins in Cartesian natural philosophy, and it is based on the metaphorical redescription of the organism as a machine. In this paper I argue that although organisms and machines resemble each other in some basic respects, they are actually very different kinds of systems. I submit that the (...) most significant difference between organisms and machines is that the former are intrinsically purposive whereas the latter are extrinsically purposive. Using this distinction as a starting point, I discuss a wide range of dissimilarities between organisms and machines that collectively lay bare the inadequacy of the MCO as a general theory of living systems. To account for the MCO’s prevalence in biology, I distinguish between its theoretical, heuristic, and rhetorical functions. I explain why the MCO is valuable when it is employed heuristically but not theoretically, and finally I illustrate the serious problems that arise from the rhetorical appeal to the MCO. (shrink)

Does the quantum state represent reality or our knowledge of reality? In making this distinction precise, we are led to a novel classification of hidden variable models of quantum theory. We show that representatives of each class can be found among existing constructions for two-dimensional Hilbert spaces. Our approach also provides a fruitful new perspective on arguments for the nonlocality and incompleteness of quantum theory. Specifically, we show that for models wherein the quantum state has the status of something real, (...) the failure of locality can be established through an argument considerably more straightforward than Bell’s theorem. The historical significance of this result becomes evident when one recognizes that the same reasoning is present in Einstein’s preferred argument for incompleteness, which dates back to 1935. This fact suggests that Einstein was seeking not just any completion of quantum theory, but one wherein quantum states are solely representative of our knowledge. Our hypothesis is supported by an analysis of Einstein’s attempts to clarify his views on quantum theory and the circumstance of his otherwise puzzling abandonment of an even simpler argument for incompleteness from 1927. (shrink)

In this article, I address concerns that the ontological priority claims definitive of ontic structural realism are as they stand unclear, and I do so by placing these claims on a more rigorous formal footing than they typically have been hitherto. I first of all argue that Kit Fine’s analysis of ontological dependence furnishes us with an ontological priority relation that is particularly apt for structuralism. With that in place, and with reference to two case studies prominent within the structuralist (...) literature, I consider whether any of structuralism’s distinctive priority claims may be regarded as warranted. The discussion as a whole has largely negative implications for the radical structuralism of French and Ladyman (including their ‘eliminativist’ interpretation of it), largely positive implications for the moderate structuralism primarily advocated by Esfeld and Lam, and some broad lessons for contemporary fundamentalist metaphysics as a whole. 1 Introduction2 The Right Priority Relation for Structuralism: Supervenience or Dependence?3 Introducing Ontological Dependence4 Fine’s System5 The Priority of Structure 1: Entangled Quantum Particles6 The Priority of Structure 2: The Group-Theoretic Conception of Elementary Particles7 Concluding Remarks. (shrink)

The paper discusses how systems biology is working toward complex accounts that integrate explanation in terms of mechanisms and explanation by mathematical models—which some philosophers have viewed as rival models of explanation. Systems biology is an integrative approach, and it strongly relies on mathematical modeling. Philosophical accounts of mechanisms capture integrative in the sense of multilevel and multifield explanations, yet accounts of mechanistic explanation have failed to address how a mathematical model could contribute to such explanations. I discuss how mathematical (...) equations can be explanatorily relevant. Several cases from systems biology are discussed to illustrate the interplay between mechanistic research and mathematical modeling, and I point to questions about qualitative phenomena, where quantitative models are still indispensable to the explanation. Systems biology shows that a broader philosophical conception of mechanisms is needed, which takes into account functional-dynamical aspects, interaction in complex networks with feedback loops, system-wide functional properties such as distributed functionality and robustness, and a mechanism’s ability to respond to perturbations. I offer general conclusions for philosophical accounts of explanation. (shrink)

Modeling mechanisms is central to the biological sciences – for purposes of explanation, prediction, extrapolation, and manipulation. A closer look at the philosophical literature reveals that mechanisms are predominantly modeled in a purely qualitative way. That is, mechanistic models are conceived of as representing how certain entities and activities are spatially and temporally organized so that they bring about the behavior of the mechanism in question. Although this adequately characterizes how mechanisms are represented in biology textbooks, contemporary biological research practice (...) shows the need for quantitative, probabilistic models of mechanisms, too. In this paper we argue that the formal framework of causal graph theory is well-suited to provide us with models of biological mechanisms that incorporate quantitative and probabilistic information. On the ba-sis of an example from contemporary biological practice, namely feedback regulation of fatty acid biosynthesis in Brassica napus, we show that causal graph theoretical models can account for feedback as well as for the multi-level character of mechanisms. However, we do not claim that causal graph theoretical representations of mechanisms are advantageous in all respects and should replace common qualitative models. Rather, we endorse the more balanced view that causal graph theoretical models of mechanisms are useful for some purposes, while being insufficient for others. (shrink)

This is a draft of the introduction to the collective volume "The birth of string theory", including the book's index and preface. The book explores the history of the theory’s early stages of development, as told by its main protagonists. It journeys from the first version of the theory in the late 1960s, as an attempt to describe the physics of strong interactions outside the framework of quantum field theory, to its reinterpretation around the mid-1970s as a quantum theory of (...) gravity unified with the other interactions, and its successive developments up to the superstring revolution in 1984. The introductive Chapter summarizes the main developments and contains a chronological synopsis with a list of key results and publications. (shrink)

A new form of skepticism is described, which holds that objectivity and understanding are incompossible ideals of modern science. This is attributed to Weyl, hence its name: Weylean skepticism. Two general defeat strategies are then proposed, one of which is rejected.

Peter Lipton has argued that understanding can exist in the absence of explanation. We argue that this does not denigrate explanation's importance to understanding. Specifically, we show that all of Lipton's examples are consistent with the idea that explanation is the ideal of understanding, i.e. other modes of understanding ought to be assessed by how well they replicate the understanding provided by a good and correct explanation. We defend this idea by showing that for all of Lipton's examples of non-explanatory (...) understanding of why p , there exists a correct and reasonably good explanation that would provide greater understanding of p. (shrink)

Resurgent interest in both mechanistic and counterfactual theories of explanation has led to a fair amount of discussion regarding the relative merits of these two approaches. James Woodward is currently the pre-eminent counterfactual theorist, and he criticizes the mechanists on the following grounds: Unless mechanists about explanation invoke counterfactuals, they cannot make sense of claims about causal interactions between mechanism parts or of causal explanations put forward absent knowledge of productive mechanisms. He claims that these shortfalls can be offset if (...) mechanists will just borrow key tenets of his counterfactual theory of causal claims. What mechanists must bear in mind, however, is that by pursuing this course they risk both the assimilation of the mechanistic theories of explanation into Woodward’s own favored counterfactual theory, and they risk the marginalization of mechanistic explanations to a proper subset of all explanations. An outcome more favorable to mechanists might be had by pursuing an actualist-mechanist theory of the contents of causal claims. While it may not seem obvious at first blush that such an approach is workable, even in principle, recent empirical research into causal perception, causal belief, and mechanical reasoning provides some grounds for optimism. (shrink)

ROMANIAN CONTRIBUTIONS TO THE HISTORY OF PHILOSOPHY do not constitute themselves in an orderly and continuous system of their own. Nor are they indispensable to the serious student of central human reflections and searches for truth. Their real interest is a historical one and, in the light of the globalized civilization of the twentieth century, one of cultural geography. A national community placed at the margins of Western culture, pertaining to it, but not quite able to synchronize its intellectual or (...) socioeconomic development with that of the West, while definitely unwilling to accommodate itself to non-Western modes of existence and thought-such were the circumstances that invited the discovery of philosophical discourses in which some key Western dilemmas and concepts could be qualified. Romanian philosophizing was and remained largely Western in its orientation, but Byzantine and Russian influences are acknowledged. Even more powerful was the sense that the experience of the Carpathian-Danubian area entitled the intellectual members of this community to speak not only for the values of a continuously progressing West, but also for a humanity that was pre-Western or even pre-Christian, a humanity that had not yet advanced from a "culture of shame" to a "culture of guilt", and a humanity whose ways of behavior and thinking were more "natural," and still widespread over large parts of the globe. Unconsciously first, but often consciously, Romanian philosophers saw themselves as bridges over the wide chasm separating Western and non-Western intellectual behavior and as mediators between both sides. Similar intentions can of course be detected among other practitioners of philosophy in Asia, South America, or Eastern Europe. Arguably, however, Romanian philosophy can be seen as exemplary in its earnest effort to transpose Western values and concepts into a language intelligible and acceptable to non-Western and traditional readers, while at the same time rehabilitating archaic and traditional beliefs and behaviors, or making them palatable to modern and Western audiences. This was a worthy communicative effort, one that remains of great interest to the contemporary intellectual community which is sometimes puzzled or discouraged when trying to discover the best ways and means for a common, worldwide philosophical language at the end of the twentieth century. Even a cursory examination of Romanian philosophers should be helpful in this respect. I will first present a few early examples of this effort of communication, connection, and qualification by Romanian philosophers; thereafter I will enumerate the main features of a modern Romanian school of philosophy as it crystallized from 1930 on. Finally I will examine in some more detail the writings of Mihai Sora, not only because he seems the most significant living Romanian philosopher, but also because he typifies the questionings of Romanian philosophers, modifies in original and lucid ways the themes of its tradition and, indeed, supplies a kind of retrospective coherence to this tradition. (shrink)

The theory of explanatory unification was first proposed by Friedman (1974) and developed by Kitcher (1981, 1989). The primary motivation for this theory, it seems to me, is the argument that this account of explanation is the only account that correctly describes the genesis of scientific understanding. Despite the apparent plausibility of Friedman's argument to this effect, however, I argue here that the unificationist thesis of understanding is false. The theory of explanatory unification as articulated by Friedman and Kitcher thus (...) emerges as fundamentally misconceived. (shrink)

The status of the vacuum in relativistic quantum field theory is examined. A sharp distinction arises between the global vacuum and the local vacuum. The concept of local number density is critically assessed. The global vacuum state implies fluctuations for all local observables. Correlations between such fluctuations in space-like separated regions of space-time are discussed and the existence of correlations which are maximal in a certain sense is remarked on, independently of how far apart those regions may be. The analogy (...) with the mirror-image correlations in the singlet state of two spin-1/2 particles is explained. The connection between these maximal correlations and the well-known violation of the Bell inequality in the vacuum state is discussed, together with the way in which the existence of these correlations might be exploited in developing a vacuum version of the Einstein-Podolsky-Rosen argument. The recent relativistic formulation of the Einstein-Podolsky-Rosen argument by Ghirardi and Grassi is critically assessed with particular reference to the vacuum case. (shrink)

Hud Hudson offers a fascinating examination of philosophical reasons to believe in hyperspace. He explores non-theistic reasons in the first chapter and theistic ones towards the end; in the intervening sections he inquires into a variety of puzzles in the metaphysics of material objects that are either generated by the hypothesis of hyperspace or else informed by it, with discussions of receptacles, boundaries, contact, occupation, and superluminal motion. Anyone engaged with contemporary metaphysics, and many philosophers of religion, will find much (...) to stimulate them here. (shrink)

Philosophers of science increasingly recognize the importance of idealization: the intentional introduction of distortion into scientific theories. Yet this recognition has not yielded consensus about the nature of idealization. e literature of the past thirty years contains disparate characterizations and justifications, but little evidence of convergence towards a common position.

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

Edmund Gettier is Professor Emeritus at the University of Massachusetts, Amherst. This short piece, published in 1963, seemed to many decisively to refute an otherwise attractive analysis of knowledge. It stimulated a renewed effort, still ongoing, to clarify exactly what knowledge comprises.