In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, there (...) was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

Several decades ago, Christopher Boorse formulated an influential statistical theory of normative biological functions but it has often been claimed that his theory suffers from insuperable problems such as an inability to handle cases of epidemic and universal diseases. This paper develops a new statistical theory of normative functions that is capable of dealing with the notorious problem of epidemic and universal diseases. The theory is also more detailed than its predecessors and offers other important advantages (...) over them. It is argued here that statistical theories of biological functions should not be so quickly dismissed. (shrink)

Theories of function are conventionally divided up into historical and ahistorical ones. Proponents of ahistorical theories often cite the ahistoricity of their accounts as a major virtue. Here, I argue that none of the mainstream “ahistorical” accounts are actually ahistorical. All of them embed, implicitly or explicitly, an appeal to history. In Boorse’s goal-contribution account, history is latent in the idea of statistical-typicality. In the propensity theory, history is implicit in the idea of a species’ natural habitat. (...) In the causal role theory, history is required for making sense of dysfunction. I elaborate some consequences for the functions debate. (shrink)

This chapter seeks to recover an approach to consciousness from a general theory of brain function, namely the prediction error minimization theory. The way this theory applies to mental and developmental disorder demonstrates its relevance to consciousness. The resulting view is discussed in relation to a contemporary theory of consciousness, namely the idea that conscious perception depends on Bayesian metacognition; this theory is also supported by considerations of psychopathology. This Bayesian theory is first disconnected from the higher-order thought theory, and (...) then, via a prediction error conception of action, connected instead to the global neuronal workspace theory. Considerations of mental and developmental disorder therefore show that a very general theory of brain function is relevant to explaining the structure of conscious perception; furthermore, this theory can subsume and unify two contemporary approaches to consciousness, in a move that seeks to elucidate the fundamental mechanism for selection of representational content into consciousness. (shrink)

Christopher Boorse’s Health care ethics: an introduction, Temple University Press, Philadelphia, pp 359–393, 1987; in Humber, Almeder, Totowa What is disease?, Humana Press, New York City, pp 1–134, 1997; J Med Philos, 39:683–724, 2014) Bio-Statistical Theory comprehends diseases in terms of departures from natural norms, which involve an objectively describable deviation from the proper physiological or psychological functioning of parts of the human organism. I argue that while recent revisions and additional considerations shield the BST from a number of (...) issues raised by critics, they give rise to significant new challenges. These are related to the attribution of epistemic authority, the possibility of multiple concepts in the authoritative literature, and the framing of BST as “philosophical explication.” The conclusion is that, in its current form, the BST is unable to provide a robust framework for a naturalist classification. (shrink)

What is the exact nature of the consumption function? Can this term be defined so that it will be consistent with empirical evidence and a valid instrument in the hands of future economic researchers and policy makers? In this volume a distinguished American economist presents a new theory of the consumption function, tests it against extensive statistical J material and suggests some of its significant implications.Central to the new theory is its sharp distinction between two concepts of income, measured (...) income, or that which is recorded for a particular period, and permanent income, a longer-period concept in terms of which consumers decide how much to spend and how much to save. Milton Friedman suggests that the total amount spent on consumption is on the average the same fraction of permanent income, regardless of the size of permanent income. The magnitude of the fraction depends on variables such as interest rate, degree of uncertainty relating to occupation, ratio of wealth to income, family size, and so on.The hypothesis is shown to be consistent with budget studies and time series data, and some of its far-reaching implications are explored in the final chapter. (shrink)

Theories of statistical testing may be seen as attempts to provide systematic means for evaluating scientific conjectures on the basis of incomplete or inaccurate observational data. The Neyman-Pearson Theory of Testing (NPT) has purported to provide an objective means for testing statistical hypotheses corresponding to scientific claims. Despite their widespread use in science, methods of NPT have themselves been accused of failing to be objective; and the purported objectivity of scientific claims based upon NPT has been called (...) into question. The purpose of this paper is first to clarify this question by examining the conceptions of (I) the function served by NPT in science, and (II) the requirements of an objective theory of statistics upon which attacks on NPT's objectivity are based. Our grounds for rejecting these conceptions suggest altered conceptions of (I) and (II) that might avoid such attacks. Second, we propose a reformulation of NPT, denoted by NPT*, based on these altered conceptions, and argue that it provides an objective theory of statistics. The crux of our argument is that by being able to objectively control error frequencies NPT* is able to objectively evaluate what has or has not been learned from the result of a statistical test. (shrink)

Cognitive functions are directly related to interactions between the brain's functional networks. This functional organization changes in the autism spectrum disorder (ASD). However, the heterogeneous nature of autism brings inconsistency in the findings, and specific pattern of changes based on the cognitive theories of ASD still requires to be well-understood. In this study, we hypothesized that the theory of mind (ToM), and the weak central coherence theory must follow an alteration pattern in the network level of functional interactions. (...) The main aim is to understand this pattern by evaluating interactions between all the brain functional networks. Moreover, the association between the significantly altered interactions and cognitive dysfunctions in autism is also investigated. We used resting-state fMRI data of 106 subjects (5–14 years, 46 ASD: five female, 60 HC: 18 female) to define the brain functional networks. Functional networks were calculated by applying four parcellation masks and their interactions were estimated using Pearson's correlation between pairs of them. Subsequently, for each mask, a graph was formed based on the connectome of interactions. Then, the local and global parameters of the graph were calculated. Finally, statistical analysis was performed using a two-sample t-test to highlight the significant differences between autistic and healthy control groups. Our corrected results show significant changes in the interaction of default mode, sensorimotor, visuospatial, visual, and language networks with other functional networks that can support the main cognitive theories of autism. We hope this finding sheds light on a better understanding of the neural underpinning of autism. (shrink)

It is natural and important to have a formal representation of plain belief, according to which propositions are held true, or held false, or neither. (In the paper this is called a deterministic representation of epistemic states). And it is of great philosophical importance to have a dynamic account of plain belief. AGM belief revision theory seems to provide such an account, but it founders at the problem of iterated belief revision, since it can generally account only for one step (...) of revision. The paper discusses and rejects two solutions within the confines of AGM theory. It then introduces ranking functions (as I prefer to call them now; in the paper they are still called ordinal conditional functions) as the proper (and, I find, still the best) solution of the problem, proves that conditional independence w.r.t. ranking functions satisfies the so-called graphoid axioms, and proposes general rules of belief change (in close analogy to Jeffrey's generalized probabilistic conditionalization) that encompass revision and contraction as conceived in AGM theory. Indeed, the parallel to probability theory is amazing. Probability theory can profit from ranking theory as well since it is also plagued by the problem of iterated belief revision even if probability measures are conceived as Popper measures (see No. 11). Finally, the theory is compared with predecessors which are numerous and impressive, but somehow failed to explain the all-important conditional ranks in the appropriate way. (shrink)

This paper shows how to define probability distributions over linguistically realistic syntactic structures in a way that permits us to define language learning and language comprehension as statistical problems. We demonstrate our approach using lexical‐functional grammar (LFG), but our approach generalizes to virtually any linguistic theory. Our probabilistic models are maximum entropy models. In this paper we concentrate on statistical inference procedures for learning the parameters that define these probability distributions. We point out some of the practical problems (...) that make straightforward ways of estimating these distributions infeasible, and develop a “pseudo‐likelihood” estimation procedure that overcomes some of these problems. This method raises interesting questions concerning the nature of the data available to a language learner and the modularity of language learning and processing. (shrink)

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

The paper engages Christopher Boorse’s Bio-Statistical Theory. In its current form, BST runs into a significant challenge. For BST to account for its central tenet—that lower-level part-dysfunction is sufficient for higher-level pathology—it must provide criteria for how to decide which lower-level parts are the ones to be analyzed for health or pathology. As BST is a naturalistic theory, such choices must be based solely on naturalistic considerations. An argument is provided to show that, if BST is to be preserved, (...) such parthood choices are based on non-naturalistic considerations. We demonstrate that even when parthood choices are based on the best way to preserve BST, there are counterintuitive results which bring the central tenet of BST into question. (shrink)

Much of the criticism of Stevens's criterion for permissible statistics as applied to measurement data results from a lack of clarity in Stevens's position. In this paper set-theoretical notions have been used to clarify that position. We define a sig-function as a function defined on numerical assignments. If A and R are empirical and numerical relational systems, respectively, then a sig-function F is constant on A with respect to R if, and only if, the value of F is the same (...) for all numerical assignments for A with respect to R. Using these notions we prove rigorously certain generalizations of Stevens's results. (shrink)

In his paper titled ‘Against “measurement” ’ [Physics World 3(8), 33–40 [1990]], Bell criticised arguments that use the concept of measurement to justify the statistical interpretation of quantum theory. Among these was the text of Gottfried [Quantum Mechanics (Benjamin, New York, [1966])]. Gottfried has replied to this criticism, claiming to show that, for systems with both continuous and discrete degrees of freedom, the statistical interpretation for the discrete variables is implied by requiring that the continuous variables are described (...) classically. In the present paper, Gottfried’s argument is criticised. It is suggested that he takes over aspects of classical physics which are in conflict with the classical limit of the Schrödinger equation. He incorrectly assumes that, in the output from a Stern-Gerlach apparatus, the wave-function of any ion is restricted to one or another of the beams. (shrink)

We analyze naturally occurring datasets from student use of educational technologies to explore a long-standing question of the scope of transfer of learning. We contrast a faculty theory of broad transfer with a component theory of more constrained transfer. To test these theories, we develop statistical models of them. These models use latent variables to represent mental functions that are changed while learning to cause a reduction in error rates for new tasks. Strong versions of these models (...) provide a common explanation for the variance in task difficulty and transfer. Weak versions decouple difficulty and transfer explanations by describing task difficulty with parameters for each unique task. We evaluate these models in terms of both their prediction accuracy on held-out data and their power in explaining task difficulty and learning transfer. In comparisons across eight datasets, we find that the component models provide both better predictions and better explanations than the faculty models. Weak model variations tend to improve generalization across students, but hurt generalization across items and make a sacrifice to explanatory power. More generally, the approach could be used to identify malleable components of cognitive functions, such as spatial reasoning or executive functions. (shrink)

Christopher Boorse's Bio Statistical Theory (BST) defines health as the absence of disease, and disease as the adverse departure from normal species functioning. This paper presents a two-pronged problem for this account. First I demonstrate that, in order to accurately account for dynamic physiological functions, Boorse's account of normal function needs to be modified to index functions against situations. I then demonstrate that if functions are indexed against situations, the BST can no longer account for diseases (...) that result from specific environmental factors. The BST is impaled on either horn of this dilemma and therefore must be dismissed. (shrink)

In both theoretical and applied modeling in behavioral sciences, it is common to choose a mathematical specification of functional form and distribution of unobservables on grounds of analytic convenience without support from explicit theoretical postulates. This article discusses the issue of deriving particular qualitative hypotheses about functional form restrictions in structural models from intuitive theoretical axioms. In particular, we focus on a family of postulates known as dimensional invariance. Subsequently, we discuss how specific qualitative postulates can be reformulated so as (...) to allow for conventional statistical hypothesis testing, and we also derive details of a particular likelihood ratio test procedure. An empirical application of the testing procedure is carried out, based on data from a Stated Preference survey. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims (...) to clarify the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

In this paper the quantum covariant relativistic dynamics of many bodies is reconsidered. It is emphasized that this is an event dynamics. The events are quantum statistically correlated by the global parameter τ. The derivation of an event Boltzmann equation emphasizes this. It is shown that this Boltzmann equation may be viewed as exact in a dilute event limit ignoring three event correlations. A quantum entropy principle is obtained for the marginal Wigner distribution function. By means of event linking (concatenations) (...) particle properties such as the equation of state may be obtained. We further reconsider the generalized quantum equilibrium ensemble theory and the free event case of the Fermi-Dirac and Bose-Einstein distributions, and some consequences. The ultra-relativistic limit differs from the non-covariant theory and is a test of this point of view. (shrink)

Is brain structure related to function? Can one predict the other? These are questions that are still waiting to be answered definitively. In this paper we seek to investigate these questions, in particular, we are interested in the relation between brain structure and theory of mind. ToM is defined as the ability to attribute mental states to others. Previous studies have observed correlations between performance on ToM tasks, and gray-matter size/volume in dorsomedial prefrontal cortex, temporoparietal junction and precuneus. Despite these (...) findings, there are concerns about false positive results and replicability issues. In this study we used two different tasks to evaluate ToM, Reading the Mind in the Eyes Test, and the Short Story Task. Performance in these tasks was correlated to brain anatomy measures including voxel-based morphometry and cortical thickness analysis, from ninety-one neurotypical participants. High-resolution structural brain images were acquired, and whole-brain and region of interest analyses were implemented. The analyses did not show statistically significant associations between ToM performance and brain structural measures after correction. Significant associations between performance on ToM tests and a widespread array of regions loosely associated with ToM were observed only for whole brain uncorrected analysis. These results do not replicate a previous study with neurotypical participants. We tested two different ToM tests, two different softwares for VBM and CT, and we used two samples, one with 91 and a sub-sample with 69 participants. Neither of these conditions made a difference in the results obtained. Consequently, these results suggest that if the population is neurotypical and homogenous, it is unlikely that a reliable association between brain anatomy measures and ToM performance, as measured with these tasks, may be found. (shrink)

The self-avoiding walk is a classical model in statistical mechanics, probability theory and mathematical physics. It is also a simple model of polymer entropy which is useful in modelling phase behaviour in polymers. This monograph provides an authoritative examination of interacting self-avoiding walks, presenting aspects of the thermodynamic limit, phase behaviour, scaling and critical exponents for lattice polygons, lattice animals and surfaces. It also includes a comprehensive account of constructive methods in models of adsorbing, collapsing, and pulled walks, animals (...) and networks, and for models of walks in confined geometries. Additional topics include scaling, knotting in lattice polygons, generating function methods for directed models of walks and polygons, and an introduction to the Edwards model.This essential second edition includes recent breakthroughs in the field, as well as maintaining the older but still relevant topics. New chapters include an expanded presentation of directed models, an exploration of methods and results for the hexagonal lattice, and a chapter devoted to the Monte Carlo methods. (shrink)

Degrees of belief; Dempster's rule of combination; Simple and separable support functions; The weights of evidence; Compatible frames of discernment; Support functions; The discernment of evidence; Quasi support functions; Consonance; Statistical evidence; The dual nature of probable reasoning.

The Born’s rule to interpret the square of wave function as the probability to get a specific value in measurement has been accepted as a postulate in foundations of quantum mechanics. Although there have been so many attempts at deriving this rule theoretically using different approaches such as frequency operator approach, many-world theory, Bayesian probability and envariance, literature shows that arguments in each of these methods are circular. In view of absence of a convincing theoretical proof, recently some researchers have (...) carried out experiments to validate the rule up-to maximum possible accuracy using multi-order interference (Sinha et al, Science, 329, 418 [2010]). But, a convincing analytical proof of Born’s rule will make us understand the basic process responsible for exact square dependency of probability on wave function. In this paper, by generalizing the method of calculating probability in common experience into quantum mechanics, we prove the Born’s rule for statistical interpretation of wave function. (shrink)

In 1957, Feyerabend delivered a paper titled ‘On the Quantum-Theory of Measurement’ at the Colston Research Symposium in Bristol to sketch a completion of von Neumann's measurement scheme without collapse, using only unitary quantum dynamics and well-motivated statistical assumptions about macroscopic quantum systems. Feyerabend's paper has been recognised as an early contribution to quantum measurement, anticipating certain aspects of decoherence. Our paper reassesses the physical and philosophical content of Feyerabend's contribution, detailing the technical steps as well as its overall (...) philosophical motivations and consequences. Summarising our results, Feyerabend interpreted collapse as a positivist assumption in quantum mechanics leading to a strict distinction between the uninterpreted formalism of unitary evolution in quantum mechanics and the classically interpreted observational language describing post-measurement outcomes. Thus Feyerabend took the no-collapse completion of the von Neumann measurement scheme to show the dispensability of the positivist assumption, leading the way to a realistic interpretation of quantum theory. We note, however, that there are substantial problems with his account of measurement that bring into question its viability as a legitimate foil to the orthodox view. We further argue that his dissatisfaction with the von Neumann measurement scheme is indicative of early views on theoretical pluralism. (shrink)

We examine collective decision-making in a jury voting game under the unanimity rule when voters have ambiguous beliefs. Unlike in existing studies (Ellis in Theoretical Economics 11:865–895, 2016; Fabrizi et al., in: AUT Economics Working Paper, 2021; Ryan in Theory and Decision 90:543–577, 2021), the locus of ambiguity is the likelihood function (signal precision) rather than the prior. This significantly alters the properties of symmetric equilibria. While prior ambiguity may induce multiple equilibria (Fabrizi et al., in: AUT Economics Working Paper, (...) 2021; Ryan in Theory and Decision 90:543–577, 2021) we show that, under likelihood ambiguity, there exists a unique non-trivial symmetric responsive equilibrium that takes the same form as in the absence of ambiguity (Feddersen and Pesendorfer in The American Political Science Review 92:23–35, 1998). Moreover, likelihood ambiguity partially offsets the pernicious effects of pivotality on decision quality: the frequency of Type I error (convicting the innocent) is typically lower than in the absence of ambiguity. (shrink)

Formulations of the essential commitment of the etiological theory of functions have varied significantly, with some individual authors' formulations even varying from one place to another. The logical geography of these various formulations is different from what is standardly assumed; for they are not stylistic variants of the same essential commitment, but stylistic variants of two non-equivalent versions of the etiological theory. I distinguish these “strong” and “weak” versions of the etiological theory (which differ with respect to the role (...) of selection in their definitions of function), draw out their respective implications, and argue that the weak version is to be preferred to the strong. (shrink)

Some philosphers of science of an empiricist and pragmatist bent have proposed models of statistical explanation, but have then become sceptical of the adequacy of these models. It is argued that general considerations concerning the purpose of function of explanation in science which are usually appealed to by such philosophers show that their scepticism is not well taken; for such considerations provide much the same rationale for the search for statistical explanations, as these philosophers have characterized them, as (...) they do for lawlike explanations. But, it is further argued, a significant piece of what is frequently offered as an explanation of well known phenomena in statistical mechanics, fails to meet this general "pragmatic rationale" for statistical, or indeed any kind of, explanation. The question then arises whether the physicists have misconstrued the value of this piece of physical theorizing, ergodic theory, taking it to be explanatory when it is actually not; or whether, instead, the philosopher's account of just what is genuinely explanatory is too narrow. (shrink)

The place of money capital in the theory of the firm has remained a relatively neglected question in traditions of economic analysis. In this highly integrative work, issues in production, pricing, capital investment and financial theory are brought to new levels of interdependence. Developing a three-part argument, Money Capital in the Theory of the Firm deals successively with the theoretical issues and analytic motivation, the neoclassical tradition and postclassical perspectives. In doing so, it presents a self-contained foundation in the basic (...) structures of microeconomic analysis relating to optimize decision making in the firm and in the accounting concepts and statistical apparatus of probability theory relevant to the neoclassical aspects of the argument. Additionally, the book provides the essential mathematical development of such advanced topics as utility functions defined over stochastic arguments, the equilibrium theory of financial asset prices and yields, the cost of money capital, and investment decision criteria. This book makes an important contribution to the formation of new and analytically richer perspectives in the important area of economics it addresses. It will be of particular interest to those working in economic theory and microeconomics, and their advanced students. (shrink)

The gravitational equations were derived in general relativity using the assumption of their covariance relative to arbitrary transformations of coordinates. It has been repeatedly expressed an opinion over the past century that such equality of all coordinate systems may not correspond to reality. Nevertheless, no actual verification of the necessity of this assumption has been made to date. The paper proposes a theory of gravity with a constraint, the degenerate variants of which are general relativity and the unimodular theory of (...) gravity. This constraint is interpreted from a physical point of view as a sufficient condition for the adiabaticity of the process of the evolution of the space–time metric. The original equations of the theory of gravity with the constraint are formulated. On this basis, a unified model of the evolution of the modern, early, and very early Universe is constructed that is consistent with the observational astronomical data but does not require the hypotheses of the existence of dark energy, dark matter or inflatons. It is claimed that: physical time is anisotropic, the gravitational field is the main source of energy of the Universe, the maximum global energy density in the Universe was 64 orders of magnitude smaller the Planckian one, and the entropy density is 18 orders of magnitude higher the value predicted by GR. The value of the relative density of neutrinos at the present time and the maximum temperature of matter in the early Universe are calculated. The wave equation of the gravitational field is formulated, its solution is found, and the nonstationary wave function of the very early Universe is constructed. It is shown that the birth of the Universe was random. (shrink)

Complex diseases involve both a genetic component and a response to environmental factors or lifestyle changes. Recently, genome-wide association studies (GWAS) have succeeded in identifying hundreds of polymorphisms that are statistically associated with complex diseases. However, the association is usually weak and none of the associated allelic forms is either necessary or sufficient for the disease occurrence. We argue that this promotes a network view, centred on functional redundancy. We adapted reliability theory to the concerned sub-network, modelled as a parallel (...) array of functional modules. In our model, as long as one module remains active, the function correlated with the respective disease is ensured and disease does not occur. Genetic factors reduce the initial number of available modules while environment, contingent surroundings, personal history, epigenetics, and some intrinsic stochasticity influence their persistence time. This model reproduces age-specific incidence curves and explains the influence of environmental changes. It offers a new paradigm, according to which disease occurs due to a lack of functional elements, depending on many idiosyncratic factors. Genetic risk assessed from GWAS is only a statistical notion with no direct interpretation at the individual level. However, genomic profiling could be useful at population level in devising models to guide decisions in health care policy. (shrink)

Christopher Boorse’s bio-statistical theory of health and disease argues that the central discipline on which theoretical medicine relies is physiology. His theory has been much discussed but little has been said about its focus on physiology or, conversely, about the role that other biomedical disciplines may play in establishing a theoretical concept of health. Since at least the 1950s, epidemiology has gained in strength and legitimacy as an independent medical science that contributes to our knowledge of health and disease. (...) Indeed, it not only provides important information about disease distribution and aetiology, but the risk-factor approach it employs seems to challenge BST’s binary conception of health and disease. The objective of the article is to show, firstly, how important information deriving from descriptive and analytical epidemiology forms part of our contemporary medical concepts of health and disease, and secondly, that these elements are not taken into account by BST in a satisfactory way. The article’s central contention, therefore, is that if the project of defining the theoretical concept of health is to be maintained, more importance should be accorded to the contribution made by epidemiology—alongside physiology—in defining health. (shrink)

Spin-statistics transmutation is the phenomenon occurring when a “dressing” transformation introduced for physical reasons (e.g. gauge invariance) modifies the “bare” spin and statistics of particles or fields. Historically, it first appeared in Quantum Mechanics and in semiclassical approximation to Quantum Field Theory. After a brief historical introduction, we sketch how to describe such phenomenon in Quantum Field Theory beyond the semiclassical approximation, using a path-integral formulation of euclidean correlation functions, exemplifying with anyons, dyons and skyrmions.

Part II of this three-part paper presents some of the most important theorems that can be deduced from the four postulates of the unified theory discussed in Part I. In Part IIa, it is shown that the maximum energy that can be extracted adiabatically from any system in any state is solely a function of the density operator $\hat \rho$ associated with the state. Moreover, it is shown that for any state of a system, nonequilibrium, equilibrium or stable equilibrium, a (...) unique propertyS exists which is proportional to the total energy of the system minus the maximum energy that can be extracted adiabatically from the system in combination with a reservoir. For statistically independent systems, propertyS is extensive, it is invariant during all reversible processes, and it increases during all irreversible processes. (shrink)

The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able to (...) allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

I present and defend the generalized selected effects theory (GSE) of function. According to GSE, the function of a trait consists in the activity that contributed to its bearer’s differential reproduction, or differential retention, within a population. Unlike the traditional selected effects (SE) theory, it does not require that the functional trait helped its bearer reproduce; differential retention is enough. Although the core theory has been presented previously, I go significantly beyond those presentations by providing a new argument for GSE (...) and defending it from a recent objection. I also sketch its implications for teleosemantics and philosophy of medicine. (shrink)

In his recent monograph [7], Professor Shafer has offered us an alternative to Bayesian inference with his novel theory of belief functions and, in his current paper [8], has characterized his position by pointing to two basic differences it shares with Bayesianism. First, belief functions are non-additive so that the degree of belief assigned to the disjunction ‘A1 or A2’ may be larger than the sum of the degrees of belief assigned to the separate disjuncts. Second, the theory (...) of belief functions has its own rule for determining the commitments to changes in degrees of belief when evidence is compounded. So, instead of the Bayesian postulate of conditionalization, that is, in place of using Bayes’ theorem to identify the commitments to changes in probability when evidence accumulates, the theory advocated by Professor Shafer relies on a proposal he traces to A.P.Dempster, which he calls Dempster’s rule for combination of belief functions. (shrink)

Of all global problems world population growth is the most significant. The growth of the number of people expresses the sum outcome of all economic, social and cultural activities that comprise human history. Demographic data in a concise and quantitative way describe this process in the past and present. By applying the concepts of nonlinear dynamics and synergetics, it is possible to work out a mathematical model for a phenomenological description of the global demographic process and project its trends into (...) the future. Assuming self-similarity as the dynamic principle of development, growth can be described over practically the whole of human history, with a growth rate proportional to the square of the number of people. This is due to a collective interaction, responsible for the growth of human numbers, as the result of the informational nature of development. The large parameter of the theory and the effective size of a coherent population group is of the order of 105. As the microscopic parameter of the phenomenology, the human life span is introduced into the theory. Estimates of the beginning of human development 4-5 million years ago and of the total number of people who have ever lived since then ≈ 100 billion are made. In the framework of the model, large scale cycles defined by history and anthropology are shown to follow an exponential pattern of growth, culminating in the demographic transition, a veritable revolution when population growth is to stabilize at 10 to 12 billion. (shrink)

Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from (...) small time and space bounds to the elementary functions, with a particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side. (shrink)