たいきの勉強部屋

[0001 夢見る名無しさん 2022/07/02(土) 00:42:39.20 0]

【趣旨】
ここでは日頃学んでいることを
アウトプットして
より学習効果を高めようという場です。
19歳から勉強を始めて約20年ですが
読むだけよりも書いて考える
ということの重要さを思い知りました。

【内容】
刑事法学(刑法学・刑事訴訟法学)

[0002 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 01:11:42.87 0]

>>1乙

刑法総論の参考文献

西田典之著・橋爪隆補訂『(法律学講座双書)刑法総論』　弘文堂　2022年第三版三刷

2022年　7月2日現在　100項まで読了。

[0003 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 03:28:20.00 0]

こっちは概念の定義や学説・判例などを書きたいと思います。
あるいはもっと法学的に条文の読み方や判例の読み方など
解説の部分をメインにしたいと思います。

質問や議論は恋愛学部スレで。
もちろん恋愛学部スレを使い切ったら
こちらに統合したいと思います。

[0004 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 03:38:13.57 0]

法律関係の本は常に新しいものを用意したいと考えています。
それなので，同じ分野の本でもできるだけ新しいものを選ぶようにしています。
六法も同じです。

ただ刑事法に関していえば
小野清一郎がどうしたとか
牧野英一がどうしたとか
木村亀二がどうしたとか

そういう話になった場合には古い本を出すかも知れません。
ただ既に構成要件論で，私は法益侵害行為説というものを主張したくなっているので
先人の本を参照することは少ないかも知れません。

ここで新しい学説を出しても何の影響力もありませんが
読書をするからにはそういう研究のようなこともして行こうと思っています。
既存の学説の検討・新説の発案と論理の改造が主たる目的です。

[0005 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 03:45:20.56 0]

たとえば
法律の条文で

○○又は△△若しくは□□

という文があったとします。これは数学記号のかっこで表せば

○○(△△□□)

と表示できます。
このような感じでできるだけ論理学と数学上の記号を援用してみたいという
野心があります。

[0006 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 03:48:53.41 0]

又は：大∨
若しくは：小∨

並びに：大∧
及び：小∧

[0007 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 03:54:01.37 0]

でも噂によると法文自体が論理語にした場合に誤りであるというような場合がある
という話を聴きました。そういうことの改正は難しいかも知れないので
すべてを厳密に考えるということは止めようと思っています。

[0008 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 05:50:48.78 0]

刑法理論で一つの難関は共犯関係である。
その前に因果関係の中で，択一的因果関係というものがある。
たとえばAとBが殺人の致死行為をCに対してそれぞれ単独で行った場合に
￢AでもCは死に
￢BでもCは死ぬ
それゆえAとBには条件関係がないのでAとBには殺人未遂しか認められない
と考えることができる。しかし，これでは事件の結果が不当であるので
理論を修正する。
その修正根拠について議論が足りないという批判がある。

[0009 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 06:01:08.93 0]

A,B：2つの事象
とする。このとき

￢Aでも，B

という場合には条件関係が切れる。しかし，付け加え禁止説としてこれを修正している。
というのも，仮定的にそれを取り去った時に，どんなことがあり得たか，ということを
付加して考えてはならない。

これは論理学の条件法とは全くことなる見解である。
条件関係を→で表すとすると

￢(A→B)

と書ける。このとき得られる命題は

￢A
B

であり，条件関係を否定する。刑法ではこの理屈を修正したかたちを採る。
そして，この修正も便宜的すぎるという批判がある。

絶対のない世界で何を通すのか
ということが問われている。

[0010 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 06:09:10.81 0]

ここでバックミラー事件というのを挙げる。

Uターンをしてはならない所で，被告人がUターンをした。
その時にバックミラーを見ることを怠り後ろから
時速100k/hを超える速度で単車がやって来たため
それを巻き込んで死亡させた。

これについて，裁判所は合義務的代替行為として
注意義務違反と死亡事故との間に相当因果関係はないと
判断し被告人を不可罰とした。

[0011 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 06:10:13.01 0]

論理学的に書こうと思っていたのが間違いのような気がしてきた。

[0012 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 06:13:23.61 0]

やっぱ眠いので寝ることをやり直してきますｗ

[0013 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 07:50:58.35 0]

面白い学説を見つけた。

条件関係に対して論理的結合説というものである。
刑法の目的は行為者を刑罰によって
結果の回避へと義務づけるところにある。
それゆえ，結果回避可能性がないときは条件関係はない。
これより，過失犯は不可罰であるし，故意犯は未遂にとどまる(町野153項以下)。

先の択一的因果関係の例だとA,B両者ともに殺人未遂となる。
これには疑問符がつけられるだろう。

[0014 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 07:55:24.71 0]

因果関係の難しさは
共犯
既遂・未遂
故意・過失
というように複合的な要素が絡んでおり
犯罪行為のどの部分で議論すべきなのかがわかりにくいからである。

[0015 山本大輝 ◆TFLeKzwqNtDb 2022/07/02(土) 08:31:46.80 0]

104項まで読了。
続きは今日の夕方過ぎになると思います。
相当因果関係論からです。

[0016 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 00:47:24.70 0]

明日も気合い入れて行くぞゴラァ

[0017 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 16:56:47.92 0]

相当因果関係論

(1)　条件説

条件関係が肯定された後，次に問題となるのが相当因果関係である。
条件説とは，条件関係があれば，刑法上の因果関係がる，という考え方である。
しかし，この説だとあまりに帰責の範囲が広すぎる。

例

Aが「叔父Bの遺産が手に入ればいいな」と思って，Bに対して「森に散歩に行かないか」
といった。実際に，Aの思いどおりにBが森に行ったら落雷があって死亡した。
このとき，Aの行為がなければBは死ななかった以上，条件関係はある。条件関係が
あり，故意はあるわけだから，殺人既遂を認めてもよいことになるが，その結論は不当
である。このような場合，条件説は故意を否定することにより，結論の妥当性を図る。

(2)　合法則的条件関係説

行為と結果とが，自然法則や蓋然性法則により結合しているといえるとき，この事実的
結合関係を刑法上の因果関係とする。この説は，刑法上の因果関係とはあくまでも
事実関係(あるかないか)であって，規範的判断を介在させるべきでないという思想である。

(3)　実行行為性の欠如

条件関係を制約するものとして，相当因果関係説が通説である。これは行為と結果
との間に経験則上相当である，という関係が必要だとする見解である。
先の落雷の例でいうと，雷が落ちて死ぬという具体的な危険と，「森に行け」という
行為の因果的な関係が，経験則上相当であるとはいえない。それゆえ，Aの行為
は殺人罪の「実行行為性」に欠け，未遂にもならない。これも相当性説の一適用
場面である。

[0018 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 17:12:18.60 0]

(4)　相当性説の基礎

　どのように条件関係を経験的相当性によって限定すべきだろうか。一つの有力な
見解が「定型的因果関係説」である。もう一つの有力な見解は一般予防論を根拠と
するものである。しかし，この説は実質的に定型説と同一である。
　過去に因果関係論を責任論に解消しようとした見解があった。これは，刑罰の目的
は予防であるが，刑罰の本質は応報である，という思想に基づく。

[0019 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 18:12:52.51 0]

要約の方針

・具体例は最小限に
・著者の見解は割愛
・繰り返しの部分の省略

[0020 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 21:09:17.21 0]

(5)　相当性判断の方法
　相当性説は主観説，客観説，折衷説に分かれる。主観説は故意・過失と同じになる
ので，現在ではこの見解はとられていない。客観説は裁判時に立って考える見解である。
具体的には，行為時に存在していた事情はすべて判断の基礎に置く。行為後に生じた
介在事情については，それが一般人の見地から予見可能であったものに限る。
　これに対して，折衷説は，行為後の介在事情については客観説と同じであるが
行為時の危険についても，一般人が認識可能であったものと，行為者がとくに知って
いたもののみを考慮する。

[0021 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 21:11:36.12 0]

(6),(7),(8),(9)は略

[0022 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 21:20:07.94 0]

判例について気になった事例だけを挙げる。
　傷害を負わせたところ，被害者がある特定の信者であったため，薬品の代わりに
ご神水というものを傷に塗った。そのために傷害がさらに悪化した場合，その傷害と
結果との因果関係を認めた。
　このように判例は，被害者の特殊な事情や介入があった場合にも，行為と結果との
間に因果関係を認める場合が多く，傷害の故意なら傷害致死，強盗の故意なら
強盗致死というようにより重く罰していることがわかる。

[0023 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 21:24:17.90 0]

　やはり人に傷害を加えてやろうとか，強盗を企てた段階で，その行為者に致死の
結果がほとんど予見できなくても，「死」という結果に対する責任あるいは因果関係が
ある，というように考えることが妥当であるという考え方なのだと思う。因みに因果関係論
を責任論として論じたのは瀧川事件で有名な瀧川幸辰である。今後，故意や過失の
所でも似たような議論が起こると思うので，因果関係論のことを思いながら考えたい。

[0024 山本大輝 ◆TFLeKzwqNtDb 2022/07/03(日) 23:27:08.03 0]

明日からユーチューブライブをやることにしました。
内容は本を要約して書いたものを読み上げます。
そしてそれを後でここに書きます。

[0025 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 05:09:34.49 0]

著作権と翻案権の侵害に気をつけて本の要約をして行きたいと思います。
もちろんその要約について考えたことは自分の考えですので
自由に発信したいです。

[0026 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 15:04:32.80 0]

3　不真正不作為犯の成立要件
(1)　不作為の因果関係
　現在の通説は，「ある期待された作為がなされていたならば，高度の蓋然性をもって
結果が回避されたであろう」という場合に因果関係を認める。
(2)　不作為犯の実行行為
　問題は，結果回避可能性がない場合である。とくに客観的には結果回避可能性が
ないのに主観的には「あると思った」場合である。判例はこれを認める場合がある。
(3)　作為の容易性
　次の要件として，作為可能性が挙げられる。たとえば，客観的には救助可能であって
も具体的には作為可能性がない，という場合，不作為犯は不成立である。判例は
作為可能性よりもゆるい要件である作為の容易性を採用している。
(4)　作為義務
　第三の問題は作為義務である。つまり，誰に作為の義務を負わせるか，というもので
あり，次のような作為義務論が展開される。
(ⅰ)　保障人的地位
　作為義務は構成要件の要素であるので，倫理的な義務(違法性の問題)とは無関係
な刑法的な義務とした。
(ⅱ)　作為と不作為の同価値性
　作為義務者の範囲を明確にする必要がある。ここで，どういう場合を不真正不作為犯
として処罰してきたのかをみる。
(ⅲ)　判例の概観
(a)　不作為による死体遺棄
(b)　不作為による放火
(c)　不作為による殺人
何れも排他的な支配があったか否かという点を重視している。
(ⅳ)　形式的三分説
　歴史的には法律または契約だけが，作為義務の根拠である，としたが，これでは
限定的すぎるということで，条理(社会通念)が付加される。この条理というのは，不明確
であるため，倫理的義務を多く取り込むかたちになった。
(ⅴ)　社会的期待説
　社会的期待説とは，形式的三分説が条理として認めたものを，作為義務の実質にする
ものである。とくに，法益保護義務と危険源監視義務に分けられる。

[0027 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 15:20:52.47 0]

(ⅵ)　先行行為説と危険創出説
　先行行為説とは，作為義務の根拠を明確にしようという説である。本来，作為と不作為
は同価値ではない，という。問題点としては，作為による故意犯や過失犯をすべて
故意の不作為犯に換えてしまうところである。そのような問題に対して，危険創出(先行
行為)と因果経過の排他的支配とを必要とする説もある。
(ⅶ)　具体的依存性説
　作為義務が生じるのは保護の引き受けがあったときに限られる，という説である。
(ⅷ)　結果原因支配説
　この説は，結果による因果経過の支配までは不要であり，結果回避についての
引受・依存の関係があればよい，という。これは危険源の支配と法益の脆弱性の支配
に分けて考えられている。
(5)　排他的支配領域性説
　排他的支配には2つある。1つは意思に基づくもの。もう1つは意思に基づかないもの
である。このような意思に基づかないものを支配領域性と呼ぶ。この規範的要素と
しては社会継続的な保護関係を要求する。
第7章　違法性
第1節　違法性の実質
1　結果無価値論
　違法性とは，当該行為の社会的有害性をいう。社会的有害性とは法益侵害と
その危険と解する。これを結果無価値論と呼ぶ。
(1)　客観的違法論
　刑法規範は，何に法益の保護を認めるのか，という評価規範の側面をもつ。この
評価規範に違反することが違法性判断であり，禁止・命令規範に違反することが
責任判断である。
(2)　主観的違法論
　この論は違法の実質を法益侵害ではなく，規範侵害に求める見解をいう。これは
違法と責任とを区別しないので，体系的・論理的に反するものとして完全に否定され
ている。
2　行為無価値論
(1)　規範侵害説
　違法の実質は規範に違反しようとする意思である。また，違法性とは当為性の判断
であり，有責性とは可能性の判断であるから，両者は論理的に区別される。

[0028 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 15:38:46.30 0]

第2節　違法阻却事由
1　構成要件の違法推定機能
　構成要件に該当した行為は原則として違法である。これを構成要件の違法推定機能
という。
2　形式的違法論と実質的違法論
　形式的違法論とは，刑法典その他の実定法規が規定している違法阻却事由以外には
その阻却を認めない，ものである。これに対して，実質的違法論とは，被告人に有利な
類推解釈は認められているので，実質的な違法阻却を肯定するものである。
(1)　35条の意義
　実質的違法論は実定法上の根拠規定(35条)をもつのに対して，形式的違法論は実定
法上も否定される。
(2)　法領域における違法の相対性
　たとえば，民法上の不法(違法)は直ちに刑法上の違法にはならない。この意味で違法
の統一性という概念は否定されなければならない。
第3節　違法阻却の一般原理
1　結果無価値論の帰結
　結果無価値論からは，法益保護の目的に反しないことが違法阻却の一般原理である。
この原理は次のように区分される。
(1)　優越的利益保護の原則(第一原理)
　侵害法益よりも保全法益が大きい場合，社会功利主義の見地から，その行為は全体
としては正当化される。
(2)　回避義務の原則(第一原理の修正)
　適法行為を利用した違法行為があるので，そのような場合には正当化できない。
(3)　要保護性欠如の原則(第二原理)
　被害者の同意と法益の欠如とがある。
2　行為無価値論の帰結
(1)　社会的相当性
行為無価値からの違法阻却に対する一般原理は，かつて目的説が主張されたが，現在
は社会的相当性説が多い。
(2)　許された危険
　たとえば，自動車は危険な物ではあるが，社会的に有用なため，その危険と利便性と
を比較衡量して許されている。

[0029 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 15:42:27.15 0]

>>27
抜けてしまったものがあります。
2　行為無価値論
(1)　規範侵害説
の次からです。

(2)　二元的違法論
　結果無価値を基本とし，結果の違法を限定するものとして行為無価値(社会的相当性)
を考慮する。
(3)　行動基準の事前告知
　行為無価値論からは，刑法規範について，行為の時点で違法・適法の限界を明らかに
するという提示と告知の機能をもたなければならないと考えられている。

[0030 山本大輝 ◆TFLeKzwqNtDb 2022/07/04(月) 17:48:54.16 0]

第4節　緊急行為と通常行為
1　緊急行為
　正当防衛(36条)と緊急避難(37条)は緊急行為である。その特徴は，侵害法益と保全
法益が二者択一の衝突状況にある，という点である。
2　通常行為
　正当行為(35条)には二者択一の状況はない。

[0031 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 05:10:30.55 0]

動画についてですが，音読以外はとくに動きがないので
音読をする時間の目安を書いておこうと思いました。

[0032 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 18:42:32.44 0]

第5節　緊急避難
1　緊急避難の法的性質
(1)　違法阻却説
　緊急避難とは，自己にふりかかった危難を避けるため，これを第三者に転嫁する行為
をいう。そして，保全利益が侵害利益と同等，または，それ以上のときは罰しない。また
緊急避難に対する正当防衛は認められない，と解する。但し，その損害は損害賠償請求
により処理される。
(2)　責任阻却説
　緊急避難を責任阻却事由である，とする見解も有力である。
(3)　二分説
　違法阻却説を基本としつつも，一定の場合には責任阻却しか認めない見解も有力で
ある。これは次のように分かれる。
(ⅰ)　法益同価値(同等)の場合を責任阻却とする見解
　侵害法益と保全法益とが同価値である場合には，自己の法益の優位性を主張する
ことができないから，責任阻却しか認められない。
(ⅱ)　保全法益の著しい優越を必要とする見解
　自己の災難は原則的にこれを甘受するべきであり，緊急避難は基本的に責任阻却と
してしか肯定されない。もっとも，保全法益が侵害法益に対して著しく優越する場合に
は，違法阻却とする。
(ⅲ)　身体と身体のときには責任阻却とする見解
　侵害法益と保全法益とが何れも人間の身体である場合，身体は人格の本質的要素
であるため比較不能であるから，責任阻却のみが認められる。
(ⅳ)　生命と生命のときは責任阻却とする見解
　緊急避難による生命侵害の場合には，責任阻却とするのが通説である。
2　緊急避難の要件
　緊急避難が成立するには，自己または第三者の生命，身体，自由，財産に対して危難
が差し迫っていることが必要である。因みに，危難の原因は問わない。
(2)　補充性の要件
(ⅰ)　補充性
　37条の「やむを得ずにした行為」とは，単なる必要性より厳しく，法益保全のために他
にとり得る手段がなかったことを要し，これを補充性の原則と呼ぶ。

[0033 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 19:13:08.45 0]

(ⅱ)　避難の意思
　緊急避難の成立要件として，主観的正当化要素の「避難意思」が必要である。
(ⅲ)　自招危難
　過失の場合と，故意の場合とに分けられる。まず，過失の場合とはAがバスを運転して
おりBをひきそうになって，急ブレーキをかけたようなときをいう。次に故意の場合とは
自分の故意行為によってBの危難を招き，Bを助けるために故意でBの器物や建造物を
損壊したようなときである。
(ⅳ)　通説・判例
　37条の「やむを得ずにした」という要件は，結局，個別具体的な判断として「やむを得な
いかどうか」という判断をすべきである，という。
(ⅴ)　原因において違法な行為の法理
　行為の最後の時点では緊急避難を認めるべきであるが，そこに至る前提事実を見ると
違法な原因があるという場合には，原因行為と結果とを結びつけ，違法行為として責任
を問うものである。
(3)　法益の均衡
　保全法益が侵害法益と等しいかこれより大であることが必要である。
(ⅰ)　法益の衡量が困難な場合
　比較が困難な場合は，判例は過剰避難を認めている。
(ⅱ)　主観的価値と客観的価値
　比較するべき2つの法益が，同一の法益主体に属する場合，これは客観的には定ま
らない。
(ⅲ)　生命と主観的価値
　自己決定権と客観的な生命の価値の何れを優先させるべきなのか，課題がある。
3　特別義務者の例外
　37条2項の「業務上特別の義務がある者」については緊急避難の規定(同条1項)は
適用されない。
4　過剰避難
　37条1項但し書は「その程度を超えた行為は，情状により，その刑を減軽し，又は
免除することができる」と規定する。これを過剰避難という。すなわち，緊急避難行為
により侵害利益が保全法益を超えたときである。また，過剰避難の場合に刑の減免
の根拠は，責任の減少に求められる。

[0034 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 19:42:02.47 0]

5　誤想避難
　誤想避難とは，緊急避難の要件が存在しないのに，これが存在すると誤信して行為
に出る場合をいう。これは過失犯を処罰する規定がある場合に限って，過失犯が成立
する。
6　誤想過剰避難
　誤想過剰避難とは，現在の危難があると誤信した上で，過剰な避難行為をして，かつ
その過剰である事実を認識している場合である。
第6節　正当防衛
1　正当防衛の正当化根拠
(1)　権利行為としての正当防衛
　正当防衛とは，36条1項「急迫不正の侵害に対して，自己又は他人の権利を防衛する
ため，やむを得ずにした行為は，罰しない」と規定されていることをいう。正当防衛は，
自然権としての無制限の自己防衛に，社会功利的な制限が加えられたものである。
(2)　現場による利益
　正当防衛を緊急避難の一種と捉えることもある。
(3)　法確証の利益
　正当防衛の場合，自己保全の利益に法規範が妥当していることを示す利益が加わる
ことにより，全体として保全法益が侵害法益よりも大きくなることを，法確証の利益と
呼ぶ。
2　正当防衛の要件
(1)　自己または他人の権利の防衛
　自己又は他人の権利とは，自己又は他人の利益という意味である。これより，第三者
のための正当防衛も肯定される。
(2)　不正な侵害
(ⅰ)　違法な侵害
　不正な侵害とは，法益に対する違法な攻撃をいう。違法とは，私法上，行政法上の
違法も含まれる。これに対して，刑法上正当化された行為に対しての正当防衛は許さ
れない。それゆえ，正当防衛，正当行為，緊急避難に対しては，正当防衛は認められ
ない。
(ⅱ)　違法な侵害
　不正な侵害というためには，客観的に違法であればよく，故意・過失のない者や責任
能力のない者の行為に対しても，それが違法であれば正当防衛が許される。)

[0035 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 19:58:04.84 0]

(ⅲ)　対物防衛
　結果無価値論の立場から，刑法規範の評価機能により，動物や樹木等の物による
侵害でも違法な状態と評価されるから対物防衛も許される。
(ⅳ)　対物防衛否定論
　行為無価値論の立場からは，対物防衛は否定される。自然や動物は規範違反の意思
がないからである。
(3)　侵害の急迫性
　急迫とは，日常的な意味で，急に迫っていることである。
(ⅰ)　過去の侵害
　(3)からは過去の侵害には防衛行為ができないということが導出される。これが単なる
復讐と正当防衛との違いである。
(ⅱ)　将来の侵害
　将来の侵害についても，正当防衛は認められない。
(ⅲ)　別の法的救済の存在
　現在の，または，切迫した侵害があっても，公的な機関にその侵害の除去を求める
ような法制度が完備され，かつ，その機関に救済を求める余裕があるときには，急迫性
は否定される。
(ⅳ)　侵害の創出(自招侵害)
　代表的な行為が，挑発行為である。この場合は，正当防衛にならない。
(ⅴ)　予期された侵害
　ある所に行けば，相手から攻撃されることが十分に予期されるにもかかわらず，これ
を回避しないでその場におもむいたというとき，急迫性は否定される。
(ⅵ)　侵害の予期に関する判例
　判例は当初，侵害の十分な予期がある場合には，急迫性を否定していたが，次第に
予期された侵害を回避しないことに合理性があるかどうかをみるようになった。
(ⅶ)　積極的加害意思
　これがあるときは，急迫性が否定され，正当防衛も過剰防衛も成立しない，というのが
判例である。
(4)　防衛行為
　正当防衛は，急迫不正の侵害に対して，自己または他人の権利を「防衛するため」
の行為であり，これを防衛行為という。

[0036 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 20:15:34.06 0]

(ⅰ)　防衛効果
　防衛行為といい得るためには，防衛効果のある行為でなければならない。
(ⅱ)　防衛の意思(偶然防衛)
　防衛の意思は必要かどうかについて問題があり，とくに偶然防衛についてである。
これには故意の場合と過失の場合とがある。
(ⅲ)　防衛の意思必要説
　これは行為無価値論の帰結であり，防衛の意思が主観的正当化要素になる。
(ⅳ)　防衛の意思不要説
　結果無価値論の見地からは，たとえ防衛の意思がなくとも，正当防衛は成立すると
解される。
(ⅴ)　防衛の意思の内容
　その意思の内容が問題となる。古い判例は，防衛のためのやむを得ずにやったという
心情的な要素こそが，正当防衛行為の違法性を阻却するとした。しかし，現在は防衛
の意思よりか，積極的加害意思を考慮するようになった。
(5)　相当性の要件
(ⅰ)　必要性と相当性
　正当防衛は，「やむを得ずにした行為」でなければならない。これを相当性の要件と
いう。本来，防衛のために必要な行為なら，何をやってもよいといえるが，これを相当
性によって修正している。
(ⅱ)　相当性の判断方法
　大別すると①行為としての相当性判断と②結果としての相当性に分かれる。
3　過剰防衛
　相当性の枠を超えた防衛行為は，過剰防衛になる(36条2項).。過剰防衛は，違法行為
であるので，もし行為者に故意があれば故意犯が成立する。
(1)　刑の任意的減免の根拠
　過剰防衛にはなぜ刑の任意的減免が認められているのか。これについて3説ある。
①違法減少説
②違法・責任減少説
③責任減少説
(2)　違法減少説と違法・責任減少説
　正当防衛状況があるので，相手方の要保護性は減少していると考える。

[0037 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 20:33:28.88 0]

(3)　責任減少説
　心理的動揺から責任が減少すると解する。
(4)　質的過剰防衛・量的過剰防衛
　質的過剰とは，防衛行為そのものがすでに過剰であったときをいう。量的過剰とは
手段としては相当であったが，量的には行き過ぎたという場合である。
4　誤想防衛
　1つは正当防衛状況の誤信，もう1つは相当性の誤信である。
(1)　違法性の錯誤説
　大別すると事実の錯誤説と違法性の錯誤説の2つに分かれる。違法性の錯誤説に
よれば，誤想防衛は違法性の錯誤であり，故意を阻却しない。情状により，刑の任意
的減免が認められる。
(2)　事実の錯誤説
　38条1項により故意犯としては不可罰となるべきである。
(3)　相当性の誤信
　この誤信は，相当性を基礎づける事実についての誤信がなければならず，単に防衛
行為が相当であると思っただけでは，故意を阻却することはない。
5　誤想過剰防衛
　誤想過剰防衛とは，誤想防衛の結果，過剰な防衛行為を行い，しかも，その過剰性
について，認識がある場合をいう。この認識がない場合は，相当性の誤信として誤想
防衛になる。問題は，誤想過剰防衛もなお過剰防衛たり得るか，ということである。
6　盗犯等防止法の特則
　この法律は，正当防衛に関して特則を設けている。1条1項は「やむを得ずにした」
という要件がないことから，正当防衛の成立範囲を拡張したものと理解される。
第7節　被害者の同意
1　要保護性の欠如
　刑法の目的は法益保護にあるが，法益主体が侵害に同意している場合には，当該
法益の要保護性が欠如するから，原則として違法性はなくなり，犯罪は成立しない。
2　傷害と同意
①同意傷害は不可罰である
②同意が公序良俗に反するなど社会的相当性がない場合は無効
③手足の切断のような重大な傷害についての同意は無効
④生命の危険を生じるような重大な傷害についての同意は無効

[0038 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 20:47:18.02 0]

3　危険の引受け
　スポーツなど一定のルールに従う限り安全であるという経験則と，結果に対する被害
者の同意，そしてスポーツを振興する利益とを複合的に勘案することにより正当化され
る。
4　同意の有効要件
(1)　同意の時期
　同意は，法益侵害行為時まで，少なくとも，結果発生時点よりも前になされなければ
ならない。
(2)　同意能力
　同意が有効であるためには，合理的な判断能力を有する者の同意でなければならな
い。
(3)　同意の認識
　被害者の同意は，行為者に認識されている必要があるかが，問題となる。行為無価値
論によれば，認識が必要であり，その認識がないときは通常の故意既遂犯が成立する。
これに対して，結果無価値論からは，認識の必要はない，という。
(4)　同意の任意性
　被害者の同異は，自由な意思決定に基づくものでなければならない。
(5)　錯誤による同意
　問題となるのは，同意が錯誤に基づく場合である。
(6)　緊急状態の仮装による同意
　緊急状態を仮装することによって得られた同意は無効である。
第9節　正当行為
1　総説
　35条は「法令又は正当な業務による行為は，罰しない」と規定する。
2　法令行為
　法令行為とは，法令に基づく行為であることにより，違法性が阻却される場合である。
3　正当業務行為
(1)　医療行為
　医者による医療行為はそれが医学的に適正な基準に基づき，患者の生命の救助・
延長，健康の回復のために行われる場合には，たとえ傷害罪などの構成要件に該当
しても，優越的利益保護の原則により，正当化される。

[0039 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 21:02:49.06 0]

(2)　安楽死
　安楽死とは，死期が切迫して苦痛に耐えられない患者の希望に応じて，積極的にその
死期を早めることをいう。これに対して，延命治療を中止する行為(消極的安楽死)，苦痛
緩和のためにモルヒネなどを投与し，その副次的効果として生命を短縮する場合(間接
的安楽死)がある。
(3)　尊厳死
　医師等が末期患者等に対し，人工呼吸器を取り外すこと等で治療を中止し，自然な死
を迎えさせる行為を尊厳死(消極的安楽死，治療中止)という。
(4)　スポーツ行為
　スポーツ競技は，ルールを遵守して行われる限り，暴行罪や傷害罪の構成要件に該
当しても，35条により違法性が阻却される。
(5)　報道機関の取材活動
　取材活動が国家公務員法上の守秘義務違反のそそのかし罪に該当しても35条により
違法性が阻却される。
(6)　労働争議行為
　正当な争議行為については35条が適用される。
(7)　公務員等の争議行為
　法律上公務員の争議行為は禁止されており，そのあおり行為については罰則が定め
られている。
(8)　自救行為
　自救行為(自力救済)とは，自己の権利を実力によって実現する行為である。近代国家
は原則的に自救行為を禁止している。しかし，司法的救済を待っていたのでは，権利の
実現が不可能になるか，著しく困難になる場合には，一定の範囲でこれを違法阻却とし
て認めている。
第8節　推定的同意
　推定的同意とは，法益侵害行為の時点では，同意が得られていないが，諸般の事情
から同意が得られることが，高い蓋然性で推定されることを，被害者の同意とは別個の
違法阻却事由とするものである。
1　事務管理型
　事務管理型とは，他人の利益のために，その人のもう一つの法益を侵害する場合を
いう。

[0040 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 21:25:22.18 0]

2　権利侵害型
　通常なら問題とされない友人間などの軽微な犯罪の場合である。
第10節　可罰的違法性の理論
　この理論は判例によって形成された。
1　公訴権濫用の理論
　これは訴訟法の領域で主張されたものである。
2　絶対的軽微型
　第一に絶対的軽微型とは，被害が極めて小さい場合に縮小解釈によって，構成要件
該当性を否定する。
3　相対的軽微型
　もう一つの相対的軽微型というのは，被害が構成要件該当性を否定できるほど軽微
ではないが，行為の状況，目的，他の対立する価値の実現等を考慮すれば，処罰する
ほどではない場合に，35条を適用する。

[0041 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 21:38:34.06 0]

明日は配信しませんが
ここに要約文だけは書きます。

[0042 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 21:43:21.49 0]

動画について
音読の時刻を概要欄に載せたのでピンポイントで聴きたい人は
そちらを利用してください。

[0043 夢見る名無しさん 2022/07/05(火) 23:06:38.72 0]

動画の冒頭挨拶で言いたいことスレの皆さんおはようございますと言って欲しい

[0044 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 23:12:13.01 0]

いいよ！

本スレのみなさん
それ以外のみなさん

おはようございます

こんな感じで

[0045 山本大輝 ◆TFLeKzwqNtDb 2022/07/05(火) 23:13:07.72 0]

言いたいことスレの方がいいのかな？

[0046 夢見る名無しさん 2022/07/06(水) 00:24:21.17 0]

言いたいことスレのコテハンの皆さん、名無しの皆さん、おはようございます

[0047 山本大輝 ◆TFLeKzwqNtDb 2022/07/06(水) 00:32:06.01 0]

ちょっと恥ずかしいけどやってみるよｗ

[0048 山本大輝 ◆TFLeKzwqNtDb 2022/07/06(水) 11:00:37.68 0]

第8章　有責性
第1節　有責性の要件
1　責任主義
　犯罪成立要件の第三が有責性である。「責任なければ刑罰なし」という原則を責任主義
という。
2　責任の本質
(1)　行為・意思責任論
　責任とは当該違法行為へと意思決定したことに対する法的非難である。
(2)　道義的責任論
　(1)のような行為責任・意思責任を道義的責任とする。
(3)　社会的責任論
　人間の行為が，その素質と環境とによって決定されているという決定論(自由意思の
否定)の帰結である。
(4)　人格形成責任論
　行為責任論は，個別の犯罪行為についての意思責任である。これについて刑の加重
説明するものを人格形成責任論という。
3　心理的責任論と規範的責任論
　心理的責任論とは，故意と過失という心理状態のそれぞれが，責任形式であり責任
非難の基礎である，と考えられてきた。これに対して，規範的責任論とは故意・過失の
上位概念しての非難可能性が責任の実質であるという。
4　責任構成要件と責任阻却事由
　責任構成要件該当性が判断された後，責任阻却事由の存否が判断される。
第2節　故意
1　38条の概観
　責任構成要件の基本的要素である故意・過失については38条が規定している。
2　故意の体系的地位
(1)　行為無価値論
　行為無価値論からは，故意は違法要素ということになる。
(2)　結果無価値論
　結果無価値論からは，行為者への非難を基礎づける責任要素である。

[0049 山本大輝 ◆TFLeKzwqNtDb 2022/07/06(水) 11:07:09.65 0]

要約がどんどんシンプルになってきている。そうすると読み飛ばしが発生することが
わかった。大枠をつかむという意味では最初にこの要約をすることに意義があると
思われるが，細部について考えるにはやはりただ読んで考えるということが最も
適していると考えられる。しかもこの要約はわかったつもりになるだけで，その実
わかっていないというのが実際のところだと思われる。もう一度勉強の方法について
考えてみたい。

[0050 山本大輝 ◆TFLeKzwqNtDb 2022/07/07(木) 19:56:23.59 0]

今日は総論だけでなく各論も読んだ。
そうろんは各論もわかっていることが前提で書かれている部分もあったので
速読をした。あと何回かは速読で読んで全体像をつくっていきたい。
それが終わったら精読をして演習に入る。

[0051 山本大輝 ◆TFLeKzwqNtDb 2022/07/07(木) 19:57:33.54 0]

過失致死の法定刑が50万円以下の罰金ということに驚いた。

[0052 山本大輝 ◆TFLeKzwqNtDb 2022/07/08(金) 10:54:15.54 0]

冒頭あいさつの部分だけ動画にしてアップしてみたｗ

[0053 夢見る名無しさん 2022/07/08(金) 11:05:05.98 0]

見たｗｗｗｗ
すごく頑張ってる感が出てて感動した
もちろん高評価にしたよ！

[0054 山本大輝 ◆TFLeKzwqNtDb 2022/07/08(金) 12:12:08.33 0]

ありがとー
読んで考えながらしゃべったらめっちゃ疲れたｗ
緊張して1時間くらいしかできなかったよ

後でアップしますね

[0055 山本大輝 ◆TFLeKzwqNtDb 2022/07/08(金) 19:31:19.52 0]

予告　次回の動画は

第3回　刑法総論　p.1-p.22

アップロードにはあと1から2週間程度掛かります。

[0056 山本大輝 ◆TFLeKzwqNtDb 2022/07/08(金) 20:14:24.17 0]

要点を話すことにしたのでここに書けることは少なくなりました。
演習に入ったらこのスレを活用したいです。

[0057 山本大輝 ◆TFLeKzwqNtDb 2022/07/09(土) 23:22:44.21 0]

ネット工事が今月の25日なので
それまでは演習についてここに書きたいと思います。
どういう風にするのかは今考えています。

[0058 山本大輝 ◆TFLeKzwqNtDb 2022/07/11(月) 23:28:53.66 0]

保守だお

[0059 山本大輝 ◆TFLeKzwqNtDb 2022/07/13(水) 05:21:16.48 0]

犯罪とは
1　構成要件該当性
2　違法性
3　有責性
をもつ行為をいう。
ただ構成要件については明確な定義がないので
私は独自に定義して論証したい。

構成要件とは「法益侵害事実」をいう

と定める。
何れにしても犯罪行為であるからして
行為概念を念頭に1から3を考える必要がある。
すなわち
構成要件該当行為
違法行為
有責行為
である。
行為とは何か？　この哲学的命題についてもうしばらく考えてみたい。
そのために構成要件論，違法論，責任論の各所で具体的な行為論を展開し
目に見えるかたちにして行為を記述したいと思う。

[0060 山本大輝 ◆TFLeKzwqNtDb 2022/07/15(金) 13:20:25.05 0]

詳しい内容はブログに書こうと思います。
ここには概要を書きたいと思います。

[0061 山本大輝 ◆TFLeKzwqNtDb 2022/07/15(金) 13:21:59.92 0]

明日もし37度未満だったら
構成要件論から考えたいと思います。

[0062 山本大輝 ◆TFLeKzwqNtDb 2022/07/15(金) 18:15:40.64 0]

もしとかじゃなくて
しばらくの間ゆっくり休むお

[0063 山本大輝 ◆TFLeKzwqNtDb 2022/07/17(日) 20:14:52.21 0]

読書をしないと元気がでませんなあ。

[0064 山本大輝 ◆TFLeKzwqNtDb 2022/07/21(木) 20:45:09.89 0]

そろそろ復活するお

[0065 山本大輝 ◆TFLeKzwqNtDb 2022/07/21(木) 21:38:18.07 0]

でも一応24日までは大人しくしていよう。

[0066 山本大輝 ◆TFLeKzwqNtDb 2022/07/24(日) 00:02:48.51 0]

今日の午前中にコロナ自宅謹慎が解除される。

[0067 夢見る名無しさん 2022/07/24(日) 14:36:40.81 0]

うまそう

[0068 山本大輝 ◆TFLeKzwqNtDb 2022/07/27(水) 14:22:38.69 0]

第4回を撮ったが，ただ本を読んでいるだけになってしまったので
次回からは演習問題について考えたことを述べようと思う。

[0069 山本大輝 ◆TFLeKzwqNtDb 2022/07/31(日) 10:38:15.32 0]

最高裁決定が不作為による殺人なのに
私は過失致死を導出してしまった。
もうこういう争いはしたくないんだ。

[0070 夢見る名無しさん 2022/08/10(水) 00:34:19.64 0]

解散

[0071 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 00:45:57.81 0]

こっちは使い切らなきゃ立ててくれた人に申し訳ない。
刑事法のことはもう書けないけど
再び始めた論理学について書こうと思う。

今日は
換質，換位，戻換を主に読みたいと思う。

[0072 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 00:49:49.50 0]

数学からみて三段論法の課題は矛盾許容論理を展開した場合
仮言三段論法の制限がかかるということである。
このことを念頭において三段論法の単元を読みたい。
たとえ∨-導入を制限してもその除去があると連言と選言の命題は一致する。
もう一度除去についても考えてみたい。

[0073 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:00:37.25 0]

先行研究が何もないところから出発するｗ

[0074 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:02:56.19 0]

ではどうやって自分は正しいと評価するのか。
わからねえ。
ただ残すことしかできねえ。
歴史が決める。

メンタルが弱い人や既に弱っている人は私に近づかないでください。
私は人と違うことをやっています。

[0075 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:09:34.75 0]

マシンは論理式を左から順にしか読むことができません。
私は右から(正確に言うと右ではありませんが)読むべきだと主張しています。
右から読むことで何か利益があるのか。
それでマシンをつくることができるのか。
今はわかりません。
しかしただ右から読むべきだという主張をしている訳ではないです。
左からというのを下手な鉄砲数うちゃ当たる戦法と呼ぶとすれば
右からというのは一発百中です。

応用できた場合の効用は何となく想像がつくのですが
現段階でみえるものは任意性と適当性の意義です。
左からは任意に適当に選べる
右からは適当に任意に選べる
とでもいえるでしょうか。

まあ考えてみます。

[0076 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:12:24.34 0]

また定言三段論法について

A　∀∃型
E　 ∀∀型　?変形する必要性有
I　　∃∃型
O　 ∃∀型

という伝統的論理学と述語論理を合わせたもので考えるということを試行します。

[0077 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:14:45.83 0]

詳しくは後日書きますが
判断の周延性を述語論理記号で表現したものが>>76です。
こういう記述は何処にも載っていませんので
これが果たして本当に正しいのかは考察することさえできませんが
記号の意味だけを考えたら間違いではないだろう，という判断です。

[0078 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:16:35.75 0]

ということで私は数学のための論理学を書きたいと考えています。
以前そういうスレを立てたこともありましたが
再びチャレンジしてみたいと思います。

[0079 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:18:09.93 0]

E　 ∀∀型　変形する必要性有

この変形(変換)というのが換質，換位，戻換にかかわることです。
今日はこれについてじっくり考えたいと思います。

[0080 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:52:10.94 0]

【使用する推論規則】

・最小論理

・DN規則

・同一性規則

・矛盾許容論理(選言三段論法制限)

・∨-除去制限

・∧-除去制限

・背理法制限

・対偶法制限

これらも全部見直したいと思います。

[0081 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 01:52:43.17 0]

>>72
訂正

仮言⇒選言

[0082 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 07:31:59.33 0]

大小対当
反対対当
小反対対当
この3つに該当する命題では背理法を適用できない。
すなわち
矛盾対当のみが背理法を使える前提である。

[0083 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:18:30.80 0]

演習問題

1.　ある大学生はすべてのものに対して集中力がない。　真　SoP

(1)　矛盾対当

すべての大学生はあるものに対して集中力がある。　偽

(2)　小反対対当

ある大学生はあるものに対して集中力がある。　真偽不明

(3)　大小対当

ある非大学生はあるものに対して集中力がある。　真偽不明

☆　ここからわかること

非大学生というのが何を指しているのか明確でない。

[0084 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:24:24.68 0]

2.　すべての人はある悪人である。　偽　SaP

(1)　矛盾対当

ある人はすべて悪人でない。　真

(2)　反対対当

ある人でないものはある悪人である。　真偽不明

☆　人でないものが何を指しているのか明確でない。

(3)　大小対当

ある人はある悪人である。　真偽不明

[0085 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:27:15.55 0]

3.　すべての悪貨はある良貨を駆逐する。　真　SaP

(1)　矛盾対当

ある悪貨はすべての良貨を駆逐しない。　偽

(2)　反対対当

ある非悪貨はすべての良貨を駆逐しない。　偽

☆　非悪貨とは良貨とは限らない。

(3)　大小対当

ある悪貨はある良貨を駆逐する。　真

[0086 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:35:04.35 0]

4.　ある薬についてあるものは安全である。　真　SiP

(1)　矛盾対当

ある非薬についてあるものは安全である。　偽

☆　非薬というものが何なのか特定できない，と解釈できる。

(2)　小反対対当

ある薬についてすべてのものは安全でない。　真偽不明

(3)　大小対当

すべての薬についてあるものは安全である。　真偽不明

☆　ある薬が安全であることが保証されているからといって
　　任意の薬は安全であるとは限らないということがわかる。

☆　ある素数は自然数だとしてもすべての素数は自然数であるとは限らない

これより簡単にあるいは仮定として素数全体の集合⊆自然数全体の集合
を使用することは避けなければならないだろう。

[0087 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:39:23.87 0]

もちろんこの素数議論は

ある素数についてあるものは自然数である。

という命題に依存する。　しかし，もしこれを偽としても
同じく大小対当は真偽不明であるため同様のことがいえる。

[0088 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:41:53.45 0]

>>87
訂正

もし，この命題を偽とすれば大小対当は偽であるため
結論は変わる。このような場合の偽の命題の大小対当は偽であるということは
数学で重要かも知れない。

[0089 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:45:50.49 0]

N:自然数全体の集合
∀x[x∈N→∃s[s∈N∧x=s]]
に対して
sが素数であった場合
Nは素数全体の集合ではない。
当たり前かも知れないが
任意性の原則として記録しておく。

[0090 山本大輝 ◆TFLeKzwqNtDb 2022/08/10(水) 23:49:26.09 0]

つまり
実数全体の集合Rについて
∀x[x∈R→∃s[s∈R∧x=s]]

のsを自然数として選んでもRはNではないし
sを整数として選んでもRはZではない。

このように仮言判断の後件に含まれるものが
その集合に含まれるものを自由に使用してよいということを含意している
と解釈できることをいっている。

∃s[s∈R∧x=s]

の解釈が争点になることはわかっているからだ。

[0091 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:17:21.73 0]

SiPが真のときSaPは真偽不明
SaPが真のときSiPは真
SiPが偽のときSaPは偽
SaPが偽のときSiPは真偽不明
これより
存在命題から全称命題がいえるということも見直さなければならない。
とくに
SiPが真のときSaPは真偽不明
より
∃x[x∈A∧Φ(x)]　|-　∀x[x∈A→Φ(x)]
を再考する。

1　　(1)　∃x[x∈A∧Φ(x)]　　　前提
2　　(2)　a∈A∧Φ(a)　　　　　　 仮定
2　　(4)　Φ(a)　　　　　　　　　　　2.∧-除去
1　　(5)　a∈A→Φ(a)　　　　　　 4.→-導入
1　　(6)　∀x[x∈A→Φ(x)]　　　1.5.∀-導入　　　

この自然演繹の結果と伝統的論理学の結果をどう説明するのか今日は考えたい。

[0092 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:23:08.35 0]

他方

∀x[x∈A→Φ(x)]　|-　∃x[x∈A∧Φ(x)]

も考えたい。

1　　(1)　∀x[x∈A→Φ(x)]　　　前提
1　　(2)　 a∈A→Φ(a)　　　　　 1.∀-除去
3　　(3)　 a∈A　　　　　　　　　　　仮定
1,3　(4)　 Φ(a)　　　　　　　　　　　2,3.→-除去
1,3　(5)　 a∈A∧Φ(a)　　　　　　 3,4.∧-導入
1,3　(6)　 ∃x[x∈A∧Φ(x)]　　　

ここで停止

すなわち∀x[x∈A→Φ(x)]　|-　∃x[x∈A∧Φ(x)]は導出できないことがわかった。

してみると自然演繹の結果と伝統的論理学の結果は相反している。
この問題に挑んでみたい。

[0093 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:31:28.88 0]

ただ2つの結果を受け止めれば
SaPは偽
SiPも偽
という話になる。

[0094 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:36:56.61 0]

まさか真偽不明の状態で議論をしていたということはないと信じたいが
この結果からはそう読み取れてしまう。

[0095 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:40:38.58 0]

少なくとも全称命題Pから存在命題Qがいえるということは誤りだということがわかった。

[0096 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:42:40.19 0]

問題は
私が信奉していた存在命題から全称命題が
いえるという話も頓挫しているということである。
もちろん自然演繹としてはいえるが
伝統的論理学ではいえない。
この場合をどうするべきか考えたい。

[0097 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:47:43.53 0]

SiPが真のときSaPは真偽不明

これより存在命題から全称命題をいうことはできないと帰結される。

たとえば
SiPを換質法によりSo非Pとしよう。このときSaPは偽である。
これもダメだ。

[0098 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:53:15.81 0]

もしSiPが偽である場合を考えれば換質法からSaPを真ということができる。
ここでも偽の仮定なるものが使用されているとすれば問題だ。
爆発律の制限下では説明ができない。

[0099 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 01:58:21.39 0]

存在命題が偽であるとはどういうことか？

方程式の例

(x-1)(x-2)=0

x=1,2

これは存在命題ではないと考える。
つまり

∃x[x∈R∧f(x)=0]

このように表示することは誤りである。

[0100 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:00:17.57 0]

∀x[x∈R→∃s[s∈R∧x=s]]
に対して
f(x)=0
と書く。もちろん写像の部分を省略しているのでf(x)が何なのかを正確に
明示できていないが，その辺は私のブログに書いてある。

[0101 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:02:14.83 0]

方程式の問題はクリアできた。
しかし一般に
全称から特称への書き換え
特称から全称への書き換え
は不能であるということを主張したい。

[0102 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:04:34.98 0]

そもそも

(x-1)(x-2)=0

という方程式を計算しなければ解を出せないのであるから
これを存在命題だと考えることが誤りである。

[0103 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:05:30.38 0]

もし存在命題及び全称命題の導入と除去とは何なのか
その意味を知りたければタブロー法を習得されることが望ましい。
それがわかればこの意味もわかる。

[0104 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:08:01.27 0]

【まとめ】
自由変項を束縛変項に変換するには厳しい条件がある。

[0105 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:09:41.11 0]

存在命題の存在とは

勝手に選ぶことができる

これに尽きる

[0106 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:12:12.49 0]

自由変項と存在判断の違いは何なのか。
見極める必要がある。

[0107 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:12:41.79 0]

なんだ私にとっては問題など何もなかった。

[0108 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 02:13:23.75 0]

次回は換質，換位，戻換の演習問題を書こうと思います。

[0109 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 09:50:01.03 0]

問1
(1)　換質
1.　ある商品にはすべて定価が表示されていない。
SoP⇒Si非P
ある商品にはある定価が非表示である。

2.　すべての生物はすべて不死でない。
SeP⇒非SiP⇒非So非P
ある非生物はすべて死ぬものでない。

[0110 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 09:54:35.71 0]

3.　すべての天体はある運動をしている。
SaP⇒Se非P⇒非Si非P
ある非天体についてあるものは不動である。

4.　ある小説家についてあるものは天才である。
SiP⇒So非P
ある小説家についてすべてのものは凡才でない。

[0111 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 09:57:23.04 0]

結果　存在判断について

∃x[x∈A∧Φ(x)]
∃x[x∈A∧￢Φ(x)]

この二つの意味は分けられるべきではないだろうか。

[0112 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 09:59:47.98 0]

∃x[x∈A∧Φ(x)]

A:=Nのとき
1からn個まで選択できる

∃x[x∈A∧￢Φ(x)]

n個の選択しかできない

[0113 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:05:48.53 0]

(2)　換位
1.　ある政治家についてあるものは公約を破る。
SiP⇒PiS
公約を破るものについてあるものは政治家である。

2.　すべての警察官についてあるものは飲酒運転をしない。
SeP⇒PeS⇒非PiS
非飲酒運転をするものはある警察官である。

[0114 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:08:09.89 0]

3.　すべての学生についてあるものは学生証を持っている。
SaP⇒PiS
学生証を持っているものはある学生である。

4.　『草枕』の著者は夏目漱石である。
SiP⇒PiS
夏目漱石は『草枕』の著者である。

5.　ある生物はすべて水棲でない。
SoPは換位不能。

[0115 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:13:21.78 0]

問2　換位換質
1.　ある看護師はすべて女性でない。
換位不能

2.　すべての物(万物)についてあるものは永劫に流転する。
SaP⇒PiS⇒Po非S
ある永劫に流転するものはすべて非物でない。

[0116 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:15:57.37 0]

3.　ある人についてあるものは新型肺炎で死ぬ。
SiP⇒PiS⇒Po非S
ある新型肺炎で死ぬものについてあるものは人以外でない。

4.　すべてのクレタ人はすべて正直でない。
SeP⇒非SiP⇒Pi非S⇒PoS
ある正直なものについてすべてのものはクレタ人でない。

[0117 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:18:23.59 0]

問3　換質換位
1.　ある高校教師についてあるものは学者である。
SiP⇒So非P⇒換位不能。

2.　すべての善人はすべて長生きしない。
SeP⇒Sa非P⇒非PiS
ある短命なものについてあるものは善人である。

[0118 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:20:50.01 0]

3.　ある善行はすべて表彰されない。
SoP⇒Si非P⇒非PiS
ある表彰されるものについてあるものは善行である。

4.　すべての商売についてあるものは営利的である。
SaP⇒Se非P⇒非Si非P⇒非Pi非S
ある非営利なものについてあるものは非商売である。

[0119 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:27:49.64 0]

問4　戻換
1.　すべての犯罪についてすべて許されない。
SeP⇒非SiP
ある非犯罪についてあるものは許される。

2.　ある人についてあるものは囲碁が好きである。
SiP⇒戻換不能

3.　すべてのスポーツマンについてあるものはルールを守る。
SaP⇒非SoP
ある非スポーツマンについてすべてのものはルールを守らない。

4.　ある音楽についてあるものは騒音である。
戻換不能。

[0120 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:31:42.96 0]

結果

∀x[x∈M→∃x[x∈M∧x=s]]

は∀∃型として表されるがこれは伝統的論理学的にはAすなわちSaPである。
このAをそのまま使用せず換質Sa非P換位PiS戻換非SoPの何れかで考える
という方法もあると思われる。

[0121 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:37:19.45 0]

とくに換位が有効ではないだろうか。

換位　SaP⇒PiS

∃x[x∈M∧Φ(x)]

例

任意に自然数全体の集合から元を選ぶ。
換位
適当に自然数全体の集合から元を選ぶ。

∀x[x∈N→∃s[s∈N∧x=s]]
限量換位
∃x[x∈N∧Φ(x)]

これで任意性の問題はなくなった。

[0122 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 10:52:05.70 0]

SaPはPiSの存在担保にもなると考えられる。

PiSを示したければSaPを示せば十分である。

感覚的には

PiS⇒SaP⇒PiS　(⇒は推移を表す)

という循環的な存在保証であると思われる。確実なPiSという思想から
このように考える必要がある。

確実な(完全な)仮定とは何か？
私は今まで健全な仮定かどうかを確かめる証明をしてきた。
しかし論証の完全性については何もいうことができなかった。
もしこの換位を使えるのなら完全な仮定を表すことができる。
そしてこの完全性と健全性というのも相対的であることがわかる。
仮言判断の後件仮定に対して前件を表示することは健全性でもあるが
PiS⇒SaP⇒PiS
では完全性である。

数学でここまで確かめる必要があるのかどうかまだよくわからないが
たとえば
自然数全体の集合のうち1を調べれば十分であるということの確実な保証が
必要であると考えた結果である。

[0123 山本大輝 ◆TFLeKzwqNtDb 2022/08/11(木) 11:01:00.15 0]

私の問題提起は
「任意の」といった時に実際には2つか3つ多くとも(高々)有限個しか考えていない
ということへの反発である。
これをどうにかしたかった。

[0124 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 14:44:07.44 0]

1.
犬は動物である
猫は動物である
猫は犬である

すべての犬はある動物である
すべての猫はある動物である
すべての猫はある犬である

SaP⇒PiS

ある動物はある犬である　I
ある動物はある猫である　I
ある猫はある犬である　　 I

格式　第3格　I I I
ゆえにこの推理は誤りである。

[0125 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 14:48:41.12 0]

2.
すべて尊敬される人はある善人である　A
ある善人はある困った人を助ける　　　　 I
ある困った人を助ける人についてあるものは尊敬される　I

格式　第4格　A I I

ゆえにこの推理は妥当でない。

[0126 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 14:52:05.10 0]

3.
語学のできる人は根気がある
彼は語学ができない
彼は根気がない

すべての語学ができる人についてあるものは根気がある　A
あるものについてすべてのものは語学ができない　O
あるものについてすべてのものは根気がない　O

SaP⇒PiS

ある根気のあるものについてあるものは語学ができる　I

格式　第1格　I O O

ゆえにこの推理は妥当でない。

[0127 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 14:53:59.05 0]

4.　
すべてのアメリカ人はすべて日本人でない　E
すべての中国人はすべてアメリカ人でない　E
すべての中国人はすべて日本人でない　E

SeP⇒非SiP

ある非アメリカ人はある日本人である　I
ある非中国人はあるアメリカ人である　I

媒概念がないのでこの推理は妥当でない。

[0128 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 18:50:50.69 0]

1.　
悪い奴ほどよく眠る
彼はよく眠る
彼は悪い奴である

すべての悪いものについてあるものはよく眠る
あるものについてあるものはよく眠る
あるものについてあるものは悪いものである

SaP⇒PiS

よく眠るあるものについてあるものは悪いものである。

格式　第1格　I I I

ゆえにこの推理は妥当でない。

[0129 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 18:53:28.78 0]

2.
この百科事典の執筆者はすべて一流の学者である
彼はこの百科事典の執筆者ではない
彼は一流の学者ではない

すべての百科事典の執筆者についてあるものは一流の学者である　A
あるものについてすべてのものは百科事典の執筆者ではない　O
あるものについてすべてのものは一流の学者ではない　O

格式　第1格　A O O

ゆえにこの推理は妥当でない。

[0130 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 18:56:44.85 0]

3.
ある嘘をつく人は借金を返さない
ある嘘をつく人は口が上手である
口が上手な人は借金を返さない

嘘をつくある人についてすべてのものは借金を返さない　O
嘘をつくある人についてあるものは口が上手である　I
口が上手なあるものについてすべてのものは借金を返さない　O

格式　第3格　O I O

ゆえにこの推理は妥当でない。

[0131 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 18:59:40.06 0]

4.
ある人々は山が好きである
ある人々は海が好きである
山が好きな人々のなかには海が好きな人もいる

ある人々についてあるものは山が好きである　I
ある人々についてあるものは海が好きである　I
山が好きなある人々についてあるものは海が好きである　I

格式　第3格　I I I

ゆえにこの推理は妥当でない。そもそも結論の主辞Sと賓辞Pが逆であるので
三段論法でない。

[0132 山本大輝 ◆TFLeKzwqNtDb 2022/08/12(金) 19:00:57.90 0]

>>131
結論でSiP⇒PiSという換位を行ったと解釈すれば三段論法が成立する。

[0133 山本大輝 ◆TFLeKzwqNtDb 2022/08/13(土) 09:39:00.82 0]

1.
人を殺す者は死刑に処せられる
死刑を執行する者は人を殺す者である
死刑を執行する者は死刑に処せられる

人を殺すある者についてあるものは死刑に処せられる　I
死刑を執行するある者についてあるものは人を殺す者である　I
死刑を執行するある者についてあるものは死刑に処せられる　I

格式　第1格　I I I

ゆえにこの推理は妥当でない。

[0134 山本大輝 ◆TFLeKzwqNtDb 2022/08/13(土) 09:42:24.90 0]

2.
薬物を使用する選手は一位になる
彼は一位である
彼は薬物を使った

薬物を使用するある選手についてあるものは一位になる　I
あるものについてあるものは一位である　I
あるものについてあるものは薬物を使った　I

格式　第2格　I I I

ゆえにこの推理は妥当でない。

[0135 山本大輝 ◆TFLeKzwqNtDb 2022/08/13(土) 09:45:09.17 0]

3.
ナポレオンは人間だ
ぼくも人間だ
ぼくもナポレオン位のことができないはずはない

SaP⇒PiS

ある人間についてあるものはナポレオンである　I
あるものについてあるものは人間である　I
あるものについてあるものはナポレオンである　I

格式　第1格　I I I

ゆえにこの推理は妥当でない。

[0136 山本大輝 ◆TFLeKzwqNtDb 2022/08/13(土) 09:48:46.01 0]

4.
犬は四つ足である
犬は動物である
すべての動物は四つ足である

すべての犬についてあるものは四つ足である
すべての犬についてあるものは動物である
すべての動物についてあるものは四つ足である

SaP⇒PiS

四つ足のあるものについてあるものは犬である　I
ある動物についてあるものは犬である　I
四つ足のあるものについてあるものは動物である　I

格式　第2格　I I I

ゆえにこの推理は妥当でない。

[0137 山本大輝 ◆TFLeKzwqNtDb 2022/08/13(土) 09:51:54.71 0]

5.
すべての動物についてあるものは理性がない
すべての人間についてあるものは動物である
すべての人間についてあるものは理性がない

SeP⇒非SiP
SaP⇒PiS

ある非動物についてあるものは理性がある　I
ある動物についてあるものは人間である　I
ある人でないものについてあるものは理性がある　I

これは三段論法ではない(媒概念がない)ので
この推理は妥当でない。

[0138 山本大輝 ◆TFLeKzwqNtDb 2022/08/14(日) 14:12:13.04 0]

問1
①　哲学者にも酒飲みがいる　真
ある哲学者についてあるものは酒飲みである

(1)　矛盾対当
すべての哲学者についてすべてのものは酒飲みでない
SeP⇒非SiP
ある非哲学者についてあるものは酒飲みである　偽

(2)　小反対対当
ある哲学者についてすべてのものは酒飲みでない　真偽不明

(3)　大小対当
すべての哲学者についてあるものは酒飲みである
SaP⇒PiS
酒飲みのあるものについてあるものは哲学者である　真偽不明

[0139 山本大輝 ◆TFLeKzwqNtDb 2022/08/14(日) 14:18:38.38 0]

②　すべてのテロ行為は許されるものでない　真
すべてのテロ行為についてすべてのものは許されるものでない
SeP⇒非SiP
ある非テロ行為についてあるものは許されるものである

(1)　矛盾対当
あるテロ行為についてあるものは許されるものである　偽

(2)　反対対当
すべてのテロ行為についてあるものは許されるものである
SaP⇒PiS
あるテロ行為についてあるものは許されるものである　偽

(3)　大小対当
あるテロ行為についてすべてのものは許されない　真

[0140 山本大輝 ◆TFLeKzwqNtDb 2022/08/14(日) 14:23:30.70 0]

③　ほとんどの学生は地球人でない　偽
ある学生についてすべてのものは地球人でない

(1)　矛盾対当
すべての学生についてあるものは地球人である
SaP⇒PiS
ある地球人についてあるものは学生である　真

(2)　小反対対当
ある学生についてあるものは地球人である　真

(3)　大小対当
すべての学生についてすべてのものは地球人でない
SeP⇒非SiP
ある非学生についてあるものは地球人である　偽

[0141 山本大輝 ◆TFLeKzwqNtDb 2022/08/14(日) 14:27:56.48 0]

④　政治家はみな正直だ　偽
すべての政治家についてあるものは正直である
SaP⇒PiS
ある正直なものについてあるものは政治家である

(1)　矛盾対当
ある政治家についてすべてのものは正直でない　真

(2)　反対対当
すべての政治家についてすべてのものは正直でない
SeP⇒非SiP
ある非政治家についてあるものは正直である　真偽不明

(3)　大小対当
ある政治家についてあるものは正直である　真偽不明

[0142 山本大輝 ◆TFLeKzwqNtDb 2022/08/15(月) 13:36:25.92 0]

問2　判断Oに至るまで変形推理を適用せよ。

⇒：推移

とする。

①　ある学生は既婚者である(換位から)
ある学生についてあるものは既婚者である
⇒ある既婚者についてあるものは学生である
⇒ある既婚者についてすべてのものは非学生でない

②　ある授業は面白いものでない
ある授業についてすべてのものは面白いものでない(換質から)
⇒ある授業についてあるものはつまらないものである
⇒つまらないあるものについてあるものは授業である
⇒つまらないあるものについてすべてのものは非授業でない

[0143 山本大輝 ◆TFLeKzwqNtDb 2022/08/15(月) 13:39:58.80 0]

③　すべてのトマトはピーマンでない
すべてのトマトについてすべてのものはピーマンでない(換位から)
⇒すべてのピーマンについてすべてのものはトマトでない
⇒ある非ピーマンについてあるものはトマトである
⇒ある非ピーマンについてすべてのものは非トマトでない

④　すべての電気は有料である
すべての電気についてあるものは有料である(換質から)
⇒すべての電気についてすべてのものは無料でない
⇒ある非電気についてあるものは無料である
⇒ある非電気についてすべてのものは有料でない

[0144 山本大輝 ◆TFLeKzwqNtDb 2022/08/15(月) 17:51:56.94 0]

問3　前件が真のとき後件の命題は何か？

①
前件　すべての人間は生存権を持つ
後件　人間でないあるものは生存権を持たない

前件　すべての人間についてあるものは生存権を持つ　SaP
⇒　　 生存権を持つあるものについてあるものは人間である　PiS

後件　人間でないあるものについてすべてのものは生存権を持たない　非PoS

前件　PiS
後件　非PoS

ゆえに戻換法から後件は真である。

[0145 山本大輝 ◆TFLeKzwqNtDb 2022/08/15(月) 17:53:49.21 0]

②
前件　ある学生は天才である
後件　ある学生は天才でない

前件　ある学生についてあるものは天才である　SiP
後件　ある学生についてすべてのものは天才でない　SoP

前件　SiP
後件　SoP

ゆえに小反対対当から後件は真偽不明である。

[0146 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 12:45:18.88 0]

問1
英雄は色を好む
彼は色を好む
彼は英雄である

すべての英雄についてあるものは色を好むものである　A
あるものについてあるものは色を好むものである　I
あるものについてあるものは英雄である　I

格式　第2格　A I I

ゆえにこの推理は妥当でない。

[0147 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 12:48:22.20 0]

問2
肉体運動は身体を鍛える
身体を鍛えることは精神力を強くする
精神力を強くするものは肉体運動である

すべての肉体運動についてあるものは身体を鍛えるものである　A
身体を鍛えるすべてのものについてあるものは精神力を強くするものである　A
精神力を強くするすべてのものについてあるものは肉体運動である　A

格式　第4格　A A A

ゆえにこの推理は妥当でない。

[0148 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 12:51:11.79 0]

問3
病気は静養を必要とする
彼の怠惰は病気である
彼の怠惰は静養を必要とする

すべての病気についてあるものは静養を必要とするものである　A
怠惰なあるものについてあるものは病気である　I
怠惰なあるものについてあるものは静養を必要とするものである　I

格式　第1格　A I I

ゆえにこの推理は妥当である。

[0149 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 12:56:38.28 0]

問4
わが社の出版物に駄作はない
この本はわが社の出版物ではない
この本は駄作である

あるものの出版物についてすべてのものは駄作でない　O
あるものについてあるものの出版物でない　O
あるものについてあるものは駄作である　I

格式　第1格　O O I

ゆえにこの推理は妥当でない。

[0150 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 12:58:26.58 0]

問5
神に愛される者は短命だ
彼は短命だった
彼は神に愛された

神に愛されるすべての者についてあるものは短命である　A
あるものについてあるものは短命である　I
あるものについてあるものは神に愛された　I

格式　第2格　A I I

ゆえにこの推理は妥当でない。

[0151 山本大輝 ◆TFLeKzwqNtDb 2022/08/16(火) 13:09:37.42 0]

>>150
あるものについてあるものは神に愛されるものである　I

[0152 山本大輝 ◆TFLeKzwqNtDb 2022/08/17(水) 19:13:32.39 0]

明日から数学を再開することにしました。
数学は記号の表示の問題からここにはあまり書きたくないので
哲学や基礎法学を再開したらまたここに書こうと思います。

[0153 山本大輝 ◆TFLeKzwqNtDb 2022/08/17(水) 19:15:32.71 0]

数学で使う伝統的論理学は
対当推理
変形推理
三段論法
で十分ではないかと思います。それなのでもう書くことはあまりないです。
この三つを数学に応用したいと考えています。

[0154 山本大輝 ◆TFLeKzwqNtDb 2022/08/18(木) 05:36:00.93 0]

仮言判断を定言判断にするという重要な変形に気が付いた。
これで「ならば」を制限できる。

[0155 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 15:55:18.23 0]

具体例が豊富なチャート式(白)を再開した．

[0156 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:32:11.53 0]

f:R→R
x ? y
x∈R
f(x):=x-1
y=2
とする．このとき

|f(x)|=2　i.e.　|x-1|=2

をみたすxをすべて求めよ．

[0157 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:32:46.40 0]

>>156
x→y(文字代替)

[0158 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:40:18.03 0]

さて，問題は「|x-1|=2を解け」で済まされてしまうこの関数は
果たして写像なのか？　ということである．すなわち

x∈R∨x∈R(対応)
f:R→R,x→y(記号代替)
x∈Rに対して
f(x):=x-1　i.e.　y=x-1
は写像なのか？
対応は可能であるので，この対応の一意性を調べる．

(1)　n=m∧f(n)=f(m)はよい．
(2)　n≠m∧f(n)=f(m)についてこれは不成立である．

ゆえにこの対応は写像ではない．

[0159 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:42:06.43 0]

>>157
記号代替

[0160 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:42:44.61 0]

今回参考にしている文献は数研のチャート式(白)であるが
このように写像でないものの方程式を解く問題であふれていないか？
世間一般でもこのような問題が多く出ているように思われる．

[0161 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:47:01.32 0]

>>158
訂正

R:実数全体の集合
x∈R∨x∈R(対応)
i.e. ,x→y(記号代替)
とする．このとき

f(R):={f(x)|x∈R}
∃x[x∈R]に対して
f(x):=x-1　i.e.　y=x-1

となる対応はうまく定義されているのか？(対応は写像なのか？)

[0162 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:49:22.92 0]

>>161
訂正

x∈R∨y∈R(対応)

[0163 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 21:50:10.22 0]

f(R):={f(x)|x∈R}:1つの集合

[0164 山本大輝 ◆TFLeKzwqNtDb 2022/08/19(金) 22:17:44.17 0]

例
A:={1,2,3}
B:={0,1,2}
x∈A∨y∈B
とする．このとき

f(A):={f(x)|x∈A}
∃x[x∈A]
f(x):=x-1　i.e.　y=x-1
について
(1)　x_1=x_2∧f(x_1)=f(x_2)は成立する．
(2)　1≠2∧f(1)=f(2)は不成立である．

ゆえにこの対応は写像ではない．

[0165 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 02:20:31.06 0]

写像の一意性について再考

X,Y:命題変数
A:1つの集合
∃x[x∈A]　☆
X∨Y=T
X：[a=b∧f(a)=f(b)]=T　i.e.　X=T(F)
Y：[[a≠b∧f(a)=f(b)]=T∨[a≠b∧f(a)≠f(b)]=F]∨[[a≠b∧f(a)=f(b)]=F∨[a≠b∧f(a)≠f(b)]=T]=T　i.e.　Y=T(F)

このときの選言は弱選言であるのでT∨T=TでもT∨F=Tのどちらでもよい．

☆　補足

扱う集合及び像によってx∈Aのxを固定するのか，それとも選択するのかを使い分ける必要がある．

[0166 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 02:34:47.52 0]

排中律を使った場合

P:1つの命題
P∨￢P=T
P：[a=b∧f(a)=f(b)]=T(F)
￢P：[[a≠b∧f(a)=f(b)]=F∨[a≠b∧f(a)≠f(b)]=F]=F(T)

[0167 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 02:41:53.24 0]

命題が成立することと真理値の関係について

論理学では命題Pが成立することとPがTなのかFなのかは別の問題である．

Pが成立する．これは真
Pが成立する．これは偽
Pは不成立である．これは真
Pは不成立である．これは偽

しかし，数学は恒真であるという思想からはこれを肯定するわけにはいかない．
つまり

Pが成立する．すなわち真．
Pは不成立である．すなわち偽．

こうしたいのである．

[0168 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 02:58:31.06 0]

ではP∨￢P=Tを考えてみよう．
①Pが成立するとき
Pが成立する．すなわちPは真である．
このとき￢Pは偽であるから必ず不成立である．

②Pが不成立のときすなわち￢P
Pは不成立である．すなわちPは偽で￢Pは真である．
￢Pは真であるから￢Pは成立する．

このように書いてみたが実際にはPあるいは￢Pが成立すれば∨-導入より

P∨￢P

と書くことができる．このときどちらを示す方が楽だろうか？(そういう違いはあるのか？)

[0169 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 03:18:40.54 0]

①P=T
∃x[x∈A]に対して
P：a=b∧f(a)=f(b)
が成立する(不成立)とはどういうことか？

帰結：a,b∈Aを固定する必要がある．

②￢P=T
∃x[x∈A]に対して
￢P：[a≠b∧f(a)=f(b)]∨[a≠b∧f(a)≠f(b)]
が成立(不成立)とは？

超論理的に考えると

T∨T=T
T∨F=T
F∨T=T
F∨F=F

より

T∨F=T
F∨T=T

のどちらかを示せば十分である．

帰結：a,b∈Aを固定する必要がある．

このように両者にかかる労力はそれほど変わらない．

[0170 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 03:22:02.13 0]

結論
今までの話だとPのみを示してきたと思う．
それでも間違いだとはいえないが，厳密にはPあるいは￢Pが成立することより

P∨￢P　(∨-導入)

をいうことができる．これを以って対応の一意性すなわち写像の成立としたい．

実際にPが成立するとき￢Pが成立しないかどうかを確かめることもできるので
検算のような役割も担うことができる．

[0171 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 03:26:47.50 0]

弱選言の意味

ここではP∨Qの片方のみを示せばよいとした．これはたとえばPが成り立つとき
∨-導入よりP∨Qがいえる，ということからもわかる．つまり，実質的には強選言的な
扱い方でも弱選言としていえる．

[0172 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 08:09:01.99 0]

Pを1つの命題としP=Tを前提とする．このとき

P∨Q=T
P∨￢Q=T

となる命題Qを表示できる．
超論理的には

T∨T=T
T∨F=T

これは矛盾にならないのか？

例

a=b∨a,b∈N　　　2つの自然数は等しい
a=b∨￢(a,b∈N) 2つのa,bは等しい

つまり後段は何もいっていないようなものであるので
両者は矛盾の関係ではない

[0173 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 08:14:34.04 0]

まさにこれが反対の関係なのだろう．
論理学的にはこれらの関係を推理の一種として

矛盾対当
(小)反対対当

というべきだろう．

[0174 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 08:15:54.87 0]

黒の反対対当はさまざまな中間者
白の反対対当もさまざまな中間者

[0175 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 08:25:39.13 0]

では動と不動の対当推理は何に該たるか？
もしアリストテレスに従うのなら「不動の動者」すなわち神という概念により
動の反対対当は中間者
不動の反対対当も中間者
である．しかし，一般にはこの両者は矛盾対当であると考えられている．
その意味で論理というのも適用する対象(無定義語)によって変化をする．

ここからわかることは無定義語というのはある意味で「神」を意味してしまうかも知れない．
しかし，論理学や数学に不動の動者などという概念はいらないと考えれば
両者は当然に矛盾対当である．
このように中間者の存在が認められる場合，神の存在すら介入させてしまえるので
この矛盾と反対を考えるときには気をつけなければならないだろう．

おそらく中間者の存在を認める論理というのは神の信仰なのではないだろうか．
直観主義論理を採るつもりはないが，より高度でより正確な数学というのは
この中間者を認めることだということもできるかも知れない．
ただ私は(キリスト教的)神を信じていないので排中律を使い続けている．

この問題は何れ正面から向き合わなければならなくなるかも．

[0176 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 09:12:20.59 0]

X：命題変数
P,Q：2つの命題
とする．このとき

Pが成り立てば(P=T)

P∨X

より

P∨￢PやP∨Qなどいくらでも書ける．ここでP∨￢Pの使用を制限することは
直観だろうか？　これはa=bの問題に似ているかも知れない．同一の原理から
P∨Pは導出される．これをP∨Qと表示するときP∨￢Pはその表示に含まれるのだろうか．
これのみを考えた場合，私はこの表示はP∨Qに含まれない気がしている．
すなわち，ここからは排中律が適用できる根拠がない．
しかし，直観主義論理のようにPと￢Pを同列に語ることができるとすれば
P∨￢Pが導出できる．しかるに，排中律を適用してもしなくても
P∨￢Pは表示される．それゆえ，直観主義論理では排中律が成立するとは限らない，
というのは誤りではないだろうか．

☆　Pと￢Pを同列に語るとはP∨￢Pのことではなく，Pを仮定(前提)にしたときに
￢Pが示された場合，そこから命題変数Xが導かれることをいう．

例

1　　　(1)　P　　　　　　前提(仮定)
1　　　(2)　￢P　　 　　仮定
1　　　(3)　P∧￢P　　1,2.∧-導入
1,2　　(4)　￢P　　　　 3.∧-除去
1,2,4　(5)　⊥　　　　　 1,2-4.￢-除去
1,2,4　(6)　P∨￢P

[0177 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 09:16:38.45 0]

>私はこの表示はP∨Qに含まれない気がしている

意味

1　(1)　P　　　　　前提(仮定)
1　(2)　P∨￢P　1.∨-導入

これは制限しなければならない．また，先程の論証で∧-除去を使わざるを得なかったが
私は通常，この推論規則も制限している．その意味では排中律の使用を前提としなければ
P∨￢Pという表示はできないともいえる．

[0178 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 09:19:40.56 0]

>>176
訂正
2　　　(2)　￢P　　 　　仮定
1,2　　(3)　P∧￢P　　1,2.∧-導入

[0179 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 09:29:57.29 0]

バーンズさんの犬さがしをしてきます

[0180 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 10:41:31.05 0]

P,Q,R,S：4つの命題
とする．このとき

P→[Q∧R],P,S |- R∧S

を示せ．

☆ここでは∧-除去は制限していない．

(証明)

1　　　(1)　P→[Q∧R]　　　前提
2　　　(2)　P　　　　　　　　　前提
3　　　(3)　S　　　　　　　　　前提
1,2　　(4)　Q∧R　　　　　　 1,2.→-除去
1,2　　(5)　R　　　　　　　　　4.∧-除去
1,2,3　(6)　R∧S　　　　　　 3,5.∧-導入

このように∧-除去を適用することで証明が可能である．もしこの制限を
してしまえば，このような単純な判断を示すことすらできなくなる．

[0181 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 10:52:19.07 0]

P∨Q |- P∧Q

の場合はどうだろうか．

(証明)

1　　(1)　P∨Q　　　前提
2　　(2)　P　　　　　 仮定
　　(3)　P　　　　　 2.∨-除去
4　　(4)　Q　　　　　 仮定
　　(5)　Q　　　　　 4.∨-除去
1　　(6)　P∧Q　　　 3,5.∧-導入

またP∧Q |- P∨Qも成立するので

P∨Q -||- P∧Q

である．

結果

A判断を限量換位によってI判断にしてもよいことの判断材料になった．

[0182 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 10:53:04.61 0]

∧と∨それぞれの除去規則は制限しないことにする．

[0183 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 11:10:59.57 0]

してみればPが成立することを前提にしたとき∨-導入規則から直ちに

P∨￢P

を導出しても問題がない．但し，爆発律を制限している(矛盾許容論理の適用)ので
以下の論証はできない．

1　　(1)　P　　　　　　前提
1　　(2)　P∨￢P　　1.∨-導入
3　　(3)　P　　　　　　仮定
　　　(4)　P　　　　　　3.∨-除去
5　　(5)　￢P　　　　 仮定　　　　数学は恒真であるので￢Pは単独で成立しない(偽の仮定はない)
　　　(6)　￢P　　　　 5.∨-除去　
1　　(7)　⊥　　　　　 4,6.￢-除去

1　　(1)　P　　　　　　前提
1　　(2)　P∨￢P　　1.∨-導入
1　　(3)　P∧￢P　　2.同値変形　 数学は恒真であるのでこのような変形はできない
1　　(4)　￢P　　　　 3.∧-除去　　数学は恒真であるので￢Pは単独で成立しない
1　　(5)　⊥　　　　　 4.￢-除去

このように考えればたとえ矛盾許容論理だとしても⊥を放置することはない．
つまり爆発律を制限したとしてもそれは必ずしも矛盾許容論理ではないといえる．

[0184 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 11:17:04.23 0]

それでは2つの命題P,Qについて
P∨QとP∧Qを考える．これらは同値変形と除去規則によりそれぞれ単独で

P
Q　(山積)

と書ける．つまり導出|-に関して

P∨Q |- P
P∨Q |- Q
P∧Q |- P
P∧Q |- Q

とできる．以後の論証はこれに基づく．

[0185 山本大輝 ◆TFLeKzwqNtDb 2022/08/20(土) 11:18:48.00 0]

山積みとは「かつ」でも「または」でもない
三段論法や自然演繹でみられる

1　(1)　P
2　(2)　Q

のようなことである．

[0186 山本大輝 ◆TFLeKzwqNtDb 2022/08/30(火) 22:12:37.26 0]

数学のチャート式を読み始めた．
単元ごとに読もうと思う．
たとえば
白の数と式から始めて
黄の数と式
青の数と式
赤の数と式
というように．

現在青の数と式に入った．

[0187 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:18:22.14 0]

また何かかきますお

[0188 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:26:00.81 0]

今読んでいるのは国文法です．
最近覚えたのは

単語
・自立語
活用なし　 主語になる　名詞
　　　　　　　主語にならない　副詞　連体詞　接続詞　感動詞
活用あり　 述語になる　動詞　形容詞　形容動詞
・付属語
活用なし　助詞
活用あり　助動詞

[0189 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:30:09.32 0]

今日読んだのは動詞について
・自動詞と他動詞
・可能動詞
・形式動詞
を読みました

文法用語はなんだか難しそうですが
日常的な感覚もあり
そこまで難しくはありません

言語学を1つの目標にしたので
楽しいです

[0190 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:38:37.79 0]

今日は早く寝て
明日は数学を読みたいです
内容はガロア理論です
置換によって二項演算を定義したものが
どこまで通用するのかを考えたいと思います

[0191 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:40:51.82 0]

刑法やチャート式のことは終了しました．
今後チャート式は「本当に関数なのか？」という問題の時に
参照したいと考えています．

[0192 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 20:42:27.50 0]

三角関数も関数ではありませんでした．
もしかしたらアフィン空間が角度を捨てた理由かも知れません．

[0193 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 23:17:38.87 0]

今まで写像について
たとえば

f:A→B
x ? f(x)
を
f(x):=x
というように定義していたりした
しかしこのような定義によって理論の一般性は失われている
それはわかっていたがどう書いてよいのかわからなかった
今回それを打開することがわかったので
明日書きたい

[0194 山本大輝 ◆TFLeKzwqNtDb 2022/11/03(木) 23:18:17.90 0]

x→f(x)　xからf(x)への対応

[0195 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:15:53.51 0]

今日は群の構成ができた
これで初期状態なのに単射や全射になるようなものではなくなった
初期は写像かどうかもわからない
この状態が欲しかった
まさか無いならつくってしまえになるとは思わなかった

[0196 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:33:25.72 0]

今日の文法は
動詞の活用形と連用形について読んだ

・動詞の活用形

未然形
連用形
終止形
連体形
仮定形
命令形

・連用形の音便

イ音便
促音便
撥音便

あとはこれらを今までの日本人としての感覚・経験ではなく
理屈として理解することを目標にしたい
問題を解けることが物事を理解しているということではない例だ

[0197 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:37:21.44 0]

外国語の文法が難しいというのは
おそらく対応する日本語が難しいからだろう
国文法は古典のラテン語やギリシア語のような感じがした
外国人ではないのに外国語を習得することの難しさを思う
無意味に数式を暗記して解答している状態はわかったことにはならない
たとえば英語が難しいのではなく
英語に対応する日本語が難しい
そういう見方もできる

[0198 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:38:46.95 0]

外国語の習得というのは
経験には依らないという意味で純粋経験なのだと思う
将来外国語を学ぶかどうかはわからないが
純粋理性とは何かを考える一つの材料にはなると思うので
いつか学んでみたい

[0199 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:40:42.80 0]

今日言語学の本が届きました
とても面白そうです
少しずつ読んで行きたいと思います

[0200 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 21:46:29.05 0]

私が学生だった頃は
中国語の講義を受けたが
もうほとんど忘れてしまった
独学でドイツ語を読んだこともあったが
やはり忘れてしまった
当時は語学というものにそんなに興味を持っていなかったので
仕方ないかも知れない
今は数学へのある意味での絶望感からの逃避先として
語学及び言語学というのが浮上してきている気がしている
これが少しでも数学に関するストレスの軽減になるならよいかなと思う

[0201 山本大輝 ◆TFLeKzwqNtDb 2022/11/04(金) 23:34:44.37 0]

a=b
a≠b
のどちらでもないという状態が
今の有限群Gだ
ここから何を展開できるのかはわからないが
少なくとも出発点は発見した

[0202 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 00:05:07.41 0]

【使用する推論規則】

・∨　∧　→　∀　∃

・同一性規則

・矛盾許容論理(選言三段論法制限)

・背理法制限

・対偶法制限

・ド・モルガン制限

・二重否定制限

[0203 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 00:13:18.31 0]

とくに二重否定について

a-bに対して順序対でなくても

a=1
b=-1 　2

a=4
b=2　　2

a=3
b=5　　-2

により写像にならない

[0204 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 00:15:25.33 0]

負の数は入れられたが
二重のマイナスは認められない
これをとくに群で気を付けたい

[0205 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 00:37:10.93 0]

やっぱりダメかもしれん

[0206 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 00:56:36.33 0]

ペアという考えを捨てて

たとえば

①同-同
2-1=2
-1+2=2

異-同
4-2=2
8-6=2

②同-同
3+2=5
2+3=5

異-同
10-5=5
8-3=5

という塊でみて
さらに
可換ということも無視すれば

異-同

という性質をもつことがわかる
これで写像の一意性が担保できると思われる
単射については
①と②が異なるものから異なるもの
という見方ができるときに成り立つと考える

[0207 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 01:10:08.25 0]

可換
a+b=b+a

2-1=-1+2
2-1+1=2

二重負の制限は移項という省略を無効にすることがわかった

[0208 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 01:14:41.03 0]

可換な有限群しか考えないのなら

同-同

異-異

で分けられる

これもありだな

[0209 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 01:19:59.27 0]

①と②を大局的にみて異-異とみる必要がない
これで統一的に

同-同

をいえることがわかった

a=b　|-　f(a)=f(b)

写像を確かめるのはこれだけでよい
単射はこの逆をみる

[0210 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 01:38:07.84 0]

可換有限群なら二重負があっても問題ない
可換なら
a-bは出てこない

[0211 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 01:59:06.08 0]

いやa-bはあるか

[0212 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 02:01:58.87 0]

あくまで
a+(-b)=(-b)+a
と書けるだけ
可換なら
a-(-b)=(-b)-aがないと言いたかった

[0213 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 21:49:28.03 0]

伊藤昇『復刊　有限群』共立出版

を読み始めた

・群
・部分群
・位数

を定義した
部分群の証明はできたが
位数は唯名的定義なので概念を定めるだけ
定義も一辺倒に証明すればよいというわけでないことを思い知る

[0214 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 21:58:13.67 0]

実質的定義：概念の内容を説明するもの
唯名的定義：概念の形式を説明するもの
操作的定義：記号の性質や方法

[0215 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 22:05:13.33 0]

国文法は
動詞の終止形と連体形について読みました
この二つは同じ表示になることが多いので
動詞の後にくる言葉で判断する必要があります
ちょっと難しいかな

[0216 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 22:07:08.62 0]

言語学は第一章の半分程度まで読みました
まだ印象に残るようなものはありませんが
面白いです

[0217 山本大輝 ◆TFLeKzwqNtDb 2022/11/05(土) 22:18:48.79 0]

実質的定義：概念の内容を定めるもの　要証明


唯名的定義：概念の形式を定めるもの　証明不要


操作的定義：記号の性質や方法　　　　　要証明


指示的定義：前の定理に含まれる概念の説明


発生的定義：概念の成立条件などの説明　証明不要

[0218 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:07:12.34 0]

等価
等価関係
等価類
剰余類
を定義し証明しました

[0219 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:08:00.13 0]

等号で表されたものがあれば
それらは写像で説明ができるのだなあと思いました

[0220 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:10:08.75 0]

今では

f(x):=a+b
c=a+b

という表示も可能になりましたが
正田の代数学ではこの辺がぼかされて定義されていたので
もしかしたら当たり前のことではないのかも知れません

[0221 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:11:28.61 0]

正田の代数だと
演算はどこで定義したのか？
そういう質問が来るでしょう
私はそれに応えられるものを考えました

[0222 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:13:47.44 0]

国文法は動詞の活用表を利用するものでした

[0223 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:25:57.22 0]

言語学は第一章を読み終えました
ロシア語は印欧語族に分類されるようになったんだなあと思いました
私の地理の知識だとたしかヨーロッパとは別の語族だった気がします
その違いが私に影響することはありませんが
知識は常に更新していきたいなと思いました

[0224 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:27:47.90 0]

たしかウラル語族だったかな
まあ著者の視点の違いだけかも知れません

[0225 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:29:02.47 0]

高度な研究ほど分類ないし区分にこだわりますが
中身がないことが多いので私はそんなに気にしていません
まあ研究はそういうものなのかも知れませんけど

[0226 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:32:14.33 0]

たとえば有理数体について

Q-{0}

でないと乗法群にならないけど
これだと加法群にならない

加法群かつ乗法群で体になるという説明は妥当なのか？

[0227 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:38:12.47 0]

どうすれば簡単に体を説明できるか

[0228 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:46:58.57 0]

Qが加法群のとき
乗法逆元の条件をみたさない

Q-{0}が乗法群のとき
加法単位元の条件をみたさない

環は

2つの演算
加法群
乗法結合律
(乗法単位元の存在)
分配律

をみたすものをいう

[0229 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:51:41.56 0]

体とは

(可換)環
0以外単元であること

これはQが加法群であることの条件と相反しない
つまり0に乗法逆元がないということに反しない

[0230 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:53:53.64 0]

群から環へ
環から体へ
というのはよく考えないと間違えやすいなと思ったので書いてみた

[0231 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:55:51.06 0]

有限群から環をいうにはどうすりゃいいのかなあと思った

[0232 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 19:56:46.29 0]

しばらくは加法群だけで考えてみます

[0233 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 21:24:00.68 0]

定義の性質を厳密に考えると難しいので
ここでは
実質的定義　要証明
唯名的定義　証明不要
必要があれば
指示的定義

の3つで表して行きたいと思います

[0234 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 21:25:45.41 0]

ああでも
ここに書いた体の定義は
実質的定義よりも発生的定義に近いと思うので
やはり5つのタイプで書き分けたいです

[0235 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 22:38:06.23 0]

aaa...aaa　k個

aaa　3個

この違いはあるのか

[0236 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 22:38:33.63 0]

k個とは何個なのかわからなくなった

[0237 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 22:40:38.74 0]

特殊から一般はいえるが
一般から特殊は必ずしもいえない

それならk個成立している時
たとえば0個が必ず成り立つとは限らないが

3個成立している時
これが無仮定(無条件)で成立するなら
k個成り立つといえると考えている

[0238 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 22:49:19.83 0]

1個で成り立つと
2個で成り立つと
・・・・・・

という考えではない

無条件に1個が成り立てば∀-導入規則よりk個成り立つ
このときこの1は固定されている
1で固定しようが2で固定しようがaで固定しようが意味は変わらない
たとえば最初に1で固定してこれに2を加えるような条件があって
仮定落としができない場合この固定した1を全称化することはできない

その意味ではじめにaで固定しても何らかの条件がこのaに加えられて
仮定落としができない場合にはこのaの全称化はできないのであるから
1で固定しようがaで固定しようが同じだと考えている

[0239 山本大輝 ◆TFLeKzwqNtDb 2022/11/06(日) 22:54:53.36 0]

たとえば

a∈A→a∈B

を示すときに(後件仮定の話は無視する)

a∈Aで固定することはできる
b∈Aで固定することもできる
しかし
a∈Bで固定はできない

このaで固定というのはそのような意味しかない

もしA,B:={1,2,...,n}だった場合

a∈Aで固定しようが
n∈Aで固定しようが
1∈Aで固定しようが

同じだと考える
ここでもb∈Bで固定することはできない
そのような意味だと解している

[0240 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:33:49.02 0]

ダメだ頓挫したわ

f(x):=a+b

f(1)=1+0
f(1)=0+1

f(2)=2+0
f(3)=2+1

①等しいものは等しいものへ
②異なるものは異なるものへ

が競合している

[0241 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:35:47.90 0]

加法で非可換てあるのかなｗ

[0242 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:36:45.76 0]

まさか1+1を説明するのがこんなにも難しいなんて......

[0243 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:39:32.78 0]

シングルトン性より

f:G→G

の定義域のGではその要素について相異なる

ここまではよかった
しかし可換が説明できない

[0244 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:43:40.65 0]

f(0)=0+0
f(1)=1+0=0+1
f(2)=1+1
f(3)=1+2=2+1
f(4)=2+2

f(0)=0+0
f(1)=1+0=0+1
f(2)=2+0=0+2
f(3)=1+2=2+1
f(4)=1+3=3+1
・・・・・・

[0245 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:45:45.79 0]

f(x):=a+b

は単射ではない

今まで全単射でy=f(x)を扱ってきたので
全単射と全射の違いが何なのかを考えたい

[0246 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:47:14.84 0]

全射である以上

y=f(x)

とは書ける

[0247 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:47:49.02 0]

逆写像があるかないかの違い程度ならいいけど

[0248 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 00:58:23.84 0]

写像が全単射の場合の方程式というのも
どうしたものかと思っている
そもそもそういうものに対して方程式を立てる必要があるのか
つまり逆写像が存在しているのに定義域を探る必要があるのか
という問題がある
出鱈目に問題をつくるものじゃない

[0249 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 01:01:23.42 0]

以前
写像が全射の場合に方程式が確実に立てられるということを
思ったことがあったが現在まだわからない

[0250 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 01:04:34.82 0]

写像が全単射のときに方程式は考えないとして
写像が全射でなければやはり方程式は立てられないと
考える
全射y=f(x)からf(x)=0が導出できるからだ
これがないと

f(x):=0

という定義になってしまいこれは偏亜群と同じ思想だ

[0251 山本大輝 ◆TFLeKzwqNtDb 2022/11/07(月) 22:43:43.94 0]

準同型とエピを読んだ
等号の使い方に注意が必要だなと思った

[0252 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 00:48:04.35 0]

国文法は引き続き動詞の活用

五段活用
上一段活用
下一段活用
カ行変格活用
サ行変格活用

これらの練習でした
中学生の頃は全然意味がわからなかったなあと
思い出しながら読んでいます

[0253 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 00:49:21.55 0]

言語学はコラムを読んでいます

[0254 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 00:53:46.36 0]

表音文字・表意文字
だと思っていたら
表語文字というそうだ
言葉は変化していくなあ

[0255 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 12:39:12.21 0]

たとえばA⊆Bについて
これはたとえA≠Bだとしても
A=Bと判断してよい

A=B-||-A≠B

である以上矛盾ではないから

[0256 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 12:42:29.37 0]

ここから
AならばB
というのは

A |- B

を用いる

[0257 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:40:32.07 0]

二乗がどうにもならん

[0258 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:45:37.05 0]

x→f(x)　対応

f(x):=a^2

∀x[x∈R]
∃f(x)[f(x)∈R]

x=[1,-1,2]
f(x)=[f(x)=y]

f(1)=1
f(-1)=1
f(2)=4

ゆえにこの対応は写像でない

[0259 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:48:04.77 0]

x=aa

f(x):=aa　i.e.　f(x):=a^2

定義域が直積(ペア)でなくても矛盾を回避できない

[0260 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:49:56.83 0]

Rの意味がなかった

[0261 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:50:24.35 0]

扱う集合はRでなくて置換により構成したG={0,1,...,n}とする(これでも無理だが)

[0262 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:51:17.41 0]

いや
G={-k,...,-1,0,1,...,k}
これだ

[0263 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 14:52:03.49 0]

∀n[n∈Z]

n=[k]

[0264 山本大輝 ◆TFLeKzwqNtDb 2022/11/08(火) 22:28:44.62 0]

今日は正規部分群と剰余群を読みました

[0265 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 00:10:46.70 0]

カーネルKが0になることをモノという
という定義は一般の単射とは違うのだということがわかりました
写像は単射だけどKが0の集合になるとは限らないという状態が教えてくれました

K={0}

をモノということにしたとき

K⊆{0}

は直ちに言えますが

{0}⊆K

は何か条件がないといえません

つまりカーネルを構成している写像f(x)=0のxが0のみとは限らないからです
これをいえるにはどういう条件が必要なのかなあと思いました
左剰余類H+xのHが肝になりそうです
剰余群G/HのHに何か条件があればカーネルが0になるといえるときもありそうです
たとえばH={0}とか

[0266 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 00:12:29.81 0]

ゼロで割る割らないとかその辺がよくわからんです

[0267 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 00:12:55.78 0]

体の話ですかね

[0268 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:02:29.86 0]

>>265
これ逆だな

{0}⊆K

は直ちにいえるが

K⊆{0}

が何か条件を必要とする

[0269 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:03:44.03 0]

いや両方とも直ちにはいえない
と考えるべきだ

[0270 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:06:48.77 0]

準同型写像がエピにならなくなったｗ
わからん
寝よう

[0271 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:11:22.38 0]

カーネルは写像の定義に依存している

いま写像をη(x):=H+x

で定めるとき必ず

η(0)=0

なのか？

H+0

はH={0}のときH+0=0だがそれ以外なら0とは限らない
してみれば
η(0)=0
とは限らないだろう

[0272 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:22:16.56 0]

カーネルとはxの像を0にするようなものを集めたもの
η(0)=0
とは限らんなあ

[0273 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:23:57.38 0]

エピがわかった

[0274 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 01:43:56.85 0]

η:G→G/H
がエピだというが

η(G)ｊは集合
G/Hは集合系

レベルが違う

この間に等号関係はあるのか？

合併集合の公理に

a∈A　-||-　A∈α

というものがあるがA=αではない

[0275 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 02:03:26.21 0]

加法群でのカーネルは必ず0をもつか？

[0276 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 12:02:40.78 0]

η:G_1→G_2　エピ

G_1/K_η={K_η+x|x∈G_1}

G_1/K_η={{0}}

が示せないので中断

{0}∈G_1/K_η

なんてないお(´・ω・`)

[0277 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 12:21:29.84 0]

>>274
表示はされていないが

{η(G)}

と解釈すれば両者ともに集合系だということがわかる

[0278 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 14:56:04.25 0]

打開策を見つけた
ちと昼寝

[0279 山本大輝 ◆TFLeKzwqNtDb 2022/11/09(水) 18:51:20.37 0]

全部単位元にして証明した
特殊から一般の例

[0280 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 00:21:59.01 0]

動詞のまとめを読んだ

[0281 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 00:22:58.35 0]

言語学は数学とはあまり関係のなさそうな音の部分を端折った

[0282 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 19:57:03.51 0]

加法群しか考えていないので
整除関係は飛ばす
(コーシー-ラグランジュの定理)

[0283 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 19:58:18.34 0]

あ
でも環のことを考えたら
飛ばさない方がよいかも知れないので
やっぱり飛ばしません

[0284 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 21:35:57.08 0]

形容詞について読んだ

[0285 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 21:36:40.76 0]

言語学は今日も省略

[0286 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 21:37:13.62 0]

言語学の次回は単語と書いてあったので
そこから読もうと思います

[0287 山本大輝 ◆TFLeKzwqNtDb 2022/11/10(木) 21:37:43.82 0]

単語をさらに分解するとあったので飛ばすかもｗ

[0288 山本大輝 ◆TFLeKzwqNtDb 2022/11/12(土) 19:54:15.54 0]

今日の言語学は意味論を読みました
目新しいことはなかったです

[0289 山本大輝 ◆TFLeKzwqNtDb 2022/11/12(土) 19:55:56.28 0]

文法は形容詞の活用です
形容詞は古文っぽい活用があるのでちょっと面白かったです
正式な日本語というのも所詮ある特定の地域の方言に過ぎないなんて
思ってしまうと勉強はできないかも知れません

[0290 山本大輝 ◆TFLeKzwqNtDb 2022/11/12(土) 19:57:20.24 0]

数学は線形代数の他に彌永とは別の集合と位相を読み始めました
比較的新しいものなので現代の合理性を感じる述べ方だと思いました

[0291 山本大輝 ◆TFLeKzwqNtDb 2022/11/14(月) 21:33:01.27 0]

昨日と今日は副詞を読んだ

[0292 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 21:52:39.66 0]

15日から中学課程の五教科を読むことにした
国語
英語
数学
これらはじっくり
理科の物理と化学以外
社会
これらは速読

数学と理科以外問題は解かない
解くことが目的ではないから

それと専門書として数理論理学を再開した
今日は演算の構成について考えた
楽しかった

[0293 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:00:31.60 0]

文語文の知識なんてほとんどないけど
なんとなく読めてしまうというのが現状だ
たとえば理屈として助詞を説明できるようになれたら面白そう

[0294 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:02:09.37 0]

毎日読んでいたらきっとわかる日がくる

[0295 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:03:43.55 0]

五教科の読書を始めて最初はとても眠くなった
おそらく神経細胞の結合が変化していたのだろう
そういうミクロの世界のことを思うと少し怖ろしい
自分は結局脳の改造がしたいだけではないかってね

[0296 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:07:06.60 0]

とくに社会科が得意なので
あまり読まなくても全部を暗記しているのだが
時代を意識して読むようにしている
たとえば聖武天皇は奈良時代
次に桓武天皇は平安時代
みたいな感じ
高校課程になると急に難しくなるから
簡単なところで如何に複雑に考えるかということをしている

[0297 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:17:32.30 0]

今日読んだもの

国語　古文　竹取物語の一部
数学　方程式　文章題
英語　This That It の疑問形
理科　生物
社会　全部

数理論理学　束の構成

[0298 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:24:04.59 0]

ある人に
a　と　the　の違いや　a　の使い方について自分が考えたことをいってみた
そしたら面白いねっていわれた
a というのは観念や比喩にも使えると思う
だから
a sun というのはアイデア(存在根拠)を意味していて
まさに洞窟の比喩の話は a の問題だと話した
a sun があるから the shadow があるってね

そんなことを考える人はいないよっていわれた(^^♪

[0299 山本大輝 ◆TFLeKzwqNtDb 2022/11/20(日) 22:27:05.83 0]

プラトンなども日本語訳のものしか読んだことがないから
英文や原著で読んだら面白いだろうなと思った
今までいつかいつかと思いつつ手が出なかった
語学の勉強が面白いと感じるようになったのは最近で
学生の時は全然わからなかった
たぶん構文論的意味論というのを理解しつつあるからかも知れない

[0300 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 16:28:00.21 0]

国語　古典　平家物語　論語　など
数学　中一の全範囲
英語　否定形　This is not　など
理科　中一の全範囲
社会　全部

数理論理学序説　読了

[0301 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:04:09.12 0]

第一次風林火山

ε-δが血肉になるまで動かん

[0302 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:28:13.78 0]

私の理屈だと逆像はとれない
あるいは
とれる場合というのは順像の世界がひっくり返ったものになる
順像と逆像はまさに表裏の関係だということがわかった

[0303 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:29:32.66 0]

いつか多様体というのをわかりたい

[0304 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:30:27.75 0]

まあ開集合についても血肉になるまで動くつもりがないから
時間切れかも知れんが

[0305 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:31:56.24 0]

集合論を読んで位相に入る頃には集合のことを忘れている
そういうことを何度も繰り返してきた
まだ時間が掛かるのだろう

[0306 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:33:21.84 0]

無限回微分可能とかってどういうことなのか想像できない

[0307 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:38:03.30 0]

C^∞級ってやつだ
抽象代数幾何学の要素としては大別して

・可換環論　可換体論
・C^∞関数　多様体
・アフィン幾何　射影幾何

こんな感じだと思う
現時点でいくらでも名詞なら書けるけど意味はわからない
グロタンのスキームXはただの集合Xではなかったかという話があるが
全部を本当にわかっているという状態があり得るのかというのは疑問だ
わかっているとは何かという問題もある
それでも挑みたい

[0308 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:39:28.75 0]

方程式論から群論が生まれ
そこから体論へと拡張されたが
結局環論に至った
という話があった
面白いなと思ったけどもっと数学を理解できればもっと面白いのだろう

[0309 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:40:52.10 0]

自明先生(永田雅宜)の講義とか聴いてみたかった

[0310 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:44:55.52 0]

順像が存在すれば逆像は存在する
しかし
逆像が存在したとしても順像は存在するとは限らない

修士課程の演習問題です

[0311 山本大輝 ◆TFLeKzwqNtDb 2022/11/21(月) 21:45:34.43 0]

私の理屈だと順像があると逆像は存在できないけどｗ

[0312 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:33:08.11 0]

具体的な計算をしない分野は誰かの妄想の垂れ流しの可能性がある
いま極限値の計算をしていたのだが
項を割るって誰の考えなのか知らないが変だろ？
俺は割らないで無限を考えたよ
たぶん俺だけの正解なので通用しないと思うけどネットに残しておく

[0313 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:36:45.30 0]

中学課程のおべんつよは中断して
微分積分学に注力したい

[0314 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:46:28.64 0]

計算があっても妄想の可能性もあるな
俺の妄想なのかどうなのか
y=f(x)がここまで強力だとは思わなかった

[0315 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:48:59.71 0]

なにせ偶数が2k(∀k∈Z)と表示される世界だ
中身はボコボコだよ
少なくとも俺はそんな偶数を認めない

[0316 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:49:35.25 0]

なにがすべてとあるがわかってねえだ
おめえがわかってねえよｗ

[0317 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:50:08.44 0]

おれは哲学からきた人間だぞｗ
限量記号がそんなちょろい記号だと思ったか？ｗ

[0318 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:53:08.99 0]

まだ哲学と論理学が未分化で
論理学の中に概念を論じる時代のものから読んできてんだよ
あんた高校数学の集合と論理程度の頭だろ？
対偶？　背理法？　自然演繹だと破綻してんだけど
そういうことわかってんの？

[0319 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 01:58:28.66 0]

何か言われてむかつくってことはそいつのことをある意味で認めてしまっている
ということだな
悔しくて情けない

[0320 山本大輝 ◆TFLeKzwqNtDb 2022/11/22(火) 22:38:03.79 0]

今日は連続関数と群の単位元について考えた

[0321 山本大輝 ◆TFLeKzwqNtDb 2022/11/25(金) 21:58:32.21 0]

微分係数から考え直してみたけど
xの変化量とyの変化量という単純なものを
考えるのは難しかった

また明日

[0322 山本大輝 ◆TFLeKzwqNtDb 2022/11/27(日) 22:30:45.38 0]

級数が収束するとはどういうことかを読みました
すでに極限の考え方が世間とずれているので
一般的理解とはいきませんが
このまま進んで行きます

[0323 山本大輝 ◆TFLeKzwqNtDb 2022/11/30(水) 00:08:47.24 0]

級数の前に数列がコーシー列になるか確かめる修行するわｗ

[0324 山本大輝 ◆TFLeKzwqNtDb 2022/11/30(水) 00:14:10.98 0]

コーシー列もそうだけど
単なる数列の収束についてしばらく考えたい

[0325 山本大輝 ◆TFLeKzwqNtDb 2022/11/30(水) 00:18:06.77 0]

数列の鬼になりたい( ｰ`дｰ´)ｷﾘｯ

[0326 山本大輝 ◆TFLeKzwqNtDb 2022/11/30(水) 00:27:11.96 0]

微分積分の後に数列という配置はつらいな
でも高校生は数学だけを考えればよいという訳ではないからな（　＾ω＾）・・・
難しいところ

[0327 山本大輝 ◆TFLeKzwqNtDb 2022/12/05(月) 21:10:03.84 0]

今日から数列漬けです

[0328 山本大輝 ◆TFLeKzwqNtDb 2022/12/05(月) 21:18:36.37 0]

本の最初から最後までを順番通りに読むというのは理想的だけど
実際には現在興味のあること
疑問に思っていることなどから読んで行く方がよいということがわかった
やはり気持ちが入ってないと苦痛になってしまう
こういう部分で人間って面白いなと思う

[0329 山本大輝 ◆TFLeKzwqNtDb 2022/12/05(月) 21:42:44.05 0]

とはいえ
1つやったら1つ忘れ
を繰り返すだけなので
並行して数1の最初からも読んでます

[0330 山本大輝 ◆TFLeKzwqNtDb 2022/12/06(火) 23:18:49.26 0]

数列でグラフの最大値を求める問題に会った
これは数1からやり直さないとこの発想にならないなと思ったので
最初からやり直している
1日10問くらいを考えるので一杯かな

[0331 山本大輝 ◆TFLeKzwqNtDb 2022/12/08(木) 22:07:44.18 0]

物体の運動をヒントに極限を考えることにした

[0332 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 09:29:48.05 0]

今日は等差数列が載っている本をかき集めて
等差数列だけを考える

[0333 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:20:00.85 0]

数列の本を1冊読み終えたので
高校物理基礎の物体の運動に関する部分だけを読んだ
0で割っている問題も散見した
無限の問題にはまだ至らないが
あるものがあるものに限りなく近づくということを考え続けたい

[0334 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:27:26.46 0]

明日も等差数列と物体の運動について考えて行きたい

[0335 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:29:27.07 0]

たとえば実数列(a_n)について

lim_[n→∞]a_n=∞

だったとする
このとき無限は何処に属するのか？
そういうことも気になった
集合のレベルだと無意味な話かも知れない

[0336 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:31:31.13 0]

以前等比級数が何れにしても1に収束することを示したのだが
この考えが通じるのか
それとも無限なんてなかったか
そんな風に思っている

[0337 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:34:02.93 0]

たとえば現に与えられているあらゆる問題を解けるようになることが
わかったということではない

[0338 山本大輝 ◆TFLeKzwqNtDb 2022/12/09(金) 21:36:12.36 0]

私の今の考えではおよそ極限を説明したことにならないので
どうにかしたい

[0339 山本大輝 ◆TFLeKzwqNtDb 2022/12/10(土) 23:04:04.49 0]

道具のない中で現象を書くことはできないので物理学は中断しました
今日も等差数列です
血肉になるまであとどれくらい掛かるかわかりませんが
焦らずにやっていきたいです

[0340 山本大輝 ◆TFLeKzwqNtDb 2022/12/12(月) 22:41:19.54 0]

今日は理科や平面図形などいろいろ手を出してしまったので疲れました

[0341 山本大輝 ◆TFLeKzwqNtDb 2022/12/14(水) 22:17:35.19 0]

今日は白チャートの多項式の展開を読みました
明日は黄チャートを読みたいと思います

[0342 山本大輝 ◆TFLeKzwqNtDb 2022/12/14(水) 23:01:11.84 0]

ありがとうございます

[0343 夢見る名無しさん 2023/06/05(月) 20:56:20.16 0]

（W。-）v-～

[0344 夢見る名無しさん 2023/09/01(金) 20:46:34.12 0]

やった、これはワクワクが止まらないね！

[0345 夢見る名無しさん 2023/09/20(水) 02:26:04.42 0]

ご飯の支度、面倒くさいな〜。

[0346 夢見る名無しさん 2023/09/30(土) 04:20:22.22 0]

TAIKI⭐︎

[0347 夢見る名無しさん 2023/10/18(水) 04:52:50.62 0]

うげっΣ(￣□￣！)

[0348 夢見る名無しさん 2024/02/25(日) 08:18:49.38 0]

4ヶ月の空白を埋めに来ました

[0349 夢見る名無しさん 2024/03/02(土) 23:06:46.15 0]

タイキフザイ

[0350 たいき#lafie23k2l4p 2024/03/17(日) 02:11:39.64 0]

戻ってきました．トリ失くしたけど．

[0351 たいき ◆2ZxshvBw0E 2024/03/17(日) 02:13:01.48 0]

test

[0352 たいき ◆2ZxshvBw0E 2024/03/17(日) 02:15:38.16 0]

またあしたから学習して考えたことを書こうと思います．
最近は哲学に関心があります．
①哲学史
②ヨーロッパ精神史
③法の概念
④不完全性定理
等々
こんな感じで読んでいます．

[0353 夢見る名無しさん 2024/03/20(水) 14:40:58.68 0]

たいき、哲学以外の事も勉強しなさい

[0354 夢見る名無しさん 2024/03/20(水) 14:42:17.53 0]

実用的な事も勉強しなさい
お母さんたいきが心配です

[0355 たいき ◆2ZxshvBw0E 2024/03/20(水) 20:16:44.65 0]

ｗ

[0356 夢見る名無しさん 2024/04/06(土) 00:43:02.94 0]

今日も顔も思想も真っ赤な連中が逆ギレしてんの？
これちょっというだけそんなこと言う資格あるんかこいつ
https://i.imgur.com/rNJj6ai.jpeg

[0357 夢見る名無しさん 2024/04/06(土) 00:51:14.01 0]

>>84
もうアニメ終わるのにな

[0358 たいき ◆2ZxshvBw0E 2024/04/06(土) 01:13:37.07 0]

まあ本当の論理学とかそういうことよりも
大衆にとって都合の良いものが残るからな
伝統的論理学の三段論法で主語を上に持ってくることが
一階述語論理学だとすると二階述語論理学というのは
述語の述語を考える
すなわち
述語を量化することだと考えた
たとえこの論理が消えて行ったそしても
いまはもう後悔していない
すべては文論理に換言(還元)されることを知ったから

[0359 たいき ◆2ZxshvBw0E 2024/04/06(土) 01:16:11.82 0]

文論理によって暇になってしまったら対当関係を考えるのもよいかも知れない

[0360 たいき ◆2ZxshvBw0E 2024/04/06(土) 01:53:40.82 0]

二階述語論理がなぜダメかの例

任意の集合Xはすべて要素をもつ

すなわちラッセルのパラドックスに抵触する
僕はしばらく嘘つき問題を考えてみようと思っています
今日くらいに本が届く予定です

「僕はうそつきだ」

[0361 たいき ◆2ZxshvBw0E 2024/04/06(土) 02:00:44.65 0]

∀∀型がダメだという理由でもあります
してみると古代からうそつき村概念というのはあったのだとわかります
そこで伝統的論理学は換位・換質という技術を使いました
それなら∀∀型というのも言えますが

任意の集合Xはある要素をもたない

と変形されます
もしかするとすべての科学は必ず証明できないものがいくつか存在する
というようなゲーデル的な指摘ができるかも知れません
これが不完全性定理だとすると悲しいですね
おそらく古代人はとっくにこの事実を知っていたと思われます

[0362 たいき ◆2ZxshvBw0E 2024/04/06(土) 02:06:37.49 0]

フェルマーの最終定理も同じことでしょう

理論には必ず缺欠がある

これが事実ですが歴史主義はこれを超克しようとしました
ヘーゲルやサヴィニーです
この点でも数学と法学の共通部分が出てきます
いつかこの問題も考えたいと思っています

[0363 たいき ◆2ZxshvBw0E 2024/04/06(土) 02:13:40.02 0]

フェルマーの問題というのは「存在しないこと」の証明です
これをよく考えるとすべての存在定理についていくつかの不在がある
ということだと思います
よく全称判断に対して1個反例を挙げればよいなんて言いますが
それはこの二階論理だと誤りです
いかなるもののいくつかの要素は存在しない

これは何でしょうかね
ゆっくり考えておきます

[0364 たいき ◆2ZxshvBw0E 2024/04/06(土) 02:19:49.65 0]

ロストした歴史
ロストした数式

戦争の目的が歴史を消すことだったり科学を奪う(自分だけ所有する)ことだったりするので
おそらくアラビア周辺には秘密があると思います
現状でも石油という魔法を使っているわけですから
その知識は相当なものだと思います

因みに地球資源無限説を唱えている本が(どこかの)大学の図書館に置かれていますｗ

[0365 たいき ◆2ZxshvBw0E 2024/04/06(土) 02:28:14.12 0]

アリバイを日本語で書くと「不在者証明」と言います
前述の通りすべてのものには不在があるのですから
たとえアリバイがあったとしてもそれで犯人でないことの証明には(本来)なりえません
実際に冤罪や誤認逮捕があるのはそのせいでしょう
そう考えば刑法学も楽しいかも知れません

[0366 たいき ◆2ZxshvBw0E 2024/04/06(土) 06:47:26.51 0]

すべての人間は動物である
∀x[x∈A→x∈B]
とするとき
すべての人間はある動物である
とは何だろうか
いま
すべての集合Xはある要素xをもつ　☆
∀X∃x[x∈X]
を考えてみる

例
A：人間
a：動物

a∈A

つまり☆は適当な集合cに対して
c∈c
の世界をどうしても含んでしまう
すなわち
人間∈人間　(人間の集合を要素とする人間の集合の構成)
これはラッセルの背理であり
このような論理式を使うことはできない
でもどうだろうか
もし「すべての集合はある要素をもつ」が書けないとしたら
集合の要素とは何か？　集合とは何か？
という問題にならないだろうか
もしかするとこの「すべての集合はある要素をもつ」という物自体がラッセルの背理
あるいはうそつき村問題ということではないだろうか
もちろん空集合については「ある要素」のsuch. that. 性よりこの判断に含まれている

[0367 たいき ◆2ZxshvBw0E 2024/04/06(土) 06:52:39.86 0]

これからの課題としては「すべての集合はある要素をもつ」という判断は
常に自己言及的でこれはトートロジーとしてしか表すことができないのだろうか
またもしすべての事物に自己言及が入っているとしたら
世界はすべてトートロジーなのか？

[0368 夢見る名無しさん 2024/04/07(日) 22:51:35.20 0]

「お父さんとかお母さんが前よりも近くで声かけていただろう

[0369 夢見る名無しさん 2024/04/07(日) 23:31:38.95 0]

ほんと無理
人気は自分の部屋がない。

[0370 夢見る名無しさん 2024/04/30(火) 07:52:55.52 0]

たいきは無事か？

[0371 夢見る名無しさん 2024/04/30(火) 16:44:58.63 0]

>>370
さあ

[0372 夢見る名無しさん 2024/05/01(水) 00:50:28.59 0]

あばよ