Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
論理
推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)
など)に対してのみ真であるのに対し、真理関数的恒真式は、それが含む論理連結語(「または〈or〉」、「かつ〈and〉」、否定論理和〈nor〉など)に対しても真である。全ての論理的真理がこの種の恒真式であるとは限らない。 論理連結語や量化子などの論理定項は、全て概念的に論理的真理に還元することができる
非表象理論(ひひょうしょうりろん、Non-representational theory)とは、英語圏の人文地理学において発展した理論である。言語や図像といった「表象を超えて」、情動や身体的実践から人間の社会的行為を分析する点が特徴である。しばしば、NRTと略称される。
非単調論理(ひたんちょうろんり、英: Non-monotonic logic)とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する
古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。 様相論理 時相論理(時制論理) 線形時相論理 義務論理(規範論理) 古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。 直観論理 排中律を認めない。 多値論理
道理にあわぬこと。 非道。
論理的帰結(ろんりてききけつ、伴意、英: logical consequence, entailment)は、論理学における最も基本的な概念であり、複数の文(または命題)の集合と1つの文(命題)の間が「~だから、当然~」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全