[Book Cover]

Logic with Symlog: Learning Symbolic Logic By Computer (Software included), 1/e

Frederic D. Portoraro, University of Toronto
Robert E. Tully, University of Toronto

Published October, 1993 by Prentice Hall Humanities/Social Science

Copyright 1994, 512 pp.
Cloth
ISBN 0-13-327628-7


Sign up for future
mailings
on this subject.

See other books about:
    Formal Logic-Philosophy

    Introduction to Logic-Philosophy

    Deductive Logic-Philosophy


Summary

This unique, fully integrated text/software package for teaching and learning formal logic provides not only a rigorous introduction to the subject, but accessible, resourceful electronic tutor, SYMLOG, to guide each student through all the basic areas of symbolic logic.

Features


the SYMLOG software provides students with an interactive computer environment in which exercises are checked, stored and printed.
provides both a rigorous discussion of the elements of formal logic — its concepts, methods, and strategies — as well as a framework in which to operate the software.
covers sentential and predicate logic in all the customary areas: Symbolizations, Truth-Tables, Truth-Trees, Natural Deduction Proofs, and Models.
features a unique “Expert System” for constructing natural deduction proofs in both sentential and predicate logic. Students learn to analyze and construct proofs the way a professional logician would.
provides a rich variety of exercises in the text and on disk; PLUS, the software can randomly generate exercises on request at selected levels of difficulty.
presupposes no prior familiarity with computers or software. The user-friendly software provides drop-down menus, clear prompts, precise error messages, and extensive on-line help.

  • the text provides a complete “tour” of the software as well as useful appendixes on system requirements, installation, DOS, etc.


Table of Contents
I. INTRODUCTION TO THE BOOK AND THE SOFTWARE.
    1. Symlog's Tools.

II. SENTENTIAL LOGIC.
    2. Sentences and Truth-Tables.
    3. Translating and Analyzing Arguments.
    4. SL Truth-Trees.
    5. Natural Deduction in Propositional Logic.
III. PREDICATE LOGIC.
    6. The Basic Sentences of PL.
    7. PL Truth-Trees.
    8. Natural Deduction in Predicate Logic.
    9. Structures.
    EPILOGUE: Further Developments in Predicate Logic.
    APPENDICES:
    A. Installing Symlog.
    B. Your Computer System.
    C. Symlog Commands.
    D. Elementary Set Theory.
    Answers to Selected Exercises.
    Bibliography.
    Index.


[Help]

© Prentice-Hall, Inc. A Simon & Schuster Company
Comments To webmaster@prenhall.com