2024.03.30
https://www.youtube.com/watch?v=M48qYofyhG4
思った
ずっと思っているが「ツイートのスクリーンショットを撮って晒し首にしながら批判する戦法」
記録に残る(ツイート消去で言い逃れできない)
客観性の担保
などの面で攻撃力高そうなのだが何故皆やらないんだ
メモ
読んだ
思った
論理学上では$ \top(true / (絶対的)真)や$ ⊥(false / (絶対的)偽)という定項を素朴に導入される
が,冷静に考えてこれらは何なのかわからない
現実にそのようなものは存在するのか?
よく言われるのは適当な命題$ p_0を持ってきて$ \bot \equiv p_0 \land \lnot p_0とする方法
しかしこれは結局$ p_0という具体的な命題を参照しなければならない / 還元される
絶対的にそういうものは存在するのか?
思った
少なくとも記事タイトルのシーケントをシークエントに表記を改めました.