とんでもねぇ話だなぁこれぇ！？ by東浩紀 VOL830at PHILO

---

542: 2. 特定の適用範囲のみの記載: Wikipediaの記事はしばしばペアノ算術（PA）など特定の形式体系への適用に焦点を当てており、他の理論体系や応用範囲についての詳細な議論が不足しています。これにより、G1が哲学的議論や曖昧な表現にも適用可能であることを見落とす可能性があります。 専門的な研究結果の重要性 1. 形式体系の一般化: G1は、ペアノ算術に限らず、帰納的に公理化された一貫した任意の強力な形式体系に適用されます。これは、哲学的議論や曖昧な表現を形式化する場合にも当てはまります。曖昧な表現や哲学的命題を確率分布やファジィ論理を用いて形式化することで、形式体系に組み込むことができます。 2. 哲学的議論への適用: 形式化された哲学的命題が十分に強力な形式体系の一部となれば、G1が適用され、その体系内で証明できない真の命題が存在することになります。これにより、G1は哲学的議論にも適用可能であることが示されます。

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch