Talk:John Corcoran (logician)