Lecture Notes on Modern Logic (Vol. 1 & 2)

Author: Li Xiaowu
Publisher:
Publish Date: 2005-09-01
Features:
"Modal Logic": Modal logic is the study of the validity of reasoning forms that can be expressed in modal language. It is the foundation of philosophical logic, and as a course, it is one of the fundamental courses for logic majors. This lecture note introduces the basic content of modal logic at the sentence level (propositional type). The lecture note covers a wide range of topics, presents rigorous definitions and theorems, and includes abundant examples and exercises, making it suitable as a textbook for undergraduate and graduate students in logic majors at higher education institutions.
"Mathematical Logic": Mathematical logic is the study of the validity of reasoning forms that can be expressed in mathematical language. It is the foundation of all logic, and as a course, it is one of the most important fundamental courses for logic majors. Mathematical logic is divided into two main parts: sentential logic and quantified logic. This lecture note introduces the basic content of sentential logic and the fundamentals of quantified logic—first-order logic. The lecture note is rich in content, covers a broad scope, presents rigorous expressions, and includes abundant examples and exercises, making it suitable as a textbook for undergraduate and graduate students in logic majors at higher education institutions.