Symbolic logic

書誌事項

Symbolic logic

Irving M. Copi

Macmillan, c1979

5th ed

  • : hard
  • : Inter. ed.

大学図書館所蔵 件 / 24

この図書・雑誌をさがす

内容説明・目次

内容説明

For courses in Formal Logic.The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of reasoning; on the other hand, the principles and methods of logic used as organon are interesting and important topics to be themselves systematically investigated.

目次

1. Introduction: Logic and Language. 2. Arguments Containing compound Statements. 3. The Method of Deduction. 4. Qualification Theory. 5. The Logic of Relations. 6. Deductive Systems. 7. Set Theory. 8. A Propositional Calculus. 9. Alternative systems and Notations. 10. A First-Order Function Calculus. Appendix A: Incompleteness of the Nineteen Rules. Appendix B: Normal Forms and Boolean Expansions. Appendix C: The Ramified Theory of Types. Solutions to Selected Exercises. Index.

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BA04301308
  • ISBN
    • 0023249803
    • 0029787408
  • LCCN
    78015671
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York
  • ページ数/冊数
    xiii, 398 p.
  • 大きさ
    24 cm
ページトップへ