What are the two main branches of logic?

• A. Inductive Logic and Deductive Logic
• B. Symbolic Logic and Natural Logic
• C. Modal Logic and Predicate Logic
• D. Formal Logic and Material Logic

Answer: (D)

The main idea here is that logic is classified by what it focuses on: the structure of reasoning versus the meanings and content involved. Formal logic studies the form of reasoning—the patterns and rules that make an argument valid or sound, regardless of what the terms mean. It asks questions like how the arrangement of premises guarantees a conclusion, using forms that apply across different subject matter. Material logic, on the other hand, looks at the content of thoughts—the meanings of terms, how terms are related, and how the actual subject matter influences our inferences. It cares about the real-world material of the propositions and how that content affects reasoning.

This is why the two main branches are formal logic and material logic: one governs the structure of reasoning, the other the substance of what we are reasoning about. Other classifications exist, such as labeling reasoning as inductive versus deductive or noting subfields like modal or predicate logic, but those do not describe the traditional broad split between form and content.