A Program For Logic