David Kinney

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.

Consider the following two (hypothetical) generic causal claims: “Living in a neighborhood with many families with children increases purchases of bicycles” and “living in an affluent neighborhood with many families with children increases purchases of bicycles.” These claims not only differ in what they suggest about how bicycle ownership is distributed across different neighborhoods (i.e., “the data”), but also have the potential to communicate something about the speakers’ values: namely, the prominence they accord to affluence in representing and making decisions about the social world. Here, we examine the relationship between the level of granularity with which a cause is described in a generic causal claim (e.g., neighborhood vs. affluent neighborhood) and the value of the information contained in the causal model that generates that claim. We argue that listeners who know any two of the following can make reliable inferences about the third: 1) the level of granularity at which a speaker makes a generic causal claim, 2) the speaker’s values, and 3) the data available to the speaker. We present results of four experiments (N=1,323) in the domain of social categories that provide evidence in keeping with these predictions.

In discussions of the power of causal explanations, one often finds a commitment to two premises. The first is that, all else being equal, a causal explanation is powerful to the extent that it cites the full causal history of why the effect occurred. The second is that, all else being equal, causal explanations are powerful to the extent that the occurrence of a cause allows us to predict the occurrence of its effect. This article proves a representation theorem showing that there is a unique family of functions measuring a causal explanation’s power that satisfies these two premises.

We examine the epistemological foundations of a leading technique in the search for evidence of life on exosolar planets. Specifically, we consider the “transit method” for spectroscopic analysis of exoplanet atmospheres, and the practice of treating anomalous chemical compositions of the atmospheres of exosolar planets as indicators of the potential presence of life. We propose a methodology for ranking the anomalousness of atmospheres that uses the mathematical apparatus of support vector machines, and which aims to be agnostic with respect to the particular chemical biosignatures of life. We argue that our approach is justified by an appeal to the “hinge” model of epistemic justification first proposed by as reported by Wittgenstein. We then compare our approach to previous work due to Walker et al. :779–824, 2018) and Cleland :722–729, 2019a; Does ‘life’ have a definition?, Cambridge University Press, New York, 2019b).

Formal epistemology is a growing field of philosophical research. It is also evolving, with the subject matter of formal epistemology papers changing considerably over the past two decades. To quantify the ways in which formal epistemology is changing, I generate a stochastic block topic model of the abstracts of papers classified by PhilPapers.org as pertaining to formal epistemology. This model identifies fourteen salient topics of formal epistemology abstracts at a first level of abstraction, and four topics at a second level of abstraction. I then study diachronic trends in the degree to which formal epistemology abstracts written in a given year are likely to contain words associated with a particular topic, beginning in 2000 and continuing to 2020. My findings suggest that there has been a marked decline in the likelihood of a given formal epistemology abstract being about logical approaches to belief revision. On the other hand, over the past two decades, the salience of probabilistic techniques in formal epistemology has increased, as has the salience of work at the intersection of formal epistemology and some areas of philosophy of science.

Critical race theorists and standpoint epistemologists argue that agents who are members of dominant social groups are often in a state of ignorance about the extent of their social dominance, where this ignorance is explained by these agents' membership in a socially dominant group (e.g., Mills 2007). To illustrate this claim bluntly, it is argued: 1) that many white men do not know the extent of their social dominance, 2) that they remain ignorant as to the extent of their dominant social position even where this information is freely attainable, and 3) that this ignorance is due in part to the fact that they are white men. We argue that on Buchak's (2010, 2013) model of risk averse instrumental rationality, ignorance of one's privileges can be rational. This argument yields a new account of elite-group ignorance, why it may occur, and how it might be alleviated.

Formal and social epistemologists have devoted significant attention to the question of how to aggregate the credences of a group of agents who disagree about the probabilities of events. Moss and Pettigrew argue that group credences can be a linear mean of the credences of each individual in the group. By contrast, I argue that if the epistemic value of a credence function is determined solely by its accuracy, then we should, where possible, aggregate the underlying statistical models that individuals use to generate their credence functions, using “stacking” techniques from statistics and machine learning first developed by Wolpert.

This dissertation aims to determine the optimal level of granularity for the variables used in probabilistic causal models. These causal models are useful for generating explanations in a number of scientific contexts. In Chapter 1, I argue that there is rarely a unique level of granularity at which a given phenomenon can be causally explained, thereby rejecting various causal exclusion arguments. In Chapter 2, I consider several recent proposals for measuring the explanatory power of causal explanations, and show that these measures fail to track the comparative depth of explanations given at different levels of granularity. In Chapter 3, I offer a pragmatic account of how to partition the measure space of a causal variable so as to optimally explain its effect. My account uses the decision-theoretic notion of value of information, and indexes the relative depth of an explanation to a particular agent faced with a particular decision problem. Chapter 4 applies this same decisiontheoretic framework to answer the epistemic question of how to discover constitutive relationships in nature. In Chapter 5, I describe the formal details of the relationship between random variables that are meant to be coarse-grained and fine-grained representations of the same type of phenomenon. I use this formal framework to rebut a popular argument for the view that special science probabilities can be objective chances. Chapter 6 discusses challenges related to the causal interpretation of Bayes nets that use imprecise rather than precise probabilities.

Several authors have argued that non-extreme probabilities used in special sciences such as chemistry and biology can be objective chances, even if the true microphysical description of the world is deterministic. This article examines an influential version of this argument and shows that it depends on a particular methodology for defining the relationship between coarse-grained and fine-grained events. An alternative methodology for coarse-graining is proposed. This alternative methodology blocks this argument for the existence of emergent chances, and makes better sense of two well-known subjects of philosophical discussion: the Miners Puzzle and Simpson’s Paradox.

Discovering high-level causal relations from low-level data is an important and challenging problem that comes up frequently in the natural and social sciences. In a series of papers, Chalupka etal. (2015, 2016a, 2016b, 2017) develop a procedure forcausal feature learning (CFL) in an effortto automate this task. We argue that CFL does not recommend coarsening in cases where pragmatic considerations rule in favor of it, and recommends coarsening in cases where pragmatic considerations rule against it. We propose a new technique, pragmatic causal feature learning (PCFL), which extends the original CFL algorithm in useful and intuitive ways. We show that PCFL has the same attractive measure-theoretic properties as the original CFL algorithm. We compare the performance of both methods through theoretical analysis and experiments.

Curie’s Principle says that any symmetry property of a cause must be found in its effect. In this article, I consider Curie’s Principle from the point of view of graphical causal models, and demonstrate that, under one definition of a symmetry transformation, the causal modeling framework does not require anything like Curie’s Principle to be true. On another definition of a symmetry transformation, the graphical causal modeling formalism does imply a version of Curie’s Principle. These results yield a better understanding of the logical landscape with respect to the relationship between Curie’s Principle and graphical causal modeling.

Proponents of various causal exclusion arguments claim that for any given event, there is often a unique level of granularity at which that event is caused. Against these causal exclusion arguments, causal ecumenists argue that the same event or phenomenon can be caused at multiple levels of granularity. This paper argues that the Bayesian network approach to representing the causal structure of target systems is consistent with causal ecumenism. Given the ubiquity of Bayesian networks as a tool for representing causal structure in both philosophy of science and science itself, this result speaks in favor of the ecumenical view, and against rival exclusionary accounts. Gebharter’s (Philos Phenomenol Res 95(2):353–375, 2017) argument that the Bayes nets formalism is consistent with causal exclusion is considered and rebutted.

This article considers the extent to which Bayesian networks with imprecise probabilities, which are used in statistics and computer science for predictive purposes, can be used to represent causal structure. It is argued that the adequacy conditions for causal representation in the precise context—the Causal Markov Condition and Minimality—do not readily translate into the imprecise context. Crucial to this argument is the fact that the independence relation between random variables can be understood in several different ways when the joint probability distribution over those variables is imprecise, none of which provides a compelling basis for the causal interpretation of imprecise Bayes nets. I conclude that there are serious limits to the use of imprecise Bayesian networks to represent causal structure.

This article considers the popular thesis that a more proportional relationship between a cause and its effect yields a more abstract causal explanation of that effect, which in turn produces a deeper explanation. This thesis is taken to have important implications for choosing the optimal granularity of explanation for a given explanandum. In this article, I argue that this thesis is not generally true of probabilistic causal relationships. In light of this finding, I propose a pragmatic, interest-relative measure of explanatory depth. This measure uses a decision-theoretic model of information pricing to determine the optimal granularity of explanation for a given explanandum, agent, and decision problem.

The Problem of Old Evidence is a perennial issue for Bayesian confirmation theory. Garber famously argues that the problem can be solved by conditionalizing on the proposition that a hypothesis deductively implies the existence of the old evidence. In recent work, Hartmann and Fitelson :712–717, 2015) and Sprenger :383–401, 2015) aim for similar, but more general, solutions to the Problem of Old Evidence. These solutions are more general because they allow the explanatory relationship between a new hypothesis and old evidence to be inductive, rather than deductive. In this paper, I argue that these solutions are either unsound or under-motivated, depending on the case of inductive explanation that we have in mind. This lends support to the broader claim that Garber–Style Bayesian confirmation cannot capture the sense in which new hypotheses that do not deductively imply old evidence nevertheless seem to be confirmed via old evidence.