逻辑语义学查看源代码讨论查看历史

逻辑语义学 图片来自华图教育

逻辑语义学，是一门新兴的学科，为分析哲学的一大支派。逻辑观的进步是逻辑语义学发展的内在动力。古典逻辑观向现代数理逻辑观的转化促成了塔斯基逻辑语义学的产生，但对形式系统的过分注重使它局限于外延层面。随着逻辑观的进一步发展，对由自然语言所承栽的日常推理的刻画成为逻辑研究的重心，这种趋势使语义学研究由外延意义向内涵意义的过渡成为可能，卡尔纳普的外延一内涵方法和蒙太古语法的建立是这种可能的现实实现。它的兴起，由于推动了计算机识别自然语言的研究，为现代语言学研究提供了基础；有助于对西方哲学、特别是科学哲学的分析研究、借鉴、批判，因此受到了广泛的关注，获得了迅速的发展。短短几十年就形成了。

简介

塔尔斯基是公认的逻辑语义学的创始人，但真正为逻辑语义学建立完整理论体系的却是卡尔纳普。卡尔纳普对逻辑语义学的最大贡献在于，他用其首创的“外延—内涵”方法，为我们构建了一个严格而精妙的语义分析系统，这一系统的基本特征是：不仅从外延，而且又从内涵方面来把握语言的意义，这样，就从根本上克服了经典逻辑对语言表达式的解释只限于外延的致命弊端，从而使逻辑学的研究走上了一条既注重外延、更注重内涵的崭新的发展道路。