Systems of Logic

Klappentext This is an advanced study of systems of propositional logic. Zusammenfassung This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. Inhaltsverzeichnis Preface; 1. Formal systems and structure theory; 2. Zero-order logic: proof theory; 3. Zero-order model theory; 4. Positive implication; 5. Negation; 6. Complete implication-negation logic; 7. Disjunction; 8. Conjunction; 9. Multi-connective systems; 10. Strict implications: introduction; 11. Strict implications: addition results; 12. Quantification and first-order logic; 13. Quantification and complete logics; 14. Quantification and incomplete logics; 15. Interpretation of formal systems; Appendix: historical and bibliographical remarks; Subject index; Index of systems; Index of symbols.

Product details

• Authors: Norman M. Martin, Martin Norman M.
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 28.07.1989
• EAN: 9780521367707
• ISBN: 978-0-521-36770-7
• No. of pages: 336
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; PHILOSOPHY / Logic, Philosophy: logic