Logic is the study of correct reasoning and the rules and tests of sound reasoning. It is a system of reasoning that uses reason to determine if a conclusion is true or false. The goal of logic is to draw reasonable conclusions based on given information.
Here are some types of logic: Informal logic: Uses deductive and inductive reasoning to make arguments. Formal logic: Uses syllogisms to make inferences. It studies how conclusions follow from premises due to the structure of arguments alone. Symbolic logic: Uses symbols to accurately map out valid and invalid arguments. Mathematical logic: Uses mathematical symbols to prove theoretical arguments.
Deductive logic is a precise and well-ordered system that aims to provide definite support for a conclusion. Deductive reasoning can show that a conclusion must be true. Inductive reasoning is a method of drawing conclusions by going from the specific to the general. It's usually contrasted with deductive reasoning, where you proceed from general information to specific conclusions. Modal logic is the study of the deductive behavior of the expressions "it is necessary that" and "it is possible that". It deals with the logical behavior of such modal locutions as "must" and "might", "was" and "will", "ought", and "may".
Join 4M+ learners. Unlock unlimited quizzes, wrong-answer tracking, flashcards + reminders, study guides, and 1-on-1 challenges.