半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

形式逻辑与数理逻辑比较研究

语言、逻辑与认知：语言逻辑和语言哲学论集

MBA联考逻辑与写作一本通关 逻辑部分

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系

岩土与结构工程中不确定性问题及其分析方法研究

岩土工程是20世纪60年代末至70年代初，将土力学及基础工程、工程地质学、岩体力学三者逐渐结合为一体并应用于土木工程实际而形成的新学科。岩土工程的发展将围绕现代土木工程建设中出现的岩土工程问题并将融...

参数不确定性评估与可靠性设计方法

现代机械结构组成复杂，工作环境严酷，精度要求高，寿命要求长，而设计分析和服役过程中存在设计参数和外部干扰等诸多不确定性因素，进而导致可靠性问题突出，如何充分利用多重不确定性信息开展机械系统高可靠性设计.....

故障诊断的不确定性与知识获取

本书主要以粗糙集等不确定性分析方法为工具，系统地阐述了故障诊断信息系统中不确定性的表示、度量与计算，并对包含不完备信息、不一致信息的故障诊断知识获取技术进行了研究；反映了当前该领域的最新研究进展和...

科学语义学研究

主要内容：第一，语义学研究的早期历史传统及其现代性的成长背景、特征及其影响；第二，科学语义学的思想来源及其在方法论意义上的横断性和工具性特征，并且从科学语义学的理论前提、理论基础、核心论题及其背景空间...

汉语将来时助动词研究 默认语义学模式：英文

本书旨在用新兴的默认语义学模式对汉语将来时助动词的语义-语用意义进行解释，从中可以确定研究对象——将、要、会，同时也突显出意义解释目前存在的问题，即意义解释的片面性、缺少理论模式和缺少将汉语将来时...