“逻辑学”不是神学,不是给文人吹牛用的!
逻辑学并不难懂。即便数理逻辑这种符号化的逻辑学,沉下心思去学,其实也不难,至少比高等数学简单多了。逻辑学有个“虚伪“的外表,给人感觉人畜无害,又处处可用。但你有没有想过很多现实的悖论现象。比如,你在社会学论证结婚、离婚的趋势;又比如你在宏观经济学论证物价的走势,即便你极为谨慎、非常认真的运用了...
华章廿载 新质未来——2024第二十届全国高性能计算学术年会在武汉...
建筑设计并不是靠画出来的,而是由模型算出来的,这就要求必须实现数理逻辑与形式逻辑的统一。未来,建筑生产不再是粗放式的建筑施工,而是可以像造汽车那样造房子,即通过模块化、一体化、自动化、智能化,在工厂实现提前预装。在实践过程中,丁烈云院士不仅仅将智能技术用于建筑设计领域,还在医疗健康甚至体育等领域进行广泛...
曝陌陌盲盒抽奖套路卷土重来,大奖不兑现,有人一月赔光百万;公司...
建筑设计并不是靠画出来的,而是由模型算出来的,这就要求必须实现数理逻辑与形式逻辑的统一。未来,建筑生产不再是粗放式的建筑施工,而是可以像造汽车那样造房子,即通过模块化、一体化、自动化、智能化,在工厂实现提前预装。在实践过程中,丁烈云院士不仅仅将智能技术用于建筑设计领域,还在医疗健康甚至体育等领域进行广泛...
评论与争鸣 | 欧陆哲学讲逻辑吗?——分析哲学和欧陆哲学的论辩
对于逻辑来说,又有形式逻辑和各种非形式逻辑。在形式逻辑方面,还有不同种类的形式逻辑,如亚里士多德的三段论逻辑,数理逻辑,或以数理逻辑为基础的各种现代逻辑。由此可以得到以下序列:说理—论辩—论证—逻辑—形式逻辑—数理逻辑/现代逻辑这个序列像一把标尺,可以用来测量某种哲学在方法方面的刻度,或称为“哲学方法论...
王浩︱生物学的形式与直觉
最早的公理化方法与欧几里得的《几何原理》相关,具有悠久历史,特别在十九世纪的数学领域中尤为活跃,自1900年以来,它一直是数理逻辑领域深入研究的主题。1936年,图灵提出了第一个令人信服且可靠的可计算性概念,这也产生了精确的公理系统或形式系统的严格概念。在这种严格的意义上,通常大多数所谓“公理系统”并不是形式...
传统逻辑研究性质和属性
为了实现概念内涵具有真实性,必须通过不同手段获得正确的结论(www.e993.com)2024年10月20日。但是传统逻辑没有手段实现概念内涵的真实性。需要获得事物的性质,首先需要获得事物具有属性。如果事物具有属性不存在,那么事物具有性质肯定不存在。这是完整逻辑的断言,并非传统和数理逻辑的结论。
罗素:数学与形而上学家
各种类型的序列都能从形式上加以定义,而且它们的性质能凭借关系代数从符号逻辑的原理中推演出来。极限概念是大部分的高等数学中的基本概念;过去,人们常常通过量把它定义为某个序列的项可以任意逼近的一个项。但现在,极限是以完全不同的方式被定义的,而且它所限定的序列可能根本不逼近它。这种改进也应归功于康托尔,...
后果前因环紧扣 逻辑推演命题宣——《数理逻辑引论》对读者阅读的...
数理逻辑是用形式化方法研究推理中前提与结论之间的形式关系的一门科学,它是用专门的符号和数学方法来处理、研究演绎方法的理论,它所研究的逻辑属形式逻辑形式上符号化、数学化的逻辑。通常认为,数理逻辑创建于17世纪末,其重要创始人可追溯到德国哲学家、数学家莱布尼茨,因为他比前人更明确地提出了数理逻辑的指导思想...
形式逻辑与辩证逻辑
数理逻辑作为形式逻辑,主要是传统演绎逻辑发展的必然结果,也就是现代的形式逻辑,它用形式化的方法研究思维的形式结构及其规律,即用一套特制的表意符号(其意义是可以解释的),去表示概念、命题和推理,表示它们的逻辑形式及结构,从而把对概念、命题和推理的研究转化为对形式的符号表达式系统的研究。
形式逻辑让人明辨是非,辩证逻辑让人深刻睿智
逻辑就是这样一种判断工具,它的作用就在于帮助我们进行有效的判断。就逻辑工具而言,人类到目前为止主要发展出了五大逻辑体系,分别是:形式逻辑、数理逻辑、实证逻辑、辩证逻辑和系统逻辑。当然,在人类文化体系当中,还有一套直觉参悟体系,如佛家的参禅和道家的打坐这类彗性认知模式,但是它们并不在逻辑体系之列。