Логика — это наука о формах правильного мышления. Будучи абстрагированной, отвлеченной от содержания мысли, логика занимается исключительно её формами, в силу чего также именуется формальной логикой.
Форма мышления — способ выражения мысли. Для примера рассмотрим три различных суждения.
1) Акула — это рыба.
2) Стол — это мебель.
3) Автомобиль — транспорт.
Эти три суждения различны по содержанию, т.к. в первом случае говорится о животном, во втором — о предмете быта, а в третьем — о способе передвижения, но одинаковы по способу мышления в абстрактной, т.е. отвлеченной от содержания форме. Все приведенные примеры можно записать в виде: А это В. Данная запись полностью лишена всякого содержания и отображает лишь форму в чистом виде. Иными словами, предметом логики является не то, что мы мыслим, а то как мы мыслим, т.е. формы мышления.
Формами логического мышления являются: понятие, суждение, умозаключение.
Понятие — форма мысли, отражающая содержание объекта или его признака. Само мышление человека понятийно, т.е. оно оперирует не самими объектами реальности, а их содержанием в мысленной форме. В обыденном языке понятием называют просто имя объекта, выражаемого речью, но не следует путать понятие и слово. Поскольку слово — это форма языка, а понятием мы называем форму мысли, которая одинакова для всех языковых групп.
Следующая форма мысли — суждение. Оно состоит из понятий и может быть либо положительным, либо отрицательным, т.е. А есть В или А не есть В. Иными словами можно сказать, что суждение — форма мышления, состоящая из понятий, в которой что-то утверждается или отрицается. В языке, суждения выражаются при помощи предложений и называются высказываниями. Например, некоторые предложения, типа ”Некоторые тела — звезды.”, “Все щуки — рыбы.” являются высказываниями или суждениями.
Последней формой мысли является умозаключение, которое включает в себя предыдущие формы. Умозаключение — форма мышления, в которой из исходных суждений — посылок, выводится новое суждение — вывод. Примером умозаключения может послужить следующее.
1 посылка: все небесные тела либо планеты, либо звезды
2 посылка: Сатурн — небесное тело, не являющееся звездой
Вывод: следовательно, Сатурн — планета.
Законы логики
В логике можно выделить четыре основных закона, которые выражают коренные свойства логического мышления, его определенность, непротиворечивость, последовательность и обоснованность.
К данным законам относятся:
- закон тождества;
- закон непротиворечия;
- закон исключенного третьего;
- закон достаточного основания.
Эти законы действуют в любом логическом рассуждении.
Смысл закона тождества заключен в следующем положении: любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание, или, всякая мысль в процессе рассуждения должна быть тождественна самой себе. Нарушение закона тождества происходит всякий раз, когда в рассуждении подменяются или путаются понятия, уклоняются от темы, вкладывают различные смыслы в одни и те же понятия и т.д.
Амфиболия — логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Другое название этой ошибки — подмена тезиса. Пример: язык до киева доведет, а я купил копченый язык, теперь могу идти в Киев.
Эквивокация — это использование одного и того же понятия в разных значениях. Например, высказывание “студенты прослушали объяснение преподавателя” может содержать данную ошибку. Не понятно, то ли студенты внимательно слушали преподавателя, либо пропустили всё мимо ушей. Эквивокация иногда используется как риторический художественный прием, а в логике этот прием — подмена понятия.
Логомахия — спор о словах, когда в процессе дискуссии участники не могут прийти к единой точке зрения в силу того, что не уточнили исходные понятия.
Закон непротиворечия гласит, что два несовместимых друг с другом суждения не могут быть одновременно истинными, по крайней мере одно из них необходимо ложно. Закон непротиворечия действует в отношении всех несовместимых суждений. Если истинно, что Сергей — студент, то не истинно, что Сергей не является студентом, и наоборот.
Закон исключенного третьего заключается в том, что два противоречащих суждения не могут быть одновременно истинными или ложными. Он действует только в отношении противоречащих суждений. Человек либо смертен, либо не смертен, другого (промежуточного) варианта не может быть.
Закон достаточного основания гласит, что не доказанное суждение не может считаться истинным. Закон достаточного обоснования отвергает голословные, необоснованные суждения, а также требует, чтобы всякое доказательство было достаточным, т.е. достоверно и необходимо следовало из посылки.
Например, неверно следующее умозаключение: все металлы электропроводны, данное вещество электропроводно, следовательно данное существо это металл. Здесь нарушается закон достаточного основания, т.к. свойство электропроводности это недостаточное основание для того, чтобы считать вещество металлом, т.к. существуют также другие вещества, которые не являются металлами, но обладают электропроводностью.
Аристотель. Автор конструкта формальной логики.