命题的一种类型。由肯定它真可推出它假；由肯定它假，可推出它真。一般表述为：p→p，p→p，即p←→p。历史上最早发现的是古希腊麦加拉学者的“说谎者悖论”。用现代形式表述是：“这句话本身是谎话。”问这句话是真的还是假的?如果它是真的，即“这句话本身是谎话”是真的，它就是谎话，而谎话是假话，那么它是假的。如果这句话是假的，即“这句话本身是谎话”是假的，它就不是谎话，而不是谎话是真话，那么它就是真的。由此构成一个逻辑怪圈——悖论。悖论一般可分为逻辑悖论和语义悖论。前者又称语法悖论、集合论悖论或数学悖论。它们是发现于逻辑系统或数学系统之中的悖论，只涉及集合、类、关系和数这一类逻辑和数学的概念。后者也称为认识悖论。它们与思想、语义有关，涉及真假、意义、定义、名称或断定等认识的概念。说谎者悖论是语义悖论。对于语义悖论，一般认为通过区分语言层次可以消除。
问句(语言)：也叫“问题”。一种要求回答的语言形式。自然语言逻辑中问句逻辑研究的对象。一般不包括设问句和反问句，因为它们不寻求答案的信息。问句有两个部分组成：问式和题设。问式即提问的方式，它包括问号和问词。题设..
听说法(语言)：源于直接法的一种外语教学或第二语言教学方法。其特点是：⑴强调先教听说后教读写；⑵用对话和操练来教学；⑶教室里不提倡使用母语；⑷常常使用对比分折法。听说法在二十世纪五十和六十年代很盛行，在世界各地特别..
涵义(语言)：同“指称”相对。内涵逻辑的基本概念。表达式的指称是表达式的所指对象，表达式的涵义是表达式所表达(意谓)的东西。如：设a、b、c分别为三角形ABC的中线，那么a与b的交点和b与c的交点是重合的。“a与b的交点”与..
模糊逻辑(语言)：也译作“弗晰逻辑”。通常指用数理逻辑和模糊集理论及方法研究模糊性对象的逻辑形式及其规律的多值逻辑。它用模糊集表示模糊概念，用单位区间［o，l］中的元或用模糊集合作为含有非确定性概念的模糊命题的真值..
模态命题(语言)：含有模态词的命题。狭义指包含“必然”、“可能”这类真值模态词的模态命题，称真值模态命题。如以□或L表示必然模态算子，以◇或M表示可能模态算子，那么真值模态命题的基本形式有：□p或Lp(p是必然的)、□p..