- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
2. Логический анализ языка |
25 |
|
|
2.4. Семантическая классификация терминов
Термины
Термин (от лат. terminus — граница, предел, конец чего-либо) —
слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный).
Эмпирические
Термин эмпирический — это термин, обозначающий чувственно воспринимаемые, наблюдаемые, измеряемые предметы и их свойства.
Дескриптивные
К ним относятся:
1)единичные и общие имена;
2)знаки свойств и отношений;
3)знаки признаков;
4)знаки предметных функций.
Теоретические
Термин теоретический – это термин, обозначающий некоторый абстрактный предмет, не доступный непосредственному наблюдению.
Логические
Это слова и словосочетания: «есть»
(«суть»), «и», «или», «если..., то...», «не», «неверно, что...», «недостоверно, что...», «всякий», «все», «некоторые», «ни один».
1.Единичные и общие имена — это слова или словосочетания, обозначающие отдельные предметы.
2.Знаки свойств и отношений:
•это слова и словосочетания, значением которых являются свойства. Свойства — это то, чем отличаются друг от друга предметы и явления. В логике предикатов свойства рассматриваются как общие имена предметов. В таком расширительном понимании общие имена называют одноместными предикаторами;
•это слова и словосочетания, значением которых являются отношения. Отношение отличается от свойства тем, что предмет соотносится к другому предмету (другим предметам). В логике предикатов n-местные отношения (где последовательность из n предметов > 1) понимают как общие имена n предметов (множество предметов). В таком расширительном понимании общие имена называют многоместными предикаторами.
3. Знаки признаков:
•это слова или словосочетания, представляющие признаки предметов, т.е. наличие или отсутствие у них того или иного свойства или отношения относительно других предметов. Такие слова или словосочетания, обозначающие признаки предметов, называют предикатами.
Ïр и м е р. В высказывании «Этот мяч является красным» словосочетание «является красным» — знак признака, а слово «красный» – знак свойства. В высказывании «Летние яблоки вкуснее осенних» слово «вкуснее» – знак признака пары предметов (летних и осенних яблок). В высказывании «Летние яблоки вкуснее, чем осенние» слово «вкуснее» — знак признака, а «вкуснее, чем» — знак отношения.
4. Знаки предметных функций (функциональные знаки) представляют предметные функции. Слова и словосочетания, имеющие в качестве значения предметные функции, называют предметными функторами.
26I. Пропедевтика: предмет логики. Основные понятия и структура логики
2.5.Семантические категории
Общепринятым в современной логике является язык логики предикатов, который отражает и следует за смысловыми характеристиками естественного языка. Все выражения последнего, являющиеся знаками, можно разбить на классы по их предметным значениям.
Семантические категории
Классы выражений с однотипным значением
1. Имена
Слова и словосочетания, значениями которых являются предметы или явления: один предмет или любой предмет из некоторого класса.
Первые обозначают как единичные, вторые — как общие. Так, «Нева» — единич- ное имя; «река» — общее.
2. Предикаторы
Слова и словочетания, значением которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).
Так, «синий» — одноместный предикатор; «любит» — многоместный. Местность предикатора определяется количеством свободных мест соответствующего ему предиката («синий» (х), «любит» (х, y)).
3. Предметные функторы
Слова и словосочетания, имеющие в качестве значения предметные функции. Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: «sin», «log», +, «масса», «сумма», «столица» и т.п. Так, предметный функтор «столица» является названием одноместной функции, ставящей в соответствие государствам города (столица (х)), т.е. областью ее аргументов является множество государств, а областью значений – множество городов. Предметный функтор «сумма» является названием двухместной функции суммы (х, y), ставящей в соответствие парам чисел числа.
4. Предложение
Соединение слов, имеющее самостоятельный смысл, т.е. выражающее закон- ченную мысль.
Предложения — это выражения языка, в которых нечто утверждается или отрицается. По своему логическому значению они выражают либо истину, либо ложь.
5. Логические термины
Имеют в качестве значений логические операции связывания языка и квантификации (указания количества) общих имен.
Первые обозначают логические связки (союзы «и», «или», «если..., то» и др.); вторые – кванторы (слова «все», «некоторые» и т.п.).
2. Логический анализ языка |
27 |
|
|
2.6. Разновидности семантических категорий
Семантические категории
Повествовательные
|
|
|
Предложения |
|
Вопросительные |
|
||
|
|
|
|
|
|
Побудительные
Выражения, играющие определенную роль в составе предложения
Дескриптивные термины
Единичные и общие имена1
Предикаторы
Предикаты
Функциональные знаки
Логические термины
Конъюнкция А & В
Дизъюнкция А В, А В
Кванторы
Импликация А В
Отрицание ( А)
Эквиваленция А ≡ В
|
|
|
|
|
|
|
|
|
Квантор существования õ |
|
Квантор общности |
õ |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 Каждое имя несет в себе некоторое мысленное содержание (информацию об обозначаемом предмете), которое называется смыслом. По типу смыслов имена делятся на: имена, не имеющие собственного смысла, и имена, имеющие собственный смысл.
Имена, имеющие собственный смысл, – это описательные имена типа «хорошая погода», «сторонник демократии», «студент первого курса МГУ». Смысл этих имен определяется значениями имен, их составляющих. Если имена не содержат сами по себе никакой информации об обозна- чаемом предмете, то они лишены собственного смысла. Такие имена называют неописательными именами (например, «погода», «сторонник», «студент»). Приведенные в качестве примера имена лишь обозначают предметы, но никак не характеризуют их, не указывают на их признаки.
Неописательные имена типа «человек», «планета» могут иметь приданный смысл, т.е. неописательным именам придается смысл с помощью описательных имен, которые ставятся им в соответствие. Например: «человек, овладевающий знаниями», «планета, имеющая атмосферу».
28I. Пропедевтика: предмет логики. Основные понятия и структура логики
2.7.Семиотика: семантика
Семиотика — общая теория знаковых систем; наука о знаках и знаковых системах, о естественных и искусственные языках как знаковых системах. Включает в себя три раздела: семантику, синтактику, прагматику.
Семантика логическая — раздел логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому ими содержанию.
Семантика изучает отношения знаков к тому, что они обозначают. Проблемы и объекты исследования семантики (шире семиотики) иллюстрирует семиотический, или семантический, треугольник Ч.К. Огдена — А.А. Ричардса (рис. 2.1).
Çíàê
Слово
Èìÿ
|
1 |
|
имеет смысл |
|
называет |
3 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Денотат |
|
|
|
||||||||||||||||||||
Десигнат |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Референт |
|
|
|||||||||||||||||||||
Сигнификат |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Экстенсионал |
|||||||||||||||||||||||
Интенсионал |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Номинат |
|
|
|
||||||||||||||||||||
Значение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
Смысл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
в традиционной логике |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
Содержание |
|
|
|
|
|
|
|
|
|
|
|
соответствует |
|
|
|
|
|
|
Объем |
|
|
|
|
Рис. 2.1. Треугольник Огдена — Ричардса
1.Имя — слово или словосочетание, обозначающее какой-либо предмет (объект, свойство, явление, процесс и т.п.).
2.Денотат, референт, экстенсионал, номинат — слова, которые обозначают тот предмет (объект, свойство, явление, процесс), который соответствует данному имени (знаку, слову).
3.Десигнат, сигнификат, интенсионал — слова, которые соответствуют смыслу, или значению знака, в сознании человека.