エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
多値論理と真理述語: 失われるものは何か? - あいまいな本日の私 blog
2値論理において、totalな真理述語を仮定すると「嘘つきパラドックス」を招き、矛盾を起こすことが知ら... 2値論理において、totalな真理述語を仮定すると「嘘つきパラドックス」を招き、矛盾を起こすことが知られている。一方、多値論理(例えばファジイ論理)では真理述語を仮定しても矛盾は導かない。それでは枠組みを多値論理にして真理述語を仮定するとき、本当に失うものは何もないのでしょうか? いえ、面白そうな話をしていたので。id:kururu_goedelさん、id:yoriyukiさん、いつも読ませていただいております。 ファジイ論理では真理述語も包括原理もどちらも矛盾を導かないことが知られています。どちらも矛盾を導くには縮約規則が必要だ、ということです。ファジイ論理は古典論理の縮約規則を弱めた部分構造論理であり、矛盾を導くぎりぎりのところにあります。真理述語も包括原理も矛盾を導く構造は同じなのですが、ここでは算術上で真理述語を仮定する話を。 ファジイ論理上の真理述語をもつ算術の体系では、Haje
2006/07/27 リンク