法学と様相論理学

法学と様相論理学の関係を考えよう。

法学に論理学を応用し、厳密な基礎を与えよう。

　〜〜〜終了〜〜〜

性器直行規定スレが消えた

saikai

法学が数学化されれば、東大法学部の連中も数学者に敬意を払うようになるな

ほうそうかい

>>6
それはイイ

つうか、それこそ法律屋が失業してしまうではないの。
雇用を創出することが一番大事なんだよ。

〜してはならない。〜しても良い。〜しなければならない。〜しなくても良い。

義務論理とかいうやつか

　〜〜〜終了〜〜〜

あげ

法学に厳密な基礎を与えれば、法学自体の権威も高まることになる。

法学に論理学を適用する場合の困難は
理論的なものではなく日常言語の用法に
関する実際的なものである。
まあ、こういうことは法学に限らず
セマンティクウェブとかでも問題に
なるがね。

ほうそうかい

法論理学

439

704

殺人*自分=自殺
殺人^2*人＝ありえない
殺人*A＾殺人*B=連続殺人
dx=dx
ddx=0
dA^dB=dS

法学なんて、「合法的とは何か？」と聞いたら、「裁判官の言う事、
することは合法的です。」という答が帰ってくる世界の、人を
黙らす詭弁の集まりだろ？
「非戦闘地域とは？」と尋ねたら「自衛隊の行くところは非戦闘
地域だ。」と答えるようなもんだ。

ちょっと数理と論理に怪しげな雰囲気のところのある本を書いた
小室某君でも「東京大学法学博士」になれるようだし、法学なん
ていいかげんなものじゃないかなと思うよ。

781

613

597

351

106

法学に厳密性を与えようとする概念法学の議論は一昔前に破綻しているのだ。
今更そんなこと言い出しているお前らは時代錯誤。法学は数学のような幼稚な議論に
還元できない複雑な社会を扱うものであって、数学など役に立たない

法律って１００％論理的という訳ではないからね。
習慣とか文化とか、慣例的に決まっている部分には
論理的解釈は難しいだろうね。

>>28
全部とはいかないまでも数学の手法で片が付く部分もあるんじゃないの？
今はコンピュータも発達してるし、形式的に済ませられる部分に
人間様の脳みそ使わせなくてよくなるだけでも意味があると思うが。

294

666

>>29
>習慣とか文化とか、慣例的に決まっている部分

そういうの実定法っていうんだよね。
自然法に限定すれば論理的解釈はＯＫじゃない？

法学と論理学、数学の関連性は薄いだろう。
法学は、リーガルマインドっていうある種の倫理が鍵になってる。

まあ法学は理系の人間が一番手を出しにくい分野ではあるな。
経済学なら少し社会科学の基礎を勉強すればすぐにモデルを立てられるようになるが、
法学って数学に全然馴染まないような気がする。

法律自体は結果論的なものであって、そこに結びつけるのが人間の裁量。
人の裁量を確定的に見るのは不可能でつ。

解釈と人間関係の介在する余地があるね。

156

3=√9

リーガルマインドって「インチキ精神」ってことだろ？

小泉総理が「ようこそ先輩」で「公民」の授業をしたら
日本中抱腹絶倒間違い無し。

742

657

376

629

>>30
いっぱいありますよ。
例えば民事訴訟法・執行法。
これらは法文の論理解釈だけで80％程度の問題が解釈できる。
残りの20％は、法文からは論理的には導き出せないけれども、その法の拠って立つ理念や価値観、
立法趣旨等から合法とみなしてよいか否かを考える問題だ。目的論的解釈の問題といえる。
分野にもよるが、法学は、論理学の手法を活用する素地は十分にある。

>>45
８０％とか２０％とかいう計算はいかにして求められたかな？
まさか君が勝手に口から出任せでいったわけではあるまい？

>>46
その科目の解釈学の教科書の中で、全体のうち法文を論理解釈するにとどまっているものと
そうでないものとのページ数の割合比。

>>46
かなりうすらみっともないなw

義務論理学(deontic logic)

会計に会計情報システムが出来たように、将来は
法曹にも法曹情報システムができるだろう。

中国にはすでにあるらしい

ＩＴも中国が先行か。霞が関じゃあワードに法文を貼って検索しているそうだが。

767

ぬるｐおぽ

age

719

803

age

＞＞３４＞＞３５
数理法学で検索したが、ぜんぜん出て来なかった。
｢　数学コースの学生の法律学の知識　｣　というスレッドを立てたが、
全然書き込みが無かった。
数学のできる人間は司法試験に通りやすいだろうが、それは高校数学
�U　B　のレベルであって、大学院レベルの数学を勉強しているもので
司法試験を受けるものなど　ほとんどいないと思われる。

しつこいようだが再度　言う。
私の立てた　｢　数学コースの学生の法律の知識　｣　スレッドを参照のこと。

553

331

497

ようそう【様相】
〔論〕〔modality〕
命題の確実性の度合。
カントでは、判断における思惟機能をさす。
現実的（実際にそのままあること）、
可能的（やがてそれになりうる可能性をもつこと）、
必然的（それ以外ではありえないこと）
の三種類を挙げることが普通。

現実的、可能的、必然的なら、
非現実的、不可能的、偶然的というのが何なのかを考える必要がある。

464

数理化できるような問題は、そもそも紛争にならんだろうからなあ。
訴訟って、結局自分に不利な情報を如何にに隠し、
相手に不利な情報をいかに暴くかのテクニックで決まってしまう。
実際のところ論理の問題じゃない。

611

こんなスレが埋もれてた。

>>66
21世紀のこの時代にカントの様相分類とかまったく意味ないだろ

869

989

まず人とか物とか所有権とか抵当権の記号を考えようぜ。

二年。

age

信義則などは利益考量上おかしい場合だけ使えるんだよ。
マイナスの長さを捨てるようなもの。

あなたは３柱の神を召還した。Ａ，Ｂ，Ｃとしておこう。彼らの名前は「真神」「偽神」「乱神」。
だが、Ａ，Ｂ，Ｃのどの神が「真神」「偽神」「乱神」であるかは、まだわからない。
論理的に答えられる質問をすれば、「真神」は常に「真」の回答を答え、「偽神」は常に「偽」の回答を答え、
「乱神」は完全にランダムに「真」か「偽」のどちらかを回答する。
(乱神は頭の中にサイコロがあって回答する都度、丁半バクチをし、奇数なら真、偶数なら偽を答える、と考えてよい。)
さて、召還したあなたが最初に行うべきことは、３柱の神を見分けることだ。その為には、３回の質問が許される。
質問は１回につき１柱の神にだけ許される。
但し、その質問はYesかNoかのどちらかで答えることが出来る質問でなければならないし、
矛盾を含むなど、論理的に回答不能であってはいけない。確率的な質問も駄目だ。
さて、ここでやっかいなことがまだあるのだ。さすがに神だけあって、彼らは日本語など人間の言葉を解する。
しかし、質問に対する回答では、神々は彼ら自身固有の言語で答えるのだ。
それは「ダー(da)」と「ヤー(ja)」である。不幸なことに、
「ダー(da)」と「ヤー (ja)」のどちらが「yes」でどちらが「no」を意味するのかを召還したあなたはわからないが、
「ダー(da)」と「ヤー(ja)」とで「Yesか Noか」を神々は回答するのだ。
さて、どのような質問を３回行えばあなたは神々の区別がつけられますか？

夜中にこんなの見つけてしまって寝られやしません。どなたかお願いします。

434

324

age

様相論理学なんてほんとうに必要なものか？
高校の確率に出てくる重複試行そのまんまじゃないか？

ベンサムの幸福計算を使えばいい
ベンサムは快楽を量的に表現可能として、
強度・永続性・確実性・遠近性・純粋性・多産性・範囲などを
数量化して計算可能だと『道徳と立法の原理序説』で示し
できるだけ多くの人に分配する原理を示した

厚生経済学で所得分配を分析する重要な概念となっている、ロールズの『正義論』の
ロールズ基準と、ベンサムの「功利性の原理」を合わせて
現代的に拡張して、数理的な法モデルを作成すればいい

985

age

死なすには惜しいのでage

連続あげ

上げ下の下

age

ひたすらあげ

いや〜ん、あげ！

当然、定義とか、一義性が問題になる。

法律学に様相論理を適用する以前に様相論理学、ひいては論理学全体の再構成
が必要だ。私に任せろ。

頑張れ。出来たら教えてね。

>>94
待ってろよ。

論理学を適用する以前に、ベンサムのように価値観や社会現象を
数量化して計量可能にする、数学的記述方法を考えた方がいい
数理を社会に還元して、倫理的原理を考案するんだよ。
デカルトは情念を幾何学的に分類する試みを行っていたし、
ロック、ヒュームは、複合観念を単純観念に分割し分類するという企てを試行していた。
ベンサムはそれらを更に推し進めて、個々の感覚を数量化しようとする。

ベンタム(ベンサム)研究
http://plaza.umin.ac.jp/~kodama/bentham/
社会的厚生関数
http://www.res.otemon.ac.jp/~murakami/lecture-note04.htm
計量社会科学
http://www.qmss.jp/qmss/
http://www.qmss.jp/interss/03/materials/benth.htm

あげ

病気等で働けないあるいは本当に一生働きたくない人はベーシック・インカムを国に要求したらどうだろう？
ベーシックインカムは国民すべてに最低限生活保障を約束する制度で、
たとえば月10万円をニートであろうがひきこもりであろうが働いていようが、
誰でももらえるようにするという夢のような制度である。
いんちきでもなんでもなく、西ヨーロッパの経済学者が今、議論してる制度である。

興味のある人はYahoo!かMSNで（Googleでは出ない）「ベーシック・インカム・レボリューション」で検索してみると、
1番目か2番目あたりにあるサイトが出てくる。

それを見てみるといい。

あげ

age

age

.　 　　　　　　　　　　　　　　　　　　 ,ｲ/〃　　　　　　　　ヾ= 、
　　　　　　　　　_,,r-‐''"´　＾　｀N /l/　　　　　　　　　　　　　　 ｀ヽ
　　　　　　　　彡　　法学部　 N! l　　　　　　　　　　　　　　　　　　 ｀､
　　　,, -‐- ,,-彡　　　　　　　l ヽ　　　　　　　　　医学部　　　　　 　 l｀ ´ ｀`‐ ､
　彡´　　　　　　|　　　　,,w,,wヽヽ　　　　　　　　　　　　　　,,　　　 　 |　薬学部　 ｀ヽ
_彡　 政経部 　|　 //ﾚ/ﾊl/ﾊ＼ヾｰ　　　　　　　　_,,　,,r,,/lヾ　　　　|　　　　 　 　 }
ﾊl/　　 ,/ﾊlヾヾ,l､ /三f､,,_　　 _,ヾニ＿ ＿＿＿_彡ﾉノﾉノﾉ_ヾヾ　　 | ,l､ ､　　　　 l＿＿_
/ﾚ　 /l,,_/＿_ヽ lヾ　ヽﾓ-ヽl ´fﾓﾁ7ヽ={　r‐ｨｯヾ ヽ-r'´〒fデF｀lｪr‐､ﾊlヽヽヽ　　　哲学 ＼_
　l｀=l　fﾓﾁ）_{´ヽl!l　　　　 :l　　 　 l ll !l　 `┴ｰ/ｿl⌒ｯ`┴┴'　}//l l､ ,,､ｧtｯﾋヽ､rｩ 　／　 ＼　　
　ヾ}弋＿シl弋　ヽl　　　　ヽ-　 　 ヽl　lゝ＿＿,ノ |　 ゞ_＿＿ノl/l /　l　 ｀~ﾞ´　 lｧﾉ　 （●
）　 ＼
　　ヾl　　　`'　 `''´lヽ　　──　　 /l＼l　 　 　 　 l､,　　　　　　l_ノ　〈 _　　　　 l!ﾉ_人__）　　 　 |　
　　　}＼　￣￣　,ｨl　＼　 ￣　 ／　l　 l　　　　＿＿＿　　　　/　　──　　　丿　⌒´　　　 ,／　
　　,/＼ ＼＿_／/ ＼　＼___／　,,-''＼|＼　　　　＿ 　 　 　 /|＼　 -　　　／ |､　 　　　／ ,|､
-‐'　　　＼_,,-‐'＼　　｀ヽ､　　,,r'　　　/|　 ＼　　　　　　　／　.|　 ＼＿_／　 ,,rヽ‐-‐ ''　／ l｀ヽ
　　　,,-‐'' 　 　 　 ＼　　/＼/＼　 ／　＼.　 ＼＿＿__／　　／＼　　　 ,,-‐''　　/＼ ,／　　l　　ヽ
-‐''´　　　　　　　　　＼/　 }ﾞ　_,,,‐''＼　　 ＼　　　　　　　 ／　　 /l＼‐''　　　 ／　　｀ヽ､_　l

305

553

三年八時間。

age

事案が形式的に表現できる方法が出来るだけでもうれしい。
けっこう法学ってノートがとりにくくて。

ahe

法計算の手引き嫁

〜してはならない。〜しても良い。〜しなければならない。〜しなくても良い。

問題は矛盾だらけなこと。だから法学者は馬鹿だといわれる。

よく論理的思考という意味で数学と法学が似てるとか言う人多いけど、
論理性の質が全く違うんだけどね。

数学系の人は法学に違和感感じると思う。
法学は厳密というより柔軟で可変的。時間、空間によって変遷する
社会科学。最初に結論あってそれに理論を後付けする。
平たく言えば人間社会が対象である点が決定的に数学や自然科学とは異なる。

敷居が低くて素人が手を出しやすい原因は、日本語で書かれてるから。
もし文献が全て翻訳なしの英語になったら途端に敷居が高くなるだろうな。
数学はチェスのように積み上げていく学問だから素人は手を出せない。
大学で学びたいと思っても、高1で躓いた人は高1からやり直し。

2

153

age

あげ

(・◇・)【法律学における論理】(・◇・)
http://academy6.2ch.net/test/read.cgi/jurisp/1212884808/

　数学板の人も、教養的に法律やるのか。書き込み見てると、大体は法律に対する幻滅を通過してるようですね。

403

930

四年。

543

408

このたび東京財団仮想制度研究所VCASI（http://www.vcasi.org/では、東京大学大学院情報理工学系研究科コンピューター科学
専攻にご在籍で、論理学がご専門の平井洋一氏にご協力いただき、以下の要領で第8回VCASIインフォーマル・セミナーを開催することとなりました。

日時：2009年1月20日(火)18時半から

場所：日本財団ビル3階A会議室（http://www.vcasi.org/access.html）

発表者：平井洋一氏（東京大学大学院情報理工学系研究科コンピューター科学専攻／論理学／http://pira.jp/）

表題：論理学的に見た、ゲーム理論のプレイヤー

コーディネーター：成田悠輔（VCASI研究助手）

概要：ゲーム理論の概念は、プレイヤーの能力や属性に関する前提がある。前提が弱い均衡概念は、弱い言語で特徴づけできるはずだ。
言語の強弱を比較するには、自然言語より論理式が適している。まずrationalizabilityを様相μ計算という様相論理で特徴づけし、rationalizability概念が前提とするプレイヤーの能力について考察する。

参考資料:話そのものは、どちらもまったく前提にしません。

A. Kurz: Coalgebras and their logics
http://portal.acm.org/citation.cfm?id=1140628
考えているときに参考にした。

J. Bradfield and C. Stirling: Modal Mu-Calculi
http://homepages.inf.ed.ac.uk/jcb/Research/MLH-bradstir.pdf
様相μ計算について、まとまっている。

ご参加可能の方は

[email protected]

にお知らせ下さい。多くの皆様のご参加をお待ちしております。

【偽医療】AKA 関節運動学的ｱﾌﾟﾛｰﾁ【ｲﾝﾁｷ医療】
http://gimpo.2ch.net/test/read.cgi/body/1211885077/

千城台クリニックのＡＫＡ療法による不正請求返金
http://gimpo.2ch.net/test/read.cgi/healing/1207056268/

【肩こり腰痛】日本関節運動学的ｱﾌﾟﾛｰﾁ(AKA)医学会
http://society6.2ch.net/test/read.cgi/hosp/1229493132/

080

所詮、法曹界のバカごときには論理学を理解することはできないということか。

>>112
いや法学に論理なんてないよ。
論理があるのは、数学、論理学、統計学、物理学、力学、電磁気学、分析哲学ぐらいだろう。

>>102
哲学ﾜﾛﾀw

分析哲学SNS
http://academy6.2ch.net/test/read.cgi/philo/1235626827/l50

>>128
物理学と力学と電磁気学が並列なのはなぜ？

>>128
一応法学でも理由付けはするけどね。ただ全然厳密ではないけど。
まあ理由が主観的と言えば主観的なことが多いな。
経団連とか政治家とかが自分の利益のために自由にちょくちょく変えちゃうし。

930

535

562

677

でも、数学者で、めしの種として弁護士やってる人、歴史上、多かったよね？

d8/d2=12
d^2(8)/d2=24log2(log2+1)

来年で旧司法試験は最終回

>138
民法90条違反…

五年。

セミナーで学生が教官に黒板消しを投げつけられて目に当たって全治1週間の怪我を負った
この場合、刑事責任と民事の不法行為の成立は有り得るか
国立大学、公立大学、私立大学それぞれについて論ぜよ

255

340

421

341