If philosophy is not science, perhaps it measures its performance. Not sure how you introduce logic proofs into a subject without calling it science, though. I think On Certainty might scrape this subject.