Logic as a Liberal Art