逻辑系统中的信息和证据
PWA为任何一阶逻辑系统计算一个合理的模型,并为其信念提供了高度的相对单调性,PWA最重要的特征是其语义合理性,通过许多例子证明了这一点。 论语义信息
在过去的几十年里,无论是逻辑学家还是哲学家,只要在他的一篇论文的标题中加入“信息”一词,都会面临风险,因为他们期望这篇论文与传播理论中令人印象深刻的成果有一定关系。 不一致形式系统理论
引言这是一部解释性著作,我们将在其中讨论与不一致形式系统理论有关的一些问题。这次展览既不严谨也不完整。对于…
符号逻辑
许多对逻辑科学进步感兴趣的人都期待着这项期待已久的工作的出现,因为它可能会给他们一个合乎逻辑的待遇。他们不会失望。…
信息不一致的推理
本章致力于对具有不一致信息的推理进行逻辑分析。对于法律哲学和人工智能与法律来说,这一主题非常相关,因为如第3章所述…
信息、演绎和先验
1.扣款丑闻。布罗德(C.D.Broad)将归纳法方面尚未解决的问题称为哲学丑闻。”在我看来,除了这桩入职丑闻之外…
一种有用的四值逻辑
有人认为,一台有能力从数据库中进行推理的复杂问题回答机器应该使用某种四值逻辑,即动机考虑…
对Parry分析含义的修正
Parry[6]提出了一个句子逻辑系统,它基于这样的论点:为了使a解析地表示J3,B中出现的每个句子变量都必须出现在a中。Parry的系统是…