On rules of inference and the meanings of logical constants · Study