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

2024/05/15 159 users 述語 ミック 拙著 引数 二階

拙著『達人に学ぶ SQL徹底指南書』の中で、EXISTS述語の使い方を解説している章があるのだが、そこでEXISTS述語だけが唯一SQLの中で二階の述語である、ということを説明している。これはEXISTS述語だけが行の集合を引数にとる述語だからである。それは分かるのだが、なぜ述語論理を考えた人（具体的にはゴットロープ・フ... 続きを読む

Scalaで論理体系を作る話 - 1. 命題論理その1 - Qiita

2019/01/09 23 users SCA Qiita Scala 集合論 実験

Scalaの型システムには興味深い型が存在します。Scalaの型で述語論理を表現できないか、表現できるとしたら集合論をScalaで書けてしまわないだろうか、という興味から、Scala-proofsというプロジェクトを立ち上げて実験をしています。この記事は、Scala-proofsの中で使用する論理体系の表現手法について解説します。 Sca... 続きを読む

『理論から学ぶデータベース実践入門』の間違いを指摘する - Qiita

2017/01/02 125 users Qiita リレーショナルモデル 理論 データベース実践入門

『 理論から学ぶデータベース実践入門 』という本を読んでいて、2章の論理学の説明に多くの誤りを見つけたので指摘しておく。この本はデータベースについての技術書であり、数学書ではないのでこれらの誤りがこの本の価値を完全に損なうとは思わない。 しかし、述語論理に基いてリレーショナルモデルを説明するという趣旨の本である以上、その基礎である論理学の説明が不正確なのは大きな問題である。また著者が論理学の専門家... 続きを読む

新･あいまいな本日の私: 一階述語論理と集合論は循環している？

2013/06/29 72 users 集合論 本日 公理 構造 意味論

2013年6月29日土曜日 一階述語論理と集合論は循環している？ お久しぶりです。このブログ、一年近く放ってありましたが、久々の恒真…もとい更新です。今日は、先日見つけた論理学ネタについて。 一階述語論理と集合論は循環していませんか？ 一階述語論理の意味論には集合概念が使われていて集合論の公理は述語論理で記述されているように感じるのですが、これは卵が先か鶏が先かの構造になっていないのでしょうか。 ... 続きを読む

RDFとセマンティック･ウェブの現在

2005/06/16 113 users セマンティック RDF オントロジー unicode URI

セマンティック・ウェブのレイヤーケーキ URI, Unicode, XMLを基盤に ウェブの蓄積をベースにグローバルなデータ（OpenWorld）を扱う マシンが読める形でデータや知識を共有 RDFによるシンプルで柔軟なデータ形式 RDFS 、オントロジーによる語彙と知識の記述 推論規則と論理フレームワーク 述語論理、記述論理を用いた推論、高度な検索 検索結果をエージェントが判断してさらに処理を継... 続きを読む