Recent advances in philosophy, artificial intelligence, mathematical psychology, and the decision sciences have brought a renewed focus to the role and interpretation of probability in theories of uncertain reasoning. Henry E. Kyburg, Jr. has long resisted the now dominate Bayesian approach to the role of probability in scientific inference and practical decision. The sharp contrasts between the Bayesian approach and Kyburg's program offer a uniquely powerful framework within which to study several issues at the heart of scientific inference, decision, and (...) reasoning under uncertainty. The commissioned essays for this volume take measure of the scope and impact of Kyburg's views on probability and scientific inference, and include several new and important contributions to the field. Contributors: Gert de Cooman, Clark Glymour, William Harper, Isaac Levi, Ron Loui, Enrique Miranda, John Pollock, Teddy Seidenfeld, Choh Man Teng, Mariam Thalos, Gregory Wheeler, Jon Williamson, and Henry E. Kyburg, Jr. (shrink)

Each of the five volumes in the Stone Art Theory Institutes series—and the seminars on which they are based—brings together a range of scholars who are not always directly familiar with one another’s work. The outcome of each of these convergences is an extensive and “unpredictable conversation” on knotty and provocative issues about art. This fourth volume in the series, _Beyond the Aesthetic and the Anti-Aesthetic_, focuses on questions revolving around the concepts of the aesthetic, the anti-aesthetic, and the political. (...) The book is about the fact that now, almost thirty years after Hal Foster defined the anti-aesthetic, there is still no viable alternative to the dichotomy between aesthetics and anti- or non-aesthetic art. The impasse is made more difficult by the proliferation of identity politics, and it is made less negotiable by the hegemony of anti-aesthetics in academic discourse on art. The central question of this book is whether artists and academicians are free of this choice in practice, in pedagogy, and in theory. The contributors are Stéphanie Benzaquen, J. M. Bern­stein, Karen Busk-Jepsen, Luis Camnitzer, Diarmuid Costello, Joana Cunha Leal, Angela Dimitrakaki, Alexander Dumbadze, T. Brandon Evans, Geng Youzhuang, Boris Groys, Beáta Hock, Gordon Hughes, Michael Kelly, Grant Kester, Meredith Kooi, Cary Levine, Sunil Manghani, William Mazzarella, Justin McKeown, Andrew McNamara, Eve Meltzer, Nadja Millner-Larsen, Maria Filomena Molder, Carrie Noland, Gary Peters, Aaron Richmond, Lauren Ross, Toni Ross, Eva Schürmann, Gregory Sholette, Noah Simblist, Jon Simons, Robert Storr, Martin Sundberg, Timotheus Vermeulen, and Rebecca Zorach. (shrink)

The essays in this collection, many originally presented at a 2008 colloquium on Celtic Cosmology and the Power of Words, aim to examine the worldviews held by the Celtic peoples, particularly the Gaelic (Irish and Scottish) perspectives. Texts and inscriptions, some of them pre-Christian, in Celtic languages and in Celtic Latin provide the sources for the worldviews under study. This area of research is also linked to that of the power of words, which refers to human belief in powerful speech (...) acts. Naming and story-telling processes convey knowledge of the cosmos; this knowledge is connected to the landscape and its roads, rivers, mountains and hills. Cosmology is a description of the order and structure of the world as perceived by human beings, and its study is a study of layers – in the earth, in the language and in the tales. (shrink)

Coherentism maintains that coherent beliefs are more likely to be true than incoherent beliefs, and that coherent evidence provides more confirmation of a hypothesis when the evidence is made coherent by the explanation provided by that hypothesis. Although probabilistic models of credence ought to be well-suited to justifying such claims, negative results from Bayesian epistemology have suggested otherwise. In this essay we argue that the connection between coherence and confirmation should be understood as a relation mediated by the causal relationships (...) among the evidence and a hypothesis, and we offer a framework for doing so by fitting together probabilistic models of coherence, confirmation, and causation. We show that the causal structure among the evidence and hypothesis is sometimes enough to determine whether the coherence of the evidence boosts confirmation of the hypothesis, makes no difference to it, or even reduces it. We also show that, ceteris paribus, it is not the coherence of the evidence that boosts confirmation, but rather the ratio of the coherence of the evidence to the coherence of the evidence conditional on a hypothesis. (shrink)

Isaac Newton's Scientific Method examines Newton's argument for universal gravity and his application of it to resolve the problem of deciding between geocentric and heliocentric world systems by measuring masses of the sun and planets. William L. Harper suggests that Newton's inferences from phenomena realize an ideal of empirical success that is richer than prediction. Any theory that can achieve this rich sort of empirical success must not only be able to predict the phenomena it purports to explain, (...) but also have those phenomena accurately measure the parameters which explain them. Harper explores the ways in which Newton's method aims to turn theoretical questions into ones which can be answered empirically by measurement from phenomena, and to establish that propositions inferred from phenomena are provisionally accepted as guides to further research. This methodology, guided by its rich ideal of empirical success, supports a conception of scientific progress that does not require construing it as progress toward Laplace's ideal limit of a final theory of everything, and is not threatened by the classic argument against convergent realism. Newton's method endorses the radical theoretical transformation from his theory to Einstein's. Harper argues that it is strikingly realized in the development and application of testing frameworks for relativistic theories of gravity, and very much at work in cosmology today. (shrink)

C.P. Snow observed that universities are largely made up of two broad types of people, literary intellectuals and scientists, yet a typical individual of each type is barely able, if able at all, to communicate with his counterpart. Snow's observation, popularized in his 1959 lecture Two Cultures and the Scientific Revolution (reissued by Cambridge 1993), goes some way to explaining the two distinct cultures one hears referred to as "the humanities" and "the sciences." Snow's lecture is a study of these (...) two cultures, their rules, hierarchies, and educational traditions, which raises the following question: to what degree are "the humanities" and "the sciences" a consequence of how we organize and fund modern universities? Rather than a happenstance of interests and temperament, perhaps "humanist" and "scientist" are largely bureaucratic categories. (shrink)

We analyze two problems in mathematics – the first (stated in our title) is extracted from Wittgenstein’s “Philosophy for Mathematicians”; the second (“What set of numbers is non-denumerable?”) is taken from Cantor. We then consider, by way of comparison, a problem in musical aesthetics concerning a Brahms variation on a theme by Haydn. Our aim is to bring out and elucidate the essentially riddle-like character of these problems.

In the age of big data and a machine epistemology that can anticipate, predict, and intervene on events in our lives, the problem once again is that a few individuals possess the knowledge of how to regulate these activities. But the question we face now is not how to share such knowledge more widely, but rather of how to enjoy the public benefits bestowed by this knowledge without freely sharing it. It is not merely personal privacy that is at stake (...) but a range of unsung benefits that come from ignorance and forgetting, traits that are inherently human and integral to the functioning of our society. (shrink)

This essay presents results about a deviation from independence measure called focused correlation . This measure explicates the formal relationship between probabilistic dependence of an evidence set and the incremental confirmation of a hypothesis, resolves a basic question underlying Peter Klein and Ted Warfield's ‘truth-conduciveness’ problem for Bayesian coherentism, and provides a qualified rebuttal to Erik Olsson's claim that there is no informative link between correlation and confirmation. The generality of the result is compared to recent programs in Bayesian epistemology (...) that attempt to link correlation and confirmation by utilizing a conditional evidential independence condition. Several properties of focused correlation are also highlighted. Introduction Correlation Measures 2.1 Standard covariance and correlation measures 2.2 The Wayne–Shogenji measure 2.3 Interpreting correlation measures 2.4 Correlation and evidential independence Focused Correlation Conclusion Appendix CiteULike Connotea Del.icio.us What's this? (shrink)

This is a very important book. It has already become required reading for researchers on the relation between the exact sciences and Kant’s philosophy. The main theme is that Kant’s continuing program to find a metaphysics that could provide a foundation for the science of his day is of crucial importance to understanding the development of his philosophical thought from its earliest precritical beginnings in the thesis of 1747, right through the highwater years of the critical philosophy, to his last (...) unpublished writings in the Opus postumum. In the course of articulating this theme, Friedman has made extensive use of detailed historical information about their scientific and mathematical background to illuminate Kant’s texts. Over and over again, such information is used to suggest interesting and quite subtle interpretations for texts that may have seemed puzzling or just wrong-headed. (shrink)

We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework.

Since 1995, students, researchers, and professionals have turned to The Craft of Research for clear and helpful guidance on how to conduct research and report it effectively. Now, master teachers Wayne C. Booth, Gregory G. Colomb, and Joseph M. Williams have completely revised and updated their classic handbook. The new edition will continue to help thousands of students and writers plan, carry out, and report on research to produce effective term papers, dissertations, articles, or books -- in any field, (...) at any level. (shrink)

In this chapter we draw connections between two seemingly opposing approaches to probability and statistics: evidential probability on the one hand and objective Bayesian epistemology on the other.

The field of of imprecise probability has matured, in no small part because of Teddy Seidenfeld’s decades of original scholarship and essential contributions to building and sustaining the ISIPTA community. Although the basic idea behind imprecise probability is (at least) 150 years old, a mature mathematical theory has only taken full form in the last 30 years. Interest in imprecise probability during this period has also grown, but many of the ideas that the mature theory serves can be difficult to (...) apprehend to those new to the subject. Although these fundamental ideas are common knowledge in the ISIPTA community, they are expressed, when they are expressed at all, obliquely, over the course of years with students and colleagues. -/- A single essay cannot convey the store of common knowledge from any research community, let alone the ISIPTA community. But, this essay nevertheless is an attempt to guide those familiar with the basic Bayesian framework to appreciate some of the elegant and powerful ideas that underpin the contemporary theory of lower previsions, which is the theory that most people associate with the term ‘imprecise probabilities’. (shrink)

The desirable gambles framework provides a foundational approach to imprecise probability theory but relies heavily on linear utility assumptions. This paper introduces function-coherent gambles, a generalization that accommodates non-linear utility while preserving essential rationality properties. We establish core axioms for function-coherence and prove a representation theorem that characterizes acceptable gambles through continuous linear functionals. The framework is then applied to analyze various forms of discounting in intertemporal choice, including hyperbolic, quasi-hyperbolic, scale-dependent, and state-dependent discounting. We demonstrate how these alternatives to (...) constant-rate exponential discounting can be integrated within the function-coherent framework. This unified treatment provides theoretical foundations for modeling sophisticated patterns of time preference within the desirability paradigm, bridging a gap between normative theory and observed behavior in intertemporal decision-making under genuine uncertainty. (shrink)

This paper uses Popper's treatment of probability and an epistemic constraint on probability assignments to conditionals to extend the Bayesian representation of rational belief so that revision of previously accepted evidence is allowed for. Results of this extension include an epistemic semantics for Lewis' theory of counterfactual conditionals and a representation for one kind of conceptual change.

Many philosophers of science have argued that a set of evidence that is "coherent" confirms a hypothesis which explains such coherence. In this paper, we examine the relationships between probabilistic models of all three of these concepts: coherence, confirmation, and explanation. For coherence, we consider Shogenji's measure of association (deviation from independence). For confirmation, we consider several measures in the literature, and for explanation, we turn to Causal Bayes Nets and resort to causal structure and its constraint on probability. All (...) else equal, we show that focused correlation, which is the ratio of the coherence of evidence and the coherence of the evidence conditional on a hypothesis, tracks confirmation. We then show that the causal structure of the evidence and hypothesis can put strong constraints on how coherence in the evidence does or does not translate into confirmation of the hypothesis. (shrink)

One goal of normative multi-agent system theory is to formulate principles for normative system change that maintain the rule-like structure of norms and preserve links between norms and individual agent obligations. A central question raised by this problem is whether there is a framework for norm change that is at once specific enough to capture this rule-like behavior of norms, yet general enough to support a full battery of norm and obligation change operators. In this paper we propose an answer (...) to this question by developing a bimodal logic for norms and obligations called NO. A key to our approach is that norms are treated as propositional formulas, and we provide some independent reasons for adopting this stance. Then we define norm change operations for a wide class of modal systems, including the class of NO systems, by constructing a class of modal revision operators that satisfy all the AGM postulates for revision, and constructing a class of modal contraction operators that satisfy all the AGM postulates for contraction. More generally, our approach yields an easily extendable framework within which to work out principles for a theory of normative system change. (shrink)

Jon Williamson's Objective Bayesian Epistemology relies upon a calibration norm to constrain credal probability by both quantitative and qualitative evidence. One role of the calibration norm is to ensure that evidence works to constrain a convex set of probability functions. This essay brings into focus a problem for Williamson's theory when qualitative evidence specifies non-convex constraints.

A bounded formula is a pair consisting of a propositional formula φ in the first coordinate and a real number within the unit interval in the second coordinate, interpreted to express the lower-bound probability of φ. Converting conjunctive/disjunctive combinations of bounded formulas to a single bounded formula consisting of the conjunction/disjunction of the propositions occurring in the collection along with a newly calculated lower probability is called absorption. This paper introduces two inference rules for effecting conjunctive and disjunctive absorption and (...) compares the resulting logical system, called System Y, to axiom System P. Finally, we demonstrate how absorption resolves the lottery paradox and the paradox of the preference. (shrink)

A sound and complete axiomatization of two philosophy tabloids is given, Leiter Logic (KB) and Deontic Leiter Logic (KDB), in single agent format, the latter of which can be extended to Shame Game Logic for multiple players. The (B) schema captures the mechanism of tabloid inference, illustrating the perils of interpreting a provability operator as an epistemic modal. To mark this hazard, and to preserve Brouwer's good name, the (B) schema interpreted to govern epistemic modals should be called The Blog (...) Schema. (shrink)

Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...) thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. (shrink)

Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model. But what distinguishes the KTB analysis of ‘being informed’, the Brouwersche schema (B), is precisely its downfall, for no logic of information should include (B) and, more generally, no epistemic logic should include (B), either.

The desirable gambles framework offers the most comprehensive foundations for the theory of lower pre- visions, which in turn affords the most general ac- count of imprecise probabilities. Nevertheless, for all its generality, the theory of lower previsions rests on the notion of linear utility. This commitment to linearity is clearest in the coherence axioms for sets of desirable gambles. This paper considers two routes to relaxing this commitment. The first preserves the additive structure of the desirable gambles framework and (...) the machinery for coherent inference but detaches the interpretation of desirability from the multiplicative scale invariance axiom. The second strays from the additive combination axiom to accommodate repeated gambles that return rewards by a non-stationary processes that is not necessarily additive. Unlike the first approach, which is a conservative amendment to the desirable gambles framework, the second is a rad- ical departure. Yet, common to both is a method for describing rewards called discounted utility. (shrink)

This article by Curtis Wilson is an account of the origin of Hansen’s powerful systematic method for finding contributions of higher order perturbations in celestial mechanics. Hansen’s method was developed in the course of improving on Laplace’s treatment of the mutual perturbations of Jupiter and Saturn. This method, an entirely new way of doing celestial mechanics when it first appeared, later made possible the successful treatment of the complicated motions of our moon (see Wilson 2010). In this paper Wilson gives (...) a brief historical introduction followed by an account of relevant technical details of the Laplacian background, an account illustrating technical details in Hansen’s initial development in his Disquisitions of 1829, and a treatment illustrating details contributing to the achievement of Hansen’s more refined development in his Untersuchung of 1831. These details include conditional equations Hansen provides for checking the accuracy of calculations. Wilson also includes a detailed assessment showing the extraordinary improvement in empirical accuracy of Hansen’s treatment over the best earlier treatment of the Jupiter-Saturn interactions. (shrink)

No one has a well developed solution to Duhem's problem, the problem of how experimental evidence warrants revision of our theories. Deborah Mayo proposes a solution to Duhem's problem in route to her more ambitious program of providing a philosophical account of inductive inference and experimental knowledge. This paper is a response to Mayo's Error Statistics (ES) program, paying particular attention to her response to Duhem's problem. It turns out that Mayo's purported solution to Duhem's problem is very significant to (...) her project, for the epistemic license claimed by ES and the philosophical underpinnings to her account of experimental knowledge depend on this solution. By introducing the partition problem, I argue that ES fails to solve Duhem's problem and therefore fails to provide an adequate account of experimental knowledge. (shrink)

In this paper, we present a new semantic challenge to the moral error theory. Its first component calls upon moral error theorists to deliver a deontic semantics that is consistent with the error-theoretic denial of moral truths by returning the truth-value false to all moral deontic sentences. We call this the ‘consistency challenge’ to the moral error theory. Its second component demands that error theorists explain in which way moral deontic assertions can be seen to differ in meaning despite necessarily (...) sharing the same intension. We call this the ‘triviality challenge’ to the moral error theory. Error theorists can either meet the consistency challenge or the triviality challenge, we argue, but are hard pressed to meet both. (shrink)

The structural view of rational acceptance is a commitment to developing a logical calculus to express rationally accepted propositions sufficient to represent valid argument forms constructed from rationally accepted formulas. This essay argues for this project by observing that a satisfactory solution to the lottery paradox and the paradox of the preface calls for a theory that both (i) offers the facilities to represent accepting less than certain propositions within an interpreted artificial language and (ii) provides a logical calculus of (...) rationally accepted formulas that preserves rational acceptance under consequence. The essay explores the merit and scope of the structural view by observing that some limitations to a recent framework advanced James Hawthorne and Luc Bovens are traced to their framework satisfying the first of these two conditions but not the second. (shrink)

Classic examples of ostensive geometrical constructions are used to clarify Kant’s account of how they provide knowledge of claims about rigid bodies we can observe and manipulate. It is argued that on Kant’s account claims warranted by ostensive constructions must be limited to scales and tolerances corresponding to our perceptual competencies. This limitation opens the way to view Riemann’s work as contributing valuable conceptual resources for extending geometrical knowledge beyond the bounds of observation. It is argued that neither Reichenbach’s descriptions (...) of non-Euclidean visualization nor his arguments for conventionalism about geometry undercut this view of Kant’s account of geometrical knowledge. (shrink)

In this essay we advance the view that analytical epistemology and artificial intelligence are complementary disciplines. Both fields study epistemic relations, but whereas artificial intelligence approaches this subject from the perspective of understanding formal and computational properties of frameworks purporting to model some epistemic relation or other, traditional epistemology approaches the subject from the perspective of understanding the properties of epistemic relations in terms of their conceptual properties. We argue that these two practices should not be conducted in isolation. We (...) illustrate this point by discussing how to represent a class of inference forms found in standard inferential statistics. This class of inference forms is interesting because its members share two properties that are common to epistemic relations, namely defeasibility and paraconsistency. Our modeling of standard inferential statistical arguments exploits results from both logical artificial intelligence and analytical epistemology. We remark how our approach to this modeling problem may be generalized to an interdisciplinary approach to the study of epistemic relation. (shrink)

Newton's methodology is significantly richer than the hypothetico-deductive model. It is informed by a richer ideal of empirical success that requires not just accurate prediction but also accurate measurement of parameters by the predicted phenomena. It accepts theory-mediated measurements and theoretical propositions as guides to research. All of these enrichments are exemplified in the classical response to Mercury's perihelion problem. Contrary to Kuhn, Newton's method endorses the radical transition from his theory to Einstein's. The richer themes of Newton's method are (...) strikingly realized in a challenge to general relativity from a new problem posed by Mercury's perihelion. †To contact the author, please write to: Talbot College, University of Western Ontario, London, Ontario, Canada N6A 3K7; e-mail: [email protected]. (shrink)

The papers collected here are, with three exceptions, those presented at a conference on probability and causation held at the University of California at Irvine on July 15-19, 1985. The exceptions are that David Freedman and Abner Shimony were not able to contribute the papers that they presented to this volume, and that Clark Glymour who was not able to attend the conference did contribute a paper. We would like to thank the National Science Foundation and the School of Humanities (...) of the University of California at Irvine for generous support. WILLIAM HARPER University of Western Ontario BRIAN SKYRMS University of California at Irvine VII INTRODUCTION TO CAUSATION, CHANCE, AND CREDENCE The search for causes is so central to science that it has sometimes been taken as the defining attribute of the scientific enterprise. Yet even after twenty-five centuries of philosophical analysis the meaning of "cause" is still a matter of controversy, among scientists as well as philosophers. Part of the problem is that the servicable concepts of causation built out of Necessity, Sufficiency, Locality, and Temporal Precedence were constructed for a deterministic world-view which has been obsolete since the advent of quantum theory. A physically credible theory of causation must be, at basis, statistical. And statistical analyses of caus­ ation may be of interest even when an underlying deterministic theory is assumed, as in classical statistical mechanics. (shrink)

In his groundbreaking book, Against Coherence (2005), Erik Olsson presents an ingenious impossibility theorem that appears to show that there is no informative relationship between probabilistic measures of coherence and higher likelihood of truth. Although Olsson's result provides an important insight into probabilistic models of epistemological coherence, the scope of his negative result is more limited than generally appreciated. The key issue is the role conditional independence conditions play within the witness testimony model Olsson uses to establish his result. Olsson (...) maintains that his witness model yields charitable ceteris paribus conditions for any theory of probabilistic coherence. Not so. In fact, Olsson's model, like Bayesian witness models in general, selects a peculiar class of models that are in no way representative of the range of options available to coherence theorists. Recent positive results suggest that there is a way to develop a formal theory of coherence after all. Further, although Bayesian witness models are not conducive to the truth, they are conducive to reliability. (shrink)