Proof And Disproof In Formal Logic Philosophy