从溯因推理到探究的询问模型:辛提卡的发展与解释

当代认识论的研究重点关注知识辩护问题,忽略了知识的发现语境。辛提卡基于溯因推理和策略性规则,构建了统一知识发现和辩护的科学探究方法,即探究的询问模型。这一模型在询问过程中预设可寻求答案集中的结论性条件,然后在先验知识内,通过策略性规则进行答案的选择以推进询问。询问模型可以应用于解决科学实验问题,是科学探究中获取知识的有效手段。这一模型推进了科学实践、认知逻辑和人工智能等多领域的发展,具有实践意义。

人类思维的逻辑工具:雅科·亨迪卡的学术贡献

亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、归纳逻辑、语义信息、博弈语义学、探究的询问方法和独立友好逻辑。他将其用于研究语言哲学、形式认识论和科学哲学的问题。他将系统性的工作与对亚里士多德、莱布尼茨、康德、皮尔士和维特根斯坦等重要历史人物的全新解释相结合。亨迪卡是被引用次数最多的分析哲学家之一,他对逻辑和哲学的影响,还在于他是一位成功的教师和期刊《综合》(Synthese)的长期主编。

改进的布尔公式学习算法

当前,布尔公式学习算法的研究大多数是理论上的模型建立和推导,很少有人考虑到布尔公式学习算法在实际应用中的效率改进.现在较成熟的布尔学习算法主要利用的是询问模型,而询问模型需要依赖外部的SMT工具进行询问问题的回答.虽然,布尔公式学习算法可以在多项式次数的询问之后得到正确结果,但是,减少询问的次数可以减少使用SMT工具进行问题计算的次数,即减少问题计算的时间.主要针对布尔公式学习算法在实际系统中的应用问题,提出了利用单调理论中的最小赋值向量的方法,来减少布尔公式学习算法的询问次数,提高算法效率和适用性.

能处理一类“why问题”的问题逻辑系统

现今的问题逻辑系统能较好地处理“whether问题”,但处理“why问题”面临困难。本文对辛迪卡的命题逻辑询问探究系统作了适当的修改,通过添加“why提问规则”的方式,构建了一个能处理一类“why问题”的询问探究系统IMI_(pw),并证明了“询问推导与经典推导的关系定理”、“询问推导的可靠性定理”等重要元定理。

没有知识和信念的认识论

本文是欣迪卡生前最后一部论文集《苏格拉底认识论》的第一篇文章。欣迪卡认为,我们不应该孤立地探讨知识和信念这些认知概念,而应该把它们放到人的行动和决策的语境中去探讨。在这种探讨中,至关重要的概念不是知识和信念,而是信息。我们不应该把研究重点放在知识的定义和证成,而应该放到知识的发现和获取,即把知识作为探究过程的结果。由此,他提出了基于问答逻辑的询问探究模型,试图由此去建立认知逻辑和认识论,其中知识和信念都不具有关键地位。