问题和答案的逻辑

的逻辑的问题而且答案，也被称为情色逻辑，可以用不同的方式来处理。最普遍的方法是把它当作认识论逻辑的一个分支。这种联系是由所谓的问题的“渴求”所介导的。给一个直接的问题——例如，“谁杀了迪克?”它的渴求是对提问者应该带来的认知状态的规范。欲望是一种可以用认识论逻辑研究的认识论陈述。在这里的例子中，渴求是“我知道谁谋杀了迪克”，它的逻辑形式是K_我(∃x/ K_我) (xd)。很明显，问题的大多数逻辑特征是由它们的需求所决定的。

一般来说，一个人可以从任何“我知道”的陈述中形成一个问题的需求。，任何K形式的陈述_我A，其中A是一阶句子，没有连接词，只有连接词、析取词和否定词，紧接在原子公式和恒等式前面。命题问题的理想值可以通过将a中某一析离符号的出现替换为(∨/K_我)．一个wh-问题的理想值可以通过替换存在主义量词(∃x)由(∃x/ K)。通过在A中进行多次这样的替换，可以得到多个问题的需求。

相反的操作包括从理想对象中删除所有独立指示符斜杠。它有一个简单的解释:它相当于形成问题的预设。例如，假设这是在“谁谋杀了迪克?”这个问题中所做的。在“我知道谁杀了迪克”中，或者象征性地K_我(∃x/ K_我) (xd)。结果是K_我(∃x) (x，d)，它说，“我知道有人谋杀了迪克”，这是相关的预设。如果不满意，“谁”的问题就不会有答案。

问答逻辑中最重要的问题是它们之间的关系。什么时候对一个问题的回答是真正的，或“结论性的”回答?在这里，认识逻辑以一种重要的方式发挥作用。假设有人问一个问题，他的需求是K_我(∃x/ K_我) (xd)，也就是说，“谁谋杀了迪克?”，然后得到的回答是“p”。在收到这条信息后，人们可以真正地说，“我知道P谋杀了迪克”——简而言之，K_我M (P、d)。但由于存在一般化在认识逻辑中是无效的，所以不能得出K_我(∃x/ K_我) (x例如,d)。，“我知道谁杀了迪克。”这就需要我们的帮助抵押品前提K_我(∃x/ K_我) (P =x)．换句话说，一个人必须知道P是谁，才能使理想体为真。这一要求是对问题的结论性回答的决定性条件。

这个关于结论性答案的条件可以推广到其他问题。如果答案是单数术语P，那么答案条件是K_我(∃x/ K_我) (P =x)．如果答案的逻辑类型是一个一元函数F，那么“结论”条件是K_我(∀x)(∃y/ K_我) (F (x）=y)．从解释上讲，这个条件是说，我知道函数F是哪个

需要满足结论性条件意味着回答一个问题有两个组成部分。为了回答实验问题“变量如何y取决于变量x?”事实并非如此足够了只需要知道函数F表示“在扩展中”的依赖关系，也就是说，只需要知道的值y= F (x)对应于的每一个值x．这种信息是由实验装置产生的。为了满足结论性条件，提问者还必须知道，或者被要求知道，从数学上讲，函数F是什么。这种知识是数学上的，不是经验．这样的数学知识是回答正常实验问题所必需的。

在问答逻辑的基础上，有可能发展出一个认识论通过提问寻求。在上面的推理策略一节中，指出了这样一个理论如何可以作为评估放大推理的框架。