| 书目名称 | Systems of Formal Logic | | 编辑 | L. H. Hackstaff | | 视频video | | | 图书封面 |  | | 描述 | The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega tion. This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege‘ | | 出版日期 | Book 1966 | | 关键词 | formal logic; logic; propositional calculus; symbolic logic | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-010-3547-7 | | isbn_softcover | 978-94-010-3549-1 | | isbn_ebook | 978-94-010-3547-7 | | copyright | D. Reidel Publishing Company 1966 |
The information of publication is updating
|
|
发表于 2025-3-21 17:41:08
