- •А.С. Скачков
- •Часть I
- •Предмет, основные понятия
- •И разновидности логики
- •Введение
- •Лекция первая предмет, условия возникновения, виды и основоположения логики
- •1.1. Объектное и предметное значение логики
- •1.2. Разновидности и исторический аспект логики как науки
- •1.3. Основные положения и понятия классической формальной логики
- •Лекция вторая семантика и основные законы классической формальной логики
- •2.1. Семантические категории и логическая форма
- •2.2. Закон мышления. Принципы (законы) классической формальной логики
- •2.3. Частные законы формальной логики и логическое следование
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Предмет, основные понятия и разновидности логики»
- •Список рекомендуемой литературы
- •Часть II
- •Силлогистическая теория
- •Дедуктивных рассуждений
- •Введение
- •Лекция третья особенности аристотелевской и традиционной силлогистики
- •3.1. Общая характеристика и язык силлогистики
- •3.2. Логическая структура категорических высказываний
- •3.3. Общая качественно-количественная классификация категорических суждений
- •3.4. Позитивная и негативная разновидности традиционной силлогистики
- •3.5. Модельные схемы и распределённость (нераспределённость) терминов простых категорических высказываний
- •Родовое
- •Лекция четвёртая
- •4.2. Логический квадрат. Умозаключения по логическому квадрату
- •4.3. Непосредственные дедуктивные преобразования суждений в позитивной силлогистике
- •4.4. Общая характеристика и логическая структура простого категорического силлогизма
- •4.5. Модельные схемы простого категорического силлогизма
- •4.6. Правила простого категорического силлогизма
- •4.7. Сложные, сокращённые и сложносокращённые формы простого категорического силлогизма
- •Лекция пятая умозаключения негативной традиционной силлогистики
- •5.1. Операция терминного отрицания
- •5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
- •5.3. Негативный категорический силлогизм
- •Контрольные вопросы
- •Варианты домашнего задания к разделу «Силлогистическая теория дедуктивных рассуждений»
- •12. Что есть истина?
- •13. Что пользы человеку приобресть весь мир…?
- •Список рекомендуемой литературы
- •Часть III
- •Логика высказываний
- •И предикатов
- •Введение
- •Лекция шестая классическая логика высказываний
- •6.1. Общая характеристика и особенности языка
- •Классической логики высказываний (клв)
- •6.2. Пропозициональные связки; образование формул клв
- •6.3. Истинностная функция пропозициональных связок Табличное определение истинности
- •6.4. Виды и взаимоотношения формул и схем клв
- •6.5. Схемы некоторых законов клв
- •6.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Лекция седьмая классическое исчисление высказываний
- •7.1. Логический смысл исчислений
- •7.2. Классическое натуральное исчисление высказываний. Правила вывода
- •7.3. Выводы и доказательства
- •7.4. Эвристики натурального исчисления высказываний
- •Лекция восьмая язык и исчисление классической логики предикатов
- •8.1. Общая характеристика классической логики предикатов
- •8.2. Язык классической логики предикатов
- •8.3. Запись имён и высказываний на яклп: термы и формулы
- •8.4. Законы классической логики предикатов
- •8.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Логика высказываний и предикатов»
- •Список рекомендуемой литературы
- •Часть IV
- •Теория правдоподобных
- •Рассуждений
- •Введение
- •Лекция девятая основы формализации рассуждений с правдоподобным следованием
- •9.1. Понятие о правдоподобном (вероятностном) рассуждении
- •9.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •9.3. Статистическая (апостериорная) вероятность
- •9.4. Исчисление условной вероятности
- •9.5. Принцип обратной дедукции
- •Лекция десятая разновидности индукции
- •10.1. Понятие индукции в традиционной и современной логике
- •10.2. Классификация видов индукции по характеру следования
- •А1 есть в, а2 есть в, ..., Аn есть в; Никаких а, кроме а1, ..., Аn, нет;
- •Каждое а есть в.
- •10.3. Индуктивные методы установления причинных связей
- •Вероятно, а
- •Вероятно, а
- •Видимо, а — причина a
- •Лекция одиннадцатая умозаключения по аналогии гипотеза и гипотетико-дедуктивный метод
- •11.1. Аналогия: виды, приёмы повышения степени вероятности
- •11.2. Гипотеза: виды, построение, этапы организации
- •11.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Теория правдоподобных рассуждений»
- •Список рекомендуемой литературы
- •Часть V основы аргументационного процесса Введение
- •Лекция двенадцатая логические основы аргументации
- •12.1. Основы теории аргументации
- •12.2. Состав аргументации. Структура аргументационного процесса
- •12.3. Доказательство и опровержение в аргументации
- •12.4. Правила и логические ошибки в доказательстве и опровержении
- •Лекция тринадцатая внелогическая составляющая аргументационного процесса
- •13.1. Спор и его виды
- •13.2. Тактика спора
- •13.2. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
Лекция пятая умозаключения негативной традиционной силлогистики
5.1. Операция терминного отрицания
В рамках позитивной традиционной силлогистики, как это видно из предыдущего материала, не приходится обращать внимание на внутреннюю структуру терминов, т. е. не учитывается смысл терминного отрицания, фиксируемый негативной традиционной силлогистикой.
Терминное отрицание — это логическая операция над терминами, позволяющая строить из одних терминов другие термины, называемые отрицательными.
Пример
Из положительного термина «знак», являющегося предикатом суждения «Все слова — знаки», посредством терминного отрицания получим отрицательный термин «не-знак», содержащийся, например, в отрицательном суждении «Ни одно слово не является не-знаком».
Если же мы применим метод модельных схем, то получил наглядное изображение отношений исходного понятия «знак» (обозначим как А), образованного посредством терминного отрицания понятия «не-знак» (обозначим как не-А) и понятия «слово» (обозначим как В):
U
не-А
А
В
Рис. 14
Отрицательным является термин, выраженный отрицательным именем, т. е. означающим отсутствие какого-либо качества в предметах. Операцию терминного отрицания необходимо не путать с операцией пропозиционального отрицания, которая является не операцией над терминами, но операцией над высказываниями.
Пример
При осуществлении операции пропозиционального отрицания над ложным суждением «Все слова — не-знаки», получим истинное суждение «Неверно, что все слова — не-знаки». Если же мы будем осуществлять операцию терминного отрицания в отношении субъекта данного суждения, то получим новое ложное суждение: «Все не-слова есть не-знаки».
Операция терминного отрицания увеличивает список разновидностей простого категорического суждения по качественно-количественной характеристике. К общеутвердительным суждениям помимо суждения «Всякий S есть P» добавляются суждения: 1) «Всякий не-S есть P» (общеутвердительное с отрицательным субъектом), 2) «Всякий S есть не-P» (общеутвердительное с отрицательным предикатом) и 3) «Всякий не-S есть не-P» (общеутвердительное с отрицательным субъектом и предикатом); то же имеет место и в отношении частноутвердительных, общеотрицательных и частноотрицательных суждений.
Пример
1) «Незваный гость хуже татарина» (общеутвердительное с отрицательным субъектом). 2) «Все мёртвые являются неживыми» (общеутвердительное с отрицательным предикатом). 3) «Всё непонятное необъяснимо» (общеутвердительное с отрицательным субъектом и предикатом).
Введение в негативной силлогистике дополнительных разновидностей простого категорического суждения по качественно-количественной характеристике увеличивает число выводов из суждений посредством их преобразования, а также класс двухпосылочных следствий (категорических силлогизмов).
5.2. Непосредственные дедуктивные умозаключения преобразованием суждений в негативной силлогистике
В плане выводов из суждений посредством их преобразования в негативной традиционной силлогистике оказываются возможными превращение, противопоставление предикату, противопоставление субъекту и противопоставление субъекту и предикату.
Превращением (obversio) называется такое непосредственное умозаключение, при котором изменяется качество посылки без изменения её количества, и на место предиката в заключении ставится подвергшийся терминному отрицанию предикат посылки.
Пример
Всякий S есть P («Все слова — знаки»).
____________________________________________________________________________________
Всякий S не есть не-P («Ни одно слово не является не знаком»).
Некоторый S есть P («Некоторые люди являются сладкоежками»).
______________________________________________________________________________________________________
Некоторый S не есть не-P («Некоторые люди не являются не сладкоежками».
Ни один S не есть P («Ни один гусь не является свиньёй»).
______________________________________________________________________________
Ни один S не есть не-P («Всякий гусь есть не свинья»).
Некоторый S не есть P («Некоторые люди не являются счастливыми).
_____________________________________________________________________________________________
Некоторый S не есть не-P («Некоторые люди являются несчастными).
Противопоставлением предикату (контрапозицией предикату) называется такое непосредственное умозаключение, при котором заключение получается посредством последовательного превращения и обращения посылки.
Развёрнутая схема противопоставления предикату:
S есть P.
___________________
S не есть не-P.
___________________
Не-P не есть S.
Свёрнутая схема противопоставления предикату:
S есть P
___________________
не-P не есть S,
т. е. в заключении на место субъекта ставится подвергшийся терминному отрицанию предикат посылки, на место предиката — субъект посылки, при этом качественная характеристика заключения меняется на противоположную качественной характеристике посылки.
Пример
Всякий S есть P («Все слова — знаки»)
___________________________________________________________________________________
Всякий S не есть не-P («Ни один не знак не является словом»).
Всякий S не есть P («Ни один материалист не является идеалистом»).
__________________________________________________________________________________________________
Некоторый не-P есть S («Некоторые из не идеалистов — материалисты»).
Некоторый S не есть P («Некоторые люди не являются счастливыми).
_____________________________________________________________________________________________
Некоторый не-P есть S («Некоторые несчастные являются людьми»).
Частноутвердительные суждения при противопоставлении предикату не дают логического следования, поскольку при первом изменении их логической структуры (этап превращения) становятся частноотрицательными суждениями, которые не обращаются (второй этап изменения их логической структуры).
Противопоставлением субъекту (контрапозицией субъекту) называется такое непосредственное умозаключение, при котором заключение получается посредством последовательного обращения и превращения посылки.
Развёрнутая схема противопоставления субъекту:
S есть P.
___________
P есть S.
___________________
P не есть не-S.
Свёрнутая схема противопоставления предикату:
S есть P.
___________________
P не есть не-S,
т. е. в заключении на место субъекта ставится предикат посылки, на место предиката — подвергшийся терминному отрицанию субъект посылки, при этом качественная характеристика заключения меняется на противоположную качественной характеристике посылки.
Пример
Всякий S есть P («Все слова — знаки»).
_________________________________________________________________________________________________________
Некоторый P не есть не-S («Некоторые из знаков не являются несловесными»).
Некоторый S есть P («Некоторые друзья являются однокурсниками»).
_________________________________________________________________________________________________________
Некоторый P не есть не-S («Некоторые однокурсники не являются недругами».
Ни один S не есть P («Ни один теист не является атеистом»).
_________________________________________________________________________________
Всякий P есть не-S («Всякий атеист является атеистом»).
В силу того, что частноотрицательное суждение не обращается, из него нельзя получить достоверного вывода путём противопоставления субъекту.