In [3], Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. Theorem 1 The first-order theories of Peano arithmetic and ZF with the axiomâ€¦ (More)

In â€˜A Non-Pragmatic Vindication of Probabilismâ€™, Jim Joyce argues that our credences should obey the axioms of the probability calculus by showing that, if they donâ€™t, there will be alternativeâ€¦ (More)

Taking Joyceâ€™s (1998; 2009) recent argument(s) for probabilism as our point of departure, we propose a new way of grounding formal, synchronic, epistemic coherence requirements for (opinionated) fullâ€¦ (More)

In [5], Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. Theorem 1 The first-order theories of Peano arithmetic and ZF with the axiomâ€¦ (More)

One of the central projects of formal epistemology concerns the formulation and justification of epistemic norms. The project has three stages: First, the formal epistemologist produces aâ€¦ (More)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and discernibility can beâ€¦ (More)

We present here a finitary theory of finite sets and develop a theory of â€˜natural number arithmeticâ€™ that follows the example of Dedekindâ€™s theory of simply infinite systems expounded in [3]. Inâ€¦ (More)

The thrift industry has been studied extensively in recent years due to the enormous costs to resolve failed thrifts during the late 1980s and early 1990s. Almost all of the studies have focused onâ€¦ (More)

In this paper, we explore how we should aggregate the degrees of belief of a group of agents to give a single coherent set of degrees of belief, when at least some of those agents might beâ€¦ (More)