- •А.С. Скачков
- •Часть 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. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Варианты домашнего задания по разделу «Основы аргументационного процесса»
- •Список рекомендуемой литературы
- •Варианты комплексного задания для проведения итоговой аттестации
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
3.2. Логическая структура категорических высказываний
Любое категорическое высказывание имеет чёткую структуру, которая не всегда очевидна в выражающем такое высказывание предложении. Выявить эту структуру, значит ответить на вопрос: «Каков смысл данного высказывания?», заключающийся в информации о том, какой предмет мыслится в данном высказывании и о каком именно свойстве или отношении идёт речь, отрицается или наоборот утверждается данное свойство или отношение у предмета, истинно или ложно это отрицание (утверждение). Если мы знаем этот смысл, то интересующее нас высказывание понятно в плане его структуры и истинности, т. е. является не просто любым (например, неопределённым, бессмысленным и т. п.), но высказыванием-суждением.
Пример
Смыслом высказывания, выраженного повествовательным предложением и являющегося категорическим атрибутивным, «Логиками были все древнегреческие философы» является суждение о «всех» без исключения представителях «древнегреческих философов» как имевших свойство «быть логиками», что не соответствует реальному положению дел, т. е. данное суждение ложно. В структуру данного суждения входит кванторное слово «все»; термин-субъект, выраженный словосочетанием «древнегреческие философы»; термин-предикат, выраженный словосочетанием «были логиками»; утвердительная предицирующая связка, не имеющая в данном предложении словесного выражения.
Кванторное слово — это показатель «объёма сказывания», т. е. носитель информации о том, всем элементам или части элементов объёма предмета мысли приписывается какое-либо свойство.
Субъект — это термин, обозначающий предмет мысли, которому приписывается какое-либо свойство.
Предикат — это термин, обозначающий то, что предицируется (приписывается), утверждается или отрицается о предмете мысли.
Предицирующая связка — это показатель «качества сказывания», т. е. носитель информации о том, утверждается (в таком случае имеет место утвердительная предицирующая связка) или отрицается (в таком случае имеет место отрицательная предицирующая связка) какое-либо свойство в отношении предмета мысли.
Чтобы было легче воспринимать данные элементы логической структуры категорического высказывания в исследуемом примере, преобразуем анализируемое предложение в тождественное ему: «Все древнегреческие философы есть люди, бывшие логиками».
Применив уже введённый символ «S» для обозначения субъекта и символ «P» для обозначения предиката, используя кванторное слово «все» и слово «есть» для выражения утвердительной предицирующей связки, получим следующую символическую запись логической формы данной разновидности категорического атрибутивного суждения:
«Все S есть P»
(читается: «Любому элементу объёма имени P принадлежит свойство S»).
3.3. Общая качественно-количественная классификация категорических суждений
В целом к числу разновидностей категорических высказываний относятся суждения следующих логических форм:
1. «Данное S есть P» — единично-утвердительное, т. е. такое, в котором содержащему только один элемент в своём объёме предмету мысли предицируется наличие какого-либо признака.
2. «Данное S не есть P» — единично-отрицательное, т. е. такое, в котором содержащему только один элемент в своём объёме предмету мысли предицируется отсутствие какого-либо признака.
3. «Все S есть P» — общеутвердительное, т. е. такое, в котором всем элементам предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется наличие какого-либо признака.
4. «Ни одно S не есть P» — общеотрицательное, т. е. такое, в котором всем элементам предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется отсутствие какого-либо признака.
5. «Некоторые S есть P» — частноутвердительное, т. е. такое, в котором части элементов предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется наличие какого-либо свойства («некоторые» в силлогистике берётся в смысле — «по крайней мере, некоторые», а не в смысле «только некоторые»).
6. «Некоторые S не есть P» — частноотрицательное, т. е. такое, в котором части (в означенном смысле) элементов предмета мысли, содержащего в своём объёме больше чем один элемент, предицируется отсутствие какого-либо признака.
Пример
Первая форма означает утверждение о наличии свойства у имени с одним элементом в объёме (единичное имя), например, «Автор «Категорий» является представителем периода расцвета античной философии», а вторая — утверждение об отсутствии свойства у имени с одним элементом в объёме, например, «Озеро Байкал не является высокогорным». В третьей и четвёртой формах происходит, соответственно, утверждение и отрицание наличия свойства у всех элементов, входящих в объём общего имени, например, «Всякий религиозный человек верит в бога» и «Ни один атеист не верит в бога». Суждения пятой и шестой форм несут информацию о том, что конкретное свойство присутствует или отсутствует хотя бы у некоторых элементов класса.
Следует обратить внимание на то, что перечисленные формы могут иметь место и в том случае, если предикат суждения является не только единичным или общим, но и пустым именем, а также универсумом (универсальным именем), что как раз и допускается аристотелевской силлогистикой. На смену последней пришла силлогистика традиционная, требующая, чтобы термины категорических атрибутивных высказываний при их интерпретации на некотором универсуме были знаками таких имён, которые не являются пустыми и универсальными.
Представленные выше 1-я и 2-я формы категорических атрибутивных суждений принято сводить к формам:
1. Общеутвердительной, обозначаемой латинской заглавной или прописной «а» (от первой гласной в латинском слове affirmo — утверждаю), поскольку единично-утвердительное высказывание трактуется как утверждение о наличии свойства у «всех» элементов объёма P, которых ровно один.
2. Общеотрицательной, обозначаемой латинской заглавной или прописной «e» (от первой гласной в латинском слове nego — отрицаю), поскольку единично-отрицательное высказывание трактуется как отрицание наличия свойства у «всех» элементов объёма P, которых ровно один.
В свою очередь, частноутвердительное категорическое атрибутивное суждение получило обозначение «i» (от второй гласной в слове affirmo), а частноотрицательное — «о» (от второй гласной в слове nego).
С применением введённой символики данные формы могут быть записаны как силлогистические формулы:
1. SaP — общеутвердительное.
2. SiP — частноутвердительное.
3. SeP — общеотрицательное.
4. SoP — частноотрицательное.