An Introduction to Formal Logic - Softcover

Epstein, Richard L

 
9781938421273: An Introduction to Formal Logic
Softcover
ISBN 10: 1938421272 ISBN 13: 9781938421273
Verlag: Advanced Reasoning Forum, 2016

Inhaltsangabe

• Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. • Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they're doing and where they're going. • Hundreds of exercises that teach. • Criteria of formalization with many examples of formalizing ordinary language reasoning in an example-analysis format. • A complete course: syntax, semantics, and completeness theorems for classical propositional logic and classical predicate logic, and syntax and semantics for second-order classical predicate logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Advanced Reasoning Forum
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
1938421272
ISBN 13 
9781938421273
Einband
Taschenbuch
Anzahl der Seiten
220
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar