Can I read Modern Logic : a Text in Elementary Symbolic Logic on EtoBox?

Modern Logic : a Text in Elementary Symbolic Logic by Graeme Forbes is a nonfiction available to read on EtoBox.

What is Modern Logic : a Text in Elementary Symbolic Logic about?

<p><P>Filling the need for an accessible, carefully structured introductory text in symbolic logic, <b>Modern Logic</b> has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter&#151;more than 900 in all&#151;with selected answers at the end of the book. Unlike competing texts, <b>Modern Logic</b> gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, <b>Modern Logic</b> provides a thorough understanding of basic concepts and a sound

Who reads Modern Logic : a Text in Elementary Symbolic Logic?

Author

Graeme Forbes

Publisher

Oxford University Press; UK ed. edition

Published

1994

Language

EN

ISBN

9780195080292

Category

nonfiction

Subjects

Philosophy, Mathematics, Logic

Updated

2026-03-24