| 字词 | 逻辑语义学 |
| 释义 | 逻辑语义学研究形式化语言中的指示、真实和可满足等问题的学科。波兰逻辑学家塔尔斯基对真值的语义概念作了重要研究，提出了著名的T公式，即S是真的，当，且仅当，P。P代表任何句子，S代表该句子的名称。如：句子“小王远在他乡的哥哥回来了”是真的，当，且仅当，小王远在他乡的哥哥回来了。如果上述句子是真的，就必须满足下列条件：第一，小王有哥哥；第二，小王的哥哥远在他乡；第三，小王的哥哥回来了，等等，为了简便不把条件一一列出，而用句子本身来表示，这样，等式以极其简单的方式把语句和外部世界发生的实际情况联系在一起了，于是完成了语义学的基本任务。逻辑语义学来源于逻辑语形学，它既克服了逻辑语形学不考虑符号的意义，只考虑符号的形状和空间排列关系的缺陷，同时又继承了逻辑语形学中用形式化方法构造演绎系统的理论与方法。逻辑语义学有广义和狭义之分，狭义的逻辑语义学研究语言表达式与其所表达的对象之间的关系，而广义的逻辑语义学即是“符号学”，不但包括逻辑语形学和逻辑语义学，而且还包括语用学。 |
| 随便看 |
|
汉语词典收录604837条汉语词条，可根据汉字查询相应的词语释义，基本涵盖了全部常用词语的释义、翻译及用法，是语文学习的有利工具。