沃尔特·卡尼埃利;马塞洛·埃斯特班（Marcelo Esteban Coniglio） 次一致逻辑：一致性、矛盾性和否定性。 （英文） Zbl 1355.03001号 逻辑、认识论与科学的统一40.查姆：施普林格（ISBN 978-3-319-33203-1/hbk；978-3-3169-33205-5/电子书）。第二十四章，第398页。(2016). 次协调逻辑是那些形式系统，其中的矛盾在逻辑上并不包含全部。准一致性逻辑旨在处理不一致性。这是一本关于形式不一致逻辑（LFI）的正式书籍。LFI在次一致性中形成了广泛的逻辑系统，但对于许多逻辑学家和哲学家来说，它们仍然相对未知。这可能是由于它们的技术复杂性。这种技术复杂性是有必要的。LFI的区别在于，它们使用一致性运算符来区分经典公式和“次一致”公式——次一致公式在相互矛盾时并不包含所有公式。当考虑一元连接词和二元连接词时，为额外的运算符曲面所付出的代价。因此，即使在一开始，LFI的并发症也会出现。本书针对这一需求，对LFI进行了详细且易于理解的解释。本书首先简要概述了亚一致性，然后从一个最小逻辑系统开始。作者理所当然地花费了大量篇幅详细描述了最小系统，以便为本书其余部分奠定基础。在讨论了LFI的扩展及其与其他逻辑的联系之后，作者开始讨论LFI的一阶系统。治疗是非常系统和有组织的。这本书的另一个优点是讨论了与集合论的联系。次协调集理论是一个蓬勃发展且令人兴奋的领域。非常需要对LFI和集合论进行详细的调查。这本书传达了这一点。该书以对LFI的全面哲学讨论结束。在这里，作者关注科学哲学中的各种问题，并努力展示LFI的广度和深度。在阅读这本书的过程中，我发现（并思考）了许多未来工作的可能性。这是因为这本书非常发人深省，这是研究人员的一大优势。此外，它还表明该领域（即准一致性和LFI）发展迅速，并产生了进一步的研究问题。本书是识别、理解和探索这些问题的第一步。审核人：罐头篮（浴缸） 引用于三评论引用于44文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03B53号 准一致逻辑 关键词：次协调逻辑;形式不一致逻辑;一致性;矛盾 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}和\textit{M.E.Coniglio}，次协调逻辑：一致性、矛盾性和否定性。查姆：斯普林格（2016；Zbl 1355.03001） 全文： 内政部