1 / 9

被告のための法律構成文書 事例問題 3k(5_8) において

被告のための法律構成文書 事例問題 3k(5_8) において. 慶應義塾大学法学部 2009/01/20 吉野一. ＜原告＞ 原告の目標文（請求の趣旨） 目標文を基礎づける主たる法的根拠に関する主張・立証（請求原因） 理由 ルール ・・・ 事実 ・・・　 ルールの事実への当てはめ ・・・ 結論（の確認）. ＜被告＞ 被告の目標文（請求の趣旨に対する答弁） 被告の目標文（請求原因の認否） 理由 ルール ・・・ 事実 ・・・ ルールの事実への当てはめ ・・・ 結論（の確認）. 論争の構造. Case5_8 における被告のための証明過程.

xaviera-mcguire
Download Presentation

被告のための法律構成文書 事例問題 3k(5_8) において

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 被告のための法律構成文書事例問題3k(5_8)において被告のための法律構成文書事例問題3k(5_8)において 慶應義塾大学法学部 2009/01/20 吉野一

  2. ＜原告＞ 原告の目標文（請求の趣旨） 目標文を基礎づける主たる法的根拠に関する主張・立証（請求原因） 理由 ルール ・・・ 事実 ・・・　 ルールの事実への当てはめ ・・・ 結論（の確認） ＜被告＞ 被告の目標文（請求の趣旨に対する答弁） 被告の目標文（請求原因の認否） 理由 ルール ・・・ 事実 ・・・ ルールの事実への当てはめ ・・・ 結論（の確認） 論争の構造

  3. Case5_8における被告のための証明過程 • ①目標（請求趣旨に対する答弁: 請求棄却）： • ￢（ＡはＢにトラクターを引き渡さなければならないならない） • ②原因（請求原因の認否：否認） • ￢(ＡＢ間のトラクターの売買契約が成立した) • ③理由 • (1)ルール • ・・・・・ • (2)事実 • ・・・・・ • (3)ルール事実への当てはめ • ・・・ • (4)結論（の確認）

  4. 参考：ＣＡＳＥ3b(5_1)において契約の成立を主張する原告は何を主張・立証すればよかったか？参考：ＣＡＳＥ3b(5_1)において契約の成立を主張する原告は何を主張・立証すればよかったか？ ルール • 契約成立(X) :- 申込効力発生(X1),承諾効力発生(X). • 申込効力発生(X):-申込到達(X),not(申込効力発生(X)). • 承諾効力発生(X) :- 承諾到達(X),not(申込効力消滅(X)). 事実 • 申込到達(t060408) • 承諾到達(t060410). 推論 • ∴　申込効力発生(t060408) • ∴　承諾効力発生(t060410) • ∴　契約成立(t060410)

  5. 参考：ＣＡＳＥ3d(5_1)　において契約の成立を否認する被告は何を主張・立証すればよいか？（抗弁）参考：ＣＡＳＥ3d(5_1)　において契約の成立を否認する被告は何を主張・立証すればよいか？（抗弁） ルール • 契約成立(X) :- 申込効力発生(X1),承諾効力発生(X). • ∴　￢契約成立(X) :- ￢承諾効力発生(X1). • 承諾効力発生(X) :- 承諾到達(X),not(申込効力消滅(X)). • ∴　￢承諾効力発生(X1):-申込効力消滅(X). • 申込効力消滅(X):-申込撤回効力発生(X). • 申込撤回効力発生(Y):-申込撤回到達(Y),not(承諾発信(X),以前(X,Y)). ￢申込撤回効力発生(Y):--承諾発信(X),以前(X,Y). • 事実 • 申込撤回到達(t060410) 推論 • ∴　申込撤回効力発生(t060410) • ∴　申込効力消滅(t060410) • ∴　 ￢承諾効力発生(X1) • ∴ ￢契約成立(X)

  6. 知識ベース(3k(5_8))改訂版 %23 is_concluded(contract(A,B,C),T3):- become_effective(offer(A,B,C),T1),become_effective(acceptance(B,A, offer(A,B,C)),T3). %15(1) become_effective(offer(A,B,C),T1):- reach(offer(A,B,C),B,T1), \+(become_effective(withdrawl(A,B,offer(A,B,C),T2))). %15(2) become_effective(withdrawl(A,B,offer(A,B,C),T2)):- reach(withdrawl(A,B,offer(A,B,C)),B,T2), \+((reach(offer(A,B,C),B,T1),T1@<T2)). %18(2) become_effective(acceptance(B,A,offer(A,B,C)),T3):- reach(acceptance(B,A,offer(A,B,C)),A,T3), \+(become_effective(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),T8)), \+((become_null(offer(A,B,C),T4),T4@<T3)). %22 become_effective(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),T8):- reach(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),A,T8), \+((reach(acceptance(B,A,offer(A,B,C)),A,T3),T8@<T3)). become_null(offer(A,B,C),T4):- become_effective(revocation(A,B,offer(A,B,C),T4)). %16(1) become_effective(revocation(A,B,offer(A,B,C),T4)):- reach(revocation(A,B,offer(A,B,C)),B,T4), \+(((dispatch(acceptance(B,A,offer(A,B,C)),A,T5)),T5@=<T4)). %17 become_null(offer(A,B,C),T4):- become_effectuve(rejection(B,A,offer(A,B,C)),T4). become_effectuve(rejection(B,A,offer(A,B,C)),T4):- reach(rejection(B,A,offer(A,B,C)),A,T4), \+((reach(acceptance(B,A,offer(A,B,C)),A,T3),T3@<T4)). %fact %case3k reach(offer(anzai,bernard,sale(agriculture_machine,'$10000')),bernard,t0408). reach(withdrawl(bernard,anzai,acceptance(bernard,anzai,offer(anzai,bernard,sale (agriculture_machine,'$10000')))),anzai,t0411). reach(rejection(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0411). reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0416). dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0416).

  7. rule • 契約成立(X) :- 申込効力発生(X1),承諾効力発生(X). • ∴　￢契約成立(X) :- ￢承諾効力発生(X1). • 承諾効力発生(X) :- 承諾到達(X),not(申込効力消滅(X)). • ∴　￢承諾効力発生(X1):-申込効力消滅(X). • 申込効力消滅(X):-……（以下は各自考えてください。）

  8. fact %case3k (1) reach(offer(anzai,bernard,sale(agriculture_machine,'$10000')),bernard,t0408). (2) reach(withdrawl(bernard,anzai,acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000')))),anzai,t0411). (3) reach(rejection(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0411). (4) reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0416). (5) dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0416).

  9. (3)ルールの事実への当てはめ %17 become_null(offer(A,B,C),T4):- become_effectuve(rejection(B,A,offer(A,B,C)),T4). become_effectuve(rejection(B,A,offer(A,B,C)),T4):- reach(rejection(B,A,offer(A,B,C)),A,T4), \+((reach(acceptance(B,A,offer(A,B,C)),A,T3),T3@<T4)). Fact(3) reach(rejection(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0411). CISG17と事実の3より「申込みがt0411に効力を失う」ことが証明される。 この後の、計約不成立を論証するための論理構築は各自おこなうこと。

More Related