Тема 3. Суждение как форма мышления

Общая характеристика суждения. Суждение и предложение. Виды предложений, их логический смысл. Простые и сложные суждения.

Виды простых суждений: атрибутивные суждения, суждения существования (экзистенциальные), суждения с отношениями. Суждения с простыми и сложными предикатами.

Категорические суждения и их виды (деление по количеству и качеству). Выделяющие и исключающие суждения.

Отношения суждений: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Отношения несовместимости: противоречие (контрадикторность), противоположность (контрарность). «Логический квадрат». Правила образования противоречащих (отрицающих) суждений.

Модальность суждений. Логическая и фактическая (онтологическая модальность). Категории алетической модальности. Понятие эпистемической, деонтической, временной модальности.

 

Тема 4. Умозаключение как форма мышления

Общая характеристика умозаключения. Структура умозаключения: посылки, демонстрация, заключение. Виды знания, составляющие умозаключение: исходное знание, выводное знание, обосновывающее знание, непосредственное и опосредованное знание. Виды умозаключений по количеству посылок: непосредственные и опосредованные. Виды умозаключения по направленности: дедуктивные и индуктивные умозаключения. Способы построения непосредственных умозаключений: превращение, обращение и противопоставление.

Дедуктивное умозаключение в теории и практике аргументации. Силлогизм и его виды: простой категорический силлогизм, его фигуры и модусы; сокращенный категорический силлогизм (энтимема); сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема); условные умозаключения; разделительные умозаключения; условно-разделительные умозаключения.

Индуктивные умозаключения в теории и практике аргументации. Методы индуктивного умозаключения: наблюдение и эксперимент. Виды индукции: полная и неполная индукция; индукция через простое перечисление; научная индукция.

Связь индукции и дедукции в аргументации. Умозаключение по аналогии. Роль аналогии в социально-экономической аргументации.

Тема 5. Логика высказываний как раздел современной логики (общая характеристика)

Логика высказываний – элементарный (фундаментальный) раздел современной формальной логики. Уточнение логической формы сложного (составного) высказывания как основная задача пропозиционной (символической логики). Алгоритмическое решение вопросов логического характера средствами математической логики.

Понятие логической формы высказывания. Высказывание и предложение. Атомарные (простые) и молекулярные (составные) высказывания. Ограниченность логической интуиции и многозначность естественного языка. Формализация как основа анализа логической формы в чистом виде.

Метаязык логики высказываний. Элементы метаязыка – пропозиционные переменные, константы (логические связки, операторы), скобки. Семантика логических знаков. Значение истинности высказывания. Принцип двузначности, его роль в логике высказываний. Таблицы истинности. Техника построения таблиц истинности составных высказываний.

Классификация высказываний по их формальной структуре и значениям истинности. Общезначимые высказывания (тавтологии), нейтральные и всегда ложные (противоречия) высказывания. Общезначимость. Методы установления общезначимости: табличный метод и метод сведения к абсурду.

Понятие логического следования. Правила вывода логики высказываний. Определение понятия логического следования как отношения между посылками и заключением. Общезначимые высказывания (формулы), их роль в анализе отношений логического следования. Техника проверки надежности (правильности) рассуждений (аргументов). Место и роль логического следования в практике аргументации.

Правила вывода, их логический смысл. Техника построения вывода заключения из посылок.

Применение теории и техники логики высказываний в анализе аргументов, выраженных естественным языком. Вариативность демонстрации (вывода) заключения из данной совокупности посылок. Вариативность совокупности посылок (оснований) для вывода заключения данного вида.

 

Тема 6. Доказательство и опровержение

Понятие доказательства. Строение доказательства. Тезис доказательства. Требования к тезису в процессе аргументации. Основной и подчиненный тезисы. Аргументы и их виды. Аргументы и факты. Демонстрация и ее структура. Виды доказательства: прямое и косвенное. Апологическое и разделительные доказательства. Доказательство и дискуссия.

Понятие опровержения и его роль в аргументации. Опровержение тезиса. Опровержение аргументов. Опровержение связи тезиса и аргумента.

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

Предмет и значение логики

Слово «логика» как и любое другое слово может употребляться в разных значениях. Видимо, чаще всего этим словом обозначают любую закономерность, взаимосвязь, последовательность предметов, явлений, событий. Так говорят о «логике политической борьбы», «логике конкурентных отношений», «логике истории», «логике властной вертикали» и т. п. Ясно, что слово «логика» в этом случае указывает на то, что последовательность тех или иных событий, взаимосвязь явлений не случайна, но носит необходимый, объективный, закономерный характер. Речь идёт о так называемой «логике вещей», с которой полезно согласовывать собственные действия. Нередко такое словоупотребление пусто, бессодержательно. Действительно, если нам не разъяснили закономерность явления, явным образом не сформулировали его закон, то слово «логика» лишь скрывает некомпетентность автора, повышая его статус в восприятии неискушённого слушателя.

Слово «логика» употребляется также для обозначения закономерности в связях и развитии мыслей. В этом случае говорят о логичном и нелогичном мышлении, имея в виду ясность, точность, последовательность, доказательность мышления и изложения мысли или, напротив, неопределённость, хаотичность, неубедительность мышления. Типичными выражениями в этом случае являются: «железная логика», «детская логика», «женская логика» и т.п.

Слово «логика» является также именем особой науки и соответствующей учебной дисциплины, называемой формальной логикой, определённой системы знаний о законах и операциях правильного мышления.

Суммируем перечисленные словоупотребления в одном примере. Так, мы знаем о колебаниях биржевого курса акций. Можно полагать, что это явление имеет свою объективную логику. Экономист - (теоретик) или практик (брокер) может рассуждать о закономерностях, причинах, ритмике и пр. колебаний курса акций, валют на биржах. Их рассуждения в этом случае составляют логику мышления. Логику же как особую науку интересуют рассуждения с точки зрения тех мыслительных процедур, логических операций, приёмов, которые используются для рассуждений о биржевом курсе, т.е. то, как рассуждают экономисты, теоретики или практики, когда они анализируют интересующий их предмет. В вопросе о том «Как?» заключен основной логический смысл: правильно ли рассуждение? Ответы на подобные вопросы даёт логика - наука о законах и операциях правильного мышления.

Логику как науку о законах, формах и приёмах правильного мышления называют формальной логикой, поскольку она имеет своим предметом структуру, строение, форму мысли, а не содержание мышления. Логическую форму мысли как способ связи содержательных частей логика исследует в чистом виде, отвлекаясь от содержания. Смысл понятия «логическая форма» хорошо поясняется примером.

Сравним три высказывания:

«Все чиновники - юристы»

«Все пингвины - птицы»

«Все преподаватели снисходительны»

Содержательно высказывания различны, только второе высказывание является истинным. Но нетрудно заметить их сходство. Это их строение, форма, которая легко обнаруживается, если отвлечься от содержания. Заменив содержательные компоненты: чиновников, пингвинов, птиц и т.д. латинскими буквами, например S и Р, мы получим во всех трёх случаях одну и ту же форму: «Все S есть Р»

Это и есть логическая форма данных высказываний, которая позволяет фиксировать в мышлении то, что у любого предмета (S) есть признак (Р).

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

Необходимо различать формальную правильность рассуждений и истинность мысли. Мысль называют истинной, если она соответствует действительности, реальности, т.е. представляет предмет, событие, ситуацию так, как они существуют сами по себе, «на самом деле». Несоответствие действительности делает мысль ложной. Логически правильным считается рассуждение, которое соответствует нормам, правилам, законам логики. Логическая правильность рассуждения гарантирует истинность заключения только в том случае, если рассуждение исходит из истинных же оснований, посылок. Но если посылки ложны, то правила и законы логики сами по себе не обеспечивают истинности заключения, которое может быть как истинным, так и ложным. Полезно не смешивать понятия «истинность» и «правильность», «ложность» и «неправильность» Логика не отвечает на вопрос об истинности суждений, входящих в состав рассуждения (это задачи практики и специальных наук), но дает точный, однозначный, единообразный, алгоритмический ответ на вопрос о правильности наших рассуждений.