Буклет на тему «Логика»

Логика — наука о законах и формах правильного мышления. Она изучает, как строятся понятия, суждения и умозаключения.

• В логике выделяют закон тождества, закон непротиворечия, закон исключённого третьего и закон достаточного основания.

• Если в рассуждении меняется смысл одного и того же слова, логическая связь разрушается.

• Логика помогает проверять, следует ли новое утверждение из уже данных посылок.

Основные формы мышления описывают, из чего строится рассуждение. В школьной логике обычно называют понятие, суждение и умозаключение.

• Понятие отражает общие признаки предметов: например, «река», «треугольник», «планета».

• Суждение что-то утверждает или отрицает и может быть истинным или ложным.

• Умозаключение соединяет несколько суждений и даёт новое знание по правилам вывода.

Аристотель первым систематизировал логику как учение о правильном рассуждении. Его силлогизм «Все люди смертны. Сократ — человек. Следовательно, Сократ смертен» стал классическим примером логического вывода.

Законы логики описывают устойчивые правила рассуждения. Они действуют независимо от темы разговора и помогают избегать противоречий.

• Закон тождества требует, чтобы мысль в ходе рассуждения сохраняла один и тот же смысл.

• Закон непротиворечия запрещает одновременно утверждать и отрицать одно и то же в одном и том же отношении.

• Закон исключённого третьего формулирует выбор между утверждением и его отрицанием: третьего не дано.

• Закон достаточного основания требует, чтобы каждое утверждение имело доказательство или основание.

В истории логики важную роль сыграл Аристотель, живший в IV веке до нашей эры. Он создал первую систематическую теорию логического вывода.

• В XIX веке Джордж Буль превратил логику в алгебраическую систему и заложил основу булевой алгебры.

• Современная логика используется в математике, праве, информатике и лингвистике.

• Логические операции лежат в основе работы цифровых схем, где каждое высказывание рассматривается как истинное или ложное.