Логика – наука о законах и формах правильного человеческого мышления (от гр. logos – «мысль, слово, разум»).
Логика изучает только абстрактное мышление людей, которое имеет обобщенный характер и выражается с помощью слов. Она является нормативной наукой, т.е. формулирует законы и правила, которые следует выполнять в процессе рассуждения, иначе возникнут логические ошибки. Мысль называют истинной, если она соответствует реальности, а ложной, если она не соответствует реальности. Вместе с тем рассуждение называют правильным, если оно соответствует законам, а неправильным, если есть нарушение законов логики. Если вы опираетесь на истинные посылки и рассуждаете правильно, то всегда получите истинное заключение. Это логика гарантирует. Следует иметь в виду, что логика не может сказать, какие посылки истинны, а какие ложны. На этот вопрос должны отвечать конкретные науки.
Очень важно понять, что логика занимается не содержанием мыслей, а их формой. Грубо говоря, логику интересуют сосуды – бутылки, ведра, бочки, – а не то, что в них налито. Что ни налей в бутылку, она останется бутылкой, и ее можно изучать как бутылку – исследовать ее геометрическую форму, объем, толщину стенок и т.п. Точно так же и мыслительные формы, несмотря на их содержание, обладают определенными свойствами, которые изучает логика. В этом отношении логика сходна с грамматикой, которая исследует и описывает формы языковых выражений, отвлекаясь от их содержания.
Словесно-логическое (абстрактное) мышление независимо от содержания реализуется только в 3 логических формах, которые определенным образом представлены в речи.
Понятие – форма мышления, в которой отражаются существенные признаки предметов и явлений. В речи понятие выражается словом или группой слов («яблоко», «громко лающая собака»).
Суждение – форма мышления, в которой утверждается или отрицается связь между понятиями. В речи суждение выражается повествовательным предложением («Громко лающая собака бросилась мне навстречу»).
Умозаключение – форма мышления, в которой из истинных посылок получают новые выводы. В речи умозаключение выражается группой предложений.(«Все металлы проводят электричество. Поскольку медь – металл, то она тоже проводит электричество.»)
Логические формы являются общечеловеческими структурами (не зависят от национального языка), существуют объективно (не придуманы учеными) и относительно независимы от содержания. Понятиями «яблоко», «стол», «ракета», «уверенность» мы оперируем по одним и тем же правилам, несмотря на различное содержание этих понятий.
ЗАКОНЫ ЛОГИКИ формулируют требования к правильному мышлению.
Закон исключенного третьего прописывает требование определенности (однозначности) мышления. Ведь действительно из нескольких взаимоисключающих возможностей в каждый данный момент должна выбираться в качестве истинной только одна.В высказывании «Возле дома лежит труп мужчины. Труп еле дышал» нарушен закон исключенного третьего, потому что не могут быть одновременно истинными две взаимоисключающие возможности. Следовательно, надо определиться: либо лежал труп, либо лежавший мужчина дышал. Никакой третьей возможности быть не может.
Закон непротиворечия прописывает требование непротиворечивости мышления, поскольку никакое суждение и его отрицание не могут быть истинными в одно и то же время.В высказывании «Бежевые чулки и такого же цвета лиловые туфельки» о цвете туфелек мы узнали, что они лиловые и бежевые одновременно, что нельзя считать истинным. Но важно понимать, что для туфелек возможен и какой-то другой вариант цвета, например красный.
Закон тождества прописывает требование последовательности: если принят какой-то тезис, то его надо придерживаться на протяжении всего рассуждения, т.е. пока не возникнут достаточные основания для его изменения. Это необходимо для того, чтобы у партнера по общению не возникало нескольких вариантов понимания сформулированной мысли. Из высказываний «Зеркальный карп разводится в прудах. Если пруд плохой, то его подкармливают» можно сделать два вывода: подкармливают карпа; подкармливают пруд. Такая многозначность не способствует взаимопониманию.
Закон достаточного основания формулирует требование доказательности (обоснованности) мышления: в любом рассуждении для каждого суждения должны быть представлены достаточные основания, позволяющие считать его истинным или ложным. В высказывании «Студент покраснел, следовательно, он виноват» вывод («студент виноват») делается на основании того, что «студент покраснел», но явно, что этого основания недостаточно для такого вывода.
Логические законы действуют независимо от воли и желания людей, так как отражают объективные связи окружающего мира.