This concise intermediate logic text covers propositional and quantificational logic; some advanced philosophical systems (modal, deontic, and belief logic); and the formalization of an ethical theory (featuring the golden rule). The book combines rigor with relevance, since it uses the strict tools of logic to clarify real arguments from philosophy and everyday life. The innovative proof system uses simpler rules and an automatic proof strategy, and generates refutations for invalid arguments. There's an accompanying interactive computer program (LogiCola, with versions for Windows, DOS, and Macintosh) that randomly generates problems, provides feedback on answers, and keeps homework scores.
"synopsis" may belong to another edition of this title.
Harry J. Gensler is professor of philosophy at John Carroll University (Cleveland) and has authored several books in logic and in ethics. Home page: http://www.jcu.edu/philosophy/gensler
"About this title" may belong to another edition of this title.
Book Description Prentice Hall College Div, 1990. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110138799415