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)

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)

Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both insightful (...) and frustrating. Much light was shed on the legal system, but it also quickly became evident that the tools of probability theory were in many ways ill-constructed for the task. Fundamental incompatibilities between the structure of legal decision making and the extant formal tools were identified, and it became evident that many of the purported explanations of legal phenomena were internally inconsistent. As a consequence, interest in this type of formal modeling declined, and attention was directed toward different kinds of explanations of the phenomena. Perhaps under the influence of a recent trend toward various types of formal modeling in legal scholarship, a recent burst of articles, rather than attempting to explain the macro structure of trials, which was the previous object of interest, attempts to quantify the probative value of various items of evidence in ways consistent with the formal features of various probability theories, and then to study decision making from that perspective. For example, the value of evidence is often purported to be its likelihood ratio, that is, the probability of discovering or receiving the evidence given a hypothesis (e.g., the defendant did it) divided by the probability of discovering or receiving the evidence given the negation of the hypothesis (the defendant didn't do it). Alternatively, the value of evidence is purported (more contextually) to be the information gain it provides, defined as the increase in probability it provides for a hypothesis above the probability of the hypothesis based on the other available evidence. Both conceptions then assume that all of the various probability assessments conform or ought to conform to the dictates of Bayes' theorem (that maintains consistency among such assessments); empirical studies are then done testing the extent to which this is so and proposing how the law can increase the probability that it is so. The general criticisms of using Bayes' theorem as a formal model of juridical proof are well known and were integral to the last wave of interest in formal modeling of the evidentiary process. This paper thus for the most part puts aside that more general issue, and focuses specifically on mathematical modeling of the value of particular items of evidence. The paper demonstrates that formal modeling has only limited value in explaining the value of legal evidence, much more limited than those constructing and discussing the models assume, and thus that the conclusions they draw about the value of evidence are unwarranted. This is done through a discussion of four recent examples that attempt to quantify evidence relating to, respectively, carpet fibers, infidelity, DNA random-match evidence, and character evidence used to impeach a witness. This article thus makes two contributions. First, and most importantly, it is another demonstration of the complex relationship between algorithmic tools and legal decision making. Second, at a minimum it points out serious pitfalls for analytical or empirical studies of juridical proof. (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)

To mitigate the spread of schistosomiasis, a deterministic human-bovine mathematical model of its transmission dynamics accounting for contaminated water reservoirs, including treatment of bovines and humans and mollusciciding is formulated and theoretically analyzed. The disease-free equilibrium is locally and globally asymptotically stable whenever the basic reproduction number R0<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0<1$$\end{document}, while global stability of the endemic equilibrium is investigated by constructing a suitable Lyapunov function. To support the analytical results, parameter values from (...) published literature are used for numerical simulations and where applicable, uncertainty analysis on the non-dimensional system parameters is performed using the Latin Hypercube Sampling and Partial Rank Correlation Coefficient techniques. Sensitivity analysis to determine the relative importance of model parameters to disease transmission shows that the environment-related parameters namely, εs\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon _s$$\end{document} (snails shedding rate of cercariae), ps\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_s$$\end{document} (probability that cercariae shed by snails survive), c (fraction of the contaminated environment sprayed by molluscicides) and μc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu _c$$\end{document} (mortality rate of cercariae) are the most significant to mitigate the spread of schistosomiasis. Mollusciciding, which directly impacts the contaminated environment as a single control strategy is more effective compared to treatment. However, concurrently applying mollusciciding and treatment will yield a better outcome. (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, (...) its goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

We define a model for computing probabilities of right-nested conditionals in terms of graphs representing Markov chains. This is an extension of the model for simple conditionals from Wójtowicz and Wójtowicz. The model makes it possible to give a formal yet simple description of different interpretations of right-nested conditionals and to compute their probabilities in a mathematically rigorous way. In this study we focus on the problem of the probabilities of conditionals; we do not discuss questions concerning (...) logical and metalogical issues such as setting up an axiomatic framework, inference rules, defining semantics, proving completeness, soundness etc. Our theory is motivated by the possible-worlds approach ; however, our model is generally more flexible. In the paper we focus on right-nested conditionals, discussing them in detail. The graph model makes it possible to account in a unified way for both shallow and deep interpretations of right-nested conditionals. In particular, we discuss the status of the Import-Export Principle and PCCP. We briefly discuss some methodological constraints on admissible models and analyze our model with respect to them. The study also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

The city of Kruja (Albania)contains three types of dwellings that date back to different periods of time: the historic ones, the socialist ones, the modern ones. This paper has to deal only with the historic building's typology. The questionnaire that is applied will be considered for the development of mathematical regression based on specific data for this category. Variation between the relevant variables of the questionnaire is fairly or inverse-linked with a certain percentage of influence. The aim of this (...) study is to have better insights into the important role of building occupancy, people's lifestyle, economic level, and the quality of life of the residents in the inner medieval citadel, the physics characteristics, and the energy efficiency of the historical dwellings. The variables such as the number of residents, quality of life, the surface of the dwellings, heating instruments and time spent in the dwelling, current living conditions, monthly bills, level of satisfaction, restoration, and building improvements, interact with each other with probabilities with different positive or negative percentages. (shrink)

In physics, one is often misled in thinking that the mathematical model of a system is part of or is that system itself. Think of expressions commonly used in physics like “point” particle, motion “on the line”, “smooth” observables, wave function, and even “going to infinity”, without forgetting perplexing phrases like “classical world” versus “quantum world”.... On the other hand, when a mathematical model becomes really inoperative in regard with correct predictions, one is forced to replace it with (...) a new one. It is precisely what happened with the emergence of quantum physics. Classical models were superseded by quantum ones through quantization prescriptions. These procedures appear often as ad hoc recipes. In the present paper, well defined quantizations, based on integral calculus and Weyl–Heisenberg symmetry, are described in simple terms through one of the most basic examples of mechanics. Starting from probability distribution on the Euclidean plane viewed as the phase space for the motion of a point particle on the line, i.e., its classical model, we will show how to build corresponding quantum model and associated probabilities or quasi-probabilities distributions. We highlight the regularizing rôle of such procedures with the familiar example of the motion of a particle with a variable mass and submitted to a step potential. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be (...) interpreted as deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

This paper is a sequel to the joint publication of Scott and Krauss in which the first aspects of a mathematical theory are developed which might be called "First Order Probability Logic". No attempt will be made to present this additional material in a self-contained form. We will use the same notation and terminology as introduced and explained in Scott and Krauss, and we will frequently refer to the theorems stated and proved in the preceding paper. The main objective (...) of this study is to show that the probability of symmetric probability systems may be represented as a "weighted average" of what might be called "product probabilities". We then discuss some applications of our results to Carnap's "Principle of instantial relevance", which plays an important role in his system of inductive logic. (shrink)

Current mathematical models are notoriously unreliable in describing the time evolution of unexpected social phenomena, from financial crashes to revolution. Can such events be forecast? Can we compute probabilities about them? Can we model them? This book investigates and attempts to answer these questions through GOdel's two incompleteness theorems, and in doing so demonstrates how influential GOdel is in modern logical and mathematical thinking. Many mathematical models are applied to economics and social theory, while (...) GOdel's theorems are able to predict their limitations for more accurate analysis and understanding of national and international events. This unique discussion is written for graduate level mathematicians applying their research to the social sciences, including economics, social studies and philosophy, and also for formal logicians and philosophers of science. (shrink)

Understanding arithmetic word problems involves a complex interaction of text comprehension and mathematical processes. This article presents a computer simulation designed to capture the working memory demands required in “bottomup” comprehension of arithmetic word problems. The simulation's sentence‐level parser and text integration component reflect the importance of processing the problem from its original natural language presentation. Children's probability of solution was analyzed in exploratory regression analyses as a function of the simulation's sentence‐level and text integration processes. Working memory variables (...) measuring the combined effects of concepts to remember and text integration inferences account for a significant proportion of variance in children's solution probabilities across the first four grade levels (K‐3). Consistent with previous results from others, which highlighted the significance of small changes in problem wording, the simulation offers a process‐oriented perspective as to why natural language presentation constrains the comprehension of mathematical relationships. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

In this paper the role of the mathematical probability models in the classical and quantum physics is shortly analyzed. In particular the formal structure of the quantum probability spaces (QPS) is contrasted with the usual Kolmogorovian models of probability by putting in evidence the connections between this structure and the fundamental principles of the quantum mechanics. The fact that there is no unique Kolmogorovian model reproducing a QPS is recognized as one of the main reasons of the (...) paradoxical behaviors pointed out in the quantum theory from its early days. (shrink)

The purpose of this paper is to discuss the role of financial practice in the development of mathematics as applied in human judgement. The basis of the paper is in historical research from the 1990s that argues that the monetisation of western commerce, which abstracted value into quantified price, was synthesised with scholastic analysis resulting in a “mathematical mechanistic world picture” that led to the widespread use of mathematics in science from the seventeenth century. An aspect of this process (...) was the quantification of chance that led to the development of mathematical probability, the branch of mathematics most relevant to judgement and the focus of this paper. Ideas from this historical research are related to the fundamental theorem of asset pricing, the foundational theory of contemporary financial mathematics. The paper observes that vestiges of medieval scholastic attitudes to financial ethics can be discerned in the FTAP, offering a novel interpretation of the mathematical theorem. The paper then considers the Dutch book argument, the most popular justification for subjective probability. The paper’s main contribution is in describing the significance of financial practice in validating the DBA and the paper explains how the FTAP addresses some criticisms of how the DBA represents beliefs. The conclusions emphasise the distinction between pure and practical reasoning and that this should be mirrored in a distinction between the mathematics of physica and practica. This point is important as mathematics is becoming more widespread in modelling, and directing, social systems. (shrink)

Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data will (...) run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

An influential position in the philosophy of biology claims that there are no biological laws, since any apparently biological generalization is either too accidental, fact-like or contingent to be named a law, or is simply reducible to physical laws that regulate electrical and chemical interactions taking place between merely physical systems. In the following I will stress a neglected aspect of the debate that emerges directly from the growing importance of mathematical models of biological phenomena. My main aim (...) is to defend, as well as reinforce, the view that there are indeed laws also in biology, and that their difference in stability, contingency or resilience with respect to physical laws is one of degrees, and not of kind . (shrink)

“What data will show the truth?” is a fundamental question emerging early in any empirical investigation. From a statistical perspective, experimental design is the appropriate tool to address this question by ensuring control of the error rates of planned data analyses and of the ensuing decisions. From an epistemological standpoint, planned data analyses describe in mathematical and algorithmic terms a pre-specified mapping of observations into decisions. The value of exploratory data analyses is often less clear, resulting in confusion about (...) what characteristics of design and analysis are necessary for decision making and what may be useful to inspire new questions. This point is addressed here by illustrating the Popper-Miller theorem in plain terms and using a graphical support. Popper and Miller proved that probability estimates cannot generate hypotheses on behalf of investigators. Consistently with Popper-Miller, we show that probability estimation can only reduce uncertainty about the truth of a merely possible hypothesis. This fact clearly identifies exploratory analysis as one of the tools supporting a dynamic process of hypothesis generation and refinement which cannot be purely analytic. A clear understanding of these facts will enable stakeholders, mathematical modellers and data analysts to better engage on a level playing field when designing experiments and when interpreting the results of planned and exploratory data analyses. (shrink)

In formal modelling, it is essential that models be supplied with an interpretative story: there must be a clear and coherent account of how the formal model relates to the phenomena it is supposed to model. The traditional representation of degrees of belief as mathematical probabilities comes with a clear and simple interpretative story. This paper argues that the model of degrees of belief as imprecise probabilities (sets of probabilities) lacks a workable interpretation. The standard (...) interpretative story given in the literature is shown to lead to unacceptable results -- and, it is argued, there is no way for imprecise probabilists to restrict, replace or finesse this story so as either to avoid or to be able to live with the consequences. Thus the imprecise probabilist lacks a viable account of how a set of probability functions models a belief state: a story about which properties of the model correspond to facts about the thing modelled and how exactly we are to extract information about an agent's belief state from a set of probabilities. (shrink)

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought (...) to undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

This work is a complete mathematical guide to lottery games, covering all of the problems related to probability, combinatorics, and all parameters describing the lottery matrices, as well as the various playing systems. The mathematics sections describe the mathematical model of the lottery, which is in fact the essence of the lotto game. The applications of this model provide players with all the mathematical data regarding the parameters attached to the gaming events and personal playing systems. By (...) applying these data, one can find all the winning probabilities for the play with one line, and how these probabilities change with playing the various types of systems containing several lines, depending on their structure. Also, each playing system has a formula attached that provides the number of possible multiple prizes in various circumstances. Other mathematical parameters of the playing systems and the correlations between them are also presented. The generality of the mathematical model and of the obtained formulas allows their application for any existent lottery and any playing system. Each formula is followed by numerical results covering the most frequent lottery matrices worldwide and by multiple examples predominantly belonging to the 6/49 lottery. The listing of the numerical results in dozens of well-organized tables, along with instructions and examples of using them, makes possible the direct usage of this guide by players without a mathematical background. The author also discusses from a mathematical point of view the strategies of choosing involved in the lotto game. The book does not offer so-called winning strategies, but helps players to better organize their own playing systems and to confront their own convictions with the incontestable reality offered by the direct applications of the mathematical model of the lotto game. As a must-have handbook for any lottery player, this book offers essential information about the game itself and can provide the basis for gaming decisions of any kind. (shrink)

To date, our knowledge of Rift Valley fever disease spread and maintenance is still limited, as flooding, humid weather and presence of biting insects such as mosquitoes, have not completely explained RVF outbreaks. We propose a model that includes livestock, mosquitoes and ticks compartments structured according to their questing and feeding behaviour in order to study the possible role of ticks on the dynamics of RVF. To quantify disease transmission at the initial stage of the epidemic, we derive an explicit (...) formula of the basic reproductive number, $$R_0$$ R 0. Using the concept of Metzler matrix, we state necessary conditions for global asymptotic stability of the disease-free equilibrium. Results suggest that although host-ticks interactions may serve as disease reservoirs or disease amplifiers, the Aedes reproductive number should be kept under unity if disease post-epizootics activities are to be controlled. Results of both local and global sensitivity analysis of selected model parameters indicate that $$R_0$$ R 0 is more sensitive to the ticks attachment and detachment rates, probability of transmission from ticks to host and from host to ticks, length of infection in livestock and ticks death rate. Furthermore, when comparing the mean value of $$R_0$$ R 0 with that from previous studies which did not include ticks we found that our $$R_0$$ R 0 is very much larger resulting in an increase in the exponential phase of an outbreak. These findings suggest that if ticks are capable of transmitting the virus, they may be contributing to disease outbreaks and endemicity. (shrink)

We propose an alternative approach to probability theory closely related to the framework of numerosity theory: non-Archimedean probability (NAP). In our approach, unlike in classical probability theory, all subsets of an infinite sample space are measurable and only the empty set gets assigned probability zero (in other words: the probability functions are regular). We use a non-Archimedean field as the range of the probability function. As a result, the property of countable additivity in Kolmogorov’s axiomatization of probability is replaced by (...) a different type of infinite additivity. (shrink)

Question order effects are commonly observed in self-report measures of judgment and attitude. This article develops a quantum question order model (the QQ model) to account for four types of question order effects observed in literature. First, the postulates of the QQ model are presented. Second, an a priori, parameter-free, and precise prediction, called the QQ equality, is derived from these mathematical principles, and six empirical data sets are used to test the prediction. Third, a new index is derived (...) from the model to measure similarity between questions. Fourth, we show that in contrast to the QQ model, Bayesian and Markov models do not generally satisfy the QQ equality and thus cannot account for the reported empirical data that support this equality. Finally, we describe the conditions under which order effects are predicted to occur, and we review a broader range of findings that are encompassed by these very same quantum principles. We conclude that quantum probability theory, initially invented to explain order effects on measurements in physics, appears to be a powerful natural explanation for order effects of self-report measures in social and behavioral sciences, too. (shrink)

Remarkable progress in the mathematics and computer science of probability has led to a revolution in the scope of probabilistic models. In particular, ‘sophisticated’ probabilistic methods apply to structured relational systems such as graphs and grammars, of immediate relevance to the cognitive sciences. This Special Issue outlines progress in this rapidly developing field, which provides a potentially unifying perspective across a wide range of domains and levels of explanation. Here, we introduce the historical and conceptual foundations of the approach, (...) explore how the approach relates to studies of explicit probabilistic reasoning, and give a brief overview of the field as it stands today. (shrink)

Causality offers the first comprehensive coverage of causal analysis in many sciences, including recent advances using graphical methods. Pearl presents a unified account of the probabilistic, manipulative, counterfactual and structural approaches to causation, and devises simple mathematical tools for analyzing the relationships between causal connections, statistical associations, actions and observations. The book will open the way for including causal analysis in the standard curriculum of statistics, artificial intelligence, business, epidemiology, social science and economics.

Bohmian mechanics represents the universe as a set of paths with a probability measure defined on it. The way in which a mathematical model of this kind can explain the observed phenomena of the universe is examined in general. It is shown that the explanation does not make use of the full probability measure, but rather of a suitable set function deriving from it, which defines relative typicality between single-time cylinder sets. Such a set function can also be derived (...) directly from the standard quantum formalism, without the need of an underlying probability measure. The key concept for this derivation is the quantum typicality rule, which can be considered as a generalization of the Born rule. The result is a new formulation of quantum mechanics, in which particles follow definite trajectories, but which is based only on the standard formalism of quantum mechanics. (shrink)

A diagnostic judgment of a teacher can be seen as an inference from manifest observable evidence on a student’s behavior to his or her latent traits. This can be described by a Bayesian model of in-ference: The teacher starts from a set of assumptions on the student (hypotheses), with subjective probabilities for each hypothesis (priors). Subsequently, he or she uses observed evidence (stu-dents’ responses to tasks) and knowledge on conditional probabilities of this evidence (likelihoods) to revise these assumptions. (...) Many systematic deviations from this model (biases, e.g. base-rate neglect, inverse fallacy) are reported in literature on Bayesian reasoning. In a teacher’s situation the information (hypotheses, priors, likelihoods) is usually not explicitly represented numerically (as in most research on Bayesian reasoning), but only by qualitative esti-mations in the mind of the teacher. In our study, we ask to which extent individuals (approximately) apply a rational Bayesian strategy or resort on other biased strategies of processing information for their diagnostic judgments. We explicitly pose this question with respect to non-numerical settings. To investigate this question, we developed a scenario that visually displays all relevant information (hypotheses, priors, likelihoods) in a graphically displayed hypothesis space (called “hypothegon”) – without recurring to numerical representations or mathematical procedures. 42 pre-service teach-ers were asked to judge the plausibility of different misconceptions of six students based on their responses to decimal comparison tasks (e.g. 3.39 > 3.4). Applying a Bayesian classification proce-dure, we identified three updating strategies: A Bayesian update strategy (BUS, processing all probabilities), a combined evidence strategy (CES, ignoring the prior probabilities but including all likelihoods), and a single evidence strategy (SES, only using the likelihood of the most probable hypothesis). In study 1, an instruction on the relevance of using all probabilities (priors and likelihoods) only weakly increased the processing of more information. In study 2, we found strong evidence that a visual explication of the prior-likelihood interaction led to an increase of processing the interaction of all relevant information. These results show that the phenomena found in general research on Bayesian reasoning in numerical settings extend to diagnostic judgments in non-numerical settings. (shrink)

This monograph aims to mathematically codify the notion of "moral systems" and define a sensible distance between them. It consists of three parts, aimed at an audience with varying interests and mathematical backgrounds. The first part steers philosophical, formally defining moral systems and several related concepts. The second part studies black box algorithms, including questions of inference and metric construction. The third part explores the technical construction of metrics amongst conditional probability distributions.

A deterministic model that accounts for the statistical behavior of random samples of identical particles is presented. The model is based on some nonmeasurable distribution of spin values in all directions. The mathematical existence of such distributions is proved by set-theoretical techniques, and the relation between these distributions and observed frequencies is explored within an appropriate extension of probability theory. The relation between quantum mechanics and the model is specified. The model is shown to be consistent with known polarization (...) phenomena and the existence of macroscopic magnetism. Finally.. (shrink)

L. Jonathan Cohen has written a number of important books and articles in which he argues that mathematical probability provides a poor model of much of what paradigmatically passes for sound reasoning, whether this be in the sciences, in common discourse, or in the law. In his book, The Probable and the Provable, Cohen elaborates six paradoxes faced by advocates of mathematical probability (PM) when treating issues of evidence as they would arise in a court of law. He (...) argues that his system of inductive probability (PI) satisfactorily handles the issues that proved paradoxical for mathematical probability, and consequently PI deserves to be thought of as an important standard of rational thinking. I argue that a careful look at each of the alleged paradoxes shows that there is no conflict between mathematical probability and the law, except when for reasons of policy we opt for values in addition to accuracy maximization. Recognizing the role of such policies provides no basis for questioning the adequacy of PM. The significance of this critical treatment of Cohen's work is that those interested in revising the laws of evidence to allow for more explicitly mathematical approaches ought to feel that such revisions will not violate the spirit of forensic rationality. (shrink)

The rejection of an infinitesimal solution to the zero-fit problem by A. Elga ([2004]) does not seem to appreciate the opportunities provided by the use of internal finitely-additive probability measures. Indeed, internal laws of probability can be used to find a satisfactory infinitesimal answer to many zero-fit problems, not only to the one suggested by Elga, but also to the Markov chain (that is, discrete and memory-less) models of reality. Moreover, the generalization of likelihoods that Elga has in mind (...) is not as hopeless as it appears to be in his article. In fact, for many practically important examples, through the use of likelihoods one can succeed in circumventing the zero-fit problem. 1 The Zero-fit Problem on Infinite State Spaces 2 Elga's Critique of the Infinitesimal Approach to the Zero-fit Problem 3 Two Examples for Infinitesimal Solutions to the Zero-fit Problem 4 Mathematical Modelling in Nonstandard Universes? 5 Are Nonstandard Models Unnatural? 6 Likelihoods and Densities A Internal Probability Measures and the Loeb Measure Construction B The (Countable) Coin Tossing Sequence Revisited C Solution to the Zero-fit Problem for a Finite-state Model without Memory D An Additional Note on ‘Integrating over Densities’ E Well-defined Continuous Versions of Density Functions. (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)

A collection of papers delivered at a colloquium in 1960. Most are quite brief; all are at a rather high level of technical sophistication. Of general interest are L. Apostel's "Toward the Formal Study of Models in the Non-Formal Sciences," which concludes that a unique definition of models in terms of their function should be the basis for a general description of this "multiform concept"; H. Freudenthal's discussion of "models in Applied Probability"; a historical treatment of "Model (...) and Insight" by A. Kuipers; and P. Suppes's "Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences," which stresses the "set-theoretical" notion of model and emphasizes the possibility of greater formalization of the empirical sciences through the former. Among other authors represented are E. W. Beth, J. L. Destouches, and J. B. Ubbink.--R. D. P. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There are two parts. The notion of an "event" is reinterpreted from being an epistemological state of indefiniteness to being an objective state of indefiniteness. And the mathematical framework of finite probability theory is recast as the quantum probability calculus for QM/sets. The point is not (...) to clarify finite probability theory but to elucidate quantum mechanics itself by seeing some of its quantum features in a classical setting. (shrink)

I examine what the mathematical theory of random structures can teach us about the probability of Plenitude, a thesis closely related to David Lewis's modal realism. Given some natural assumptions, Plenitude is reasonably probable a priori, but in principle it can be (and plausibly it has been) empirically disconfirmed—not by any general qualitative evidence, but rather by our de re evidence.

A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements about (...) a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only “metaphorically”. It will demolish transmitting the result “literally”, i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different “signs” in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics. (shrink)

ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts (...) as “superposition events” in addition to the ordinary events. The goal is to use the second notion of abstraction to shed some light on the notion of an indefinite superposition in quantum mechanics. (shrink)

A historical review and philosophical look at the introduction of “negative probability” as well as “complex probability” is suggested. The generalization of “probability” is forced by mathematical models in physical or technical disciplines. Initially, they are involved only as an auxiliary tool to complement mathematical models to the completeness to corresponding operations. Rewards, they acquire ontological status, especially in quantum mechanics and its formulation as a natural information theory as “quantum information” after the experimental confirmation the (...) phenomena of “entanglement”. Philosophical interpretations appear. A generalization of them is suggested: ontologically, they correspond to a relevant generalization to the relation of a part and its whole where the whole is a subset of the part rather than vice versa. The structure of “vector space” is involved necessarily in order to differ the part “by itself” from it in relation to the whole as a projection within it. That difference is reflected in the new dimension of vector space both mathematically and conceptually. Then, “negative or complex probability” are interpreted as a quantity corresponding the generalized case where the part can be “bigger” than the whole, and it is represented only partly in general within the whole. (shrink)

Of late, probability subjectivism was resuscitated by the development of statistical decision theory. In the decision model, which is briefly described in the paper, the knowledge of a probability distribution over the states of nature plays a decisive role. What sources of probability knowledge are legitimate, or at all possible, is the main point at issue. Different definitions, evaluations, and foundations of probability are narrated, discussed, and weighed against each other. The typical research strategy of the statistician is set against (...) axiomatics of subjective or mathematical probability. Finally, the epistemological roots of the probability concept are located by the author in what he calls the “etiality principle”. (shrink)

According to a grand narrative that long ago ceased to be told, there was a seventeenth century Scientific Revolution, during which a few heroes conquered nature thanks to mathematics. This grand narrative began with the exhibition of quantitative laws that these heroes, Galileo and Newton for example, had disclosed: the law of falling bodies, according to which the speed of a falling body is proportional to the square of the time that has elapsed since the beginning of its fall; the (...) law of gravitation, according to which two bodies are attracted to one another in proportion to the sum of their masses and in inverse proportion to the square of the distance separating them -- according to his own preferences, each narrator added one or two quantitative laws of this kind. The essential feature was not so much the examples that were chosen, but, rather, the more or less explicit theses that accompanied them. First, mathematization would be taken as the criterion for distinguishing between a qualitative Aristotelian philosophy and the new quantitative physics. Secondly, mathematization was founded on the metaphysical conviction that the world was created pondere, numero et mensura, or that the ultimate components of natural things are triangles, circles, and other geometrical objects. This metaphysical conviction had two immediate consequences: that all the phenomena of nature can be in principle submitted to mathematics and that mathematical language is transparent; it is the language of nature itself and has simply to be picked up at the surface of phenomena. Finally, it goes without saying that, from a social point of view, the evolution of the sciences was apprehended through what has been aptly called the "relay runner model," according to which science progresses as a result of individual discoveries. Grand narratives such as this are perhaps simply fictions doomed to ruin as soon as they are clearly expressed. In any case, the very assumption on which this grand narrative relies can be brought into question: even in the canonical domain of mechanics, the relevant epistemological units crucial to understanding the dynamics of the Scientific Revolution are perhaps not a few laws of motion, but a complex set of problems embodied in mundane objects. Moreover, each of the theses just mentioned was actually challenged during the long period of historiographical reappraisal, out of which we have probably not yet stepped. Against the sharp distinction between a qualitative Aristotelian philosophy and the new quantitative physics, numerous studies insist that Rome wasn't built in a day, so to speak. Since Antiquity, there have always been mixed sciences; the emergence of pre-classical mechanics depends on both medieval treatises and the practical challenges met by Renaissance engineers. It is indeed true that, for Aristotle, mathematics merely captures the superficial properties of things, but the Aristotelianisms were many during the Renaissance and the Early Modern period, with some of them being compatible with the introduction of mathematics in natural philosophy. In addition, the gap between the alleged program of mathematizing nature and its effective realization was underlined as most natural phenomena actually escaped mathematization; at best they were enrolled in what Thomas Kuhn began to rehabilitate under the appellation of the "Baconian sciences," i.e., empirical investigations aiming at establishing isolated facts, without relating them to any overarching theory. Hence, mathematization of nature cannot pretend to capture a historical fact: at most, it expresses an indeterminate task for generations to come. On top of these first two considerations, and against the thesis of the neutrality of the mathematical language, it was urged that mathematics is not "only a language" and that, exactly as other symbolic means or cognitive tools, it has its own constraints. For example, it has been thoroughly explained that the Euclidean theory of proportions both guides and frustrates the Galilean analysis of motion; its shortages were particularly clear with respect to the expression of continuity, which is crucial in the case of motion. Consequently, when calculus was invented and applied to the analysis of motion, it was not a transposition that left things as they stood. Even more clearly than in the case of a translation from one natural language to another, the shift from one symbolic language to another entails that certain possibilities are opened while others are closed. The cognitive constraints imposed by established mathematical theories, as seen in the theory of proportions or calculus, were not the only ones to be studied in relation to mathematization. Certain schemes dependent on the grammar of natural languages, e.g., the scheme of contrariety, or certain symbolic means of representation, e.g. geometrical diagrams and numerical tables, were also subject to such scrutiny. Lastly, it was insisted that, even if we concede the existence of scientific geniuses, mathematics is largely produced by intellectual communities and embedded within social practices. More attention was consequently paid to the forms of communication in given mathematical networks, or to the teaching of the discipline in, for example, Jesuit colleges and universities. The set of mathematical practices specific to specialized craftsmen, highly-qualified experts and engineers began to be studied in its own right. All these reflections may have helped us change our perspectives on the question of mathematization. It seems, however, that they were instead set aside, both because of a general distrust towards sweeping narratives that are always subject to the suspicion that they overlook the unyielding complexity of real history, and because of a shift in our interests. The more obscure and idiosyncratic they are, an alchemist, a patron of the sciences or a lunatic collector is nowadays honored in journals of the history of sciences. As for the general issues involved in the question of mathematization, they are rejected as obsolete, or reserved for specialized journals in the history of mathematics. Consequently, before presenting the essays of this fascicle, I would like to say a few words in favor of a renewed study of the forms of mathematization in the history of the early sciences. (shrink)

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with (...) the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

A novel theory of reflective consciousness, will and self is presented, based on modeling each of these entities using self-referential mathematical structures called hypersets. Pattern theory is used to argue that these exotic mathematical structures may meaningfully be considered as parts of the minds of physical systems, even finite computational systems. The hyperset models presented are hypothesized to occur as patterns within the "moving bubble of attention" of the human brain and any roughly human-mind-like AI system. These (...) ideas appear to be compatible with both panpsychist and materialist views of consciousness, and probably other views as well. Their relationship with the CogPrime AI design and its implementation in the OpenCog software framework is elucidated in detail. (shrink)