とする．このとき次を示せ． (1) の元の位数 < とするときに対して が成立する． (記号の量化) 量化できるもの ① について より () からは全称，は特称である，とわかる．これより 例 とは何か？ 集合 を考える．このとき，たとえばである，とする．すなわち…

とする．このときは整域である． (証明の方針) を示す． 1 (1) 前提 1 (2) 1. ∀-導入 3 (3) 仮定 反射的閉包で成り立つことは，非反射的閉包でも成立するのでの両辺にを右から掛けると () i.e. を得るので，この仮定は妥当である． 1 (4) 2-3. ⇒-導入 1 (5) …

まず，ある環とは，任意の環ではなく1つの環のことをいう．1つの環とは，ものを数えるときに順序数のみを考えた1番目の環という意味である． 例 これはを表す． いま，計量数については考えていないので，たとえば1番目が3個というようにすることができる． …

とする．このとき集合のすべての元はに属するので，はの部分環と看做す．そしては環でもある．問題は，が環であるにもかかわらず，が部分体及び体を成すのか？ ということである． の性質はに属することによってキャンセルされないのか？ すなわち，よりのす…

とする．このときは整域である． (証明の方針) を体である，と仮定し ① ② をいう． 1 (1) 前提 1 (2) 1. ∀-除去 1 (3) 2. ∀-除去 4 (4) 仮定 1,4 (5) 3,4. →-除去 6 (6) 仮定 1,4,6 (7) 5,6. →-除去 8 (8) 仮定 1,4,6,8 (9) 7,8. →-除去 10 (10) 仮定 1,4,6,…

とする．このとき (論理式のつくり方) ☆証明の方法ではない 前提の論理式について ① ② ③ ④ 命題が不成立であることの理由 私は矛盾許容論理を採用している．そのため (1) 対偶が採れない (2) 選言三段論法を用いることができない なお，私が選言三段論法を使…

とする． 問題 1.1 次の集合を括弧を使って表せ． (1) 数学の「普通」はこのような表示である．しかし，これを論理的に書けば ☆ である．これからはできるだけ☆のように表示して行きたい． (2) (3) < 但し，関数はある終域に属し，は選ばれた終域の中で，す…

とする．このとき (ⅰ) (ⅱ) (ⅲ) (ⅳ) (ⅴ) が成立する． (証明の方針) (ⅰ)について を示す． 1 (1) 前提 1 (2) 1. ∀-除去 3 (3) 仮定 4 (4) 仮定 3,4 (5) 3,4. →-除去 3,4 (6) 5. ∧-除去 3,4 (7) 5. ∧-除去 ここで 零元の性質 分配律 i.e. ☆ であるから☆の両辺…

i.e. とする．このときの定義により と成る． (証明の方針) ① () より () と表される． ② より でありの定義より () と書ける． ☆ は可換環ではあるが，はの倍を意味しているので () を定めることにより が導き出される．

加法と乗法 () (零元) i.e. に対して (ⅰ) (ⅱ) が成立する． (証明の方針) (ⅰ),(ⅱ)ともに両辺が一致することを確かめる． (ⅰ)について ① を考える． 倍の定義より であるから ② を考える． したがって が成立する． (ⅱ)について ① を考える． ② を考える． そ…

束縛変項から自由変項へ とする． (二階述語論理) 手順 ① あるの指定 ② ∨ ③ ， 例 (1) すべての日本人はある人間である(束縛変項) ① ある人間の中に日本人がいる(在る・有る) ② ③ この日本人は人間である(自由変項) (2) すべての人間はある日本人である(束縛…

命題の真偽を論ずるというとき，たとえば「今日は雨天である」という命題の真偽は外へ出て雨が降っていれば真であり，雨が降っていなければ偽であることを証することができる．また，「2099年の1月1日は雨天である」という命題は，現時点では真偽を論ずるこ…

論理学からみた判断とは，すべて二個の概念の一致あるいは不一致の断定として考えられる．そして，これが言語によって表現されたものを命題という．判断を言語的にみれば主語(主辞)と述語(賓辞)とその両者を結びつけ，その関係を表す連辞の三個から成り立つ…

概念相互の関係による分類 ① 同一概念と等価概念 同一概念：内包・外延ともに同一な概念 例 「とうなす」と「かぼちゃ」，「父」と「男親」，「父母」と「両親」など 等価概念：内包は異なるが外延は一致する概念 例 「日本の首都」と「東京都」，「武士の魂…

概念の内包とは，概念の共通性の総体をいう． 例 ① 赤いりんごと青いりんご 内包：りんご (同一) 外延：赤色と青色 (異なる) ② 赤いりんごと赤い靴 内包：赤色 (同一) 外延：りんごと靴 (異なる) ③ 人と機械 内包が異なる(共通性がない) 外延：人と機械 ④ 人…

概念構成の性質上からの分類 ① 純粋概念と経験概念 経験概念：経験から抽象によって得られる概念 純粋概念：経験から得られるものでない．経験に依らずに形成される先験的(ア・プリオリ)な概念 純粋概念は，最も普遍的な概念であり最高の類概念でもあってこ…

分類 分類とは，概念を明晰にする(外延の明確化)論理的手続きをいう．すなわち，分類は類概念の外延に含まれる種概念を明確に区分し整理すること．そして，完全に組織された分類の体系を彙類(いるい)とよぶ． 被分類体：分類される類概念 分類肢：分類された…

定義 概念の内包を明確にする(明瞭)論理的手続きを概念の定義という． ① 唯名的定義 一般に辞書の定義であり，よりやさしい同義語による言葉の置換でものを説明する．これは単なる言葉の言い換えに過ぎず，論理的な定義とはいえない．しかし，唯名的定義が日…

概念の偶有性と共通性 偶有性と共通性という区別について，それは外界の存在によるのではなく，存在を把握する我々の視点にある．何を本質的な共通性と看るのかは，存在を把握する視点によって決まる．繰り返しになるが，概念や言葉による存在の認識は，存在…

名辞と概念 全く同一のものはない．しかし，個別にそれぞれ異なる名辞を与えなくてはならない，とすると百の机に百の名辞が必要になる．概念(言葉)とは百のものに百の名辞を付けることではない．概念の把握は存在の全的把握ではなく，我々の必要に応じた部分…

充足理由の原理 「すべての存在はその存在の理由を有する」と考えられる．これは思考の原理として，我々の思考が必ず十分な理由がともなっていることを要する．これより，偽の仮定はできないと解する． 例 すべての猿ならば，ある人間である． 偽 偽の前件 …

とする．このとき，はなりとはならず，との間には中間者がない，すなわち，はであるかまたは非であるか，何れかである． i.e. ∨ を排中の原理という．数学では，たとえば というように表すことがある．すなわち i.e. < ∨ である．これより，数学は強選言を採…

矛盾の原理 とする．このときは非ではない，という形式を矛盾の原理と呼ぶ．すなわち かつ は矛盾である． 矛盾を許容するとはどういうことか？ これより を構成することができる．しかし，そのような矛盾は実際に起こるのだろうか？ 例 人間 人間は動物であ…

とする．このとき，はなり，という形式で表されるものを同一の原理と呼ぶ． 例 人間 人間は人間である この判断に何か意味はあるのだろうか？ これ自体ではわからないので二階論理で記述すると すべての人間はある人間である で表される．このとき ① ある人…

個物とは？ 人間の感覚器官の五官から入る情報(五感)の中から1個,2個,......と数えることができるものを個物という． 概念とは？ この個物をつなげて考えるものを概念と呼ぶ(少なくとも1個の個物)．この概念は名辞で表される． 例 うさぎと亀 亀はうさぎを追…

概念 例 亀 判断 例 亀は動物である 推理(一階論理) 但し ☆ 賓辞とは述語から連辞を除いたもの そこで連辞とは～は～であるの「は」や「である」を指す 二階論理 ①すべての動物はある死を迎える ②すべて亀はある動物である ③すべて亀はある死を迎える 例 ① …

(1) 子日学而時習之不亦 【単語】 子 【発音】 シ 漢 ス 呉 【意味】 ① こども。 ② ひと。 ③ 男子の敬称。 ④ たね、たまご。 ⑤ 極めて小さいもの。 ⑥ 五等爵(子爵)。 ⑦ 十二支の一番目、北、午前零時。 【単語】 日 【発音】 ジツ 漢 ニチ 呉 【意味】 ① 太…

加法と乗法 () (零元) に対して (ⅰ) (ⅱ) が成立する． (証明の方針) (ⅰ),(ⅱ)ともに両辺が一致することを確かめる． (ⅰ)について ① を考える． 倍の定義より であるから ② を考える． したがって が成立する． (ⅱ)について ① を考える． ② を考える． それゆえ…

写像 とする．このとき (ⅰ) (ⅱ) が成立する． (証明の方針) 前提のまとめ より ☆ でありが与えられている．とくにについて，☆よりはともに群であるからである． ① であること を示す．そのために (ア) (イ) をいう． (ア)について を考える．このとき を仮定…

とする．このとき (ⅰ) (ⅱ) が成立する．但し写像 は与えられている． (証明の方針) ① ② 便宜のため と置く． ①について に対して i.e. 論理積と共通部分の関係 である．また () () であるから，と表される．したがって，はの演算に関して群を成す．すなわち…