因为形式逻辑并不研究“判断的绝对之真”,而C语言是基于形式逻辑理论而编写的计算机编程语言,所以“表达式为真”指的是“命题的相对之真”。
真和假的哲学定义
真/假是对事物体感知程度的判断。是成对出现的,必须一起定义。
真和假构成一对抽象范畴概念,用范畴式定义就是:体感{假/真}。可知假涵盖了真。
真/假分为绝对和相对两种。
一、绝对(判断)真假:有界为真,没界为假。绝对真/假表达了对所有事物的共同性质:本体(连/限)的直接感知程度。就是说只有在有界的情况下,一件事物才能够被感知为是一件被确认的事物;如果没界就没法感知到真有这件事物。这就是绝对真假的含义。分开来定义就是:
绝对的“真”:在连续的混沌中界出了有确定边界的东西。
绝对的“假”:在连续的混沌中没界出有确定边界的东西。
通常所说的:看真些。其实就是说要把对象的边界确认清楚。所谓真假难分,就是说事物总是难以“确界”的。这里有两层意思,1、某一个人对某物难以确界,2、每个人的确界难以相同。其中1涵盖了2。
如表所示,绝对真假是对事物体直接感知程度的判断,共有四级:假的有三级,真的只有一级。我们常说:1、听得不是很真(失真)。指的是听到的与以前不一样;2、没听到什么啊。指的是听不到声音,就是听不到有什么可以作为限制的东西;3、静静的。指的是一片“连”着的空白,这与2反着说但意思相同;4、听到明显的声音。指的是听到“界限”了。
二、相对(命题)真假:把有界传作没界或把没界传作有界都是传递之假(失真);把此界传作他界也是传递之假(误传);把此界传作此界或把没界传作没界则是传递之真(真传)。可见传递的真假是相对于命题的。相对真假问题是指判断的真假在命题和推理过程中的正确传递与否的问题。形式逻辑中的《基本命题真值表》表达的正是绝对真假的相对传递规律,至于如何保证原始判断的绝对真假问题,形式逻辑并不研究。