Logic

The outlines in the two sections of Division I deal with the history and philosophy of logic and with the content of the disciplines of formal logic, metalogic, and applied logic.

The outline in Section 10/11 first treats the history of logic in the West and the history of Indian and Chinese logic; and then treats differing conceptions of the field and scope of logic, problems in the philosophy of logic concerning meaning, truth, and ontology, and the place of logic among the sciences and disciplines.

Section 10/12 deals first with formal logic, treating the propositional calculus, the predicate calculus, the theory of the syllogism, modal logic, and set theory and natural-number arithmetic. It goes on to the nature and elements of metalogic, which studies the syntax and semantics of formal languages, formal systems, and logical calculi. Finally, it deals with the applications of logic in different domains of inquiry and discourse.