首页 >
认识逻辑
✍ dations ◷ 2025-09-08 22:45:13 #认识逻辑
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K,它可以读做“有人知道...”,“...在认识上是必然的”,或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent),可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。认识逻辑与真势模态逻辑共享某些特征。例如模式 T,陈述必然的事物是真的,这好像是正确的。它的认识版本是陈述某知识为“已知”是真,这好像同样是正确的。在另一方面,很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4,当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本陈述如果一个代理者知道某事,则他知道他知道这个事情,这不是个很明显的一个原理。认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。
相关
- 自体免疫性疾病自身免疫性疾病(Autoimmune disease,缩写为AID),亦作自身免疫问题,指人体内异常的免疫反应攻击了正常细胞。目前至少有80种自身免疫性疾病。身体任何部位都可能发生。常见症状包
- 放线菌纲放线菌(Actinobacteria)是一类革兰氏阳性细菌,可栖息于水中或陆地上,虽然一开始被认定为土壤菌,但淡水中的种类可能比陆地上的更丰富,它们具有分支的纤维和孢子,依靠孢子繁殖,表面上
- 结缔组织疾病结缔组织疾病(connective tissue disease)是指会影响结缔组织的疾病。结缔组织是具有细胞外基质、可以支持、连结器官,并且保护器官的组织。这类的组织主要由两种结构蛋白质分
- 环利尿剂环利尿剂(英语:Loop diuretics),又称袢利尿剂,是利尿剂的一类。此类药物作用在肾脏中亨利氏环(英语:Loop of Henle)的上行支(thick ascending limb, TAL)。
- 驯化物种驯化(英语:Domestication)是指一种生物的成长与生殖逐渐受另一种生物利用与掌控的过程,例如人类栽培各种农作物、畜牧,以及切叶蚁驯养真菌。人类驯化动植物的目的主要包括作为食
- CASCAS台湾优良农产品证明标章是台湾优良农产品及其加工品最高品质代表标章,用以证明国产农产品及其加工品之安全性及优良性。每一种食品标章都有其代表意义, 像是GMP是指制造工
- 犹太人饮食犹太人饮食是指分布在世界各地犹太人的饮食文化。犹太人的饮食文化经过了多个世纪的变化,有犹太教中对饮食的规定和犹太节日、安息日传统塑造而成,犹太人饮食文化受定居地经济
- 偏方民间疗法,大部分是一些没有精密科学依据,但又在民间传说中,号称具有特定成效的治病方式。又称偏方。民间疗法的一个特色是只能问相信不相信,但不能证明真实不真实。民间疗法的内
- The Stanford Encyclopedia of Philosophy史丹佛哲学百科全书(英语:Stanford Encyclopedia of Philosophy,SEP)是一部由史丹佛大学营运的免费线上哲学百科全书,内容主要以经同行评审认可的论文为主。该百科内的每一篇论文
- 仡佬字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧