検索結果
表示
- 論理学 (ろんりがく、英語: logic) は、正しい推論の研究である。形式論理学および非形式論理学が含まれる。形式論理学は、演繹的に妥当な推論あるいは論理的真理の研究である。論証の議題や内容とは無関係に、論証の構造のみにより、前提からどのように結論が導かれるかを研究する。非形式論理学は、非形式的…144キロバイト (17,286 語) - 2024年7月17日 (水) 10:40
- 論理的帰結(ろんりてききけつ、伴意、英: logical consequence, entailment)は、論理学における最も基本的な概念であり、複数の文(または命題)の集合と1つの文(命題)の間が「~だから、当然~」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全…9キロバイト (1,406 語) - 2023年5月3日 (水) 11:37
- 推論 > 論理的推論 論理的推論(ろんりてきすいろん、英: logical reasoning)は、論理学において演繹、帰納、アブダクション(仮説形成)の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)…4キロバイト (406 語) - 2024年5月30日 (木) 13:38
- 論理的真理(ろんりてきしんり、英語: logical truth)は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があらゆる解釈(英語版)のもとで真であり続ける言明(英語版)のことである。これは分析的…10キロバイト (1,518 語) - 2023年8月30日 (水) 18:07
- 論理的に不変なものと自義語の両方が記号で表される。最終的に、現代論理学は心理的・認識論的・形而上学的な問いを堅く退ける。 現代論理学の発展は大きく五つの時期に分けられる: ライプニッツから1847年までの胎動期、この時期には論理…94キロバイト (14,202 語) - 2024年7月13日 (土) 14:48
- 分析哲学 (論理的言語分析の哲学からのリダイレクト)などの歴史を経て形成された現代哲学の総称である。なお広辞苑によれば、分析哲学の主唱者はジョージ・エドワード・ムーアである。 これは、現代の記号論理学や論理的言語分析、加えて、自然科学の方法及び成果の尊重を通じて形成された。20世紀には英語圏で主流となった哲学である。たとえばアメリカ合衆国の圧倒的多…23キロバイト (3,162 語) - 2024年1月31日 (水) 22:51
- とその補助命題を通じて、ウィトゲンシュタインは論理的な理念的言語の構成のために必要になる形式的な諸装置を追究した。彼の用いた真理値表は、今では命題論理の意味論を説明するための標準的な手段となっているが、これはそれなしだった場合よりも厳密な考慮を形式論理学にもたらす。 5.2522「或る形式的系列 a, O' a, O'…25キロバイト (4,193 語) - 2024年4月8日 (月) 19:16
- 数理論理学において論理和(ろんりわ、英: logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q…5キロバイト (663 語) - 2024年1月12日 (金) 12:30
- 哲学的論理学(英: Philosophical logic)は、論理学の方法を用いて哲学的な問題を扱う論理学の一分野である。 論理学の哲学が論理学についての考察であれば、哲学的論理学は認識論的、形而上学的な問題について論理学の知識をもとに検討するものと考えることができる。しかし哲学的論理…2キロバイト (179 語) - 2024年6月1日 (土) 03:17
- 排他的論理和(はいたてきろんりわ、英: exclusive or / exclusive disjunction)とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算(論理…9キロバイト (1,463 語) - 2024年2月21日 (水) 13:22
- 『科学的発見の論理』(かがくてきはっけんのろんり、独: Logik der Forschung)はカール・ポパーの1934年の著書。本書はもともとドイツ語で書かれたのだが、何年かのちにポパー自身によって英語で再執筆され、1959年に『The Logic of Scientific…2キロバイト (274 語) - 2021年3月20日 (土) 08:50
- 『場所的論理と呼応の原理』(ばしょてきりろんとこおうのげんり)は、日本の哲学者である高山岩男が著した哲学書。1951年刊行。「呼応の理論」や「呼応の原理」とも云われる。 京都学派四天王と呼ばれる哲学者高山岩男が、自身の哲学の根本原理を確立したとされる。1951年に弘文堂より刊行。1976年創文社により改訂再刊。…2キロバイト (260 語) - 2024年5月6日 (月) 00:17
- 三浦梅園 (世界の論理的映像としての玄語からのリダイレクト)康伯の人となりを慕っていたという。[要出典] 明治30年代(1900年前後)頃、内藤湖南が富永仲基や山片蟠桃と合わせて再評価したのをきっかけに、全国的に有名になった。 明治45年(1912年)、従四位を追贈された。 21世紀現在では、地元安岐町に旧宅や墓(国史跡)があり、近くには宿泊施設、キャンプ…9キロバイト (1,218 語) - 2024年5月15日 (水) 07:37
- 西田幾多郎によって開発された哲学的枠組みである「場所の論理」は、京都学派の創設者である著名な日本の哲学者によるものです。。これは彼の成熟した哲学体系の基石とされています。 基本的に、場所の論理は現実の階層的なシステムという考えであり、各レベルまたは「場所」はその下のレベルの性質を包含し決定します。…6キロバイト (787 語) - 2024年5月26日 (日) 04:50
- 非論理的な接続詞 非論理的な接続詞 joi については前に見ました。 la sadakazun. joi la natsuon. bevri le pipno 「禎一さんと那津男さんがピアノを運ぶ。」 たとえ禎一さんが実際には運ばないとしても、集団的に二人が運ぶ、と言えるわけです。 他にも、これに類する接続詞があります。
- [0]) IPA(?): [ɾõ̞nɾʲite̞kʲi] (京阪式) ろんりてき 論理的 (ろんりてき) 論理に適っているさま。 論理に関連するさま。 厳密な論理に従って考えるさま。 論理の上で仮想・仮定するさま。 活用と結合例 ロジカル 論理的(南:논리적, 北:론리적) (日本語に同じ)論理的。
- 0-USによってライセンスされている。 ソフトウェアに誤りがないことを論理的に検証するための「形式的証明(formal proof)」という手法があります。しかし形式的証明を手作業でやろうとすると、コードそのものを書くより手間がかかり、しかもその際にミスが起きる恐れも