非標準論理
non-classical logic、non-standard logic、非古典論理
古典論理を含む、非古典論理やその他論理の集藏。それぞれに似た體系がいっぱい有る旨を注意 universal logic
論理學とは、どのやうに正しく考へられるのか、また何故正しく考へうるのかを論及する學的思考である
命題論理 (propositional logic)
BCK 論理
グリシンの論理
構造規則を除いたもの
可補論理
多値 Boolean 論理 (多値可補分配論理)
可補 modular 論理
直交可補 modular 論理
可補非 modular 論理
非可補論理 (擬似否定・擬似含意)
多値全順序論理
標準體系
Gödel の體系
非可補分配論理
非可補 modular 論理
非可補一般論理
證明論 (proof theory)
自然演繹
證明論的意味論 (proof-theoretic semantics; PTS)
model 理論 (model theory)
眞理値表
model 論的意味論
再歸理論 (recursion theory)
述語論理 (predicate logic)
高階述語論理 (higher-order predicate logic; HOL) 自由論理 (free logic)
固有名に對應する固體が無くてもよいとする
inclusive logic
存在述語
同一性記號$ I(x,y)
公理
$ \forall x I(x,x)
$ \forall x,y(P(x)\land I(x,y)\supset P(y))
Turing 階層
論理 programming
GHC
Oz (Mozart)
證明論
竝列計算
單引數π計算 (monadic π-calculus)
多引數π計算 (polyadic π-calculus)
join 計算
ambiant 計算
隱れ代數 (hidden algebra)
flow chart
論理囘路
data flow programming
狀況計算 (situation calculus)
內包論理 (intentional logic)
非單調論理 (non-monotonic logic) 雙對直觀主義論理
歸納論理 (inductive logic)
確率論理 (probabilistic logic) 一般量化子 (generalized quantifier)
唯一量化子 (uniqueness quantification)$ \exist!
分岐量化子 (branching quantifier)
dependence logic
圈の內部論理 (internal logic)
傳統的論理學
ギリシア論理學
アリストテレス (Ἀριστοτέλης) 論理學。名辭論理
對當の幾何 (oppisitional geometry) 辯論術
ストア派論理學。命題論理
England 經驗論の論理學
John Stuart Mill
「醫學典範」
一致法 (method of agreement）
差異法 (method of difference）
共變法 (method of concomitant variations)
一致差異倂用法 (joint method of agreement and difference)
剩餘法 (method of residues)
インド論理學
認識論的論理學
ニヤーヤ學派
中華論理學
墨家論理學
名家論理學
儒家論理學
イスラーム論理學
論理學の哲學。meta 論理學