About Logic
Formal logic studies deductively valid inferences and logical truths, focusing on argument structure independent of content. Informal logic deals with natural‑language arguments, fallacies, critical thinking, and argumentation theory. Logic is central to philosophy, mathematics, computer science, and linguistics.