•All have the property that E[θn+1 | θn] = θn. •Called the martingale property •Philosophically desirable because it means that information is preserved as we move down the hierarchy •Theorem (Doob): All non-negative martingale sequences have a limit with probability 1. θn+1 | θn ∼ DP(cθn), θn+1 | θn ∼ BP(cθn), θn+1 | θn ∼ GammaP(cθn), θn+1 | θn ∼ PYP(cθn) Pathological Properties of Deep Bayesi...

We present a brief history of decoherence, from its roots in the foundations of classical statistical mechanics, to the current spin bath models in condensed matter physics. We then analyse the philosophical importance of decoherence in three different foundational problems, and find that its role in their solutions is less than that commonly believed. What makes decoherence more philosophicall...

This paper focuses on the GLn tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary irreducible representations of GLn. We will describe an explicit basis for this algebra. This construction relates directly with the combinatorial description of Littlewood-Richardson coefficients in terms of Littlewood-Richardson tableaux. Philosophically, one may view thi...

AIFdb Corpora provides a facility to group Argument Interchange Format (AIF) argument maps and search for maps that are related to each other (for example, analyses of related texts.) Users can create and share corpora containing any number of argument maps from within AIFdb. By integrating with the OVA+ analysis tool, AIFdb Corpora allows for the creation of corpora compliant with both AIF and...

This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general and in particular for Information Systems engineering. The paper presents theoretical foundations of the paradigm; in particular it presents some of the key features of the theory of Triune Continuum, one of the three ...

Limited dependent variable (LDV) data are common in political science, and political methodologists have given much good advice on dealing with them. We review some methods for LDV ‘‘change point problems’’ and demonstrate the use of Bayesian approaches for count, binary, and duration-type data. Our applications are drawn from American politics, Comparative politics, and International Political...

A set A ⊆ N is called complete if every sufficiently large integer can be written as the sum of distinct elements of A. In this paper we present a new method for proving the completeness of a set, improving results of Cassels (’60), Zannier (’92), Burr, Erdős, Graham, and Li (’96), and Hegyvári (’00). We also introduce the somewhat philosophically related notion of a dispersing set and refine a...

Two years ago, the distribution of the world’s people reached the point at which over half now live in cities. Some social scientists and urban planners (but few political leaders other than those of large municipalities) had seen this change coming. With one group of exceptions, philosophers have paid less attention to the subject. I would like to advance some ideas about how to think philosop...

Considered biologically as well as philosophically, man is a most singular product of the evolutionary process. He receives and transmits not one but two heredities, the biological and the cultural. Man’s biological heredity is very much like that of any other organism; it is transmitted solely from parents to their children, and to other direct descendants. Cultural heredity, or simply culture...

As Sorensen points out, philosophers of lying have focused exclusively on lies that are declarative utterances, such as when the shepherd boy cries, “There is a wolf chasing my sheep!” Thus, expanding out “diet of examples” to include lying with conditionals is philosophically beneficial. In particular, it forces us to clarify the traditional definition. But contra Sorensen, it does not require...