mimisemi https://blog.hatena.ne.jp/mimisemi/ ウォール伝、ディープWebアンダーグラウンド。 https://mimisemi.hatenablog.com/ クリプキのクワス算ってあるじゃん？あれが規約主義とかって勘違いされるのもなんつーか分かるんだよねっていうかさ、まぁ俺が間違ってるかもしれないけどいつも感じることを書くとね、言語についての議論だとしたら分かるのよ。でも例を算術にしてるからダメなんじゃないの？って思うんだよね。クワス算なんて成立しないじゃん！とか、んなもん実際に数えれば済む話じゃん！とかさ、まぁ直感的にそう感じるだろうし議論そのものに対する違和感ってのもそれが算術だからだと思うんだよなぁー。そこはすげープリミティブな数え上げというかさ、算術もルールだから・・・っていうのも分かるんだけどさ、算術以前の事実性ってあるじゃない？ルールが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmimisemi.hatenablog.com%2Fentry%2F20130803" title="クワス算について。 - ウォール伝、ディープWebアンダーグラウンド。" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-08-03 00:00:00 rich https://mimisemi.hatenablog.com/entry/20130803 1.0 100%