Articoli correlati a Introduction to Logic: Predicate Logic

Introduction to Logic: Predicate Logic - Brossura

Pospesel, Howard; Lycan, William G.

 
9780131649897: Introduction to Logic: Predicate Logic
Brossura
ISBN 10: 0131649892 ISBN 13: 9780131649897
Casa editrice: Pearson College Div, 2003

Sinossi

This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. KEY TOPICS: It covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. MARKET: For individuals intrigued by the formal study of logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

This clearly written, new edition by Howard Pospesel extends to general statements the system developed in Propositional Logic, revised Third Edition. This new edition covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations.

Examples and exercises are drawn from such sources as newspapers, television broadcasts, films, books, and exams. The book enhances students' ability to recognize and evaluate the predicate arguments they encounter outside the logic classroom. Logic is made accessible without sacrificing rigor.

Among the new and revised elements in the Second Edition:
  • Many new exercises and examples
  • A chapter on truth trees
  • New sections treating possible-world counterexamples, intensional contexts, quantifier scope, and quantifier order
  • An appendix on metatheory by William G. Lycan
Also, with this new Second Edition!

PredLogic, Windows-based software provides an environment in which students symbolize sentences, construct proofs of validity, devise counterexamples, and create truth trees. The program enables students to catch errors as they are made, and it offers hints for solving problems.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Pearson College Div
Data di pubblicazione
2003
Lingua
Inglese
ISBN 10 
0131649892
ISBN 13 
9780131649897
Rilegatura
Copertina flessibile
Numero edizione
2
Numero di pagine
282
Contatto del produttore
non disponibile
Persona responsabile
Pearson
riccardo.bacigalupo@sanoma.it

Sanoma Italia Via Arconati, 1 �
Milano
Italia