There is widespread excitement in the literature about the method of arbitrary functions: many take it to show that it is from the dynamics of systems that the objectivity of probabilities emerge. In this paper, I differentiate three ways in which a probability function might be objective, and I argue that the method of arbitrary functions cannot help us show that dynamics objectivise probabilities in any of these senses.

A conception of probability that can be traced back to Johannes von Kries is introduced: the “Spielraum” or range conception. Its close connection to the so-called method of arbitrary functions is highlighted. Possible interpretations of it are discussed, and likewise its scope and its relation to certain current interpretations of probability. Taken together, these approaches form a class of interpretations of probability in its own right, but also with its own problems. These, too, are introduced, discussed, and (...) proposals in response to them are surveyed, some of which also go back to von Kries. (shrink)

A proposal for an objective interpretation of probability is introduced and discussed: probabilities as deriving from ranges in suitably structured initial-state spaces. Roughly, the probability of an event on a chance trial is the proportion of initial states that lead to the event in question within the space of all possible initial states associated with this type of experiment, provided that the proportion is approximately the same in any not too small subregion of the space. This I would like to (...) call the “natural-range conception” of probability. Providing a substantial alternative to frequency or propensity accounts of probability in a deterministic setting, it is closely related to the so-called “method of arbitrary functions”. It is explicated, confronted with certain problems, and some ideas how these might be overcome are sketched and discussed. (shrink)

This paper explores the concept of a social evaluation functional in the case of an arbitrary set of alternatives. In the first part, a characterization of projective social evaluations functionals is shown whenever the common restricted domain is the set of all bounded utility functions equipped with the supremum norm topology. The result makes a crucial use, among others, of a continuity axiom. In the second part, a comparison meaningful property is introduced for a social evaluation functional which (...) allows us for obtaining a more general result with no continuity requirements. Finally, an impossibility theorem, which is reminiscent of that is obtained by Chichilnisky in (Q J Econ 97:337–352, 1982) but without using topological conditions, is offered. (shrink)

In his article The Foundations of Mathematics (1925) Ramsey was concerned with the nature of the statements of 'pure mathematics' and the way these statements differ from those in empirical sciences. He thought that the answer given to these questions by Hilbert and the formalist school according to which mathematical statements are meaningless formulas, is unsatisfactory for several reasons, which will not be discussed here. He also expressed serious doubts about the intuitionist program developed by Brouwer and Weyl. It is (...) the logicist school of Frege, Russell and Whitehead, which attempted to reduce mathematics to few logical concepts, that came closest to Ramsey’s views, although he was not completely satisfied with it, either. (shrink)

This is a companion to another paper. Together they rebut two widespread philosophical doctrines about emergence. The first, and main, doctrine is that emergence is incompatible with reduction. The second is that emergence is supervenience; or more exactly, supervenience without reduction.In the other paper, I develop these rebuttals in general terms, emphasising the second rebuttal. Here I discuss the situation in physics, emphasising the first rebuttal. I focus on limiting relations between theories and illustrate my claims with four examples, each (...) of them a model or a framework for modelling, from well-established mathematics or physics.I take emergence as behaviour that is novel and robust relative to some comparison class. I take reduction as, essentially, deduction. The main idea of my first rebuttal will be to perform the deduction after taking a limit of some parameter. Thus my first main claim will be that in my four examples (and many others), we can deduce a novel and robust behaviour, by taking the limit N→∞ of a parameter N.But on the other hand, this does not show that the N=∞ limit is “physically real”, as some authors have alleged. For my second main claim is that in these same examples, there is a weaker, yet still vivid, novel and robust behaviour that occurs before we get to the limit, i.e. for finite N. And it is this weaker behaviour which is physically real.My examples are: the method of arbitrary functions (in probability theory); fractals (in geometry); superselection for infinite systems (in quantum theory); and phase transitions for infinite systems (in statistical mechanics). (shrink)

I present an account of deterministic chance which builds upon the physico-mathematical approach to theorizing about deterministic chance known as 'the method of arbitrary functions'. This approach promisingly yields deterministic probabilities which align with what we take the chances to be---it tells us that there is approximately a 1/2 probability of a spun roulette wheel stopping on black, and approximately a 1/2 probability of a flipped coin landing heads up---but it requires some probabilistic materials to work with. (...) I contend that the right probabilistic materials are found in reasonable initial credence distributions. I note that, with some normative assumptions, the resulting account entails that deterministic chances obey a variant of Lewis's 'principal principle'. I additionally argue that deterministic chances, so understood, are capable of explaining long-run frequencies. (shrink)

In this paper, a concept of chance is introduced that is compatible with deterministic physical laws, yet does justice to our use of chance-talk in connection with typical games of chance. We take our cue from what Poincaré called "the method of arbitrary functions," and elaborate upon a suggestion made by Savage in connection with this. Comparison is made between this notion of chance, and David Lewis' conception.

The Continuous Parameter Estimation Model is applied to develop individual genomic-level heritabilities for the latent hierarchical structure and developmental dynamics of Life History (LH) strategy LH strategies relate to the allocations of bioenergetic resources into different domains of fitness. LH has moderate to high population-level heritability in humans, both at the level of the high-order Super-K Factor and the lower-order factors, the K-Factor, Covitality Factor, and General Factor of Personality (GFP). Several important questions remain unexplored. We developed measures of genome-level (...) heritabilities employing an American sample of 316 monozygotic (MZ) and 274 dizygotic (DZ) twin dyads and a Swedish sample of 863 MZ and 475 DZ twin dyads. This novel heritability index measures individual genetic transmissibility, therefore opening new avenues for analyzing complex interactions among heritable traits inaccessible to standard structural equations methods. For these samples: (1) moderate to high heritability of factor loadings of Super-K on its lower-order factors is demonstrated, evidencing biological preparedness, genetic accommodation, and the gene-culture coevolution of biased epigenetic rules of development; (2) moderate to high heritability of the magnitudes of the effect of the higher-order factors upon their loadings on their constituent factors, evidencing genetic constraints upon phenotypic plasticity; and (3) that heritability of the LH factors, of factor loadings, and of the magnitudes of the correlations among factors are weaker among those with slower LH speeds, demonstrating that inter-individual variation in transmissibility is a function of individual socioecological selection pressures. (shrink)

This article focuses on three themes concerning determinism and indeterminism. The first theme is observational equivalence between deterministic and indeterministic models. Here I discuss several results about observational equivalence and present an argument on how to choose between deterministic and indeterministic models involving indirect evidence. The second theme is whether Newtonian physics is indeterministic. I argue that the answer depends on what one takes Newtonian mechanics to be, and I highlight how contemporary debates on this issue differ from those in (...) the nineteenth century. The third major theme is how the method of arbitrary functions can be used to make sense of deterministic probabilities. I discuss various ways of interpreting the initial probability distributions and argue that they are best understood as physical, biological etc. quantities characterising the particular situation at hand. Also, I emphasise that the method of arbitrary functions deserves more attention than it has received so far. (shrink)

The accurate annotation of an unknown protein sequence depends on extant data of template sequences. This could be empirical or sets of reference sequences, and provides an exhaustive pool of probable functions. Individual methods of predicting dominant function possess shortcomings such as varying degrees of inter-sequence redundancy, arbitrary domain inclusion thresholds, heterogeneous parameterization protocols, and ill-conditioned input channels. Here, I present a rigorous theoretical derivation of various steps of a generic algorithm that integrates and utilizes several statistical methods (...) to predict the dominant function in unknown protein sequences. The accompanying mathematical proofs, interval definitions, analysis, and numerical computations presented are meant to offer insights not only into the specificity and accuracy of predictions, but also provide details of the operatic mechanisms involved in the integration and its ensuing rigor. The algorithm uses numerically modified raw hidden markov model scores of well defined sets of training sequences and clusters them on the basis of known function. The results are then fed into an artificial neural network, the predictions of which can be refined using the available data. This pipeline is trained recursively and can be used to discern the dominant principal function, and thereby, annotate an unknown protein sequence. Whilst, the approach is complex, the specificity of the final predictions can benefit laboratory workers design their experiments with greater confidence. -/- . (shrink)

This paper offers a metaphysics of physical probability in (or if you prefer, truth conditions for probabilistic claims about) deterministic systems based on an approach to the explanation of probabilistic patterns in deterministic systems called the method of arbitrary functions. Much of the appeal of the method is its promise to provide an account of physical probability on which probability assignments have the ability to support counterfactuals about frequencies. It is argued that the eponymous arbitrary (...) functions are of little philosophical use, but that they can be substituted for facts about frequencies without losing the ability to provide counterfactual support. The result is an account of probability in deterministic systems that has a “propensity-like” look and feel, yet which requires no supplement to the standard modern empiricist tool kit of particular matters of fact and principles of physical dynamics. (shrink)

Microbiologists are transitioning from the study and characterization of individual strains or species to the profiling of whole microbiomes and microbial ecology. Equipped with high-throughput methods for studying the taxonomic and functional characteristics of diverse samples, they are just beginning to encounter the conceptual, theoretical, and experimental problems of comparing taxonomy to function, and extracting useful measures from such comparisons. Although still unresolved, these problems are well studied in macro-ecology and are reiterated here as an historical precautionary for microbial ecologists. (...) Beyond expected and unresolved terminological vagueness, we argue that assessments and comparisons of taxonomic and functional profiles in micro-ecology suffer from theoretically unresolvable arbitrariness and ambiguities. We divide these into problems of scale, individuation, and commensurability. We argue that there is no technically/theoretically “correct” scale, individuation, or comparison of taxonomy and function, but there are nonetheless better and worse methodologies for profiling. (shrink)

Objective interpretations of probability are usually discussed in two varieties: frequency and propensity accounts. But there is a third, neglected possibility, namely, probabilities as deriving from ranges in suitably structured initial state spaces. Roughly, the probability of an event is the proportion of initial states that lead to this event in the space of all possible initial states, provided that this proportion is approximately the same in any not too small interval of the initial state space. This idea can also (...) be expressed by saying that in the types of situations that give rise to probabilistic phenomena we may expect to find an initial state space such that any "reasonable" density function over this space leads to the same probabilities for the possible outcomes. This "method of arbitrary functions" was introduced by Poincaré, studied and extended by Hopf and more recently by Eduardo Engel, Jan von Plato and Michael Strevens. The natural-range, or method-of-arbitrary-functions approach to probabilities is usually treated as an explanation for the occurrence of probabilistic patterns, whereas I examine its prospects for an objective interpretation of probability, in the sense of providing truth conditions for probability statements that do not depend on our state of mind or information. The main objection to such a proposal is that it is circular, i.e. presupposes the concept of probability, because a measure on the initial state has to be introduced, and density functions over the space are considered. I try to argue that this objection can be successfully met. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions (...) of the connectives in question. (shrink)

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur to fields (...) that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign‐function mapping optionality, one of acquisition‐dependent sign‐function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our (...) proposal: abandoning arbitrariness‐talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

Let R be a real closed field, and X⊆Rm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\subseteq R^m}$$\end{document} semi-algebraic and 1-dimensional. We consider complete first-order theories of modules over the ring of continuous semi-algebraic functions X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\to R}$$\end{document} definable with parameters in R. As a tool we introduce -piecewise vector bundles on X and show that the category of piecewise vector bundles on X is equivalent to the category of syzygies (...) of finitely generated submodules of free modules. We give an explicit method to determine the Baur–Monk invariants of free modules in terms of pre-piecewise vector bundles. When R is a recursive real closed field this yields the decidability of the theory of free modules. Where it makes sense, we address the same questions for continuous definable functions in o-minimal expansions of a real closed field. From the free module case we are able to deduce generalisations of some results to arbitrary modules over the ring. We present a geometrically motivated quantifier elimination result down to the level of positive primitive formulae with a certain block decomposition of the matrix of coefficients. (shrink)

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics (...) did not, for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of the discipline. (shrink)

Arbitrariness is a distinctive feature of human language, and a growing body of comparative work is investigating its presence in animal communication. But what is arbitrariness, exactly? We propose to distinguish four notions of semiotic arbitrariness: a notion of opaque association between sign forms and semiotic functions, one of sign-function mapping optionality, one of acquisition-dependent sign-function coupling, and one of lack of motivatedness. We characterize these notions, illustrate the benefits of keeping them apart, and describe two reactions to our (...) proposal: abandoning arbitrariness-talk in favor of the newly introduced conceptual vocabulary, or feeding the distinctions back into the parent concept. (shrink)

The prospects of a causal interpretation of probability are examined. Various accounts both from the history of scientific method and from recent developments in the tradition of the method of arbitrary functions, in particular by Strevens, Rosenthal, and Abrams, are briefly introduced and assessed. I then present a specific account of causal probability with the following features: First, the link between causal probability and a particular account of induction and causation is established, namely eliminative induction and (...) the related difference-making account of causation in the tradition of Bacon, Herschel, and Mill. Second, it is shown how a causal approach is useful beyond applications of the method of arbitrary functions and is able to deal with various shades of both ontic and epistemic probabilities. Furthermore, I clarify the notion of causal symmetry as a central element of an objective version of the principle of indifference and relate probabilistic independence to causal irrelevance. (shrink)

Abrams, Rosenthal, and Strevens have recently presented interpretations of the objective probabilities posited by some scientific theories that build on von Kries’s idea of identifying probabilities with ranges of values in a space of possible states. These interpretations face a problem, forcefully pointed out by Rosenthal, about how to determine ‘input probabilities.’ I argue here that Abrams’s and Strevens’s attempts to solve this problem do not succeed. I also argue that the problem can be solved by recognizing the possibility of (...) laws of nature that manifest themselves not as universal regularities, but instead as constraints on relative frequencies. (shrink)

It has come to my attention that a number of formulations in the section “Disciplinary Landscape: Cytology and Genetics” of my article “Method as a Function of Disciplinary Landscape: C.D. Darlington and the History of Cytology 1925–1950,” Journal of the History of Biology, 39, 2006, pp. 165–197, do not provide due credit to a source. While Franz Schrader, “Three Quarter Centuries of Cytology,” Science 107 : 155–159, is cited in the article, his reminiscences and analysis of the historical development (...) of cytology provided a helpful historiographical context, as well as specific insights, for my article and should have been more fully acknowledged. (shrink)

The diagonal method is often used to show that Turing machines cannot solve their own halting problem. There have been several recent attempts to show that this method also exposes either contradiction or arbitrariness in other theoretical models of computation which claim to be able to solve the halting problem for Turing machines. We show that such arguments are flawed—a contradiction only occurs if a type of machine can compute its own diagonal function. We then demonstrate why such (...) a situation does not occur for the methods of hypercomputation under attack, and why it is unlikely to occur for any other serious methods. Introduction Issues with specific hypermachines Conclusions for hypercomputation. (shrink)

This article considers the reception of British cytogeneticist C.D. Darlington's controversial 1932 book, Recent Advances in Cytology. Darlington's cytogenetic work, and the manner in which he made it relevant to evolutionary biology, marked an abrupt shift in the status and role of cytology in the life sciences. By focusing on Darlington's scientific method -- a stark departure from anti-theoretical, empirical reasoning to a theoretical and speculative approach based on deduction from genetic first principles -- the article characterises the relationships (...) defining the "disciplinary landscape" of the life sciences of the time, namely those between cytology, genetics, and evolutionary theory. (shrink)

A new method of "minimal" realizability is proposed and applied to show that the definable functions of Heyting arithmetic (HA)--functions f such that HA $\vdash \forall x\exists!yA(x, y)\Rightarrow$ for all m, A(m, f(m)) is true, where A(x, y) may be an arbitrary formula of L(HA) with only x, y free--are precisely the provably recursive functions of the classical Peano arithmetic (PA), i.e., the $ -recursive functions. It is proved that, for prenex sentences provable in (...) HA, Skolem functions may always be chosen to be $ -recursive. The method is extended to intuitionistic finite-type arithmetic, HA ω 0 , and elementary analysis. Generalized forms of Kreisel's characterization of the provably recursive functions of PA and of the no-counterexample-interpretation for PA are consequently derived. (shrink)

The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.

This book aims to explain, by appealing to the mathematical method of arbitrary functions (MAF) initiated by Hopf and Poincaré, how the many and various interactions of the parts of a complex system often result in simple probabilistic patterns of behaviour. A complex system is vaguely defined as a system of many parts (called enions) which are somewhat autonomous but strongly interacting (italicized words are Strevens’ jargon). Strevens says that a system shows simple behaviour when it can (...) be described mathematically with a small number of variables. A philosophical treatment of complex systems, the MAF, and the emergence of simple probabilistic patterns is welcome because these important topics have been rather neglected. (shrink)

Using coding devices based on a theorem due to Zsigmondy, Birkhoff and Vandiver, we first define in terms of successor S and coprimeness predicate $\perp$ a full arithmetic over the set of powers of some fixed prime, then we define in the same terms a restriction of the exponentiation. Hence we prove the main result insuring that all arithmetical relations and functions over prime powers and their opposite are $\{S, \perp\}$ -definable over Z. Applications to definability over Z and (...) N are stated as corollaries of the main theorem. (shrink)

Robert Koch based his claim that specific microorganisms cause particular diseases on laboratory studies. This paper examines how Koch set up a plausible line of argument by using special methods of representing bacteria. One kind of representation consisted in making the bacteria visible; the other mode of representation was based on disease phenomena. Using a range of techniques of isolating and controlling microorganisms, Koch combined these different modes of representation in a way that made his claims convincing. Thus, the microorganism (...) as a specific cause of disease emerged through a chain of repeated processes of selection and representation in the laboratory. (shrink)

This article considers the reception of British cytogeneticist C.D. Darlington's controversial 1932 book, Recent Advances in Cytology. Darlington's cytogenetic work, and the manner in which he made it relevant to evolutionary biology, marked an abrupt shift in the status and role of cytology in the life sciences. By focusing on Darlington's scientific method -- a stark departure from anti-theoretical, empirical reasoning to a theoretical and speculative approach based on deduction from genetic first principles -- the article characterises the relationships (...) defining the "disciplinary landscape" of the life sciences of the time, namely those between cytology, genetics, and evolutionary theory. (shrink)

From the early nineteenth century, the successful use of fossils in stratigraphy oriented paleontology towards geology. The consequent marginalising of biological objectives was countered in the twentieth century by the rise of ‘Paläobiologie’, first in the German cultural area and only later, as ‘paleobiology’, in the anglophone world. Several kinds of paleobiological research flourished internationally after the Second World War, among them the novel field of ‘paleoecology’. Within this field there were attempts to apply functional morphology to the problematical cases (...) of fossil organisms, for which functions cannot be observed directly. This article describes the origins of the kind of functional inference for fossils that I proposed in 1961 as the method of ‘paradigms’. Here I summarize some of my ‘worked exemplars’, which were intended to show the paradigm method in action. These case-studies were all taken from the paleontologically important phylum of the Brachiopoda, but the method was claimed to have much wider implications for the interpretation of the fossil record in terms of adaptive evolution. This article takes the history of the paradigm method as far as the late 1960s. I hope to trace, in a sequel, its ambivalent fate during the 1970s and beyond, when for example Gould’s critique of ‘the adaptationist programme’ and the rise of computer-based quantitative methods for the evolutionary interpretation of the fossil record led to the relative eclipse of functional morphology in paleontology. (shrink)

The aim of this paper is to clarify and critically assess the methods of evolutionary psychology, and offer a sketch of an alternative methodology. My thesis is threefold. (1) The methods of inquiry unique to evolutionary psychology rest upon the claim that the discovery of theadaptive functions of ancestral psychological capacities leads to the discovery of thepsychological functions of those ancestral capacities. (2) But this claim is false; in fact, just the opposite is true. We first must discover (...) the psychological functions of our psychological capacities in order to discover their adaptive functions. Hence the methods distinctive of evolutionary psychology are idle in our search for the mechanisms of the mind. (3) There are good reasons for preferring an alternative to the methods of evolutionary psychology, an alternative that aims to discover the functions of our psychological capacities by appeal to the concept of awhole psychology. (shrink)

IN Hilbert's theory of the foundations of any given branch of mathematics the main problem is to establish the consistency (of a suitable formalisation) of this branch. Since the (intuitionist) criticisms of classical logic, which Hilbert's theory was intended to meet, never even alluded to inconsistencies (in classical arithmetic), and since the investigations of Hilbert's school have always established much more than mere consistency, it is natural to formulate another general problem in the foundations of mathematics: to translate statements of (...) theorems and proofs in the branch considered into those of some preferred system, where the translation must satisfy certain appropriate conditions (interpretation). The problem is relative to the choice of preferred system, as is Hilbert's consistency problem since he required the consistency to be established by particular methods (finitist ones). A finitist interpretation of classical number theory, which has been published in full detail elsewhere, is here described by means of typical examples. Partial results on analysis (theory of arbitrary functions whose arguments and values are the non-negative integers) are here presented for the first time. One of these results is restricted to functions whose values are bounded; its interest derives from the fact that real numbers may be represented by such functions. It is hoped that diverse general observations and comments, which would bore the specialist, may be of help to the general reader. The specialist may find some points of interest in the last two sections of the main text and in the notes following it. (shrink)

The standard philosophical project of analysing the concept of knowledge has radical defects in its arbitrary restriction of the subject matter, and its risky theoretical presuppositions. Edward Craig suggests a more illuminating approach, akin to the `state of nature' method found in political theory, which builds up the concept from a hypothesis about the social function of knowledge and the needs it fulfils. Light is thrown on much that philosophers have written about knowledge, about its analysis and the (...) obstacles to its analysis, and on the debate over scepticism. It becomes apparent why many languages not only have such constructions as `knows whether' and `knows that', but also have equivalents of `knows how to' and `know' followed by a direct object. Thus the inquiry is both broadened in scope and made theoretically less fragile. (shrink)