Title: Modern Logic: A Text in Elementary Symbolic Logic
Abstract: Introduction Part I: Classical Sentential Logic 1. What is logic? 2. First steps in symbolization 3. Semantics for sentential logic Part II: Monadic Predicate Logic 5. Predication and quantification in English 6. Validity and provability in monadic predicate logic Part III: First-Order Logic with Identity 7. Advanced symbolizations 8. Validity and provability in first-order logic with identity Part IV: Extensions and Alternatives 9. An extension to classical logic: Modal logic 10. Alternatives to classical logic (I): Intuitionism 11. Alternatives to classical logic (II): Fuzzy logic Solutions to selected exercises Bibliography Index
Publication Year: 1994
Publication Date: 1994-01-20
Language: en
Type: book
Access and Citation
Cited By Count: 15
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot