一階述語論理は個体の量化のみを許す述語論理である。
一階述語論理が健全性と完全性を備えていることがクルト・ゲーデルによって証明された。
述語論理
2022/2/25 22:29:00
本データベース述語論理T字型ER手法データ設計論理データベースT字形ER手法はaRbを関数表現として解釈しないentityはresourceとeventに分けられるT字の右辺には述語を書くT字の左辺には主語を書くentityはidentifierを付与されたモノ在庫はentityではない「entityは管理したいモノ」というのは正確ではないT字型ER手法のentityは名辞チューリングルートヴィヒ・ウィトゲンシュタイン『論理哲学論考』aRb排中律「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」意味の対象説写像理論言語ゲームは意味の使用説を提示した概念言語ゲーム『哲学探究』仮言命題命題論理学T字型ER手法の作図ルールヒルベルトのプログラムウィトゲンシュタインは『探求』で1対1対応を否定したクラス論理集合論BGの公理系多項述語論理コード体系『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』event : eventresource : eventクルト・ゲーデル記号論理学単項述語論理関係の論理第一階述語論理resource : resource真理関数合併集合正則性公理空集合の公理冪集合の公理ZF和集合の公理DB論考Bernays-Gödelの集合論公理的集合論集合論の公理体系ZFから置換公理を除いた公理系がZermeloの集合論Zermelo-Fraenkelの集合論Zermeloの集合論置換公理axiom of infinity分出公理無限集合の公理BG内包の公理部分集合の公理対の公理外延性公理無限集合
『論理データベース論考』
2024/8/18 8:40:00
あれ
2024/8/4 16:06:00
関数型プログラミングの延長線として述語論理が流行らないかしら。
ドメイン駆動設計もやんやんしてるし、ドメイン駆動設計と述語論理がミーツする可能性はありそうな予感がしてる。
あれ
2024/6/10 23:25:00
xor・rotate_right・rotate_leftで、ベクトル化された微分可能な述語論理が構成できる気がするんだ……。
述語論理の述語と個体を{0,1}のベクトルであるところのビット列で表現したい。
正規表現の微分が定義できるんだから、述語論理の微分ぐらいイケるやろ。
あれ
2024/6/3 23:58:00
ずっと、考えるということはマリオカートのダッシュパネルのようなものだと感じていた。つまり、ダッシュパネルに乗ったマリオはダッシュパネルが向いている方向に射出される。そして、射出された先にダッシュパネルがあれば、マリオは再びその方向へと射出される。そうして上手く連鎖したときに、マリオが遠くにふっとばされて楽しい。といった感じだ。
ここ最近の思索（A)の結果、関係はベクトルあるいはビット列で、aRbや述語論理はベクトルやビット列の加算に類する演算で表すことができるのではないかという仮説が立った。ここで、私の頭の中で、「マリオカートのダッシュパネル＝関係のベクトル」という結びつきが生じた。
この、アイデアの線分と線分の重なりが発見されたため、思索（A)を掘り進めれば、仮説が正しいにせよ間違っているにせよ、何かが見つかるのではないかという気分が高まっている。
あれ
2024/6/1 15:55:00
aRbをProlog的に考えてみる。
Rb(a)と表すことができる。つまり、鳥である(鳩) のようになる。
bを主語化すればR(a,b)と表すことができる。すなわち、である(鳩,鳥) となる。、
Rを主語化すればX(a,R,b)と表すことができる。つまり、X(鳩,である,鳥) となる。
このXが何者なのかはわからない。命題？文？
あれ
2024/5/24 22:42:00
RDBのテーブルって、述語論理の述語なのではないかというよくわからん思いつきが降ってきた
一階述語論理
2024/3/17 15:38:00
高階述語論理
2024/3/17 15:24:00
本田 裕『学位論文 博士（工学） 深層学習を用いた一階述語論理による推論に関する研究』
2024/3/17 15:24:00
微分可能述語論理
2024/3/17 10:41:00
あれ
2023/9/23 12:25:00
わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。
GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。
概念グラフ
2023/5/1 12:28:00
Prolog
2023/3/29 13:47:00