探偵小説の論理学―ラッセル論理学とクイーン、笠井潔、西尾維新の探偵小説