【MoL】3 THE CONDITIONAL

• 相変わらず、古語が多い。。。
  
• implicationと言わず、conditionalなんだな。理由がありそう。
  
• conditionalは直接法のif-thenの近似。
  
• 自然言語のif-thenとの差、特に仮定法についての記述が丁寧。
  
• 英語文法でいうと直接法と仮定法にifは別れる。論理学としては、それぞれmaterial if とcotrafactual if が対応するが、contrafactual if はlogicに適合しない。仮定法だから、if A then BのAはfalseのものについて話をしているから。
  
• biconditionalも導入。
  

こつこつ。