1 判断的哲学认知
“在线新华字典”中对判断的解释是“①断定:判断准确|正确的判断。②判决:雨村便徇情枉法,胡乱判断了此案。③对事物情况有所肯定或否定的思维形式。如:“马克思主义是真理。”所作的肯定或否定符合客观实际,判断就是真的,否则就是假的。检验判断真假的唯一标准是社会实践。判断由概念组成,是在实践的基础上反映现实的结果。判断总是表现为句子,但是并非所有的句子都表示判断。同一个判断可以用不同的句子来表示,同一个句子也可以表示不同的判断。”
判断是形式逻辑学中的研究内容之一。判断是对客观事物情况有所断定的一种思维形式,是用肯定或否定的形式反映周围现实一种思维形式。判断的特征有两个(1)一是有断定行为发生;(2)二是有判断真假结果输出。与概念的区别:第一,概念本身无所谓肯定或否定;第二,概念也无法表示它的真或假。判断则不同,它至少是两个概念的结合。判断的种类,根据判断中是否包含有“必然”、“可能”等模态词,判断划分为模态判断和非模态判断。根据非模态判断中是否包含有其他判断,将非模态判断划分为简单判断和复合判断。根据断定的是对象的性质还是之间的关系,将简单判断划分为性质判断和关系判断。根据复合判断中包含的联接项的不同,将复合判断划分为联言判断、选言判断、假言判断、负判断。
性质判断,又称直言判断,是指断定思维对象具有或不具有某种性质的判断。传统逻辑把它称为直言判断。任何性质判断都是由主项(S)、谓项(P)、联项(是/不是)、量项(全部、部分、某个)四部分组成。根据性质判断质和量的划分标准,一共有六种类型:单称肯定判断(S是P)、单称否定判断(S不是P)、特称肯定判断(有S是P)、特称否定判断(有S不是P)、全称肯定判断(所有S是P)、全称否定判断(所有S不是P)。
关系判断,是断定对象与对象之间关系的一种判断,它也是一种简单判断。任何关系判断都是由关系者项(a,b)、关系项(R)、量项(一个或一类)。
判断的作用有三个,即判断是概念的展开,判断是推理的推理的基本要素,判断是人们认识事物的工具。
2 程序中判断的认知
程序中的判断是对一个变量的性质和关系的判断,判断的结果是决定行为是否发生和行为方向的依据信息。判断是出于对运行所处环境的一种保护,在程序中如变量是否为空、空间是否已满、时间是否已到、变量是否是这个值都是一种避免程序出错的措施。
程序中的判断语句有两种,一种是if-then ,一种是switch.
2.1 If语句
if语句是选择控制或分支控制语句之一,用来对给定条件进行判定,并根据判定的结果(true/false)决定执行给出的两种操作之一。if语句有三种形式,(1)单分支;(2)双分支;(3)多分支。
2.1.1 单分支
语句结构
If(条件表达式) {语句块}
2.1.2 双分支
语句结构
If(条件表达式) {语句块1} else {语句块2}
2.1.3 多分支
语句结构
If(条件表达式1) {语句块1}
else if(条件表达式2 ) {语句块2}
else if(条件表达式3 ) {语句块3}
2.2 switch语句
switch语句是为了解决嵌套的if语句实现多分支选择时由于嵌套层次过多,程序变得冗长难读的问题,引入switch语句后,可使程序的结构清晰。
语句结构
switch(算述表达式){
case 常量表达式1:语句块1;break;
case 常量表达式2:语句块2;break;
.....
default:语句块n
}