数学

条件法における「先行」とは何か

条件法とは、論理学の用語で、「 A ならば B 」、記号だけで書くと「 A → B 」の形をした接続のことを言います。この記事で問題にするのは、この条件法の文において、なぜ A が B に先行していなければならないのか、どのような意味で A は B に先行している…

竹内外史『集合とはなにか』

読了してた。ゼロからはじめて最新の(当時)話題へ、そして今後の展望まで説いてしまう恐ろしい書。途中から流し読みでした。入門書でありながら、もったいぶらずに本格的な内容にどんどん入っていく。でもそのおかげで集合論おもしろそう!と思わされてし…

紀伊国屋 新宿本店にて

勉強の本。自分でつけときながら勉強というカテゴリもいかなるものかという感じがするよ……。でも気分としてはそのようなものであることは否定できない。ともかく。それよりもこの買い物コーナー傍目に見て面白いんだろうかとは思います。買った理由を述べて…