Book:Irving M. Copi/Symbolic Logic/3rd Edition

From ProofWiki
Jump to navigation Jump to search

Irving M. Copi: Symbolic Logic

Published $1967$.

Subject Matter

3rd edition of 1954: Irving M. Copi: Symbolic Logic


Logic and language
Arguments containing compound statements
The method of deduction
Propositional functions and quantifiers
The logic of relations
Deductive systems
A propositional calculus
Alternative systems and notations
A first-order function calculus
Normal forms and Boolean expansions
The algebra of classes
The Ramified theory of types