事例演習1

法とコンピュータ
法的知識の構造（3）
慶應義塾大学法学部
２００8／11／25
吉野一
1
目次
1.
2.
3.
4.
5.
6.
7.
はじめに
事例問題５_0の回答および議論の講評
事例問題5_0を解く法的知識の構造
まとめ(以上前回081021まで)、前回の補足（こ
こから）
事例問題５の回答についての検討
事例問題５を解く法的知識の構造
むすび
2
補足：事例5_0の解決における自然言語文と論理式の
対応



1.
2.
結論：
AnzaiとBernard間に売買契約が４月９日に成
立した。
理由：
事実の記述
1.
Anzaiの申込の手紙がBernardに４月８日
に到達した。（資料1,2）
2.
電話によるBernardのAnzaiに対する承諾
がＡｎｚａｉに４月９日に到達した。（資料２）
法ルールの記述
1.



1.
2.
（法原則）（必要な場合？）
契約は、申込に対する承諾が効力を生じ
た時に成立する。（23）
3.
申込に対する承諾は、同意の意思表示が
申込者に到達した時にその効力を生ずる。
（18(2)）
事実の法ルールへの当てはめの記述
1.
BernardはAnzaiの承諾が４月９日到達し
た。故に承諾が４月９日効力を生じた。
（18(2)）
2.
承諾が４月９日効力を生じた。故に、契約
が４月９日に成立した。（23）
結論が論証されたことの記述
1.
故に、AnzaiとBernard間に売買契約が４
月９日に成立した。
2.
3.
4.
3.
4.
結論：
成立(契約(anzai,bernard,売買), t070409) .
理由：
事実の記述
1.
到達(申込(anzai,bernard,契約),t070408).
（資料1,2）
2.
到達(承諾(bernard,anzai,申込),t070409).
（資料２）
法ルールの記述
1.
（法原則）（必要な場合?）
2.
成立(契約(A,B,売買),T):-効力発生(承諾
(B,A,申込),T).
（23）
3.
効力発生(承諾(Y,X,申込),T):-到達(承諾
(Y,X,申込),T).
（18(2)）
事実の法ルールへの当てはめの記述
1.
(2.3) & (1.2) ⇒
2.
効力発生(承諾(bernard,anzai,申込),
t070409)
3.
(2.2) & (3.2) ⇒
4.
成立(契約(anzai,bernard,売買),
t070409)
結論が論証されたことの記述
1.
⇒ 成立(契約(anzai,bernard,売買),
t070409)
3
５．事例問題５の回答についての検討
５．１．はじめに






事例問題5の解とそれについてのコメントについ
て、コメントを与える。
事例問題解決の推論の論理構造を検討する。
事例５の解法を例に解法の論理構築を試みる。
法の事実への当てはめにおける体系化の解釈
命題の創設の必要性を学ぶ。
体系化の論理構築のための手がかりを得る。
体系化の課題
4
5.2. 検討の進め方





掲示板に掲載された事例問題5の諸解答とそれ
に対する諸コメントに基づいて検討する。
ソクラティックメソッドとディスカッションメソッドを
融合的に用いて学生諸君の解答の「検討」を進
める。すなわち、
教師からの質問と学生の回答と
学生同士の議論を
適宜組み合わせる。
5
５．３．事例問題5および5_1の知識ベースの講
評






「事例問題５_1の学生知識ベースと教師のコメント」の
ワードファイルを参照。
回答についての印象：全体として知識の体系的理解と
表現が大分よくなってきた。
一部プログラム上の誤りがある。
諸ルール間の体系的関連を正確に把握する必要があ
る。
体系的に無駄のない形で、すっきりと表現したい。
以下、「事例問題５_1の学生知識ベースと教師のコメン
ト」に基づく個別のコメント
6
６．事例問題５を解く法的知識の構造
6.1 問題の所在


事例問題5が事例問題5_0と違う点？
資料３の評価？







撤回か取消か？
到達か非到達か？
15(2)と16(1)の違い？
事例問題5_0を解くために用いたルール群（スライド３参照、２
３他）だけを適用すると「契約成立」の結論が証明される。
15自体をどう形式化するか？
１５を「契約成立」のルール（23）とどうつなげるか？
体系化（の解釈）の問題
7
法適用の推論の論理構造（詳細化された法的三段論法）
法原則
創造（体系化）
法規
法常識
法
的
正
当
化
の
推
論
解釈
法の目的
確認
創造(具体化)
視線
の
認定された事実
記述された事実
往復
創造
法
創
造
の
推
論
出来事
法的決定
創造
具体的妥当性
8
６．１法的論証（正当化の推論）の記述(2)
詳細化された法的三段論法による


結論の記述
理由の記述


事実の記述
法ルールの記述



事実の法ルールへの当てはめの記述






法原則（必要な場合）
制定法規定（条文名を必ず挙げる）
解釈命題（法規・判例・学説）
当該事件向けの補助解釈（必要な場合）
解釈命題（または補助解釈命題）の事実の記述への当てはめ
推論
認定された事実
結論が論証されたことの記述
9
事例5_0用ルールの適用


1.
結論：契約成立（t070409).
理由：
1.
事実の記述
1.
申込到達(t070408).
（資料1）
2.
承諾到達(t070410).
（資料２）
3.
撤回到達(t070407).
（資料3）
2.
法ルールの記述
1.
契約成立（T):-承諾効力発生(T).
（23）
2.
承諾効力発生(T ):-承諾到達(T).
（18(2)）
3.
事実の法ルールへの当てはめの記述
1.
(2.2) & (1.2) ⇒
2.
承諾効力発生(t070410)
3.
(2.1) & (3.2) ⇒
4.
契約成立（t070410)
4.
結論が論証されたことの記述
1.
⇒ 契約成立（t070410)
推論実験して確認!
事例５用のルールの創設


結論：「契約成立」は証明できない
理由：
1.
事実の記述
1.
申込到達(t070408).
（資料1）
2.
承諾到達(t070410).
（資料２）
3.
撤回到達(t070407).
（資料3）
2.
法ルールの記述
3.
4.
事実の法ルールへの当てはめの記述
結論が論証されたことの記述
1.
「契約成立」は証明できない
10
考えるヒント



申込撤回と申込取消の違い？
資料３は撤回か取消か？
仮に撤回としたら次の問題をどう考えるか？





撤回が到達したらその効果は？
撤回が効力を生じたらその効果は？
申込が効力を生じなかったらその効果は？
契約成立のルールはいかにあるべきか？
承諾効力発生のルールはいかにあるべきか？
11
設例5_0の回答例１(○○)
契約成立←承諾効力発生23
申込効力発生←申込到達15(1)
直接適用
契約成立←承諾効力発生 23
承諾効力発生←承諾到達18(2)
意思表示←申込or承諾
法
的
正
当
化
の
推
論
意思表示到達←口頭で伝えられた(24)
口頭で伝えられた←電話で言う
創造
Case5_0
申込の通知が4/8にBに到達
4/９にＢは電話で「承諾する」と言う
創造
出来事
創造
4/9に契約成立
12
設例5_0の回答例2( ○○ )
契約成立←申込効力発生&
承諾効力発生
申込効力発生←申込到達15(1)
発見（創設）
契約成立←承諾効力発生 23
承諾効力発生←承諾到達18(2)
意思表示←申込or承諾
法
的
正
当
化
の
推
論
意思表示到達←口頭で伝えられた(24)
口頭で伝えられた←電話で言う
創造
Case5_0
申込の通知が4/8にBに到達
4/９にＢは電話で「承諾する」と言う
創造
出来事
創造
4/9に契約成立
13
設例5の回答例3(設例5_0の回答例１の法的知識のみの場合)
契約成立←承諾効力発生
申込効力発生←申込到達15(1)
直接適用
契約成立←承諾効力発生 23
承諾効力発生←承諾到達18(2)
意思表示←申込or承諾
法
的
正
当
化
の
推
論
意思表示到達←口頭で伝えられた(24)
口頭で伝えられた←電話で言う
創造
Case5
申込撤回の通知が4/7にBに到達
申込の通知が4/8にBに到達
4/９にＢは電話で「承諾する」と言う
創造
出来事
創造
4/10に契約成立
14
設例5の回答例4(法的知識の体系化と改定)
契約成立←申込効力発生&
承諾効力発生
申込効力発生←申込到達&
not (□□□□) 15(1)
承諾効力発生←承諾到達18(2)
法
的
正
当
化
の
推
論
□□□□ ← ○○○○
申込撤回可能 ←申込到達前 15(2)
創設（体系化）
契約成立←承諾効力発生 23
申込撤回可能 ←申込到達前 15(2)
創造
創造
さらにいかなるルール
を創設すればよいか
Case5
申込撤回の通知が4/7にBに到達
申込の通知が4/8にBに到達
4/９にＢは電話で「承諾する」と言う
創造
出来事
契約不成立
創造
15
設例5の回答例4a(学生による法的知識の体系化と改定A)
契約成立←申込効力発生&
承諾効力発生
申込効力発生←申込到達&
not(申込撤回効力発生) 15(1)
承諾効力発生←承諾到達18(2)
法
的
正
当
化
の
推
論
申込撤回効力発生←申込撤回到達&
申込撤回可能
創設（体系化）
契約成立←承諾効力発生 23
申込撤回可能 ←申込到達以前 15(2)
創造
創造
申込撤回可能 ←申込到達以前 15(2)
左のルール
を創設
Case5
申込撤回の通知が4/7にBに到達
申込の通知が4/8にBに到達
4/10にＢは電話で「承諾する」と言う
創造
出来事
契約不成立
創造
16
設例5の回答例4b(学生による法的知識の体系化と改定B)
契約成立←承諾効力発生 23
創設（体系化）
承諾効力発生←承諾到達&
申込効力発生 18(2)
契約成立←承諾効力発生 23
申込効力発生←申込到達&
not(申込撤回効力発生) 15(1)
法
的
正
当
化
の
推
論
申込撤回効力発生←
申込撤回到達&申込撤回可能
申込撤回可能 ←申込到達前 15(2)
創造
創造
左のルール
を創設
申込撤回可能 ←申込到達前 15(2)
Case5
申込撤回の通知が4/7にBに到達
申込の通知が4/8にBに到達
4/10にＢは電話で「承諾する」と言う
創造
出来事
契約不成立
創造
17
７．まとめ

今日の学習（事例問題５について）
 事例問題５を検討し、事例の5_0を解決するに必要な知識以上の知
識が必要なことを確認した。
 申込撤回が効力を生じると何故契約が成立しなくなるか？



申込撤回の直接効果：￢申込効力発生
撤回の効力は申込の効力発生の障害要件であるとことが明らかにされた。
契約成立を判断するルールに「申込の効力」が重要な要件であることが明らかにさ
れた。
申込の効力は承諾の効力発生の要件としても形式化できることが示
された。
今日の学習（事例問題５_1 について）
 事例問題5_1を解決するに必要な知識は何か？
 申込取消の効果は何か？
 申込取消が効力を生じると何故契約が成立しなくなるか？
 「撤回」が申込到達後、承諾発信前に到達したら取消として効力発生
する。そのためのルールは？


18

Download Report