cut_elimination https://blog.hatena.ne.jp/cut_elimination/ 曇りなき眼で見定めブログ https://cut-elimination.hatenablog.com/ 論理学 大西琢朗先生の以下のブログ記事が面白かった。 takuro-logic.hatenablog.com タフコ先生の論理的実在論に関する論文を批判している。形而上学の議論を論理学に当て嵌めただけで、論理学そのもののおもしろさを見逃しているのではないか、というような内容。 特に以下がなるほどである。 たとえば、論理学の基本的な定理である完全性定理は「任意の推論に対して、その妥当性を示す証明か、その非妥当性を示す反例モデルのいずれかが存在する」という定理です。「証明」はもちろん言語的な構成物です。他方、ここでの「反例モデル」はしばしば、論理式の集合からなる「カノニカルモデル」として与えられます。つま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2022%2F10%2F19%2F230655" title="完全性定理の驚き - 曇りなき眼で見定めブログ" 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 2022-10-19 23:06:55 rich https://cut-elimination.hatenablog.com/entry/2022/10/19/230655 1.0 100%