kbear comments on Automating philosophy if Timothy Williamson is correct