简介：早在公元6000多年前，中国先人就创造了以爻卦为命题形式，以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后，又给出了爻辞和卦辞的语义解释系统。后来，又给出了《易经》的语义和语用解释系统。它自古至今，长盛不衰，成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑，是以易经逻辑为其辩证逻辑基础的，它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA＋＋就是其现代化形式公理系统。

简介：在森林里住着一只山羊和兔子，山羊在星期一、三、五说谎，兔子在星期二、四、六说谎。在其他日子它们说实话。一天，来了一只猴子，见到山羊和兔子，分别向它们提出关于日期的问题。山羊和兔子都说：“前天是我说谎的日子。”那么这一天是星期几?

简介：

简介：自本世纪七十年代末以研究智能系统的工作原理为对象的交叉学科——认知科学(CognitiveScience)正式宣告诞生以来,“人类智能的奥妙”就成为当今人类最感兴趣的四大问题之一。随之而来的,关于“人类智能的研究和开发”等系列问题也格外引人注目。“人类对自身潜能的不断挖掘,即人类智能的发展,是一个比用国民生产总值所能衡量的经济发展,远更基本的现象。”“如何去激发我们处于休眠状态的潜能,并从现在开始,有目的地明智地运用它们,是一个关于解决人类差距,关于人类前途的保证的唯一去处。”

简介：《逻辑学百年》是一部概述20世纪中国逻辑学发展的重要成果并探讨其发展基本脉络的学术专著。

简介：逻辑思维也是一种创新思维。这不是标新立异的观点，是从逻辑思维的程式发现法的实践中产生的观点。笔者过去也反对这个观点，后来笔者将逻辑思维程式化后，发现逻辑思维也是一种创新思维。为什么以前会否认逻辑思维是一种创新思维呢？

简介：

简介：

简介：一、意象与概念（一）、意象与概念的互相包容康德就曾模糊地解决过意象与概念的关系，“在他看来，一个象征就是一种知觉或表象，这种知觉或表象代表了一种概念，但并不是作为一个约定俗成的单纯的符号来代表，

简介：人的一生会遇到数不清的问题，如何解决这些问题呢？如何确定目标，搜索操作、选择指令、确定程序、制定方案来解决问题指导实践呢？“求解思维形式学”给出了答案。

简介：中宣部部长刘奇葆同志曾撰文指出了“着力构建让世界听得懂、能信服的理论和话语，让国际上了解和理解中国道路、中国制度”的重要意义。这是当前一项诠释中国发展道路，树立道路自信、理论自信和制度自信的重要工作，需要广大理论工作者深入研究东西方文化、哲学及其背后思维方式的本质，并通过推陈出新来架起东西方文化沟通的桥梁。

简介：人类和个人对事物的认知发展过程可分为感性认知和理性认知两大阶段。思维即理性认知。思维按其意识和复杂性程度可分为直觉思维、形象思维、抽象思维和辩证思维四种基本类型。逻辑学是描述思维的产物即思想的形式结构与其规律的科学，也是为思维提供思维形式与其变形规则的模规范性科学。当代逻辑学按其产生和适用的主要思维领域不同，可分为准逻辑、形象逻辑、形式逻辑和辩证逻辑四种基本类型。

简介：随着市场经济的发展，企业经贸谈判越来越多。影响谈判结果的个人素质究竟有哪些？美国学者Ｌ·卡拉斯在广泛调查后汇编调查数据时发现，最重要的有三个方面，其中最基本的是逻辑思维能力。一、表达判断准确在谈判中，要专心倾听对方谈话，细心揣摩，反复推敲；不要听其大概，妄加臆测，轻率地表达自己的意见。例如，买方希望卖方五天之内全部交货，卖方回答：“如果我们有办法一定照办。”在这里，卖方用的是假言判断，并未敲定一定按期交货。买方却忽视了“如果”，以为对方已答应五天之内交货，于是付出货款。五天后货未到时，卖方以“我们尽了最大的努力，实在没有办法”为由，使买方吃了哑巴亏。表达自己意见也要概念准确，特别是签约时，更要仔细推敲每一条款，看是否把自己的意见准确全面地表现出来，以免给对方以可乘之机，造成经济损失。当年，清政府为修筑胶济铁路，同德国人谈判并签定了条约。条约规定：德方出钱帮助修筑，但附加条件是“沿铁路三十里内的煤矿等矿，德国人有权开采。”本来谈判时讲明的是铁路左右共三十里，也就是左右各十五里，而事后德国人硬说是左右各三十里，并说这是以条约为依据的。之所以让德国人钻了空子，原因就在于“沿铁路三十里内”既可解释为“左右共三十...

简介：悖论是西方逻辑学中的梦魇。自从第一个悖论“说谎者悖论”出现之后，悖论就逐渐增多呈堆积之势，将逻辑学逐渐围堵。而逻辑学家们对这些悖论却是一筹莫展，既不知道其是如何产生的，又不知道怎样去破解它。

简介：我们已进入立体思维创造时代。客观存在是立体的，客观存在的问题也是立体的，这就要求我们用立体思维方法来解决立体问题。揭示立体思维方法、方式、形式、规律就变得很重要。那么“立体思维形式学的内在逻辑结构”是什么呢？经过笔者研究，提出如下“立体思维形式学的内在逻辑结构”图。其结构模式正确与否，用程式证明法来佐证。

简介：工程图学(即画法几何与机械制图)是从画法几何学的产生、建立与发展而形成的技术基础学科。画法几何学由法国著名科学家加斯帕·蒙日(GaspardMonge)创立。蒙日把经过长期探索得到的成规，以及经过反复实践取得的简炼的方法，汇合在一起，形成一部逻辑上无懈

简介：灵感思维是在思维经验基础上的高级自动编程思维，用已知程序知识自动编程出未知程序解题是灵感思维的特点。已知程序包括思维经验程序。程序也是一种知识，包括事实知识、