At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics

Antoine Mercier, Josiah Lopez-Wild, Elijah Spiegel

The task of inductive logic is to develop a formal framework to analyze inductive reasoning. Historically this was accomplished by assigning probabilities to sentences of a logical…