形式逻辑查看源代码讨论查看历史
《形式逻辑》，苏联当代有影响的逻辑学教材。伊·雅·楚巴欣和伊·赫·布洛德斯基主编。列宁格勒大学出版社1977年出版。中译本上海人民出版社1981年出版，宋文坚、王荣宅等译，马玉珂等校。
内容简介
本书分导言、第1编普通逻辑和第2编符号逻辑3大部分。第1编分5章;第2编分6章。导言讨论了马克思主义哲学关于思维的基本理论，思维和导言的关系，形式逻辑的定义，结构和实践意义，逻辑学和心理学的关系，介绍了逻辑简史。
普通逻辑部分，第1章概念，讨论了概念的定义、结构和种类，形成概念的基本方法，概念内涵与外延之间相互关系，从内涵和外延两方面看概念之间相互关系，以及概念的概括和限制。第2章判断，讨论了判断的实质及其结构，判断的种类，判断之间的关系，词项的周延性，判断与词句和问题的联系。第3章形式逻辑的基本规律，以马克思主义为指导吸收现代逻辑的研究成果阐述了逻辑规律的本质和语义特征，讨论了同一律、矛盾律、排中律和充足理由律。第4章推理，讨论了直言判断的直接推理，直言三段论的不同格式，假言、选言和假言选言三段论，归纳推理和类比。第5章科学思维的逻辑方法，讨论了研究客体的分类方法、定义、证明、公理方法、假说、因果联系的归纳方法和逻辑中的概率方法。
符号逻辑部分，第1章命题逻辑的图表体系，区别了命题和命题形式，给出了命题逻辑的形式语言和逻辑符号的语义解释，给出了真值表判定方法，等值公式和等值替换规则，对偶定律，讨论了完全的逻辑符号系统问题，给出了恒真式和恒假式的概念及其定理。第2章命题逻辑公式的范式，阐述了命题逻辑的范式、合取范式、优合取范式、简化合取范式和析取范式，讨论了命题逻辑的判定问题、逻辑推导和逻辑推断问题。第3章命题逻辑的自然推理，阐述了逻辑推理的概念，提出了由波兰逻辑学家依·斯鲁别茨基和列·鲍尔科夫斯基构造的自然推理系统的变形N系统，给出了它的导出规则，纯直接证明、弱间接证明、拟强间接证明和强间接证明方法，讨论了古典命题逻辑的完全性和公理表现。第4章形式化的三段论，给出了直言三段论的形式系统。第5章谓词逻辑中的自然推理，给出了谓词逻辑的形式语言，推理规则和26条定理。第6章模态逻辑，介绍了模态逻M系统、M0系统、M1系统和M2系统及它们的变种，给出了它们的推理规则和公理图式及30条定理。
本书用马克思主义阐述逻辑哲学问题，兼容传统逻辑和符号逻辑，内容充实，表述简明严谨。
工具书的分类
工具书按内容分有综合性的、专科性的；按文种分有中文的，外文的；按编辑体例与功用分有辞书、类书[1]、政书、百科全书、年鉴、手册、书目、索引、文摘、表谱、图录、地图、名录等[2]。