逻辑是一种有语法规则的语言,而西方现代符号逻辑则是一种有严密规则的精确语言。正是依靠符号逻辑的思想,计算机才有了专用的语言系统。从这个过程来讲,符号逻辑不是“实事求是”,而是“求是事实”。(实践是检验真理的唯一标准在这个体系里什么也不是)。
逻辑有很多种类型:亚里士多德的逻辑被康德称为形式逻辑,黑格尔的逻辑是辩证逻辑,康德曾经创造了先验逻辑。另外,在文化艺术体系内,苏联哲学家曾经提出过形象逻辑。提出时间最短的,是符号逻辑。符号逻辑包括命题逻辑、谓词逻辑/第一次逻辑、第二次序逻辑和高次序逻辑等。
符号逻辑脱胎于形式逻辑,现在基本上取代了形式逻辑。如果下个定义:符号逻辑是以数理方法研究用符号简捷地表达演绎推理的办法。一般认为,符号逻辑源于费雷格、罗素,经维根施坦发展成熟。虽然代替了形式逻辑,但是二者仍然的前提是一样的:世界各种现象背后是有固定次序的,而理性的任务就是把这个次序提示出来,从而达到思想的准确性。其最大的特征就是通过建立“逻辑世界”,把人们的“经验世界”区别出来。
所谓逻辑命题,就是非真即假的命题。(问句、祈使句、感叹句等不是命题,它们不是非真既假),只是建立推论的材料。由于非真既假,模棱两可的语言被排除,所以通过逻辑规则,符号逻辑使思想变得更简捷、清楚。
至于问题何者为真、何者为假?这牵扯到命题与事实是不是相符的问题。但逻辑学家不研究这个问题,这些工作属于科学家和研究这种关系的人。
逻辑有很多种类型:亚里士多德的逻辑被康德称为形式逻辑,黑格尔的逻辑是辩证逻辑,康德曾经创造了先验逻辑。另外,在文化艺术体系内,苏联哲学家曾经提出过形象逻辑。提出时间最短的,是符号逻辑。符号逻辑包括命题逻辑、谓词逻辑/第一次逻辑、第二次序逻辑和高次序逻辑等。
符号逻辑脱胎于形式逻辑,现在基本上取代了形式逻辑。如果下个定义:符号逻辑是以数理方法研究用符号简捷地表达演绎推理的办法。一般认为,符号逻辑源于费雷格、罗素,经维根施坦发展成熟。虽然代替了形式逻辑,但是二者仍然的前提是一样的:世界各种现象背后是有固定次序的,而理性的任务就是把这个次序提示出来,从而达到思想的准确性。其最大的特征就是通过建立“逻辑世界”,把人们的“经验世界”区别出来。
所谓逻辑命题,就是非真即假的命题。(问句、祈使句、感叹句等不是命题,它们不是非真既假),只是建立推论的材料。由于非真既假,模棱两可的语言被排除,所以通过逻辑规则,符号逻辑使思想变得更简捷、清楚。
至于问题何者为真、何者为假?这牵扯到命题与事实是不是相符的问题。但逻辑学家不研究这个问题,这些工作属于科学家和研究这种关系的人。