. 本稿は上記の文章の引用から始めることとします。この論考は2021年9月に欧州で電力市場価格がじわじわと高騰し始め、メディアでさまざまな憶測が流れた時期に書かれたものです。日本語に翻訳されていないため、日本ではほとんど知られていないかもしれません。 この時期、例えば海外メディアでも「風が止んだ後に欧州のエネルギー価格が最高記録に達した」、「欧州の再生可能エネルギーがエネルギー危機をもたらした」などのセンセーショナルな見出しの記事が見られました(引用符内の日本語は筆者翻訳)。 このような主張は日本語メディアにも徐々に伝わり、例えば「『脱炭素先進国』のスペインがエネルギー危機に見舞われている。同国の風力発電の発電量が前年同月に比べ2割減るなど欧州の風が弱まったことが天然ガス価格高騰の発端の一つにもなった」、「風力が電源構成の約2割を占めるスペインでは9月の風力発電量が前年同月比20%減。風力

2019年9月5日 京都大学大学院経済学研究科 特任教授　安田 陽 記号論理学の世界 今回はいつも普段から言ってることをちょっと趣向を変えて書くことにします。はじめに数学の話をしましょう。記号論理学や数理論理学の分野では、存在量化子 existential quantifier という記号があり、∃と表記されます（アルファベットのEを反転したものです）。また、全称量化子 universal quantifier と呼ばれる記号もあり、これは∀と表記されます（アルファベットのAを逆さにしたものです）。 前者は「ある?」もしくは「少なくとも一つ存在する」ということを表す記号であり、∃xは「ある（少なくとも一つの）xについて」ということを意味します。また後者は「すべての」を表す記号であり、∀xは「すべてのxについて」という意味を表します。 ここで、任意の対象xに対して任意の属性Pが与えられた際に