数理論理学

すうりろんりがく

mathematical logic

論理学者

logician

数学的論理学

すうがくてきろんりがく

mathematical logic

帰納論理学

きのうろんりがく

inductive logic

形式論理学

けいしきろんりがく

formal logic

演繹論理学

えんえきろんりがく

deductive logic

記号論理学

きごうろんりがく

symbolic logic

多値論理学

たちろんりがく

many-valued logic, multi-valued logic

二値論理学

にちろんりがく

two-valued logic

様相論理学

ようそうろんりがく

modal logic

古典論理学

こてんろんりがく

classical logic

命題論理学

めいだいろんりがく

propositional logic

名辞論理学

めいじろんりがく

term logic

伝統的論理学

でんとうてきろんりがく

traditional logic

弁証法的論理学

べんしょうほうてきろんりがく

dialectical logic

理論物理学

りろんぶつりがく

theoretical physics

心理学理論

しんりがくりろん

psychological theory

理論化学

りろんかがく

theoretical chemistry

学習理論

がくしゅうりろん

learning theory