>現実と論理の対応を想定していて

論理は、存在するものではなく、使うものですよ?