他构造和检验的逻辑系统是没有解释的纯形式系统
从形式化的角度来看, 一个现代逻辑系统主要包括两个部分, 一个是其语形部分, 即语形学, 一个是其语义部分, 即语义学。在逻辑系统的语形学中, 一个系统只是一个符号与符号系列, 它本身没有任何意义, 我们可以不考虑符号本身的意义而只研究符号之间的形式关系, 因此, 可以说, 现代逻辑的语形部分是没有任何本体论内容的、是与本体论无关的。这一点正如莱涅夫斯基所言:" ……对一个形式主义者来说, 他构造和检验的逻辑系统是没有解释的纯形式系统, 所以, 他把有意义的表达式谓之合式公式, 把公理谓之任意设定的不需要证明的真命题, 把推理规则谓之转换规则。
在语义部分, 我们需要对语形部分作出解释, 使其成为有意义的语言, 即在语义学中确定各个语言符号、语法规则、公理、定理等的意义, 这种解释可以是一种模型, 它是相对于该逻辑系统这个框架而言的, 与客观存在是没有直接联系的。因此, 从这个意义上说, 现代逻辑无论是语形部分还是语义部分, 都是与客观存在、与本体论没有直接的内容上的联系的。当然, 从另一种意义上来说, 现代逻辑系统中的语义学, 实际上是为该系统构造了一种说明、一种解释, 也包括对该系统内何物存在以及以什么方式存在的本体论的解释。所以, 我同意这样一种说法:语义学是逻辑的形式本体论, 这种本体论是逻辑建构的自己说明自己、无需借助外在因素阐述自身的本体论, 它不同于事实本体论, 它是逻辑的而非实在的, 是功能性的而非实体性的, 是关系的而非元素的, 是形式的而非质料的。
不过, 为更准确, 我建议将这句话改为:语义学是现代逻辑的形式本体论。
过分的精确反而易使事物本来面目受到歪曲
人们在判定事物时, 总喜欢把其精确化, 以显示其仔细认真、一丝不苟, 其实有时太精确了并不是件好事, 不是有句话叫" 难得糊涂" 吗! 过分的精确反而易使事物本来面目受到歪曲, 因此在决策时, 模糊思维有时也意义非常。
要知道, 很多事物在类属和状态上都具有一种固有的不确定性和不清晰性, 尤其是社会学所考察的对象。而模糊思维是对逆向思维的理性认识, 越是复杂多变的事物, 其模糊性就越大, 模糊思维的作用也越大。就其方法而言, 它虽然与精确逻辑不同, 但它也有量的规定, 利用模糊数学的方法, 引进" 隶属度" 的概念, 用近似的模糊方法在一定程度上将对象进行形式化、数量化处理。就其特征而言, 它不追求条理清晰的反映对象, 而是着眼于事物的本质和整体特征, 用近似的方式勾勒事物轮廓, 预测事物的发展, 做出近似的、灵活的结论。
模糊思维之所以会在领导决策过程中显得意义非凡, 那是因为:首先, 决策活动作为一个系统变得越来越庞大, 要想对这个系统进行精确的定量分析不仅没有可能, 也没有必要; 其次, 决策系统处在一个运动和变化的状态之中, 常会出现各种随机的突发事件, 常使预先设计的精确数学模型变得毫无意义, 所以过分拘泥于" 精确" 只能是事倍功半; 再次, 随着模糊数学的发展, 我们可以对决策系统进行模糊量化处理, 建立模糊数学模型, 对决策过程进行弹性的模糊控制, 这种控制较之于精确思维的刚性控制要优越得多。模糊数学这个工具的出现, 使得模糊思维具有了实际操作性, 使其发挥了更大的作用。
VOB stands for DVD Video Object. It is basically one of the core files found on DVD-Video discs and contains the actual movie data. The best video converter can convert almost all popular formats to DVD VOB file - convert MKV to VOB, convert FLV to VOB, convert MP4 to VOB, convert 3GP to VOB, convert ASF to VOB, convert SWF to VOB, convert AVI to VOB, convert MPEG to VOB, convert MOV to VOB, convert WMV to VOB, convert TS to VOB, etc.