Survey Symbolic Logic door Clarence Irving Lewis