多値論理
普通の真理値
$ t,f
に加えてよりもっと真理値があってもいいのでは？という動機から
嘘つきのパラドックス
，及び
Russelのパラドックス
を解決したい，という欲求から
3値論理
4値論理