 Formalization of philosophical argument has a history as old as  logic.[1]  Logic is the historical source and foundation of contemporary  computing.[2]  Our topic here is more specific: the application of contemporary computing to a range of philosophical questions. But that too has a history, evident in Leibniz’s vision of the power of computation.