<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>squareroot</author_name>
  <author_url>https://blog.hatena.ne.jp/squareroot/</author_url>
  <blog_title>妄誕F</blog_title>
  <blog_url>https://squareroot.hatenadiary.org/</blog_url>
  <categories>
    <anon>哲学</anon>
    <anon>数学</anon>
  </categories>
  <description>条件法とは、論理学の用語で、「 A ならば B 」、記号だけで書くと「 A → B 」の形をした接続のことを言います。この記事で問題にするのは、この条件法の文において、なぜ A が B に先行していなければならないのか、どのような意味で A は B に先行しているのか、ということです。 例を挙げましょう。「もしすべての動物が青いならば、象もまた青い」という文があるとします。この文を条件法の形式に還元して読むと、「〈すべての動物が青い〉ならば〈象は青い〉」と区切られます。すると問題は、〈すべての動物が青い〉と〈象は青い〉の順序がなぜこう（〈動物〉が〈象〉の先にくる）でなければならないのか、という…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsquareroot.hatenadiary.org%2Fentry%2F20100308%2F1268024534&quot; title=&quot;条件法における「先行」とは何か - 妄誕F&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url>https://cdn-ak.f.st-hatena.com/images/fotolife/s/squareroot/20100225/20100225164625.gif</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2010-03-08 14:02:14</published>
  <title>条件法における「先行」とは何か</title>
  <type>rich</type>
  <url>https://squareroot.hatenadiary.org/entry/20100308/1268024534</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
