Embed Notice

@gaby @rinsuki 数学や computer science で使われる logic では，tweets が一つもない時にも，「すべての tweets を削除した」は true statement なので (論理学では，このタイプの “真理” は vacuous truth と呼ばれます)，一般向けの tweet だと問題かもしれませんが，科学者，あるいはコンピュータ文化の人たちがこの tweet の読者なら，こう書いても o.k. かもしれません．ちなみに，私はこの種類の論理からくるコミュニケーションギャップについての議論を含む一般向けの解説/論説をちょっと前に書きました: https://fuchino.ddo.jp/misc/logic-2022-x.pdf この作文が掲載されたのは哲学の素養のある人向けの雑誌だったので，それを意識して，ちょっと凝った文章になってしまってはいますが．一般の人たちと「コンピュータ文化」の中の人の論理の理解の違いによるコミュニケーションの齟齬の問題については，この作文の第４節の最後に述べてあります．上で言った vacuous truthについても，この作文の第３節で触れています．