2023.04.16
https://gyazo.com/2fe3b887e6d1d6014f990d9221696083
観た
逃走中グレートミッション普通に逃走者が死を覚悟してるのもひどすぎるし普通にゲームシナリオが運営側の想定超えてるのもひどすぎる
書き忘れたのでここに記しておく
やはり書き忘れたのでここにするしておく
思った
汎用(関数型)プログラミング言語としてのLean 4という側面に注目してただたんにPoCとしての実装にlean4を使うのは意外とおれにはあっている可能性がある気がしてきた 観たをずっと書き忘れていることが多くなってきた
何も考えずにやっていたが…
「暴力が一般的な手段で用いられると紙で指を切る痛みの数倍の痛みを私が被る可能性が増え、それは勘弁してほしいので、暴力を一般的な手段として用いないでほしい」という主張は私観では「暴力は必然的に倫理的悪である」のように倫理に関して一切言及しておらず便利だからこれを使っていくことにする
1. 暴力が一般的な手段になる$ \implies私が暴力を被る確率が増える(減ることはないだろう)
おそらく正しい推論
2. 痛いのは不快であるので出来るだけ痛い目を見たくはない
私個人の要望
3. 暴力は必然的に倫理的悪である
これは疑わしい命題である
1と2を用いた完全におれ個人の要望である「暴力を一般化しないでほしい」には「本当にそうか?」を差し込む余地は無いと思うが、3を用いると議論全体が「暴力を一般化してはならない」という命題になり、これには「本当にそうか?」と差し込むことが出来る筈なので、困る(何に対して?)
3は命題3'に弱めることが出来る
3': (ある状況下では)暴力は必然的に悪である
適当な3'を使えば,「(ある状況下では)暴力を一般化してはならない」という真な主張を出せるかもしれない
このときは「本当にそうか?」という疑問を封じることが出来る
その分カバー範囲は弱くなる
一方,1と2の要望は常に最大の範囲をカバー出来る
1と2はそもそも最初から「本当にそうか?」と差し込む余地はない
ここまで書いたが冷静に考えて前者はスタンスの主張であり後者は命題であるのでそもそも
あなたの暴力に対してのスタンスをお答えください.
には1と2の要望を答えても成立するが
あなたは暴力を一般化してもよいと考えていますか
に1と2の要望を答えてもしょうがないということがわかった