わたしには二つの量化子——つまり∀と∃——についてささやかな苦情が二つある。 苦情の一つは名前についてだ。allとexist。何だこの名前～とわたしは初めて論理学の勉強をした2017年頃に思ったし、いまも薄く思っている。要するにこれってカテゴリーミステイクな…