Plain-language explanation.
Logic is the study of correct reasoning — how conclusions follow validly from premises. It provides the formal tools to evaluate arguments, identify fallacies, and construct proofs. Logic is foundational to mathematics, computer science, law, and philosophy.
Core concepts and standard treatment.
Classical logic distinguishes deductive reasoning (valid if the conclusion must follow from the premises) from inductive reasoning (probable conclusions from evidence). Propositional logic (truth tables, connectives: AND, OR, NOT, IF…THEN) and predicate logic (quantifiers, variables, predicates) are the core formal systems. Common fallacies — ad hominem, straw man, false dichotomy — are taught as failures of valid reasoning.
Deeper theory, debates and edge cases.
Advanced logic covers modal logic (possibility and necessity — Kripke semantics), temporal logic, fuzzy logic, paraconsistent logic, proof theory (natural deduction, sequent calculus), model theory, Gödel's incompleteness theorems, and the logic of conditionals (Stalnaker, Lewis). Automated theorem provers (Coq, Lean, Isabelle) apply logic computationally.
How it is applied in practice.
At the mathematical logician and formal methods engineer level, practitioners design type-theoretic proof assistants, verify software correctness (Hoare logic, TLA+), contribute to foundations of mathematics research, and apply description logics to knowledge representation (OWL ontologies, semantic web). Temporal logic is used in model checking for hardware verification (SPIN, NuSMV).