Ever since the early decades of this century, there have emerged a number of competing schools of ecology that have attempted to weave the concepts underlying natural resource management and natural-historical traditions into a formal theoretical framework. It was widely believed that the discovery of the fundamental mechanisms underlying ecological phenomena would allow ecologists to articulate mathematically rigorous statements whose validity was not predicated on contingent factors. The formulation of such statements would elevate ecology to the standing of a rigorous (...) scientific discipline on a par with physics. However, there was no agreement as to the fundamental units of ecology. Systems ecologists sought to identify the fundamental organization that tied the physical and biological components of ecosystems into an irreducible unit: the ecosystem was their fundamental unit. Population ecologists sought, instead, to identify the biological mechanisms regulating the abundance and distribution of plant and animal species: to these ecologists, the individual organism was the fundamental unit of ecology, and the physical environment was nothing more than a stage upon which the play of individuals in perennial competition took place. As Joel Hagen has pointed out, the two schools were thus dividied by fundamentally different and irreconcilable assumptions about the nature of ecosystems.Notwithstanding these divisive efforts to elevate the image of ecology, the discipline remained in the shadows of American academia until the mid-1960s, when systems ecologists succeeded in projecting ecology onto the national scene. They did so by seeking closer involvement with practical problems: they argued before Congress that their approach to the theoretical problems of ecology was uniquely suited to the solution of the impending “environmental crisis.” With the establishment of the International Biological Program, they succeeded in attracting unprecedented levels of funding for systems ecology research. Theoretical population ecologists, on the other hand, found themselves consigned to the outer regions of this new institutional landscape. The systems ecologists' successful capture of the limelight and the purse brought the divisions between them and population ecologists into sharper relief — hence the hardening of the division of ecology observed by Hagen.45I have argued that the population biologist Richard Levins, prompted by these institutional developments, sought to challenge the social position of systems ecology, and to assert the intellectual priority of theoretical population ecology. He attempted to do so by articulating a nontrivial and rather carefully thought out classification of ecological models that led to the disqualification of systems analysis as a legitimate approach to the study of ecological phenomena. I have suggested that — ultimately —Levins's case against systems analysis in ecology rested on the view that an aspiration to realism and prediction was incompatible with an interest in theoretical issues, a concern that he equated with the search for generality. He sought to reinforce this argument by exploiting the fact that systems ecologists had staked their future on the provision of technical solutions to the problems of the “environmental crisis”: he associated systems ecologists' aspiration to realism and precision with a concern for practical issues, trading on the widely accepted view that practical imperatives are incompatible with the aims of scientific inquiry.46 These are plausible, but nonetheless questionable, claims which have now become an integral part of ecological knowledge. And finally, I hope to have shown how even the most abstract levels of scientific argument are shaped by political considerations, and how discussions of the conceptual development of modern ecology might benefit from a greater consideration of its historical and social dimensions.47. (shrink)

Provability, Computability and Reflection.

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years (...) know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

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)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and (...) updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the (...) informed and interested nonspecialist. (shrink)

I argue that the contrast between models and theories is important for public policy issues. I focus especially on the way a mathematical model explains just one aspect of the data.

Philosophers since antiquity have argued the merits of mathematics as a normative aid in ethical decision-making and of the mathematization of ethics a theoretical discipline. Recently, Anagnostopoulos, Annas, Broadie and Hutchinson have probed such issues said to be of interest to Aristotle. Despite their studies, the sense in which Aristotle either opposed or proposed a mathematical ethics in subject-matter and method remains unclear. This paper attempts to clarify the matter. It shows Aristotle’s matrix of exactness and inexactness for ethical (...) subject-matter and ethical method in the Nicomachean Ethics. Then it probes a resultant puzzle from the matrix, namely, the HL model of the happy life without consideration of mathematical justice and the HJL model of the happy life with such consideration. Finally, it examines Aristotle’s twofold rationale for differentiating these two models in his overall moral feedback loop system: differences in the intellectual virtue of good deliberation; the priority of friendship over justice for the happy life. This suggests Aristotle saw no objection either to using mathematics as an aid to ethical decision-making for a happy life, or to mathematizing at least some parts of an ethical theory of eudaimonism. (shrink)

Mathematical models of biological patterns are central to contemporary biology. This paper aims to consider what these models contribute to biology through the detailed consideration of an important case: Hamilton’s selfish herd. While highly abstract and idealized, Hamilton’s models have generated an extensive amount of research and have arguably led to an accurate understanding of an important factor in the evolution of gregarious behaviors like herding and flocking. I propose an account of what these models (...) are able to achieve and how they can support a successful scientific research program. I argue that the way these models are interpreted is central to the success of such programs. (shrink)

Mathematical models provide explanations of limited power of specific aspects of phenomena. One way of articulating their limits here, without denying their essential powers, is in terms of contrastive explanation.

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

The theory of Yin and Yang and the Five Movements is based on the concept of cyclical time. This ancient cosmological model postulates that when expansive energy reaches its apex, mutual life-saving relations prevail over mutually conflictual societal relations, and that this cycle repeats. This cosmic change model was first presented in ancient Korea and China, by Hado-Nakseo, via numerological configurations and symbols. The Hado diagram was drawn by a Korean thinker, Bok-hui (?-BC3413), also known as Great Empeor Fuzi or (...) Fu-hsi in Chinese mythology. Confucius once recognized him as the father of I Ching (Book of Changes). The Eastern cosmology was further developed by King Wen and the Duke of Zhou and compiled by Confucius (BC551?-BC 479) during the Spring and Autumn Period and the Warring States Period. Nakseo diagram was first discovered by the famous King Wu of China, who founded the Xia dynasty. In contrast to the harmonious mathematical matrix of Hado, Nakseo symbolizes the conflictual and dynamic expansion of the universe. In the Nakseo world, masculine energy is structurally greater than feminine energy, continuously breeding disequilibrium and conflict. The Yin and Yang model suggests that everything in the universe exists as a combination of opposing dynamics. At any given time, one of the two dynamics grows while the other declines. When Yang energy is at its peak, Yin energy is at its nadir; then, a reversal occurs; and envetually the whole cycle repeats. It would thus be logical to express that when conflictual energy has reached its apex harmonious energy begins to wax. It can be argued that since the state of disequilibrium within the universe represented by Nakseo cannot indefinitely sustain its dynamic of expansion, harmonious international relationships eventually come to pervade the world. This argument represents a unique applicationof the concept of Yin and Yang logic to international arms race and arms control. This cyclical dynamics can explain the long-term process of arms build-up followed by eventually by nuclear standoff and subsequent nuclear arms control regimes as NPT, CTBT, MTCR, SALT, START, PSI and etc. One can boldly claim that Yin and Yang logic offers a clue to creating a theory of structural peace by discovering a constructivist element in the model. The esoteric matrixes of ancient Korea and China thus provide humanity with an new vision for nuclear disarmament and a sustainable peace. (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present (...) a structural analysis of the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

A reasoned argument or tarka is essential for a wholesome vāda that aims at establishing the truth. A strong tarka constitutes of a number of elements including an anumāna based on a valid hetu. Several scholars, such as Dharmakīrti, Vasubandhu and Dignāga, have worked on theories for the establishment of a valid hetu to distinguish it from an invalid one. This paper aims to interpret Dignāga’s hetu-cakra, called the wheel of grounds, from a modern philosophical perspective by deconstructing it into (...) a simple probabilistic mathematical model. The objective is to understand how and why a vāda based on a probabilistically weaker hetu can degrade into a Jalpa or vitaṇḍā. To do so, the paper maps the concept of ‘Bounded Rationality’ onto the hetu-cakra. Bounded Rationality, an idea coined by the management thinker Herbert Simon, is often employed in understanding decision-making processes of rational agents. In the context of this paper, the concept would state that the prativādin and ālocaka (debater) may not hold unbounded information to back their pratijñā (proposition). The paper argues that within the probabilistically deconstructed hetu-cakra model, most people argue in the ‘Zone of Bounded Rationality’, and thus, the probability of a debate degrading into Jalpa or vitaṇḍā is high. -/- . (shrink)

The article presents a verbal and mathematical model of medium-term business cycles (with a characteristic period of 7–11 years) known as Juglar cycles. The model takes into account a number of approaches to the analysis of such cycles; in the meantime it also takes into account some of the authors' own generalizations and additions that are important for understanding the internal logic of the cycle, its variability and its peculiarities in the present-time conditions. The authors argue that the most (...) important cause of cyclical crises stems from strong structural disproportions that develop during economic booms. These are not only disproportions between different economic sectors, but also disproportions between different societal subsystems; at present these are also disproportions within the World System as a whole. The proposed model of business cycle is based on its subdivision into four phases: – recovery phase (which could be subdivided into the start sub-phase and the acceleration sub-phase); – upswing/prosperity/expansion phase (which could be subdivided into the growth sub-phase and the boom/overheating sub-phase); – recession phase (within which one may single out the crash/bust/acute crisis subphase and the downswing sub-phase); – depression/stagnation phase (which we could subdivide into the stabilization subphase and the breakthrough sub-phase). The article provides a detailed qualitative description of macroeconomic dynamics at all the phases; it specifies driving forces of cyclical dynamics and the causes of transition from one phase to another (including psychological causes); a special attention is paid to the turning point from the peak of overheating to the acute crisis, as well as to the turning point from the downswing to recovery. The proposed mathematical model of Juglar cycle takes into account the following effects that are typical for the market economy: • positive feedbacks between various economic processes; • presence of a certain inertia, time lags in reactions of the economic subsystem to the change in conditions; • amplification by the financial subsystem of positive feedbacks and time lags in the economic subsystem; • excessive reaction to changing conditions during the acute crisis sub-phase. The authors suggest that the current crisis turns out to be rather similar to classical Juglar crises; however, there is also a significant difference, as the current crisis occurs at a truly global scale. Yet, due to this truly global scale of the current crisis, the possibilities of regulation with the national state's measures have turned out to be ineffective,whereas the suprastate regulation of financial processes hardly exists. It is shown that all these have led to the reproduction of the current crisis according to a classical Juglar scenario. (shrink)

The use of mathematical models to support decision making is proliferating in both the public and private sectors. Advances in computer technology and greater opportunities to learn the appropriate techniques are extending modeling capabilities to more and more people. As powerful decision aids, models can be both beneficial or harmful. At present, few safeguards exist to prevent model builders or users from deliberately, carelessly, or recklessly manipulating data to further their own ends. Perhaps more importantly, few people (...) understand or appreciate that harm can be caused when builders or users fail to recognize the values and assumptions on which a model is based or fail to take into account all the groups who would be affected by a model's results. This volume provides a setting for a dialogue about ethics and shows the need to continue and define a vocabulary for exploring ethical concerns. It will become increasingly important for model builders and users to have a clear and strong code of ethics to guide them in making the ethical decisions they surely will have to face. (shrink)

Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. That series (...) rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology. (shrink)

This article contributes to the revision of the procedure of robustness analysis of mathematical models in epistemic democracy using the systematic review method. It identifies the drawbacks of robustness analysis in epistemic democracy in terms of sample universality and inference from samples with the same results. To exemplify the effectiveness of systematic review, this article conducted a pilot review of diversity trumps ability theorem models, which are mathematical models of deliberation often cited by epistemic democrats. (...) A review of nine models extracted from 352 papers exemplifies the effectiveness of robustness analysis supplemented by systematic review in epistemic democracy. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model suggests that in (...) discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across philosophy (...) of mathematics, logic, and philosophy of language. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section (...) I. Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

In the philosophy of mathematics, as in its a meta-domain, we find that the words as: consequentialism, implicativity, operationalism, creativism, fertility, … grasp at most of mathematical essence and that the questions of truthfulness, of common sense, or of possible models for (otherwise abstract) mathematical creations,i.e. of ontological status of mathematical entities etc. - of second order. Truthfulness of (necessary) succession of consequences from causes in the science of nature is violated yet with Hume, so that (...) some traditional footings of logico-mathematical conclusions should equally be falled under suspicion in the last century. We have in mind, say, strict-material implication which led the emergence of relevance logics, or the law of excluded middle that denied intuitionists i.e. paraconsistent logical systems where the contradiction is allowed, as well as the quantum logic which doesn't know, say, the definition of implication etc. Kant's beliefs miscarried hereafter that number (arithmetic) and form (geometry) would bring a (finite) truth on space and time, when they revealed relative and curvated, just as it is contradictory essentially understanding of basic phenomena in the nature: of light as an unity of wave – particle, or that both "exist" and "don't exist" numbers as powers of sets between 0א and c (the independence of continuum hypothesis) etc. Mathematical truths are ''truths of possible worlds'', in which we have only to believe that they will meet once recognizable models in reality. At last, we argue in favour of thesis that a possible representing "in relief" of mathematical entities and relations in the "noetic matter" (Aristotle) would be of a striking heuristic character for this science. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a (...) central role, namely homotopy theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

We review mathematical models of HIV dynamics, disease progression, and therapy. We start by introducing a basic model of virus infection and demonstrate how it was used to study HIV dynamics and to measure crucial parameters that lead to a new understanding of the disease process. We discuss the diversity threshold model as an example of the general principle that virus evolution can drive disease progression and the destruction of the immune system. Finally, we show how mathematical (...) models can be used to understand correlates of long‐term immunological control of HIV, and to design therapy regimes that convert a progressing patient into a state of long‐term non‐progression. BioEssays 24:1178–1187, 2002. © 2002 Wiley‐Periodicals, Inc. (shrink)

Through the use of Bayesian probability theory and Communication theory, a formal mathematical model of a Churchmanian Dialectical Inquirer is developed. The Dialectical Inquirer is based on Professor C. West Churchman's novel interpretation and application of Hegelian dialectics to decision theory. The result is not only the empirical application of dialectical inquiry but also its empirical (i.e., scientific) investigation. The Dialectical Inquirer is seen as especially suited to problems in strategic policy formation and in decision theory. Finally, specific application (...) of the inquirer is made to Popper's notions for ‘The Test of Severity’ of a scientific theory. (shrink)

This paper sets out to show how mathematical modelling can serve as a way of ampliating knowledge. To this end, I discuss the mathematical modelling of time in theoretical physics. In particular I examine the construction of the formal treatment of time in classical physics, based on Barrow’s analogy between time and the real number line, and the modelling of time resulting from the Wheeler-DeWitt equation. I will show how mathematics shapes physical concepts, like time, acting as a (...) heuristic means—a discovery tool—, which enables us to construct hypotheses on certain problems that would be hard, and in some cases impossible, to understand otherwise. (shrink)

In this essay I argue against I. Bernard Cohen's influential account of Newton's methodology in the Principia: the 'Newtonian Style'. The crux of Cohen's account is the successive adaptation of 'mental constructs' through comparisons with nature. In Cohen's view there is a direct dynamic between the mental constructs and physical systems. I argue that his account is essentially hypothetical-deductive, which is at odds with Newton's rejection of the hypothetical-deductive method. An adequate account of Newton's methodology needs to show how Newton's (...) method proceeds differently from the hypothetical-deductive method. In the constructive part I argue for my own account, which is model based: it focuses on how Newton constructed his models in Book I of the Principia. I will show that Newton understood Book I as an exercise in determining the mathematical consequences of certain force functions. The growing complexity of Newton's models is a result of exploring increasingly complex force functions (intra-theoretical dynamics) rather than a successive comparison with nature (extra-theoretical dynamics). Nature did not enter the scene here. This intra-theoretical dynamics is related to the 'autonomy of the models'. (shrink)

John P. Burgess, Mathematics, Models, and Modality: Selected Philosophical Essays. Cambridge: Cambridge University Press, 2008. xiii + 301 pp. $90.00, £50.00. ISBN 978-0-521-88034-3. Adobe eBook, $...

Nitric oxide (NO) is involved in synaptic long-term potentiation (LTP) by multiple signaling pathways. Here, we show that LTP of synaptic transmission can be explained as a feature of signal transduction—bistable behavior in a chain of biochemical reactions with positive feedback, formed by diffusion of NO to the presynaptic site and facilitating the release of glutamate (Glu). The dynamics of Glu, calcium (Ca2+) and NO is described by a system of nonlinear reaction–diffusion equations with modified Michaelis–Menten (MM) kinetics. Numerical investigation (...) reveals that the chain of biochemical reactions analyzed can exhibit a bistable behavior under physiological conditions when production of Glu is described by MM kinetics and decay of NO is modeled by means of two enzymatic pathways with different kinetic properties. Our finding extends understanding of the role of NO in LTP: a short high-intensity stimulus is “memorized” as a long-lasting elevation of NO concentration. The conclusions obtained by analysis of the chain of biochemical reactions describing LTP can be generalized to other chains of interactions or for creating the logical elements for biological computers. (shrink)

Current understanding of the development of quantity representations is based primarily on performance in the number‐line task. We posit that the data from number‐line tasks reflect the observer's underlying representation of quantity, together with the cognitive strategies and skills required to equate line length and quantity. Here, we specify a unified theory linking the underlying psychological representation of quantity and the associated strategies in four variations of the number‐line task: the production and estimation variations of the bounded and unbounded number‐line (...) tasks. Comparison of performance in the bounded and unbounded number‐line tasks provides a unique and direct way to assess the role of strategy in number‐line completion. Each task produces a distinct pattern of data, yet each pattern is hypothesized to arise, at least in part, from the same underlying psychological representation of quantity. Our model predicts that the estimated biases from each task should be equivalent if the different completion strategies are modeled appropriately and no other influences are at play. We test this equivalence hypothesis in two experiments. The data reveal all variations of the number‐line task produce equivalent biases except for one: the estimation variation of the bounded number‐line task. We discuss the important implications of these findings. (shrink)

We have developed a simple mathematical model with three physiologically significant states to describe the changes in intrauterine pressure associated with a contraction during human parturition. The myometrium is modelled as a set of smooth muscle cells, each of which is in one of three states (quiescent, contracted, refractory) at a given time. These states are occupied according to a cycle governed by three temporal parameters. The solutions of the equations describing the model show an oscillatory behavior for particular (...) values of these parameters, which is very similar to the time dependant development of intrauterine pressure during labor. Due to its non-linear terms, our model could lead to chaotic oscillations (in the mathematical sense), whose clinical counterpart may occur in cases of dystocia. Despite its simplicity, this model appears to be a useful guide to further investigations of the oscillatory behavior of the myometrium, or other smooth muscles, in normal and pathological situations. (shrink)

The emphasis in this collection is clearly on logic, and this is one reason why it lacks the overall diversity and richness of the 1960 Stanford volume. However, the eight sections do contain much interesting material; in the mathematical logic section Kochen and Specker continue their study of logics appropriate for quantum theory, Vaught presents several new results about the Löwenheim-Skolem theorem, and Büchi studies second-order ordinal theory from the viewpoint of automata theory; the section on foundations of (...) class='Hi'>mathematical theories contains papers on higher-order logic by Kaplan and Montague, model theory and ultra-products by Keisler, definability in set theory by Lévy. The topic of the justification of formal theories was the essential topic of the philosophy of logic section: an especially interesting paper is that of A. Robinson in which the present state of Hilbertean Formalism is analyzed, and in which the notion of potential truth is formalized. The section on the philosophy of science contains a single paper, by Hesse, on metaphor and explanation; Braithwaite, Hintikka, Jeffrey, and Kyburg contribute to a lively section on probability and induction; the section on methodology in physical science takes as topics the theory of relativity, causality, and irreversibility. The last two sections, on the philosophy of the life sciences, and on history of logic and philosophy of science, contain, respectively, papers by Davidson and Suppes on meaning and concept formation, and essays by Church and Geach on existential import historically considered and intentionality among the medievals. The collection would have been better if more of the contributed papers had been included.—P. J. M. (shrink)

The present work is a contribution to the understanding of the sempiternal problem of the “burden of factor two” implied by sexual reproduction versus asexual one, as males are energy consumers not contributing to the production of offspring. We construct a deterministic mathematical model in population dynamics where a species enjoys both sexual and parthenogenetic capabilities of reproduction and lives on a limited resource. We then show how polygamy implies instability of a parthenogenetic population with a small number of (...) sexually born males. This instability implies evolution of the system towards an attractor involving both populations. We also exhibit the analogy with a parasite/host system. (shrink)

Schistosomiasis, a vector-borne chronically debilitating infectious disease, is a serious public health concern for humans and animals in the affected tropical and sub-tropical regions. We formulate and theoretically analyze a deterministic mathematical model with snail and bovine hosts. The basic reproduction number R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0$$\end{document} is computed and used to investigate the local stability of the model’s steady states. Global stability of the endemic equilibrium is carried out by constructing a suitable Lyapunov (...) function. Sensitivity analysis shows that the basic reproduction number is most sensitive to the model parameters related to the contaminated environment, namely: shedding rate of cercariae by snails, cercariae to miracidia survival probability, snails-miracidia effective contact rate and natural death rate of miracidia and cercariae. Numerical results show that when no intervention measures are implemented, there is an increase of the infected classes, and a rapid decline of the number of susceptible and exposed bovines and snails. Effects of the variation of some of the key sensitive model parameters on the schistosomiasis dynamics as well as on the initial disease transmission threshold parameter R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0$$\end{document} are graphically depicted. (shrink)

Tuberculosis has continued to retain its title as “the captain among these men of death”. This is evident as it is the leading cause of death globally from a single infectious agent. TB as it is fondly called has become a major threat to the achievement of the sustainable development goals (SDG) and hence require inputs from different research disciplines. This work presents a mathematical model of tuberculosis. A compartmental model of seven classes was used in the model formulation (...) comprising of the susceptible S, vaccinated V, exposed E, undiagnosed infectious I1, diagnosed infectious I2, treated T and recovered R. The stability analysis of the model was established as well as the condition for the model to undergo backward bifurcation. With the existence of backward bifurcation, keeping the basic reproduction number less than unity $$({R_{0}}<1)$$ is no more sufficient to keep TB out of the community. Hence, it is shown by the analysis that vaccination program, diagnosis and treatment helps to control the TB dynamics. In furtherance to that, it is shown that preference should be given to diagnosis over treatment as diagnosis precedes treatment. It is as well shown that at lower vaccination rate (0–20%), TB would still be endemic in the population. As such, high vaccination rate is required to send TB out of the community. (shrink)

Mathematics from the electromagnetic field quantization procedure and the soliton models of photons are used to construct a new 3D model of photons. Besides the interaction potential between the charged particle and the photons, which contains the annihilation and creation operators of photons, the new function for a description of free propagating photons is derived. This function presents the vector potential of the field, the function is a product of the harmonic oscillator eigenfunction with the well-defined coordinate of the (...) oscillator and the Gaussian function of the polar radius in the transverse direction. In the article, the difference between the quantum mechanics of particles and photons is discussed. (shrink)

Simple type theory is a higher-order predicate logic for reasoning about truth values, individuals, and simply typed total functions. We present in this paper a version of simple type theory, called PF*, in which functions may be partial and types may have subtypes. We define both a Henkin-style general models semantics and an axiomatic system for PF*, and we prove that the axiomatic system is complete with respect to the general models semantics. We also define a notion of (...) an interpretation of one PF* theory in another. PF* is intended as a foundation for mechanized mathematics. It is the basis for the logic of , an Interactive Mathematical Proof System developed at The MITRE Corporation. (shrink)

Rift Valley Fever is a vector-borne disease mainly transmitted by mosquito. To gain some quantitative insights into its dynamics, a deterministic model with mosquito, livestock, and human host is formulated as a system of nonlinear ordinary differential equations and analyzed. The disease threshold $$\mathcal{R}_0$$ is computed and used to investigate the local stability of the equilibria. A sensitivity analysis is performed and the most sensitive model parameters to the measure of initial disease transmission $$\mathcal{R}_0$$ and the endemic equilibrium are determined. (...) Both $$\mathcal{R}_0$$ and the disease prevalence in mosquitoes are more sensitive to the natural mosquito death rate, d m . The disease prevalence in livestock and humans are more sensitive to livestock and human recruitment rates, $$\Uppi_l$$ and $$\Uppi_h$$, respectively, suggesting isolation of livestock from humans is a viable preventive strategy during an outbreak. Numerical simulations support the analytical results in further exploring theoretically the long-term dynamics of the disease at the population level. (shrink)