存在するはなぜ二階の述語なのか｜ミック
拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話
「ゲバルト」展が東京日仏学院などで開催。反暴力的反応とその美的様式を探る
「ゲバルト」展が東京日仏学院などで開催。反暴力的反応とその美的様式を探るゲバルト団体（アレクサンドル・タルバ、平居香子、宮内芽依、アントワーヌ・ハルプク、ガーリン）の主宰により、反暴力的反応とその美的様式を探る展覧会 「ゲバルト」展が、東京日仏学院、CAVE-AYUMI GALLERY、セッションハウスで開催される。会期は5月18日〜6月16日。 制度の暴力のなかで特定の芸術形態がどのように発展していくのかを示そうとする展覧会「ゲバルト」展が、東京日仏学院、CAVE-AYUMI GALLERY、セッションハウスで開催される。会期は5月18日〜6月16日。キュレーターはアレクサンドル・タルバ。 本展を主宰するのはゲバルト団体（アレクサンドル・タルバ、平居香子、宮内芽依、アントワーヌ・ハルプク、ガーリン）。2023年5月に東京で設立された芸術的・政治的団体であり、キュレーション集団として構想さ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Gitの仕組みと用語 / GitHub Term
