人気のスレッド
乃木坂46
905
5176.6
9055176.6既婚女性1884111.2
1884111.2ニュー速(嫌儲)532494.1
532494.1
ニュース速報+531759.2
531759.2
ニュース速報+1451716.2
1451716.2
ニュース速報+3761380.3
3761380.3乃木坂463731361.7
3731361.7ニュー速(嫌儲)501099.8
501099.8
ニュース速報+2131097.5
2131097.5市況1963894.5
963894.5もっと見る
ここでは日頃学んでいることを
アウトプットして
より学習効果を高めようという場です。
19歳から勉強を始めて約20年ですが
読むだけよりも書いて考える
ということの重要さを思い知りました。
【内容】
刑事法学(刑法学・刑事訴訟法学)
法理学
伝統的論理学
数学
理科
をやって行きます(追加の可能性あり)．
生き物の体系
地球の仕組
などを読みました．小学理科なので速読です．
力学及電磁気学や化学の分野に入ったらよく考えたいです．
生物や地学は暗記するものなので流し読み程度です．
たとえば「雨が降っている」これは言明の内容を確かめて
もし降っていれば真，降っていなければ偽が決まる
という性質をもっている．これに対して，論理的真とは
「雨が降っているならば雨天である」などをいう．
このような論理的真はその内容を確かめなくてよい．
形式論理とはこのようなことをいう．論理的真を決定する規準は
経験から得られるものではなく，思考それ自身のアプリオリ的原理である．
このような理由から，形式論理学とは存在に関する原理ではない．
論理学は存在論ではないということは，すなわち形而上学的部分を捨てる
ということである．もちろん，徹底はできていないので形而上との矛盾はある．
しかしながら，形式論理というのは存在の法則すなわち，自然あるいは社会を
支配している法則という意味を含めず，思考展開の原理として理解する，という
立場を採っていることに留意されたい．
形式論理に従う限り数学も形而上学を捨てる学問だといえる．
この辺は法理学が論理学の範疇にない，ということから
寧ろ法理学こそが形而上学ともいえるかも知れない．
これから
数学
論理学
法理学
を総合的に考えて行きたい．
それゆえに，統計学は数学ではないと云われてしまう理由もわかります．
しかし，仮に統計学が数学ではなくてもその有用性を失う理由にはなりません．
今後，益々統計学は必要になって行くことだと思います．
学問の分類など百科全書派でない限り無用の産物です．
外野を気にせず学習できればよいなと思います．
法の概念を書いた．それゆえ，私はこの分析法理学という言葉を積極的に
使用して行きたいと思う．
伝統的論理学が入らないことを断っている．というのも，法の概念には
類がないというのだ．類がないということは最高類概念すなわち範疇もなく
概念について外延や内包で記述することが難しいということである．
この問題をなんとか解決できないか，という目的で本書を読んで行きたい．
勘違いしていた．ハートによればそれは誤りなのである．たとえば国際法を
考えた場合，条約は必ず憲法や法律に優先するのか，それとも条約は憲法(法律)
の傘下に入るのかということが明確ではない，ということを挙げられる，と思う．
法律は憲法に従うという矛盾をもっている．つまり，通常の法律の立法の根拠が
憲法であるにもかかわらず，憲法を立てるにはその法律が必要である，というものである．
これでは概念の外延は定まらず，また内包も決まらない．ということを知った．
哲学的な意味での批判をし，そしてまた，批評も試みているのが
窺われる．私もそのような読書ができるようになりたいと思っている．
〇存在
●非在
とする．このときものが唯一つであるとは
〇●●●・・・・・・計量数は無限 順序数は1
に対して
〇●●・・・・・・
〇●●・・・・・・
が存在したときに
〇=〇 i.e. 順序数=計量数=1
であることを示すことをいう．
私に飯をおごれ(もてなせ)
契約や遺言などのルールと刑法などのルールを同じように考えようとする立場もある．
漢文は「からぶみ」ともいう．つまり中国の文章である．
漢文の正統性は中国にあるが，日本は中国と異なる漢字の使い方をしてきたので
純漢文と準漢文とに区別される．準漢文は近世の候文の起源となった．
しかし，ここでは前者のみを漢文と呼ぶことにする．
中国で漢文というと2個の場合がある．
①漢の時代の文章
②異民族に支配されていた時の漢民族の文章
たとえば清王朝の時代，満州族の言葉を国語といい，いわゆる中国人を漢人と呼んでいた．
中国の古典にはまだはっきりとした翻訳の方法が確立されていない．
そのため，訳文が説明文のようになってしまっているものもある．
中国の古典はばらばらに書かれている．たとえば
学而や為政と書かれていてもそれに意味はない，と考えられている．
漢和辞典を参考にすることくらいしかできないが
自分で考えた読み方をしてみたい．
たとえば、「不」の否定形以外の用法などの意味がわかって面白かった。
どんな漢字だったか、またその意味も忘れてしまった。
たとえば、漢の音と呉の音は異なることがあり、その意味も変るからだ。
Fを述語記号とする．このとき
[]はFである，の主語は空白であり
このような空白[]をxとの等号で表した．
補足
一階述語論理とは主語を述語化することをいう．
例
1つの行列Aと自然数xに対して冪行列を
∃x=[]_N A^x
で表す．但し
∃x=[]_N
について，「xは」自然数である，を
自然数はxである
すなわち
自然数xである
というように主語を述語にしている．
これが一階述語論理の意味である．
見えづらかった．
そもそも各判断についてたとえばSaPの記述があるとき
その推理の格式が第一格AAAとする．このとき
M P
S M
S P
というように主語が述語よりも後に書かれる．これが理解のヒントになると思う．
裁判所のルールについて考える．というのも，法律を解釈する裁判官に対するルールとは何か？ という問題があるからである．そのルールとは法(律)なのか何なのか．たとえば，裁判所には裁判法というものがある．この法には禁止や義務といった命令はない．それは，法が裁判官の不正を制御するというよりも，裁判所の決定が有効である条件と限界とを明らかにすることが目的であるからだ．
また，裁判所のルールが命令的でない例を挙げると，裁判所の管轄権を明確に規定しているものがある．たとえば，州裁判所に土地の権利回復に関する訴訟を審理する管轄を与えている裁判所法である．このように裁判の管轄に関するルールは命令的でない．つまり，裁判所の管轄権の範囲を明示することは「命令」ではない．
たとえ，裁判官が裁判法に違反したとしてもそれは犯罪ではない．
また，民法の遺言のように無効になるわけでもない．この場合は
上級裁判所の判決を待つだけである．すなわち，上級審で判決が棄却
されるまでは，法的拘束力をもつのである．
もちろん，このルールは公序を保つという観点から運用されるので
その部分では民刑法との類似性をみることはできる．
何でもカネで解決できると思うなよ．プラトン！
プラトンもこの法廷劇に出ててワロタ
かつて先秦古典に文法がなかったように
国語の文章にも起承転結というのはなかったらしい．
おそらく明治時代につくられたものなのだろう．
現在も中国の原文には句読点はない．
句読点を入れることでいくつかの解釈が生まれた．
しかしこれを(学問の)種まきと考えてよいのだろうか？
私は句読点無しで考えてみたい．
両立論的自由とは，たとえば高額な物を買ったとする．
このとき，誰かに強制されたわけでもなく，また，自分自身が
そうしたいと思い，何かの妨害なく購入に至ったときである．
たしかに両立論的というのがなんとなくわかる説明だ．
和の法則のいう「同時には起こらない」とはどういうことか．
例
大小2個のさいころを次の条件をみたすよう同時に投げた．
事象A
目の和が5
事象B
目の和が6
事象C
同じ目が出る
A：(1,4)(2,3)(3,2)(4,1)
B,Cもこのように考えると
AとBは同時に起こらない
AとCは同時に起こらない
BとCは同時に起こる
ということがわかる．「さいころを同時に投げる」ということと「同じ場合がある」
ということの違いが少し難しかった．
立法権についてもこれは命令ではない．
立法権とはたとえばチェスの「駒を一個動かすこと」に該たる1個の段階である．
もしチェスで駒を一度に2個動かしてしまったら，その行為は無効である．
というように，立法権もそのように考えることができるので，これはいわゆる命令とは異なる．
私は典型的な喜劇や悲劇で使われる
観客から同情を誘う演技をしない(させない)．
それだから私は死刑であり，それを受ける．
そのことで観客は悪になる．
死よりも恐ろしいのが悪である．
ソクラテスの死を観ている私も悪なのだろうか，とふと思った．
ソクラテスの予言すなわち裁判官諸君への脅し．
ソクラテスの負け惜しみとも考えられる．
死にたくない．
立法権を行使(現在でいう行政権)のルールは裁判の管轄権よりも一層複雑である．
というのも，立法権行使に関して明確なルールがあり，それに加え，立法府の構成員
の資格づけや，確認についてのルール，さらに立法の様式や立法者のとるべき手続き
について規定しているルールがあるからだ．
この立法権行使のルールと刑法などの威嚇を背景とした命令との間には
決定的な相異が見られる．
面白かった．
基本の問題だけを1個ずつ考えて行きたい．
非量化集合論でどこまで測度を考えられるかわからないが
私が学部三年の頃の積分論はたしかに非量化だった．
しかし，こういうのはどうだろうか．
集合Xとその元xに対して
∀x∈X (∀X∈α) αは集合族
これを「一階」と考えるという説を誰かが言っていた気がする．
私の理解だと
すべてのx∈Xはx∈Yである
というのが一階で，二階は
すべてのx∈Xはあるx∈Yである
と考えていた．論理式にすれば(厳密な論理式ではない)
① 一階論理
∀x∈X x∈X→x∈Y
② 二階論理
∀x∈X→∃x∈Y
②によって素朴集合論は自明となる．また集合族αが量化できないという問題があると
思うので非量化でしか数学は考えられないと帰結した．この考えがどこまで通用するのかを
考えて行きたい．
たとえば述語記号Fについて
すべての[ ]はFである
では
二階述語論理とは述語の述語化である
すなわち
すべての[ ]はある[ ]である
を指す．
∀∀型
∀∃型
∃∀型
∃∃型
があるが伝統的論理学と合わせると
∀∃型はSaP
∀∀型はSe非P
∃∃型はSiP
∃∀型はSo非P
という対応を考えられる．これからこのことについて考え
本当に非量化概念をつくる必要があるのかを検討する．
もしかすると数学はこのことを考慮していない可能性もある．
補足
[ ]は単なる空白を表す．変数(個体変項)xでしばしば代用される．
私は神の声が聴こえる．
現代の法廷でこういう発言をしたら，心神喪失や耗弱だと判断されるだろう．
たとえば，立法府で多数決によって法案が通ったとき，この多数決に従ったとは考えないし
また法案に反対した人も従ったとか従わなかったというものでもない．つまり，立法府
の権能は刑法のような命令であるとはいえないのである．
死は恐ろしいがそれを幸福だと考えれば気が休まる．
私を告発したり，有罪を言い渡した人たちは，私の幸福を願ってした訳ではない．
むしろ，私に害を与えようとしたのである．これがその者たちを非難する理由である．
後のことは頼んだ．諸君！
プラトンの読書は停止する．
排反事象の理解というのはとても難しいと思う．
たとえばさいころを投げた後にその試行は後に影響を与えない．
このようなときを独立試行と呼ぶ．
1以上100以下の自然数の個数というのはn(U)=100が当たり前
とは考えないのかなあと思った．混ぜて考えるとわかりにくいな．
たとえば
100以下の自然数の個数は100
100以上200以下の自然数の個数は101
・・・・・・
Bが好きな人
AとB両方が好きな人
AとB両方が嫌いな人
とする．このとき
両方が嫌いな人を(A∪B)^cと考えるというのに悩まされる．
両方が好きなことをA∩Bで書くとき
そうでないものは(A∩B)^cではないのだろうか？
しばらく考えたい．
これをAかつBと考えるのか
それともAまたはBと考えるのかで結果が異なる．
連言はすべて選言で考えるということだろうか．
AかつBとAまたはBの泥沼にハマるとわｗ
「6でも8でも割り切れない」というのは
A：6の倍数の集合
B：8の倍数の集合
に対して
(A∩B)^c
だと思うんだ．
できるだけ解法暗記はせずに1個ずつ思考して行きたい．
まあいいけど．
やはり，間接証明をすると何だかもやもやします．
これでいいのか？ 的な．
P→Q
の証明でPを仮定することは自由だが
述語論理の場合はそのような仮定を回収するように
証明しなければP(x)の任意性を示したことにならない(∀-導入の適用の必要)．
盲点かも．そういう証明を見かけたことがない．∀-導入を適用するには
条件があるので，そのような条件を無視した証明はすべて無効だ．
∀-導入は適用できない，ということだ．
例
1 (1) a∈A
1 (2) x∈A ∀-導入
こういう導入はできない．
このままだと不要になってしまうから．
n個に関係する判断に関して
数学的帰納法を封じてDN規則で証明できたぞｗ
毎日同じ分野のことを考えていると飽きてくるから
明日は集合論をやろうと思う．
今まで一体何を計算しているのかよくわからなかった．
これから時間をかけて意味を理解出来たらいいなと思う．
一度ぶん投げたが，さっきもう一度やってみたら解けた．
逃げ出さなくてよかった．
参考書はニューアクションのフロンティアを使っている．
白チャートに少し難しい問題がところどころ混ざっている感じのもの．
最新のチャート式は簡単になってしまって，現在の赤チャートは
以前の白チャートくらいになっている．
もう人間が計算問題を解かなくてもよいという時代が来ることを見越した
編集なのかも知れない．
では何故私が今そのような計算問題を解いているのか．
甥が中学3年生なのだがそのための準備もあるし(質問されるかも知れない)
自分が高校生の時にまともに勉強をしていなかったというのもある．
あとは抽象概念を獲得しても具体的な計算ができなければ意味がない
という物理学的要請というのにも応えたい，という希望もある．
かなり遠回りをしている感じだが，急ぐ時ほど遠回りをしてみようという発想だ．
という目的があるようなので，いつか無限と有限とについて考えられる
ようになりたい．
なんとかしなければｗ
疲れたからちょっと寝るお
今までこの名で書き込んでいました．
facebook を利用することができたので
その役割も終わります．
今までありがとうございました．
ん？
時々ROMってたけど、そのコテハンって君の同級生の名前なの？
君のFBはここに公開しないの？
そうなんですね
いや私が本人です
誰かDMとかくれないかなって思ってたんですけど甘かったですｗ
FBをここで晒す気はないです
そか
達者でな