逻辑的科学定义(原创首发)

    作者:c210029 提交日期: 2018-01-10 08:49:21

    逻辑的科学定义

    逻辑的科学定义:逻辑是人对事物的描述。具体逻辑是具体人对具体事物的具体描述,整体描述由个人的局部描述构成,整体逻辑由局部逻辑构成,整体逻辑值由局部逻辑值的“逻辑与”运算而成,局部逻辑值由各部分逻辑值和各方面逻辑值的“逻辑与”运算而成,描述的手段:语言、文字、图形、计算机二进制编码、信息编码等等,存在方式:文章、录音、录像、计算机文件、图书、专家系统等等。描述是对历史事物、不变事物以及未发生质变事物的描述,不能描述实时可能发生质变的属性、随机产生的属性,以及实时可能发生量变的属性值。描述事物的逻辑是某人对事物多方面和各部分的描述,简单逻辑是某人对事物某一方面的描述,部分逻辑是某人对事物的部分描述。描述一般具有多方面内容和几个部分内容,局部逻辑由简单逻辑和部分逻辑构成,简单逻辑不可再分,部分逻辑或局部逻辑可继续再分,直到简单逻辑,描述事物的逻辑是各局部逻辑和各部分逻辑的合并,逻辑分:程序逻辑(编排顺序逻辑)、语法逻辑、语句表达意义逻辑、词语应用逻辑等具体逻辑。逻辑值就是某某人对描述事物的逻辑或局部逻辑所给出的正确判定,即逻辑值是某某人对某人对事物多方面或某一方面或整体或局部的描述所给出的正确判定。这里的逻辑、逻辑值、某人、某某人、事物、描述、正确判定都是具体的,而且逻辑只能是某人的逻辑,逻辑值只能是某某人的正确判定,某人、某某人都可以代表一个组织或一个团体或人工智能,某人和某某人可以相同也可以不同,每一种逻辑可能有4个基本值:1、对;2、错;3、既对又错,或自相矛盾,或者既存在部分错误又存在部分正确;4、对错不能确定(在实时描述状态或描述不完整)。实质上每一种逻辑的逻辑值分4种基本情况,而每一种逻辑只能产生一种结果,即逻辑值,也是某某人对每一种逻辑的正确判定结果。通常人们必须保持所用词汇的释义唯一、准确,所用语句不存在语法错误且完整,确保逻辑值只存在“对”和“错”两种。描述事物的整体逻辑是各种局部逻辑的合并,描述事物的整体逻辑值是各局部逻辑值的“逻辑与”运算。只有保证所有局部逻辑值都为“对”,描述事物的整体逻辑值才能为“对”。任何一个局部逻辑值只要是非“对”的一种结果,那么描述事物的整体逻辑值就必然存在该种非“对”的结果。如果一个局部逻辑的逻辑值为“错”,但这个局部逻辑错误对具体描述的影响和作用很小,而且完全可以忽略,那么这个局部逻辑也完全可以忽略,而不合并到描述事物的逻辑之中,也不参与描述事物的“逻辑与”运算,例如用错了一个标点符号。正确判定是以事实、科学为依据,以法律、法规、规则、守则、纪律、规律等为准绳,以真理、公理、定理、定律、适用范围为标准。人通常很容易保持语法逻辑的逻辑值为“对”,但表达意义逻辑的逻辑值很难保持为“对”。逻辑是对事物的描述或陈述,描述或陈述包含判断、认识、综合处理,描述与事物(描述对象)之间存在的每一种关系将形成逻辑表达式或逻辑值。例如货物的实重是5公斤(事物),体积为1立方米,某人描述为:货物重3公斤,体积为1立方米,某某人称重结果(正确判定)为“错”,体积测量(正确判定)为1立方米,即某人对该货物重量的描述是错误逻辑,逻辑值为“错”。某人对该货物体积的描述是正确逻辑,逻辑值为“对”。描述事物的整体逻辑是错误逻辑,整体逻辑值(各局部逻辑值的“逻辑与”运算)为“错”。上述使用的“局部”和“部分”两个词汇表达意义完全相同,区别使用只是便于说明问题,逻辑一般是复合型的,逻辑值是由各局部逻辑值的“逻辑与”运算而形成。

    另外指出:逻辑值有4个基本值,逻辑值不一定就是“非此即彼”的,“非此”而可能是其他3个逻辑值中的一个,具体逻辑值的两次否定不一定等于肯定,陈述句存在一次否定或多次否定都属于否定句,陈述句的肯定句不能存在否定的词汇。例如古希腊的“说谎悖论”就存在一个明显的“非此即彼”的逻辑推理错误,假如古希腊的某一个人未“说谎”,但也可能此人“说话”是不确定的或者是自相矛盾的,而并非一定就是“真话”,因此“说谎悖论”存在的一个明显错误就是“非此即彼”。

    任何词汇或语句都必然存在两个基本逻辑:语法逻辑和表达意义逻辑,而表达意义逻辑的逻辑值很难保证为“对”或者表达意义是唯一的,但科学定义必须确保语法逻辑和表达意义逻辑的逻辑值都为“对”,而且陈述内容必须简明扼要,例如词汇、计算机语言都不能存在自相矛盾的两个释义。“逻辑”这个词汇的科学定义也必然存在语法逻辑和表达意义逻辑,必须确保语法逻辑的逻辑值为“对”,确保“逻辑”这个词汇与其释义、概念名副其实,释义唯一且无异义。逻辑的科学定义:人对事物的描述。逻辑的表达意义是指描述语句的表达意义,不特别说明,逻辑是指描述事物所使用的各条语句。由于具体描述随着人和事物的不同,其逻辑值而可能不同,一般很容易保证语法逻辑正确,而表达意义逻辑的逻辑值并非一定为“对”,但人总是尽可能使描述与事物(描述对象)相符、一致,尽可能使各种逻辑的逻辑值都为“对”。

    不妨假设描述存在n个方面的内容,描述的每一方面内容,按照对、错划分就可能存在4种结果,因此逻辑至少存在4n种结果,n个逻辑值,n为自然数。当各种局部逻辑值规范统一后,逻辑值将只有4个基本值,所有局部逻辑值都可参与逻辑运算。逻辑值就是逻辑在某一方面存在的一种事实或实时产生的一种结果,逻辑的逻辑值是各局部逻辑值的“逻辑与”运算。逻辑必然包含两个基本逻辑:一个是语法逻辑,另一个是表达意义逻辑。语法逻辑的逻辑值是各条语句的语法逻辑值的“逻辑与”运算,表达意义逻辑的逻辑值是各条语句的表达意义逻辑值的“逻辑与”运算,表达意义逻辑是举足轻重的逻辑。如果描述只有一条语句或一种表达意义,则不用“逻辑与”运算,而直接取其逻辑值即可。

    特别指出:在计算机科学、数学和逻辑学上,由于人类对事物的每一部分描述,都准确定义术语、词汇,确保术语、词汇表达意义唯一,描述语句规范、正确、完整,从而确保描述事物都不存在“既对又错”和“对错不能确定”这两种情况,从而确保了逻辑关系、逻辑表达式、逻辑值,只能是两种“对”和“错”的一种。在计算机科学上使用二进制,机器语言、指令编码、程序处理的规范、明确,不会产生异义、随机性、节外生枝。专家把事物分解成各种属性,把属性按类型划分,规定同类属性才能比较,描述两个字符型属性之间的关系符有:相同、不相同、包含、不包含,用其中之一的任何一个关系比较两个属性,逻辑值只存在两种对和错的一种,描述两个数值型属性之间的关系符有:等于、不等于、大于、小于或等于、小于、大于或等于,用其中之一的任何一个关系比较两个属性,逻辑值只存在两种对和错的一种,其他类型的比较将参照字符型或数值型处理,确保逻辑值是两种“对”和“错”的一种,确保程序、指令执行完毕,从而确保二进制描述事物唯一、确定、计算机判定正确。在计算机科学、数学和逻辑学上,具体的任何一个逻辑关系或逻辑表达式或逻辑必然就存在一个逻辑值,逻辑值的表达形式可能是“对”、“错”、“是”、“非”或“否”、“真”、“假”、“0”、“1”等中的一个,而且逻辑值已统一、规范,计算机语言描述正确、可靠而不存在自相矛盾和不确定性。正确判定必须通过公认的科学证明,正确判定是真理的判断。由于不同人对同一事物的描述可能产生多种逻辑值,因此不经过正确判定的逻辑、逻辑的逻辑、逻辑值为“错”的逻辑、不正确判定的逻辑、自相矛盾的逻辑、既对又错的逻辑等等都是无稽之谈,都是我们必须要避免的逻辑,即以讹传讹、不确切的话、假话、弄虚作假、以假乱真等等,我们都必须坚决防范和避免。


      文章信息
      作者:

      c210029

      文章来源:
      时间: 2018-01-10 08:49:21
      阅读次数:605
      回复次数:0
      点击回复比:0%
      只看楼主查看全部
      收藏本帖
      温州工业用插头