Логика (греч. λογιχη греч. logos — слово, смысл, мысль, язык) — наука о формах и законах мышления. Главным объектом исследования логики является описание системы мышления, т.е. системы которые предлагаются как инструкция для людей (а также, возможно других разумных существ / машин) как следует правильно мыслить. При этом, такие инструкции не следует рассматривать как описание того, как люди действительно мыслят, которые являются предметом исследования других дисциплин, например когнитивной психологии.
В ежедневной речи, логика является способом суждения заключающийся в получении заключения из набора предположений. Формально, логика касается вывода — процесса продуцирующая новые утверждения из уже установленных. Именно поэтому в логике особое внимание уделяется структурам вывода — конкретнее, формальным отношением между исходными утверждениями и выводами, где «формальный» означает, что эти отношения являются независимыми от самих утверждений. Не менее важным является исследование истинности вывода, включая разнообразные возможные определения истинности и предпосылки, что на практике делают ее установки. Таким образом налицо важная роль которую играет логика в эпистемологии, обеспечивая последнюю механизмом расширения знания.
Традиционно логика является частью философии. Начиная с середины восемисотых лет прошлого тысячелетия логика становится предметом исследования математики, а последнее время и информатики. Как наука, логика исследует и классифицирует структуры утверждений и аргументов и разрабатывает схемы их кодификации. Таким образом, предмет исследования логики может быть очень широким, включая суждения о вероятности и причинности. Логикой также исследуются структуры логических недостатков и парадоксы. Древние греки разделяли диалектику на логику и риторику. Риторика имеет дело с переконувальной аргументацией, что может в определенной степени рассматриваться как противопоставление логике.
Современному образованному человеку логика нужна прежде всего чтобы не обмануть самого себя в суждениях. Ведь психологически человек является мастером самообмана. Изучение логики развивает логический аппарат в мозгу.