「メタ論理学」の版間の差分
表示
削除された内容 追加された内容
→参考文献: 表現変更 |
Yudukikun5120 (会話 | 投稿記録) m編集の要約なし タグ: 2017年版ソースエディター |
||
1行目: | 1行目: | ||
{{Expand English|Metalogic|date=2020-06}} |
{{Expand English|Metalogic|date=2020-06}} |
||
'''メタ論理学'''(メタろんりがく、 |
'''メタ論理学'''(メタろんりがく、{{lang-en-short|Metalogic}})とは、論理のメタ理論の研究である。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する<ref>{{Cite journal|last=Gensler|first=Harry|date=2002-09-11|title=Introduction to Logic|url=https://doi.org/10.4324/9780203204887|doi=10.4324/9780203204887}}</ref>。 |
||
論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せるが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究する<ref>{{Cite book|title=Metalogic : an introduction to the metatheory of standard first order logic|url=http://worldcat.org/oclc/912170465|publisher=University of California Press|date=1973|isbn=0-520-01822-2|oclc=912170465|last=Hunter, Geoffrey.}}</ref>。 |
論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せるが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究する<ref>{{Cite book|title=Metalogic : an introduction to the metatheory of standard first order logic|url=http://worldcat.org/oclc/912170465|publisher=University of California Press|date=1973|isbn=0-520-01822-2|oclc=912170465|last=Hunter, Geoffrey.}}</ref>。 |
2024年6月23日 (日) 13:06時点における最新版
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2020年6月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
メタ論理学(メタろんりがく、英: Metalogic)とは、論理のメタ理論の研究である。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する[1]。
論理は、論理システムを使用して導き出される可能性のある真理に関心を寄せるが、メタ論理学は、真理を表現するために使用される言語やシステムについて導き出される可能性のある真理について研究する[2]。
メタ論理学研究の基本的な対象は、形式言語、形式システム、およびそれらの解釈である。形式系の解釈の研究はモデル論として知られる数学論理学の一分野であり、演繹系の研究は証明論として知られる一分野である。
関連項目
[編集]出典
[編集]- ^ Gensler, Harry (2002-09-11). Introduction to Logic. doi:10.4324/9780203204887 .
- ^ Hunter, Geoffrey. (1973). Metalogic : an introduction to the metatheory of standard first order logic. University of California Press. ISBN 0-520-01822-2. OCLC 912170465
外部リンク
[編集]- ウィキメディア・コモンズには、メタ論理学に関するカテゴリがあります。
- Dragalin, A.G. (2001) [1994], "Meta-logic"、Hazewinkel、Michiel (ed。)、Encyclopedia of Mathematics、Springer Science + Business Media BV / Kluwer Academic Publishers、ISBN Dragalin, A.G. (2001) [1994],