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