真值
维基百科,自由的百科全书
在经典逻辑中,唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的: 模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。
在代数上说,集合 {真,假} 形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合,但直觉逻辑把布尔代数推广为 Heyting代数。
在 topos 理论中,topos 的 subobject classifier 接管了真值集合的位置。
[编辑] 引用
- Article on logical constants at the Stanford Encyclopedia of Philosophy;
- Weblog entry "How many is two?" by Andrej Bauer discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.