The theory of personal probability needs to be developed as a logic of credibility in order to provide an adequate basis for the theories of scientific inference and rational decision making. But standard systems of personal probability impose formal structures on probability relationships which are too restrictive to qualify them as logics of credibility. Moreover, some rules for conditional probability have no justification as principles of credibility. A formal system of qualitative probability which is free of these defects and (...) which leads to a presuppositionless representation theorem is sketched. (shrink)

Science is about evaluation, persuasion and logic. In scientific debate, scientists collectively evaluate theories by persuading each other in regard to epistemological qualities such as deduction and fact. There is, however, a flaw intrinsic to evaluation-by-persuasion: an individual can attempt and even succeed in persuading others by asserting that their reasoning is logical when it is not. This is a problem since, from an epistemological perspective, it is not always transparent nor obvious when a persuasive assertion is actually deductively (...) warranted. Empirical research upon reasoning, indeed, supports the notion that assertions are often strongly persuasive for reasons other than their logic. The unreliability of the link between persuasion and logic raises an important methodological issue: how do scientists debate in a manner such that claimed but false “logical” arguments are ignored, and only warranted arguments get to determine theory preference? This need for soundness in debate is a particularly important epistemological concern in cases where the deductive qualities of persuasive argument are not overt, and so cannot be directly checked --such as when they are founded upon Bayesianism probabilistic coherence. The argument presented here is that scientists make the qualities of probabilistic and nonprobabilistic inference sound (and so warranted) through how they organize their debate. Scientists, I argue, abide by “epistemological quality control practices” that limit the persuasive power of unsound arguments upon theory evaluation. Examples of such debate quality control practices are publicness, clarity, openness to criticism, and the collective promotion of attempts at theory conjecture and refutation. Methodologically, these quality control practices are extralogical since they do not directly provide scientific inferences with additional logical warrantedness. They function instead in science to generate an epistemological evaluative environment in which persuasiveness is due, and only due, to logic (i.e. sound). Their methodological role is therefore to make what is warranted de papyri (in our principles of rationality – epistemologically competence) also what is persuasive in evaluation and debate de cognitio (in our exercise of such principles – epistemologically performance). Several limitations exist upon the soundness of Bayesian inferential coherence – surreptitious revision, logical omniscience, uncertain evidence, old evidence, and new hypotheses. Bayesianism, as a result, can only exist if it is pursued in a debate that is regulated by quality control practices over its inferences (for instance, practices that ensure there is autonomy of inference, diligence of inference, probity of evidence, auditability of inference and assiduousness of conjecture). In this context, one can reinterpret Popper’s concern with criticism, openness, refutation and conjecture, as deriving not (as he thought) directly from the needs of logic, but, indirectly, from the need of scientists to create epistemological soundness. (shrink)

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified (...) semantic and probabilistic theory of conditionals with attractive results and predictions. (shrink)

According to the Bayesian paradigm in the psychology of reasoning, the norms by which everyday human cognition is best evaluated are probabilistic rather than logical in character. Recently, the Bayesian paradigm has been applied to the domain of argumentation, where the fundamental norms are traditionally assumed to be logical. Here, we present a major generalisation of extant Bayesian approaches to argumentation that utilizes a new class of Bayesian learning methods that are better suited to (...) modelling dynamic and conditional inferences than standard Bayesian conditionalization, is able to characterise the special value of logically valid argument schemes in uncertain reasoning contexts, greatly extends the range of inferences and argumentative phenomena that can be adequately described in a Bayesian framework, and undermines some influential theoretical motivations for dual function models of human cognition. We conclude that the probabilistic norms given by the Bayesian approach to rationality are not necessarily at odds with the norms given by classical logic. Rather, the Bayesian theory of argumentation can be seen as justifying and enriching the argumentative norms of classical logic. (shrink)

Bayesian reasoning has been applied formally to statistical inference, machine learning and analysing scientific method. Here I apply it informally to more common forms of inference, namely natural language arguments. I analyse a variety of traditional fallacies, deductive, inductive and causal, and find more merit in them than is generally acknowledged. Bayesian principles provide a framework for understanding ordinary arguments which is well worth developing.

본 연구의 목적은 최근 20여 년 동안 진행되어 온 학습이론에 대한 피아제의 명제논리학적 학습이론과 베이즈주의의 확률론적 학습이론의 융합에 근거하는 새로운 융합교수학습모형을 개발하는 것이다. 연구자는 이 새로운 교수학습모델을 “베이지안 구조구성주의 교수학습모형”(Bayesian structure-constructivist Model of Teaching-learning: 이하 약칭 BMT)이라 명명한다. 본고는 역사-비판적 관점 및 형식화적 관점에서 피아제의 명제논리학적 학습모형에서 해석된 학습이론과 베이즈주의의 확률론적 추론모형에서 해석된 학습이론을 일차적으로 분석하고, 논문의 후반부에서는 이를 근거로 교수법의 관점에서 양자의 학습이론을 통합하는 새로운 교수학습모델, 즉 BMT의 중요한 특성들을 세부적으로 제시한다. 몇 가지 핵심만 언급하면, 첫째로, BMT는 개념 (...) 학습이든 이론 학습이든 모든 학습은 표상과 샘플링의 상호작용임을 강조한다. 매우 이른 나이에서부터 아동은 학습하기 이전에 자기에게 주어진 예시들이 약한 샘플링인지 강한 샘플링인지, 특히 교육학적 샘플링인지 비교육학적 샘플링인지를 구분한다. 둘째로, 따라서 학습을 촉진시킬 수 있는 샘플을 선택하기 위해서 교사는 교육학적 추론을 위한 베이지안 모델을 활용하면서 직접적인 강의식 수업과 발견학습 수업을 병행해야 한다. 셋째로, 아동은 때때로 구체적인 규칙들보다는 추상적인 규칙들을 먼저 학습하기도 하지만, 대부분의 영역에서 추상적인 지식의 학습은 구체적인 지식의 학습에 의존한다. 따라서 성공적인 학습을 위해서는 피아제가 강조한 보편적 언어로서 논리적 문법과 그들 사이의 위계성을 고려하는 샘플을 개발하고 제시해야 한다. (shrink)

In this essay, we will try to provide a formal analysis of practical inference, attentive to the various phases in which it is articulated, and being so capable of explaining both the logical conclusiveness of the inference and the probabilistic nature of its conclusion. An innovative purpose of this article is to show how the final deliberation leading to action—the ultimate practical judgment—takes place according to a logic consistent with the use of Bayes’ theorem. This is why (...) we refer to Bayesian practical inference in the title of this essay. (shrink)

Inductive logic admits a variety of semantics (Haenni et al., 2011, Part 1). This paper develops semantics based on the norms of Bayesian epistemology (Williamson, 2010, Chapter 7). §1 introduces the semantics and then, in §2, the paper explores methods for drawing inferences in the resulting logic and compares the methods of this paper with the methods of Barnett and Paris (2008). §3 then evaluates this Bayesian inductive logic in the light of four traditional critiques of inductive logic, (...) arguing (i) that it is language independent in a key sense, (ii) that it admits connections with the Principle of Indifference but these connections do not lead to paradox, (iii) that it can capture the phenomenon of learning from experience, and (iv) that while the logic advocates scepticism with regard to some universal hypotheses, such scepticism is not problematic from the point of view of scientific theorising. (shrink)

Bayesian reasoning has been applied formally to statistical inference, machine learning and analysing scientific method. Here I apply it informally to more common forms of inference, namely natural language arguments. I analyse a variety of traditional fallacies, deductive, inductive and causal, and find more merit in them than is generally acknowledged. Bayesian principles provide a framework for understanding ordinary arguments which is well worth developing.

Direct inferences identify certain probabilistic credences or confirmation-function-likelihoods with values of objective chances or relative frequencies. The best known version of a direct inference principle is David Lewis’s Principal Principle. Certain kinds of statements undermine direct inferences. Lewis calls such statements inadmissible. We show that on any Bayesian account of direct inference several kinds of intuitively innocent statements turn out to be inadmissible. This may pose a significant challenge to Bayesian accounts of direct inference. We (...) suggest some ways in which these challenges may be addressed. (shrink)

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect (...) to the probability measure. If a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

Many philosophers have claimed that Bayesianism can provide a simple justification for hypothetico-deductive inference, long regarded as a cornerstone of the scientific method. Following up a remark of van Fraassen, we analyze a problem for the putative Bayesian justification of H-D inference in the case where what we learn from observation is logically stronger than what our theory implies. Firstly, we demonstrate that in such cases the simple Bayesian justification does not necessarily apply. Secondly, we identify (...) a set of sufficient conditions for the mismatch in logical strength to be justifiably ignored as a "harmless idealization''. Thirdly, we argue, based upon scientific examples, that the pattern of H-D inference of which there is a ready Bayesian justification is only rarely the pattern that one actually finds at work in science. Whatever the other virtues of Bayesianism, the idea that it yields a simple justification of a pervasive pattern of scientific inference appears to have been oversold. (shrink)

A probabilistic logic of induction is unable to separate cleanly neutral support from disfavoring evidence (or ignorance from disbelief). Thus, the use of probabilistic representations may introduce spurious results stemming from its expressive inadequacy. That such spurious results arise in the Bayesian “doomsday argument” is shown by a reanalysis that employs fragments of an inductive logic able to represent evidential neutrality. Further, the improper introduction of inductive probabilities is illustrated with the “self-sampling assumption.”.

This chapter describes the logic of inductive inference as seen through the eyes of the modern theory of personal probability, including a number of its recent refinements and extensions. The structure of the chapter is as follows. After a brief discussion of mathematical probability, to establish notation and terminology, it recounts the gradual evolution of the probabilistic explication of induction from Bayes to the present. The focus is not in this history per se, but in its use to highlight (...) the key assumptions, criticisms, refinements, and achievements of that theory. Along the way, the structure of the modern theory is presented, and its relation to the problem of induction discussed. (shrink)

According to the objective Bayesian approach to inductive logic, premisses inductively entail a conclusion just when every probability function with maximal entropy, from all those that satisfy the premisses, satisfies the conclusion. When premisses and conclusion are constraints on probabilities of sentences of a first-order predicate language, however, it is by no means obvious how to determine these maximal entropy functions. This paper makes progress on the problem in the following ways. Firstly, we introduce the concept of a limit (...) in entropy and show that, if the set of probability functions satisfying the premisses contains a limit in entropy, then this limit point is unique and is the maximal entropy probability function. Next, we turn to the special case in which the premisses are categorical sentences of the logical language. We show that if the uniform probability function gives the premisses positive probability, then the maximal entropy function can be found by simply conditionalising this uniform prior on the premisses. We generalise our results to demonstrate agreement between the maximal entropy approach and Jeffrey conditionalisation in the case in which there is a single premiss that specifies the probability of a sentence of the language. We show that, after learning such a premiss, certain inferences are preserved, namely inferences to inductive tautologies. Finally, we consider potential pathologies of the approach: we explore the extent to which the maximal entropy approach is invariant under permutations of the constants of the language, and we discuss some cases in which there is no maximal entropy probability function. (shrink)

‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive (...) logic. The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

Bayesian paradigm has been widely acknowledged as a coherent approach to learning putative probability model structures from a finite class of candidate models. Bayesian learning is based on measuring the predictive ability of a model in terms of the corresponding marginal data distribution, which equals the expectation of the likelihood with respect to a prior distribution for model parameters. The main controversy related to this learning method stems from the necessity of specifying proper prior distributions for all unknown (...) parameters of a model, which ensures a complete determination of the marginal data distribution. Even for commonly used models, subjective priors may be difficult to specify precisely, and therefore, several automated learning procedures have been suggested in the literature. Here we introduce a novel Bayesian learning method based on the predictive entropy of a probability model, that can combine both subjective and objective probabilistic assessment of uncertain quantities in putative models. It is shown that our approach can avoid some of the limitations of the earlier suggested objective Bayesian methods. (shrink)

Christian apologists, like Willian Lane Craig and Stephen T. Davis, argue that belief in Jesus’ resurrection is reasonable because it provides the best explanation of the available evidence. In this article, I refute that thesis. To do so, I lay out how the logic of inference to the best explanation (IBE) operates, including what good explanations must be and do by definition, and then apply IBE to the issue at hand. Multiple explanations—including (what I will call) The Resurrection Hypothesis, (...) The Lie Hypothesis, The Coma Hypothesis, The Imposter Hypothesis, and The Legend Hypothesis—will be considered. While I will not attempt to rank them all from worst to best, what I will reveal is how and why The Legend Hypothesis is unquestionably the best explanation, and The Resurrection Hypothesis is undeniably the worst. Consequently, not only is Craig and Davis’ conclusion mistaken, but belief in the literal resurrection of Jesus is irrational. In presenting this argument, I do not take myself to be breaking new ground; Robert Cavin and Carlos Colombetti have already presented a Bayesian refutation of Craig and Davis’ arguments. But I do take myself to be presenting an argument that the average person (and philosopher) can follow. It is my goal for the average person (and philosopher) to be able to clearly understand how and why the hypothesis “God supernaturally raised Jesus from the dead” fails utterly as an explanation of the evidence that Christian apologist cite for Jesus’ resurrection. (shrink)

Chow's account of Bayesian inference logic and procedures is replete with fundamental misconceptions, derived from secondary sources and not adequately informed by modern work. The status of subjective probabilities in Bayesian analyses is misrepresented and the cogent reasons for the rejection by many statisticians of the curious inferential hybrid used in psychological research are not presented.

Moral hypocrisy is typically viewed as an ethical accusation: Someone is applying different moral standards to essentially identical cases, dishonestly claiming that one action is acceptable while otherwise equivalent actions are not. We suggest that in some instances the apparent logical inconsistency stems from different evaluations of a weak argument, rather than dishonesty per se. Extending Corner, Hahn, and Oaksford's (2006) analysis of slippery slope arguments, we develop a Bayesian framework in which accusations of hypocrisy depend on inferences (...) of shared category membership between proposed actions and previous standards, based on prior probabilities that inform the strength of competing hypotheses. Across three experiments, we demonstrate that inferences of hypocrisy increase as perceptions of the likelihood of shared category membership between precedent cases and current cases increase, that these inferences follow established principles of category induction, and that the presence of self-serving motives increases inferences of hypocrisy independent of changes in the actions themselves. Taken together, these results demonstrate that Bayesian analyses of weak arguments may have implications for assessing moral reasoning. (shrink)

As a compact representation of joint probability distributions over a dependence graph of random variables, and a tool for modelling and reasoning in the presence of uncertainty, Bayesian networks are of great importance for artificial intelligence to combine domain knowledge, capture causal relationships, or learn from incomplete datasets. Known as a NP-hard problem in a classical setting, Bayesian inference pops up as a class of algorithms worth to explore in a quantum framework. This paper explores such a (...) research direction and improves on previous proposals by a judicious use of the utility function in an entangled configuration. It proposes a completely quantum mechanical decision-making process with a proven computational advantage. A prototype implementation in Qiskit (a Python-based program development kit for the IBM Q machine) is discussed as a proof-of-concept. (shrink)

Bayesian approaches to legal reasoning propose causal models of the relation between evidence, the credibility of evidence, and ultimate hypotheses, or verdicts. They assume that legal reasoning is the process whereby one infers the posterior probability of a verdict based on observed evidence, or facts. In practice, legal reasoning does not operate quite that way. Legal reasoning is also an attempt at inferring applicable rules derived from legal precedents or statutes based on the facts at hand. To make such (...) an inference, legal reasoning follows syllogistic logic and first order transitivity. This paper proposes a Bayesian model of legal syllogistic reasoning that complements existing Bayesian models of legal reasoning using a Bayesian network whose variables correspond to legal precedents, statutes, and facts. We suggest that legal reasoning should be modelled as a process of finding the posterior probability of precedents and statutes based on available facts. (shrink)

Eliminative induction is a method for finding the truth by using evidence to eliminate false competitors. It is often characterized as "induction by means of deduction"; the accumulating evidence eliminates false hypotheses by logically contradicting them, while the true hypothesis logically entails the evidence, or at least remains logically consistent with it. If enough evidence is available to eliminate all but the most implausible competitors of a hypothesis, then (and only then) will the hypothesis become highly confirmed. I will argue (...) that, with regard to the evaluation of hypotheses, Bayesian inductive inference is essentially a probabilistic form of induction by elimination. Bayesian induction is an extension of eliminativism to cases where, rather than contradict the evidence, false hypotheses imply that the evidence is very unlikely, much less likely than the evidence would be if some competing hypothesis were true. This is not, I think, how Bayesian induction is usually understood. The recent book by Howson and Urbach, for example, provides an excellent, comprehensive explanation and defense of the Bayesian approach; but this book scarcely remarks on Bayesian induction's eliminative nature. Nevertheless, the very essence of Bayesian induction is the refutation of false competitors of a true hypothesis, or so I will argue. (shrink)

Disputes between advocates of Bayesians and more orthodox approaches to statistical inference presuppose that Bayesians must regard must regard stopping rules, which play an important role in orthodox statistical methods, as evidentially irrelevant.In this essay, I show that this is not the case and that the stopping rule is evidentially relevant given some Bayesian confirmation measures that have been seriously proposed. However, I show that accepting a confirmation measure of this sort comes at the cost of rejecting two (...) useful ancillaryBayesian principles. (shrink)

How can an incomplete and uncertain model of the environment be used to perceive, infer, decide and act efficiently? This is the challenge that both living and artificial cognitive systems have to face. Symbolic logic is, by its nature, unable to deal with this question. The subjectivist approach to probability is an extension to logic that is designed specifically to face this challenge. In this paper, we review a number of frequently encountered cognitive issues and cast them into a common (...) Bayesian formalism. The concepts we review are ambiguities, fusion, multimodality, conflicts, modularity, hierarchies and loops. First, each of these concepts is introduced briefly using some examples from the neuroscience, psychophysics or robotics literature. Then, the concept is formalized using a template Bayesian model. The assumptions and common features of these models, as well as their major differences, are outlined and discussed. (shrink)

Bayes’ inference cannot reliably account for uncertainty in mental processes. The reason is that Bayes’ inference is based on the assumption that the order in which the relevant features are evaluated is indifferent, which is not the case in most of mental processes. Instead of Bayes’ rule, a more general, probabilistic rule of inference capable of accounting for these order effects is established. This new rule of inference can be used to improve the current Bayesian (...) models of cognition. Moreover, it should play an essential role in the search for artificial emotional intelligence. (shrink)

This article demonstrates that arguments which historians use can be expressed in terms of formal logic to revealing effect. It is widely taken for granted and sometimes explicitly stated that historical inference is not susceptible of being formalized, at least not in a way that might add something to historians’ understanding of the logic of their reasoning from evidence. The two model derivations in formal logic included here show otherwise. Each is a representation in propositional logic of an historical (...) argument relating to the evidence of medieval marriage law, annulment processes and papal dispensations. The way in which the conclusion is derived from the premises in each case permits the formal logical validity of inferences made to be traced and checked. The paper aims to make the logic underlying much historical argumentation more transparent. A supplementary aim is to show that this kind of historical reasoning is compatible with Bayesian logic. (shrink)

This paper distinguishes between "descriptive" and "normative" conceptions of Bayesian principles of rationality, both in the context of inference and in the context of decision (which of course are not unrelated). I emphasize an idea according to which, "You have to work with what you have to work with" - that is, that rationality is a relation among old beliefs, new information, and new beliefs (in the case of inference) and among beliefs, desires, preferences, and choices (in (...) the case of decision). According to this conception of rationality, one's current beliefs and desires are not themselves subject to evaluation as to their rationality (except for some minimal, basically logical and "coherentist" constraints). From this perspective, rationality is about how we move from old beliefs (whatever they are) to new beliefs when confronted with evidence, and about how our preferences are structured given what we believe and what we want (whatever we currently happen to believe and want). I present some formal details of this perspective and discuss several criticisms of it. (shrink)

This paper distinguishes between "descriptive" and "normative" conceptions of Bayesian principles of rationality, both in the context of inference and in the context of decision (which of course are not unrelated). I emphasize an idea according to which, "You have to work with what you have to work with" - that is, that rationality is a relation among old beliefs, new information, and new beliefs (in the case of inference) and among beliefs, desires, preferences, and choices (in (...) the case of decision). According to this conception of rationality, one's current beliefs and desires are not themselves subject to evaluation as to their rationality (except for some minimal, basically logical and "coherentist" constraints). From this perspective, rationality is about how we move from old beliefs (whatever they are) to new beliefs when confronted with evidence, and about how our preferences are structured given what we believe and what we want (whatever we currently happen to believe and want). I present some formal details of this perspective and discuss several criticisms of it. (shrink)

In applying Bayes’s theorem to the history of science, Bayesians sometimes assume – often without argument – that they can safely ignore very implausible theories. This assumption is false, both in that it can seriously distort the history of science as well as the mathematics and the applicability of Bayes’s theorem. There are intuitively very plausible counter-examples. In fact, one can ignore very implausible or unknown theories only if at least one of two conditions is satisfied: (i) one is certain (...) that there are no unknown theories which explain the phenomenon in question, or (ii) the likelihood of at least one of the known theories used in the calculation of the posterior is reasonably large. Often in the history of science, a very surprising phenomenon is observed, and neither of these criteria is satisfied. (shrink)

The principle of proportionality is seen as the highest peak of structural, logical thinking that enables balancing between constitutional principles and their interferences. So far, Alexy's weight formula has been the most advanced approach in structured balancing of proportionality stricto sensu, while this paper shows it as still too subjective. Despite judicial tests—or different, manifestly inappropriate reasonableness tests—proportionality stricto sensu hides some form of the jumping-to-conclusions bias, because the inference is made through a subjective lens. The paper presents (...) structured legal balancing (and hence reasoning) based on Bayes’ theorem. This paper, based on the connection between probability and hypothetical legal norms, transfers the four-part structure of proportionality into the relevant four-part structure of the Bayes tree. This transfer shows the first as flawed due to its failing to consider means that can have the same effects as the considered ones. Only by inclusion of the latter can the total probability of a considered case be established. Numerical proportionality à la Bayes can be further improved through the use of public-value weights that are obtained from surveys or online communities of people giving weights in the real time (collective wisdom). The Bayesian approach can also be used in adjudication as a control in assessing judicial standards in use. (shrink)

The main aim of this paper is to elucidate, from a logical point of view, the phenomenon of Simpson reversal — the paradox of a statistical reasoning. We define a binary relation of supporting in the following way: a sentence A supports a sentence B if and only if the probability of B is higher when A is true, than when A is false. It appears that a statistical argument occurring in Simpson paradox cannot be formalized by means of (...) a binary relation. We generalize the relation of support introducing the third parameter. Then we argue that it properly mirrors main features of the statistical argument occurring in Simpson paradox. (shrink)

This paper studies a fundamental mechanism by which conflicts between arguments are drawn from sentiments regarding acceptability of the arguments. Given sets of arguments, an inverse abstract argumentation problem seeks attack relations between arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in each of the attack relations. It is an inverse problem of the traditional problem we refer to as the forward abstract argumentation problem. Given an attack relation, the forward abstract argumentation (...) problem seeks sets of arguments such that acceptability semantics interprets each argument in the sets of arguments as being acceptable in the attack relation. We give a probabilistic model of argumentation-theoretic inference. It is a generative model formalising the process by which acceptability semantics interprets acceptability of arguments in a given attack relation. We show that it gives a broad view of solutions to the forward and inverse abstract argumentation problems. Specifically, solutions to the inverse and forward abstract argumentation problems are shown to be equivalent to a maximum likelihood estimate and maximum likelihood prediction, respectively, which are both available with the generative model. In addition, they are shown to be special cases of the posterior distribution and the evidence, respectively, which are both obtained by probabilistic inference on the generative model. We report an experiment result and application example of the generative model in the inverse problems. (shrink)

According to Aristotle, humans are the rational animal. The borderline between rationality and irrationality is fundamental to many aspects of human life including the law, mental health, and language interpretation. But what is it to be rational? One answer, deeply embedded in the Western intellectual tradition since ancient Greece, is that rationality concerns reasoning according to the rules of logic – the formal theory that specifies the inferential connections that hold with certainty between propositions. Piaget viewed logical reasoning as (...) defining the end-point of cognitive development; and contemporary psychology of reasoning has focussed on comparing human reasoning against logical standards. (shrink)

The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences as the proper place to begin reaching at that wider target. The paper outlines the key conceptual elements involved in a (...) naturalistic rendering of Peirce’s late semiotic and logical notion of abductive reasoning. The target is a cognitive-biological model of abduction which preserves the functional integrity of an organism and fulfils the existential imperative for living beings’ evidence of existence. Such a model is an adaptation of Peirce’s late logical schema of abduction proposed in his largely unpublished works during the early 20th century. The proposed model is argued to be a feasible sketch also of recent breakthroughs in computational (sensu Bayesian) cognitive science. (shrink)

Schurz (2019, ch. 4) argues that probabilistic accounts of induction fail. In particular, he criticises probabilistic accounts of induction that appeal to direct inference principles, including subjective Bayesian approaches (e.g., Howson 2000) and objective Bayesian approaches (see, e.g., Williamson 2017). In this paper, I argue that Schurz’ preferred direct inference principle, namely Reichenbach’s Principle of the Narrowest Reference Class, faces formidable problems in a standard probabilistic setting. Furthermore, the main alternative direct inference principle, Lewis’ Principal (...) Principle, is also hard to reconcile with standard probabilism. So, I argue, standard probabilistic approaches cannot appeal to direct inference to explicate the logic of induction. However, I go on to defend a non-standard objective Bayesian account of induction: I argue that this approach can both accommodate direct inference and provide a viable account of the logic of induction. I then defend this account against Schurz’ criticisms. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

This paper investigates the relations between causality and propensity. Aparticular version of the propensity theory of probability is introduced, and it is argued that propensities in this sense are not causes. Some conclusions regarding propensities can, however, be inferred from causal statements, but these hold only under restrictive conditions which prevent cause being defined in terms of propensity. The notion of a Bayesian propensity network is introduced, and the relations between such networks and causal networks is investigated. It is (...) argued that causal networks cannot be identified with Bayesian propensity networks, but that causal networks can be a valuable heuristic guide for the construction of Bayesian propensity networks. (shrink)

I argue that Bayesians need two distinct notions of probability. We need the usual degree-of-belief notion that is central to the Bayesian account of rational decision. But Bayesians also need a separate notion of probability that represents the degree to which evidence supports hypotheses. Although degree-of-belief is well suited to the theory of rational decision, Bayesians have tried to apply it to the realm of hypothesis confirmation as well. This double duty leads to the problem of old evidence, a (...) problem that, we will see, is much more extensive than usually recognized. I will argue that degree-of-support is distinct from degree-of-belief, that it is not just a kind of counterfactual degree-of-belief, and that it supplements degree-of-belief in a way that resolves the problems of old evidence and provides a richer account of the logic of scientific inference and belief. (shrink)

According to van Fraassen, inference to the best explanation (IBE) is incompatible with Bayesianism. To argue to the contrary, many philosophers have suggested hybrid models of scientific reasoning with both explanationist and probabilistic elements. This paper offers another such model with two novel features. First, its Bayesian component is imprecise. Second, the domain of credence functions can be extended.

Traditionally, philosophers have focused mostly on the logical template of inference. The paradigm-case has been deductive inference, which is topic-neutral and context-insensitive. The study of deductive rules has engendered the search for the Holy Grail: syntactic and topic-neutral accounts of all prima facie reasonable inferential rules. The search has hoped to find rules that are transparent and algorithmic, and whose following will just be a matter of grasping their logical form. Part of the search for the (...) Holy Grail has been to show that the so-called scientific method can be formalised in a topic-neutral way. We are all familiar with Carnap’s inductive logic, or Popper’s deductivism or the Bayesian account of scientific method. (shrink)

This is the latest volume to appear in the distinguished series, Monographs in Modern Logic edited by Geoffrey Keene. Like its predecessors it is explicitly designed to introduce to a broad range of readers an important aspect of modern logic. This particular study is highly creditable; it is concerned with the general problem of ‘deciding what beliefs are reasonable when certain other beliefs are assumed to be true’. To this purpose the first few chapters are devoted to the discussion and (...) use of nondeductive rules and inductive and predictive inferences, hypothesis and predictive inference, and probability and predictive inference Their topics are very competently discussed. The greater part of the exposition in these chapters and throughout the entire book is restricted to special cases of simple inductive problems and simple predictive problems. The chapter on hypothesis and predictive inference has an excellent introduction to the problem of entrenchment rules. In the chapter on probability and predictive inference Carnap’s solution of inductive and predictive problems is very ably analyzed. However, the analysis does presuppose some familiarity on the part of the reader with the nature of set theory. The problems of simple statistical inference are discussed in the chapter on statistical inference but too briefly to do full justice to the principal demands such a subject usually imposes. We thought the chapter on Bayesian statistical inference much more effective and comprehensive. Here the discussion centered on two types of theories which endeavor to apply probability measures to hypotheses, namely, those of Carnap and of the statistician Harold Jeffreys. These theories are examples of what the author describes as logical theories of probability measure in contrast to the subjective theory of probability. Briefly mentioned in connection with the latter are the philosopher F P Ramsey and the statistician L J Savage. A fairly recent book dealing with this entire problem, the Logic of Decision by R C Jeffrey might be added to the excellent bibliography provided by the author. The chapter on statistical decision and utility provides a simpler study of just what is involved in the making of logical decisions. Here the author comments on the set of acts, outcomes, and states which are involved in making formal decisions and the relation of these to a utility ordering or order of preferences. One issue of this analysis is the interesting construction of a utility scale representing a more sophisticated treatment of utility order by abstracting certain utility properties. (shrink)

This chapter1 concerns the relation between statistics and inductive logic. I start by describing induction in formal terms, and I introduce a general notion of probabilistic inductive inference. This provides a setting in which statistical procedures and inductive logics can be cap- tured. Speciacally, I discuss three statistical procedures (hypotheses testing, parameter estimation, and Bayesian statistics) and I show to what extend they can be captured by certain inductive logics. I end with some suggestions on how inductive.