Logic: the Basics by Jc Beall; Shay A. Logan
art I. Background ideas: 1. Consequences; 2. Models, modeled, and modeling; 3. Language, form, and logical theories; 4. Set-theoretic tools
Part II. The basic classical theory: 5. Basic classical syntax and semantics; 6. Basic classical tableaux; 7. Basic classical translations
Part III. First-order classical theory: 8. Atomic innards: unary; 9. Everything and something; 10. First-order language with any-arity innards; 11. Identity; 12. Tableaux for first-order logic with identity; 13. First-order translations
Part IV. Nonclassical theories: 14. Alternative logical theories; 15. Nonclassical sentential logics; 16. Nonclassical first-order theories; 17. Nonclassical tableaux; 18. Nonclassical translations; 19. Speaking freely; 20. Possibilities; 21. Free and modal tableaux; 22. Glimpsing different logical roads
Call Number: BC108 .B347 2017eb
ISBN: 9781315723655
Publication Date: 2017
