认知逻辑
逻辑的应用技术的研究知识或知识称为认知逻辑。这个领域包括认识论等概念知识、信念、内存信息,和感知。它也证明,一个逻辑问题和答案,有时被称为“erotetic”逻辑(在古希腊术语意为“问题”),可以发展为认知逻辑的一个分支。
认知逻辑是逻辑学家开始时认真注意知识的使用和相关的概念似乎符合特定的逻辑规律。举个例子,如果一个人知道,A和B,知道和知道B。尽管一些这样的基本观察了早在中世纪,直到20世纪的想法集成成一个系统的认知逻辑是首先提出。芬兰的哲学家G.H.·冯·赖特通常被认为是这一领域的创始人。
认知逻辑的解释基础的角色是知识在实践的概念。如果一个人知道,那一个有权无视他的思考和行动中所有这些场景是不正确的。在一个明确的语义,这些场景可能被称为“世界。“知识从而影响的概念二分法“空间”这样的那些兼容之间可能的世界什么人知道,那些是不相容的。前者被称为一个人的认知选择。这alternativeness关系(也称为“可访问性”关系)可能的世界之间的语义逻辑的基础知识。事实上,真理任何认知命题的条件可能声明如下:一个人P知道当且仅当它是一个在P的认知是正确的选择。问可访问性的关系相当于问什么是有权无视排除场景,这本身就是相当于要求知识的定义。大多数的认知逻辑仍然是独立于任何知识的详细定义,只要它一种二分法的显示效果。
其他认识论的逻辑观念同样是基于其他二分类承认和排除可能的世界。例如,场景人们记忆所排除的是那些与人记得是不相容的。
狭义的认知逻辑的基本概念是“知道。“象征性的符号,”P知道"通常是表达的KP答:认知逻辑的目的之一是展示这个建筑可以作为其他结构的基础。例如,“P知道A或B”可以表示为(KP∨KPB)。“P知道谁满足条件(x),”一个[x)不包含任何出现的K或任何量词,可以表示为(∃x)KP(x]。这样的建筑被称为简单wh-construction。
认知逻辑是内涵的逻辑的一个例子。这样的逻辑特点是失败的两个一阶逻辑的基本法律,substitutivity身份和存在主义泛化。前者授权一个推理从身份(a = b)和一个句子包含出现一个“a”一个句子[b],一些(或者全部)的出现取代了“b。“后者授权推理从一个句子包含一个常数b [b]到相应的存在句(∃x)(x]。的语义认知逻辑显示这些推理模式失败的原因和如何被一个额外的恢复前提。Substitutivity身份失败,因为即使(a = b)实际上是真正的,它可能不是真实的在一些认知的选择,也就是说,人的问题(P)不知道(a = b)。自然,推理从[A] [b]可能会失败,而且,同样自然,恢复了一个额外的前提,说P知道是b,或象征性的KP(a = b)。因此,P可能知道安东尼•艾登是英国总理在1956年的相同但不知道主雅芳,除非P知道他们是同一个人。
存在实例化可能会失败,即使是真正的一个人在P的所有认知,原因是,个人(a)在不同的选择可能会有所不同。然后P不知道任何特定的个人推理显然他知道的。什么经历如果P知道谁或什么:换句话说,如果这是真的(∃x)KP(=x)。例如,P可能知道玛丽被谋杀了开膛手杰克和然而,不知道是谁她by-viz被谋杀了。,if P (presumably like most people) does not know who Jack the Ripper is. These modifications of the laws of the substitutivity of identity and existential generalization are the characteristic features of epistemic logic.
结果,并不是所有的知识结构可以以这种方式进行分析的认知逻辑的唯一元素不包含在一阶逻辑是“知道”操作符。这样的分析是不可能的,当变量代表的实体应该是依赖于另一个变量。知道这是说明了控制实验的结果,这意味着知道如何观察变量取决于控制变量。为了使这种结构可表现的是逻辑的概念(信息)的独立性。例如,当句子(∃x)KP(x评估的真实价值一个值的,它并不重要x(∃x)前选择一个认为认知P-alternatives之一。至关重要的是,正确的价值是什么x可以选择独立呢替代场景。这种独立性可以通过写作表达存在量词(∃x/ K)。这个符号,即削减符号,使一个表达所有不同的知识结构。例如,控制实验的结果可以表达形式的K (∀x)(∃y/ K) (x,y]。简单的wh-constructions如(∃x)KP(x)现在可以表达的KP(∃x/ KP)(x通过K)和“是否”建设P((∨/ KP)B)。
一个重要的区别,可以通过削减符号之间,知识命题和知识对象。在前的知识,减少附加到一个分离的迹象,如(∨/ K),而后者是附加到一个存在量词,如(∃x/ K)。例如,“我知道汤姆谋杀了迪克”是象征K我(M d (t)) (∨/ K我)~ M (t、d)),其中M (x,y)是一种简称“x被谋杀的y”。相比之下,“我知道谁谋杀了迪克”是象征着由K我(∃x/ K我米(xd))。
通常认为认知逻辑的原则之一是,无论被肯定为真。这个数量有效性的推论从KP答:如果认识者是演绎数据库或一个关闭公理理论,这意味着假设的一致性数据库或系统。这样的假设是极强的。因此一个悬而未决的问题是否真实定义的知识可以如此强烈要求强加于这个概念。出于这个原因,它实际上可能是明智的认为认知逻辑的逻辑信息,而不是在这个哲学上强烈的逻辑知识。
两个品种的认知逻辑常常是相互区别。其中一个,叫做“外部”,是适用于他人的知识或计算的信念。其他被称为“内部”,处理代理的知识或信仰。一种认知逻辑,后者也被称为一个autoepistemic逻辑。
两个系统的一个重要区别是,一个代理可能会反省自己的知识和信仰。Autoepistemic逻辑,因此,包含更多的有效原则比外部认知逻辑。因此,一组Γ指定代理人知道必须具备下列条件:(1)Γ关闭对逻辑后果;(2)如果一个∊Γ,然后KA∊Γ;(3)如果一个∉Γ,然后~ KA∊Γ。这里K也可能被认为是一个信仰运营商和Γ可能被称为一个信念集。三个条件(1)-(3)定义所谓的一套稳定的信念。条件可能被认为是满意的,因为代理知道他知道或相信,也不知道(或相信)。