语言逻辑是研究语言，特别是自然语言逻辑问题的一门新兴的逻辑学科。它是现代逻辑的一个分支。
语言逻辑的历史很短。虽然现代语言学的创始人索绪尔(de Saussure，F.)在20世纪初就指出语言是一个符号系统，但真正使用现代逻辑方法研究语言逻辑问题的人，则是乔姆斯基(Chomsky，N.)。他在1957年出版的《语法结构》 中，提出了“转换生成语法”，用高度形式化的方法，研究了语言的逻辑问题。乔姆斯基以后，一大批语言学家、逻辑学家和哲学家致力于语言逻辑的研究。例如，凯茨(Katz，J.J.)建立了解释语义学，蒙太格(Montague)建立了在内涵逻辑上的“普遍语法”。在我国，60年代以后开展了语言逻辑的 ...... （共1355字） [阅读本文]>>
现代学科人-机系统是研究在一定的环境条件下、为达到某些整体性目标而存在交互作用的人和机的组合的学科，属于工程控制论与生物医学工程等基本学科中的交叉学科。人-机系统的组成原理图在下图中示出。人-机系统组成原理图图
现代学科自适应控制是一门研究具有不确定性系统控制问题的学科。它是“工程控制论”基本学科中的一个分支学科。由于自适应控制适用的领域很广，加上有些系统的自适应控制律与非线性或时变控制律没有明显的界限，因此自适应控制
现代学科多值逻辑是一门研究具有有穷或无穷多个真值的命题的逻辑演算，以及这些演算的逻辑性质的逻辑学科。它是现代逻辑的一个分支。古希腊亚里士多德(Aristotle)曾经讨论过命题除“真”“假”之外的另一种真值“未
现代学科材料科学是研究材料的化学组成、结构及其特性，并在此基础上研制具有性能和新功能的新型材料及其应用的一门科学。材料科学是20世纪60年代才发展起来的一门新学科。近代化学和物理学的发展，为揭示物质本质的奥秘提
现代学科经典控制理论是一门研究单输入单输出线性时不变反馈控制系统的学科，它属于工程控制论基本学科中的一个分支学科。自动控制理论是自动化技术的基础理论，按它的发展过程大致可划分为经典控制理论、现代控制理论和大系统
上一篇