包含“相信”、“似相信”等信念词的复合句。如：“达尔文相信物种是进化的。”如以B为信念词，a为相念主体，p为信念子句，则信念句的一般形式可记为：Bap，读作a相信p。由于一个命题是否被相信与这个命题事实上的真假无必然联系，因此信念主体作出信念句不依赖被信念子句的真值。*外延论题在信念句中不成立。如：⑴约翰相信那个偷文件的人是间谍。⑵约翰相信那个和蔼可亲的邻居不是间谍。即使事实上“那个偷文件的人”与“那个和蔼可亲的邻居”指称的是同一个人，从而⑴的子句和⑵的子句不同真，也可以因约翰都相信它们，使⑴与⑵同真。又如：⑶老张相信上海的人口超过三百万。⑷老张相信上海的人口超过26×3×56。尽管⑶的子句与⑷的子句表达了相同的命题，也可以由于它们并不内涵同构，而使老张相信⑶，不相信⑷。信念句所表达的信念命题及其推理是信念逻辑的研究对象。
外延论题(语言)：复合句中部分表达式的置换原理。一个语句或命题，当它包含的一个表达式，由另一个具有同样指称而不同涵义的表达式替换时，其真值不变。如，在⑴“鲁迅是中国人”中用“《阿Q正传》的作者”去替换“鲁迅”，得到..
内涵(语言)：①同“外延”相对。概念的基本逻辑特征之一。反映在概念中的对象的特有属性。是概念的质的方面。如“商品”的内涵就是“为交换而生产的产品”。对象有诸多特有属性，但只有反映在概念中的特有属性才构成概念..
索引词(语言)：需要借助语境来确定其所指的词语。美国逻辑学家皮尔斯(Charles Sanders Peirce)于十九世纪提出，指英语中的代词、时态动词一类语词。就汉语而言，索引词主要指“我”、“你”、“他”等称谓代词，“这”、“那..
对象语言(语言)：指被研究和讨论的语言。对象语言可以是自然语言，也可以是人工语言，如某种形式语言或符号。用来讨论或陈述某种对象语言的语言叫元语言或语法语言。元语言可以是自然语言，也可以是某种特定的科学技术语言。..
预设(语言)：使一个命题或语句具有真值或能够成立的条件。它是有效交际中双方共同接受的事实或命题。判定个命题是否是其他命题的预设，一般可用“否定检验法”：命题p是命题q的预设，当且仅当，q真时p真，q假时p也真。p真是q真或..