選擇邏輯

選擇邏輯(logic of preference)又稱“優先邏輯”。是現代形式邏輯的一個分支。其目的是要把支配著概念‘寧選x而不選y’的形式規則加以系統化。在對選擇邏輯進行符號化時可把選擇性分為:(1)(強選擇)；寧選x而不選y，符號為：x>>y。(2)無差別：x和y無差別定義為既不是x>>y也不是y>>x，符號為： x≈y。(3)弱選擇：選擇x不遜於選擇y，定義為：或者x>>y或者x≈y，符號為： x≥≥y。

若對所考慮的任一事項x，用一個實數來表示它的“優點的測度”，記作#(x)，則上面的定義可寫成：(1)x>>y：在#(x)≥#(y)。(2) x≥≥y：#(x)≥#(y) 。(3) x≈y：#(x)=#(y)。在構造選擇邏輯時，假定所討論的事項是命題p，q，1......在命題間引人一個選擇順序p≥q，表示寧選情形p而不選情形q，從而可對這些命題間的選擇邏輯關係進行系統化的研究。