- •1. Ассоциативное и дискурсивное мышление.
- •2. Понятие о логической форме мышления.
- •3. Понятие о логическом законе.
- •4. Мышление и язык.
- •5. Отношения, изучаемые формальной логикой.
- •6. О пользе изучения логики.
- •2. Имена и понятия.
- •3. Содержание и объем имен
- •4. Денотат имени
- •5. Виды имен
- •6. Отношения между объемами имен
- •3. Определение должно быть четким, ясным, не допускающим двусмысленности.
- •1. Простое высказывание и его состав
- •2. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •2. Виды простых высказываний по качеству и количеству
- •3. Распределенность терминов в простых высказываниях
- •§2. Высказывания отрицания. Закон двойного отрицания
- •§3. Соединительные (конъюнктивные) высказывания
- •4. Разделительные (дизъюнктивные) высказывания
- •§5. Условные высказывания
- •§1. Понятие об умозаключении
- •§2. Выводы из отношений между объемами двух имен (Непосредственные умозаключения)
- •§3. Выводы из отношений между объемами трех имен
- •1. Состав простого категорического силлогизма
- •2. Аксиома силлогизма и ее следствия
- •3.3. Обще правила простого силлогизма
- •3.4. Фигуры и модусы простого силлогизма
- •1. Меньшая посылка должна быть утвердительной.
- •2. Большая посылка должна быть общем.
- •1. Меньшая посылка должна быть утвердительной.
- •2. Заключение должно быть частным.
- •1. Если большая посылка утвердительная, то меньшая должна быть общей.
- •2. Если одна из посылок отрицательная, то большая должна быть общей.
- •3. Если меньшая посылка утвердительная, то заключение должно быть частным.
- •2.1. Условно-категоpические силлогизмы
- •2.2. Разделительно-категорический силлогизм и его модусы
- •2. Определения как аргументы доказательства.
- •3. Аксиомы и постулаты.
- •4.3Аконы науки и ранее доказанные теоремы как аргументы доказательства
- •Рекомендуемая (основная) литература:
- •2. Закон тождества
- •II практический раздел умк по учебной дисциплине «логика»
- •Примерный тематический план
- •Тема 1. Мышление как предмет логики
- •Тема 2. Логическая теория имен
- •Тема 3. Логическая теория высказываний
- •Тема 4. Дедуктивная логика
- •Тема 4. Дедуктивная логика
- •Тема 5. Логика правдоподобных рассуждений
- •Тема 6. Теория аргументации
- •3.1 Вопросы к зачету
- •3.2 Контрольные упражнения по учебной дисциплине «логика»
- •3.2.1 Контрольные упражнения по теме «Логическая теория имен»
- •III. Ограничение и обобщение
- •IV. Деление
- •V. Определение
- •3.2.2. Контрольные упражнения по теме «Логическая теория высказываний»
- •3.2.3. Контрольные упражнения к теме «Классическая дедуктивная логика»
- •Пояснительная записка
- •Примерный тематический план
- •Содержание учебного материала
- •Раздел I. Введение. Предмет и задачи логики
- •Предмет и задачи логики
- •Раздел II. Логическая теория имен
- •2. Логическая теория имен
- •Раздел III . Логическая теория высказываний
- •3.Логическая теория высказываний
- •Раздел IV. Классическая дедуктивная логика
- •4.Классическая дедуктивная логика
- •Раздел V. Логика правдоподобных рассуждений
- •5.Недедуктивные выводы
- •Раздел VI. Аргументация. Диалог
- •6. Теория аргументации
- •Информационно-методическая часть Основная литература:
- •Дополнительная литература:
- •Библиографический список Учебные пособия
- •Словари и справочники
- •Сборники задач и упражнений
- •4.2. Учебно-методическая карта дисциплины
- •4.3. Литература
- •Список рекомендуемой литературы2. По курсу формальной логики. Основная:
- •Дополнительная:
- •Сборники головоломок, книги по занимательной и нестандартной логике3:
- •I. Библиотеки электронных книг по логике.
- •II. Общие ресурсы, математическая логика.
- •III. Занимательные, развивающие задачи, головоломки.
- •IV. Форумы с обсуждением нестандартных логических задач, головоломок.
- •Введение
- •I. Виды понятий
- •III. Ограничение и обобщение
- •IV. Деление
- •V. Определение
- •I: Некоторые s суть р;
- •I: Многие (q) студенты (s-) суть (c) умеющие плавать (p-).
- •Умозаключение
- •Непосредственные умозаключения
- •1. Превращение
- •2. Обращение
- •3. Противопоставление предикату
- •4. Умозаключения по логическому квадрату.
- •I: Некоторые африканцы (s) суть краснеющие (р).
- •Правила терминов
- •2. Средний термин должен быть распределен хотя бы в одной из посылок.
- •Правила посылок
- •2. Если одна из посылок отрицательное суждение, то и заключение должно быть отрицательным.
- •4. Если одна из посылок частная, то и заключение должно быть частным.
- •Рекомендации для логического исследования простого категорического силлогизма
- •I: Некоторые мусульмане (м) суть трезвенники (р).
- •I: Некоторые арабы (s) суть трезвенники (р).
- •I: Некоторые мусульмане (м-) суть трезвенники (р-).
- •Рекомендуемая литература
- •Глава I
- •Глава II
- •Глава III
- •Глава IV
- •Глава V
- •Глава VI
- •Понятные
- •Глава VII
- •Глава VIII
- •Глава IX
- •Глава X
- •Глава XI
- •Глава XII
- •Глава XIII
- •1. Во всяком силлогизме должно быть не менее и не более трёх терминов.
- •2. Во всяком силлогизме должно быть не более и не менее трёх суждений.
- •4. Термины, не взятые в посылках во всём объёме, не могут быть и в заключении взяты во всём объёме.
- •7. Из двух частных суждений нельзя сделать никакого заключения.
- •8. Если одна из посылок есть суждение частное, то и заключение также должно быть частным.
- •Глава XIV
- •Глава XV
- •Глава XVI
- •3. Простой модус tollens, или деструктивный:
- •4. Сложный модус tollens, или деструктивный.
- •Глава XVII сокращённые и сложные силлогизмы
- •Аристотелевский сорит.
- •Глава XIX
- •Глава XX
- •Глава XXI
- •Глава XXII
- •Глава XXIV о приблизительных обобщениях и об аналогии
- •Глава XXV
- •Глава XXVI
- •Глава 1
- •Глава 2
- •Глава 3
- •Глава 4
- •Глава 5
- •Глава 6
- •Глава 7
- •2. По количеству участников
- •3. По наличию или отсутствию слушателей
- •4. По другим основаниям
- •Глава 8
- •1. Инициатива
- •2. Бремя доказывания
- •3. Концентрация
- •4. Неожиданный резерв
- •5. Обращение аргументов противника против него самого
- •6. Отложенный ответ
- •8. Манера держаться
- •9. Последнее слово
- •Глава 9
- •2. Использование эмоционально окрашенных понятий
- •3. Поспешное обобщение
- •4. Пари
- •5. Чрезмерно быстрая речь
- •6. Диверсия
- •7. Затягивание спора
- •8. Отвлекающие вопросы
- •9. Замещение
- •10. Срывание спора
- •11. Предвзятая интерпретация (двойная бухгалтерия)
- •12. Уловка артиста
- •13. Мимика
- •14. Интонация
- •15. Заноза
- •16. Оскорбления
- •17. Тормоз (улитка, глухая оборона)
- •6. Основная литература.
1. Простое высказывание и его состав
2. Виды простых высказываний по качеству и количеству
3. Распределенность терминов в простых высказываниях
Выше мы уже говорили о том, что высказывание – это выраженная в предложении мысль, в которой что-то утверждается или отрицается о предмете и которая может быть либо истинное, либо ложном. Истина и ложь называются логическими значениями высказывания. По своему составу высказывания бывают простыми и сложными. Простое высказывание выражает одну законченную мысль, которая может быть истинное или ложным, сложное – несколько таких мыслей, связанных между собой логической связью.
Простое высказывание как мысль, в которой нечто утверждается или отрицается относительно ее предмета, состоит из двух имен – имени, которое обозначает предмет выраженной в предложении мысли, и имени, которое обозначает то, что утверждается или отрицается относительно итого предмета. Например, в предложении «Акула является рыбой» или «акула» обозначает предмет выраженной в этом предложении мысли, а имя «рыба» - класс животных, которому принадлежит акула. Первое имя (логическое подлежащее) называется субъектом высказывания, а второе (логическое сказуемое) - предикатом.
Для удобства в дальнейшем будем обозначать заглавными, латинскими буквам S и P (первые буквы латинских названии субъекта и предиката). С учетом этого общая форма высказывания может быть представлена следующим выражением: «S есть (не есть) Р». Субъект и предикат называются терминами высказывания.
Таким образом, простым называется высказывание, в котором путем утверждения или отрицания отражаются отношения между двумя классами предметов и соответственно между объемами двух имен.
Характеризуя отношения между объемами имен выше, мы приводили формы тех высказываний, которыми передается содержание этих отношений, Там можно было убедиться в том, что каждое из этих высказывании отражает отношения взаимного полного или частичного включения или исключения двух классов. Однако в учебниках логики обычно только субъект считается именем класса, а предикат - именем признака этого класса, в приведенном примере считается, что имя «акула» обозначает класс акул, а имя «рыба» обозначает признак итого класса – «быть рыбой», но содержание имени «рыба» состоит из некоторого множества признаков и поэтому сама по себе не обозначает какого-то отдельный признак, по атому интерпретация простого высказывания как мысли, в, которой отражаются отношения между двумя классами предметов, является наиболее адекватное с точки зрения логики.
Не противоречит этой интерпретации и высказывания типа «снег белый», где имя «белый» об означает одно из свойств снега, то, что в этом высказывании отражены отношения между двумя классами становится очевидным, когда это высказывание выразить в иной форме: «снег – это белый предмет». Первоначальный смысл высказывания не изменился, но последняя форма не вызывает сомнений в том, что в ней выражено отношения подчинения между объемами имен «снег» и «белый предмет», содержание имени «белый предмет» состоит из одного признака «быть белым», поэтому и создается иллюзия, что высказывания итого типа принципиально отличаются от высказываний типа «Акула – это – рыба».
То же самое можно сказать и о высказываниях, в которых предикат выражен глаголом или глагольный оборотом, как, например, «Аист свил гнездо на крыше», в котором предикат не является именем. Это, однако, только особенность грамматического строения предложений, которая не влияет на логическую сущность простою высказывания, достаточно выразить его в иной форме, как станет очевидным, что в нем отражены отношения между двумя предметами: «Аист – это птица, свившая гнездо - на крыше».
Особенную функцию в простом высказывании выполняют слова «есть» или «не есть», которые являются логическими постоянными и через которые выражается принадлежность или непринадлежность одного класса к другому. Это утверждение или отрицание называется логическом связкой. Из чего следует, что связка бывает двух видов - утвердительной или отрицательной.
Утвердительная связка в предложении может быть выражена, кроме указанного в схеме глагола «быть», словами и оборотами «является», «называется», «представляет собой», «относится к», «принадлежит к» и некоторыми аналогичными их выражением. Часто, однако, утвердительная связка не выражается, а точнее, выражается только интонационно, отрицательная связка всегда выражается частицей, «не» самой по себе или с этой частицей в сочетании с перечисленными выше оборотами.
Высказывание кроме того содержит еще один компонент, который указывает на количество представителей определенного класса, о которых что-то утверждается или отрицается в нем. Например, в высказывании «Все студенты являются учащимися» выражается принадлежность всего класса студентов к классу учащихся, в высказывании «Некоторые студенты являются отличниками» выражается принадлежность только части класса студентов к классу отличников, а в высказывании «Этот студент является спортсменом» – выражается принадлежность к классу спортсменов отдельного представителя класса студентов.
Слова, указывающие на количество (количественную характеристику) десигнатов субъекта, о котором нечто утверждается или отрицается в высказывании, называются кванторными.
Кванторные слова выражают четвертый компонент высказывания, которым называется квантором. Как видно из примеров, кванторное слово может указывать на весь класс предметов, о котором что-то утверждается или отрицается в нем, на часть предметов этого класса, или на отдельного его представителя, в соответствии с этим кванторы делят на обще, частные и единичные.
Общий квантор в естественном языке может выражаться словами «все», «каждым», «любой», «всякий», «ни один», «никто», «ничто» и близкими им по смыслу другими выражениями, а может вовсе не выражаться, но в последнем случае нельзя утверждать, что квантор отсутствует, квантор, как и другие компоненты высказывания, является составным элементом мысли и может быть не представленным в высказывании составное частью предложения. Например, предложения «все студенты являются учащимися» и «Студенты – это учащиеся» выражают одно и то же высказывание с одинаковыми логическими компонентами.
Частный квантор обязательно выражается словами «некоторые», «отдельные», «многие», «несколько», «большинство», «часть», «ряд», «существуют», «встречаются», «попадаются», «есть» (в смысле «существуют»), «имеются», количественными числительными, а также модальным глаголом «может» в сочетании с глаголом «быть», как, например, в высказывании «Учителя могут быть филологами», равнозначном высказыванию «некоторые учителя – филологи».
Единичный квантор при единичных и собственных именах не выражается. При общих именах он может выражаться словами «тот», «этот», «один из», а может не выражаться вообще.
Таким образом, в составе простого высказывания можно выделить четыре логических компонента: два термина – субъект и предикат, связку – утвердительную или отрицательную и квантор – общий, частным или единичный. Отдельные из этих компонентов -субъект или предикат, утвердительная связка и единичный и общий кванторы могут быть не представлены в предложении, которое выражает высказывание.
