Title: Proofrder Logic and Philsphy Ibm