认识逻辑

✍ dations ◷ 2025-07-29 16:09:43 #认识逻辑

认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。认识逻辑与真势模态逻辑共享某些特征。例如模式 T，陈述必然的事物是真的，这好像是正确的。它的认识版本是陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4，当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。

相关

杀真菌剂杀真菌剂（英语：fungicide）是指用来杀死或抑制真菌或真菌袍子的化合物或者生物体。真菌能够对农业产生严重的危害，例如严重减产，质量降低等。卵菌不是真菌，尽管它和真菌很相似，例如
树脂在高分子化学和材料科学中，树脂是植物或合成来源的固体或高粘度物质，通常可被转化为聚合物。树脂通常是有机化合物的混合物。本文重点介绍天然树脂。植物分泌树脂以保护其对
锥足亚门锥足亚门是变形虫门中的一个亚门，又细分为黏菌下门及始变形虫下门等两个下门。锥足亚门包括溶组织内阿米巴及盘基网柄菌等物种。
尿毒症性心包炎尿毒症性心包炎(Uremic pericarditis)是一种心包炎病症形式。它会导致纤维素性心包炎。其病因知之甚少。尿毒症性心包炎相关联于系统中的氮质血症(Azotemia)程度。BUN通常>6
微小噬菌体科微小噬菌体属 Microvirus 螺旋体微小噬菌体属 Spiromicrovirus 蛭弧菌微小噬菌体属 Bdellomicrovirus 衣原体微小噬菌体属 Chlamydiamicrovirus
工业社会学实证主义 · 反实证主义（英语：Antipositivism）结构主义 · 冲突理论中层理论 · 形式理论批判理论人口 · 团体 · 组织（英语：Organizational theory） · 社会化社会性
+蒿甲醚复方蒿甲醚（Artemether/lumefantrine），常见商品名Coartem，为由蒿甲醚及苯芴醇混和而成的副方抗疟药。本品主要用于对抗具有氯喹抗药性的恶性疟原虫，本品通常不会用于预防疟疾，为一
磺胺甲噻二唑磺胺甲噻二唑是一种磺胺类药物，其INN名称是“Sulfamethizole”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期约为3-8小时，在大鼠体内的LD50（半致死量
中医诊断学中医诊断学是根据中医学理论，研究诊查病情、判断病种、辨别证候的基础理论、基本知识和基本技能的一门学科。中医诊断学主要包括诊法学和辨证学两部，两者相互渗透，相互联系。中
坑鳒鳗鲶，学名Plotosus lineatus，异名：Plotosus arab, Plotosus anguillaris, Silurus lineatus，又称线纹鳗鲶（Striped eel catfish），俗称沙毛、坑鳒、海塘虱，是鲶形目鳗鲶科的其中一种