存在するはなぜ二階の述語なのか｜ミック

拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フレーゲ。タイトル画像のおじさんである）はこんな着想を得たのか、そこが分かりにくいという質問をしばしば受けることがある。確かに、数ある述語の中でなぜ「存在する」だけが二階の述語であるのか、というは直観的にすこし分かりにくい。なぜフレーゲはこんなことを考えたのだろう？ この点について、述語論理の創始者でもあるフレーゲの議論を参照しながらかみ砕いて見ていきたいと思う。かなり理論的かつ哲学的な話になるので、興味ない方は読み飛ばしてもらってかまわない。とくにSQLの理解に支障のある話

[collectedseptember]

二階俊博にそんな口癖あったかな？とおもったが関係ありませんでした

[shinsyun_3771]

「存在は二階の述語である」ことを説明するには、そもそも、フレーゲの文分析手法（量化理論）がそれ以前の手法（代示理論や初期ラッセルの手法）とどのように異なるのか、の説明が必要

[isseium]

SQL をいじっていると EXISTS だけなんかスコープ飛び出るような違和感あるなーとおもっていたのはこれかな

[nemoba]

EXISTSがサブクエリしか食えないことに悩む人には助かる。助からない。

[turanukimaru]

例えば OOP におけるオブジェクトの生成も new X() だろうが X.newInstance() だろうが「まだ存在しない」が存在することにする、という二階の述語。なのだがこれは日本語では普通なので読者の多くはそもそも気にしてないかと

[usurausura]

有名な話なのかなid:entry:4674169778519424866 https://www.kansai-u.ac.jp/fl/publication/pdf_department/24/107katoh.pdf やっぱりいろんなトピックをつまみ食いするんじゃなくて、普通の教科書で体系的に勉強しなきゃだめか…

[rryu]

二階になるのは要素数は集合の要素ではないからだと思うが、存在しえない要素の集合は存在しえるのかというのはおもしろい。

[nanakoso]

DB

[door-s-dev]

論理学のお時間です

[andvert]

2階じゃなくて二階って書かれると自民党になってしまう

[ublftbo]

その画像WIISのじゃなかったっけ

[togusa5]

禿げのフランス王

[hamamuratakuo]

数学とは不思議なもので勉強すればするほど数学の面白さが分かるようになる。もっと早く気が付けば良かった！ペアノの公理を採用すると1+1=2は永遠に不変。数学～特に論理学は、人間を永遠不変の世界につなげてくれる

[ebmgsd1235]

非存在の存在論、存在性格といえば中世の実在、唯名、概念論。「存在は概念の性質であるがゆえに、神の存在に関する存在論的証明はその目標を達成しない」のね。あるxについて云々は述語についての述語、二階の述語

[niramoyashi]

こんな事考えてSQL書いてるやついない

[pekee-nuee-nuee]

これはあとで読むやつ

[htnmiki]

おもしれー

[outalaw]

二階の供述と空目してしまった

[mysql8]

腹痛が痛い

[finefinethankyou]

SQL文考える時に少しでもよぎる？

[paradoxparanoic]

よく考えたら1件でもあれば成立するから列じゃなくてOptionで良かった(内部的にはそうなっているにせよ)

[peketamin]

論理学入門やろう…全然わからない…

[daruyanagi]

“個数言明が概念についての言明を含む”