Infinitary logicとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Infinitary logicの意味・解説 

無限論理

(Infinitary logic から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/01 10:06 UTC 版)

数理論理学または順序数の概念に詳しくない者はまずそちらの記事を参考にすることが推奨される。

無限論理 (むげんろんり、: infinitary logic) は、無限に長い言明および/または無限に長い証明を許す論理である。

概要

いくつかの無限論理は標準的な一階述語論理とは異なる性質を持つ。特に、無限論理はコンパクト性完全性を満たさないことが多い。コンパクト性や完全性の概念は、有限論理においては等価であることもあるが、無限論理においてはそうではない。無限論理においては強いコンパクト性や強い完全性の概念が定義される。この記事では、ヒルベルト型無限論理について主に述べる。この型はかなり研究されてきており、有限論理の最も直接的な拡張を構成している。しかしながら、これらは形式化されているまたは研究対象となっている唯一の無限論理ではない。

Ω-論理という無限論理が完全かどうかを考察することは連続体仮説の解明につながる。

表記法に関する語および選択公理

無限に長い式・句を伴う言語が存在すると、全ての式を書き下すことは不可能である。この問題を避けるには、多くの都合の良い表記法が使われる。これらの表記法自体は厳密に言うと形式言語の一部ではない。


「Infinitary logic」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Infinitary logic」の関連用語

Infinitary logicのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Infinitary logicのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの無限論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS