逻辑学和其他学科的关系,这里我们应该知道逻辑学与以下学科的关系密切:
哲学
数学
语言学
计算机科学
逻辑学最早是作为哲学的一部分存在的。
哲学,狭义理解,主要解决世界本原问题,物质的,还是精神的,是主观的,还是客观的。
本体论和认识论是哲学的核心。
广义理解,包括逻辑学,伦理学,美学。
数理逻辑:用数学的方法、数学的语言、数学的工具研究推理。数理逻辑的成果为数学基础的研究服务。
语言是逻辑的外壳。例如,语文老师会认为“整个大楼一片漆黑,只有那个窗户灯火通明。”是不对的,因为这两个子句互为矛盾。同样,“中国有着世界上任何国家都没有的万里长城”也是不对的。
计算机科学:它是以【离散数学】的研究与分析为基础学问的科目。这里,最早的逻辑系统:二值(二进制),是与不是,此后发展了:各式各样的“值”(例,十进制、三进制……)、逻辑门、比特与逻辑、量子逻辑、次协调逻辑、等等……
推理:演绎、归纳、溯因,目前来说,这仨是混用的。
演绎:从一般到个别
归纳:从个别到一般
溯因:类比或对比
计算机未能做到完整归纳,但能做到完整演绎。
归纳逻辑它的一个任务是要把我们所做的具体的归纳,要给出归纳的有效推理形式。