- •Введение
- •Глава I предмет и значение логики
- •§ 1. Формы познания Формы чувственного познания
- •§ 2. Понятие логической формы и логического закона
- •§ 3. Логика и язык
- •Глава II понятие
- •§ 1. Понятие как форма мышления
- •§ 2. Отношения между понятиями
- •§ 3. Определение понятий
- •§ 4. Деление понятий. Классификация
- •§ 5. Ограничение и обобщение понятий
- •Глава III суждение
- •§ 1. Общая характеристика суждения
- •§ 2. Простое суждение
- •§ 3. Сложное суждение и его виды. Исчисление высказываний
- •§ 4. Выражение логических связок (логических постоянных) в естественном языке
- •§ 5. Отношения между суждениями по значениям истинности
- •§ 6. Деление суждений по модальности
- •Глава IV
- •§ 1. Понятие логического закона
- •§ 2. Законы логики и их роль в познании
- •§ 3. Использование формально-логических законов в процессе обучения
- •Глава V умозаключение
- •§ 1. Общее понятие об умозаключении
- •§ 2. Дедуктивные умозаключения
- •§ 3. Выводы из категорических суждений посредством их преобразования
- •§ 4. Простой категорический силлогизм.
- •I. Правила терминов
- •§ 5. Сокращенный категорический силлогизм (энтимема)
- •§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
- •§ 7. Условные умозаключения
- •II. Отрицающий модус (modus tollens).
- •§ 8. Разделительные умозаключения
- •§ 9. Условно-разделительные (лемматические) умозаключения
- •§ 10. Сокращенные условные, разделительные и условно-разделительные умозаключения
- •1. В умозаключении пропущено заключение
- •2. В умозаключении пропущена одна из посылок
- •§ 11. Непрямые (косвенные) выводы
- •1. Рассуждение по правилу введения импликации
- •§ 12. Индуктивные умозаключения и их виды Логическая природа индукции
- •2. Индукция через анализ и отбор фактов
- •3. Научная индукция
- •§ 13. Индуктивные методы установления причинных связей
- •§ 14. Дедукция и индукция в учебном процессе
- •Глава VI логические основы теории аргументации
- •§ 1. Понятие доказательства
- •§ 2. Прямое и непрямое (косвенное) доказательства
- •§ 3. Понятие опровержения
- •I. Опровержение тезиса (прямое и косвенное)
- •II. Критика аргументов
- •III. Выявление несостоятельности демонстрации
- •§ 4. Правила доказательного рассуждения. Логические ошибки, встречающиеся в доказательствах и опровержениях
- •§ 5. Понятие о софизмах и логических парадоксах
- •§ 6. Искусство ведения дискуссии
- •III. В чем заключаются логические ошибки, допущенные в следующих софизмах?
- •Глава IX
- •Тема «Понятие» (4 часа) Основные вопросы
- •Тема «Суждение» (4 часа) Основные вопросы
- •Тема «Умозаключение» (4 часа) Основные вопросы
- •§ 2. Специфика методики преподавания логики
- •В средних педагогических учебных заведениях:
- •Педучилищах, педколледжах, педклассах (из опыта
- •Работы)
- •Тест айзенка
- •§ 3. Методика повышения логической культуры учащихся начальной и средней школы (из опыта работы)
- •1. Содержание работы
- •2. Требования к оформлению работы
- •Глава X
- •§ 2. Развитие логики в связи с проблемой обоснования математики
- •§ 3. Интуиционистская логика
- •§ 4. Конструктивные логики
- •§ 5. Многозначные логики
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления ...
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 6. Законы исключенного третьего
- •Глава X. Этапы развития логики как науки и основные направления
- •§ 7. Модальные логики
- •§ 8. Положительные логики
- •§ 9. Паранепротиворечивая логика
- •3. Суждение.
- •4. Умозаключение.
- •5. Логические основы теории аргументации.
§ 6. Деление суждений по модальности
В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения. В них утверждается или отрицается наличие определенных связей между предметом и его свойствами или констатируется отношение между двумя или большим числом предметов. Например: «Школьники — учащиеся»; «В прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы, т.е. а2 + Ь2 = с1; «Объем конуса равен !/э площади основания, умноженной на высоту»; «Яблоко сладкое и красное»; «Я эту работу не выполню в срок»; «Если будет плохая погода, то мы не поедем на теплоходе» и др. Общая форма таких простых высказываний (суждений): «5 есть (не есть) Р». Из простых суждений образуются сложные, например: «Если ^ есть (не есть) Р, то ^; есть (не есть) Р,».
В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом] Помимо ассерторических существуют модальные суждения, в которых уточняется или квалифицируется характер связи между 51 и Р или характер связи между отдельными простыми суждениями в сложном суждении. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: «Обязательно, что все школьники — учащиеся»; «Доказано, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы»; «Хорошо, что яблоко сладкое и красное»; «Возможно, что я эту работу не выполню в срок»; «Вероятно, что если будет плохая погода, то мы не поедем на теплоходе». Мы видим, что модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения.
О предмете А можно просто сказать, что он имеет свойство В (это ассерторическое суждение). Но можно сверх того уточнить, является ли эта связь А и В необходимой или, наоборот, случайной, хорошо ли, что А есть В или это плохо, доказано, что А есть В или не доказано, а только есть предположение, и т.д. В результате таких уточнений мы получаем модальное суждение различных типов. Приведем еще примеры модальных суждений: «Возможно, на Марсе есть жизнь»; «Доказано, что в современных условиях невозможна ограниченная ядерная война». В модальном суждении к ассерторическому суждению приписывается тот или иной модальный оператор (модальное понятие): возможно, доказано, необходимо, запрещено, обязательно, плохо и др.! Структура простых модальных суждений такая: '
М (5 есть Р) или М (5 не есть Р),
где М обозначает модальный оператор (модальное понятие). Но как было уже сказано, модальными могут быть и сложные суждения. Если а и Ъ — простые суждения, то из сложных ассерторических суждений:
а /\Ь, ач Ь, а\/ Ь, я -»6, а = Ь
можно получить соответствующие сложные модальные суждения:
М (а л Ь); М(а v Ь); М(а</ Ь); М(а -»Ь); М(а = Ь).
В каждом из этих пяти типов сложных модальных суждений модальный оператор М может быть заменен его разновидностями. Например, из сложного ассерторического суждения «Если в почву внести удобрения, то урожай повысится» можно получить такие модальные суждения: «Доказано, » если в почву внести удобрения, то урожай повысится», «Хорошо, если почву внести удобрения, тогда урожай повысится» и др.
Проиллюстрировав многочисленными примерами, что представляет со-
: Модальное суждение, можно дать определение понятиям «модальное простое суждение» и «модальное сложное суждение».
" Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий). Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями помощью модальных операторов (модальных понятий). {Модальные высказывания изучаются в модальной логике, в которой Деются отдельные разделы (или ветви): логика норм, логика времени, деонтическая логика, логика действия, логика принятия решений и другие виды логик.
В модальной логике модальность суждений выражается различными педальными операторами (категориями модальности): «доказуемо», опровержимо», «запрещено», «необходимо», «невозможно» и т.п. В на-стоящее время современной модальной логикой изучены многие виды Модальностей, и те из них, которые сравнительно хорошо изучены, систематизированы в следующей таблице, предложенной А.А.Ивиным. В каждую из групп модальностей входят три основных модальных понятия. Второе из них называется слабой характеристикой, первое и третье — сильной положительной и сильной отрицательной характеристиками соответственно. Иногда в дополнение к трем основным модальным понятиям вводится четвертое, которое может употребляться вместо них для обозначения объединения сильного положительного и нейтрального.
Логические модальности
|
Онтологические модальности
|
Эпистемические модальности
| |||||
|
|
знание
|
убеждение
| ||||
логически необходимо
|
онтологически необходимо
|
доказуемо (верифицируемо)
|
полагает (убежден)
| ||||
логически случайно
|
онтологически случайно
|
неразрешимо (непроверяемо)
|
сомневается
| ||||
логически невозможно
|
онтологически невозможно
|
опровержимо (фальсифицируемо)
|
отвергает
| ||||
логически возможно
|
онтологически возможно
|
|
допускает
| ||||
Деонтические модальности
|
Аксиоло! ичсские модальности
|
Временные модальности
| |||||
|
абсолютные
|
сравнительные
|
абсолютные
|
сравнительные
| |||
обязательно
|
хорошо
|
лучше
|
всегда
|
раньше
| |||
нормативно безразлично
|
Аксиологи-чески безразлично
|
равноценно
|
только иногда
|
одновременно
| |||
запрещено
|
плохо
|
хуже
|
никогда
|
позже
| |||
разрешено
|
|
|
|
|
Логические модальности и онтологические модальности объединяются в общий вид — алетические модальности1. Они включают такие модальные операторы, или категории модальности: необходимость и случайность, возможность и невозможность. Слова «необходимо», «возможно», «случайно» в обыденном языке употребляются в самых различных смыслах.
Философия изучает категории «необходимость», «случайность», «возможность» с их содержательной стороны. Формальная логика изучает существующие между ними определенные формальные зависимости. Всеобщность модальных категорий состоит в их приложимости к любой области действительности.
Алетические модальности обозначаются так: «п>4» — «необходимо А»\ «УЛ» — «случайно/4»; «0/4» — «возможно Л»; «~ ОЛ — невозможной» (знак «~» обозначает отрицание). Иногда их обозначают так: «Ьр» — «необходимо р», «Мр» — «возможно/)».
Алетические модальности (логические и онтологические) часто содержательно истолковывают так: необходимым считают логические законы, а также законы, выявленные различными науками, и все следствия из этих законов. Невозможным считают суждения, противоречащие этим законам, отрицание этих законов или их следствий. Случайными считают суждения, не являющиеся законами или их следствиями, но и не противоречащие законам или их следствиям. Возможными считают положения, не противоречащие законам или их следствиям.
Описание схем — классификаций суждений
Схема 1 (рис. 18) построена так, что дает классификацию суждений на основании выявления формы, или структуры, суждений. Две основные группы суждений — ассерторические и модальные — выделяются на основании того, что в первых не устанавливается характер связи между субъектом и предикатом или между простыми суждениями в сложном, а во вторых устанавливается характер связи между субъектом и предикатом в простом модальном суждении или характер связи между отдельными простыми суждениями в сложном модальном суждении.
Далее обнаруживается аналогия в структуре ассерторических и модальных суждений: во-первых, и те, и другие делятся па простые и сложные суждения; во-вторых, простые суждения делятся на утвердительные и отрицательные, а каждое из них, в свою очередь, делится на общие суждения и частные суждения, в результате чего возникли четыре вида простых ассерторических и четыре вида простых модальных суждений; в-третьих, аналогична структура сложных ассерторических и сложных модальных суждений: каждая группа включает конъюнктивные, дизъюнктивные, условные и эквивалентные суждения (либо ассерторические, либо модальные). Среди ассерторических суждений не выделены только выделяющие и исключающие суждения, так как они не очень вписываются в эту схему, являясь разновидностями общих или частных суждений.
Схема 2 (рис. 19) построена так, что дает классификацию суждений с учетом не формы (структуры) суждения, а его содержания. Ассерторические простые суждения делятся на три вида: суждения свойства, суждения существования и суждения с отношениями. Подразделение сложных суждений не проводится, так как оно такое же, как в схеме 1 (т.е. конъюнктивные сложные суждения, дизъюнктивные и т.д.). Модальные простые и сложные суждения могут быть подразделены на основании вида модальности, отраженной в суждении: суждения, содержащие эпистемические модальности, деонтические модальности и т.д. Отдельно выделены суждения, содержащие другие модальности, ибо не все модальности еще доста-
Основание классификации – форма (структура суджений)
Сложные суждения |
Эквивалентные модальные суждения М ( аb ) |
Условные модальные суждения М(a b) |
Суждения |
Модальные суждения |
Дизъюнктивные модальные суждения |
Конъюнктивные модальные суждения М(a b) |
Простые суждения |
Утвердительные суждения |
Отрицательные суждения |
Частноотрицательные модальные суждения М ( Некоторые S не есть P ) |
общеотрицательные модальные суждения М (Ни одно S не есть P ) |
Частноутвердительные модальные суждения М ( НекоторыеS есть P ) |
Общеутвердительные модальные суждения М ( Все S есть P ) |
Ассерторические суждения |
Сложные суждения |
Простые суждения |
Отрицательные суждения |
Утвердительные суждения |
Эквивалентные аb |
Условные a b |
Дизъюнктивные |
Конъюнктивные a b |
Частноотрицательные О |
общеотрицательные Е |
Частноутвердительные І |
Общеутвердительные А |
Схема 2 Основание классификации – содержание суждения
Суждение |
Модальные простые и сложные суждения |
Ассерторические суждения |
Простые |
Сложные |
Суждения, содержащие логические модальности |
Суждения, содержащие эпистемические модальности |
Суждения, содержащие деонтические модальности |
Суждения, содержащие аксиологические модальности |
Суждения, содержащие онтологические модальности |
Суждения, содержащие временные модальности |
Суждения, содержащие другие модальности |
Суждения свойства (атрибутивные) |
Суждения существования (экзистенциальные) |
Суждения с отношениями |
точно хорошо изучены и не все они могут быть перечислены. Правила деления понятий (и соответственно правила классификации) предусматривают (разрешают) введение в качестве отдельной группы других членов деления, когда число членов деления велико либо не все виды делимого родового понятия достаточно изучены или известны.
Задачи к теме «Суждение»
I. Являются ли приведенные ниже формулы законом логики (тавтологией, или тождественно-истинной формулой)?
abab
abab
abab
(((ab)c)c)( ab)
((a b)(cd)(bd)(ac).
II. Определить вид суждения, его субъект и предикат, их распределенность.
Некоторые растения не являются лекарственными.
Ни одно нераспространенное предложение не является предложением, имеющим второстепенные члены.
Иногда люди допускают несправедливость.
Всякий металл имеет свою температуру плавления.
Некоторые олимпийские чемпионы являются мастерами спорта по фигурному катанию.
Все ромбы — четырехугольники.
Юрий Алексеевич Гагарин — первый космонавт,
Ни один океан не имеет пресную воду.
Под лежачий камень вода не течет.
Некоторые сотрудники являются необязательными людьми.
Хорошее дело два века живет.
III. Определите вид следующих сложных суждений и запишите их структуру с помощью символов.
«Крепости на холмах медленно разрушались, царские дворцы зарастали травой, но кое-где люди стали постепенно возвращаться на старое место жительства. Вновь заселились некоторые ахейские холмы и возникли новые города, которые образовались путем объединения нескольких деревень». (Н.Н.Трухииа. История Древней Греции. М, 1993. С.55).
Среди ахейских мастеров были оружейники, ювелиры, гончары, художники, но не было скульпторов.
В Элладе самыми сильными городами-государствами считались Афины и Спарта, самым богатым — Коринф (см.: там же).
Правильно ли построена формула для следующего сложного суждения? Если неправильно, то предложите свою формулу.
«Женщина, красивая, еще молодая, прекрасно одетая, с приятной улыбкой, степенная, склонилась над водой и от нечего делать выводит концом шелкового зонтика какие-то буквы на прибрежном песке» (О.Генри).
(а b с d е) (fq).
5. Правильно или неправильно построена формула для данного сложно го суждения?
«Раджа, довольно тучный тридцатилетний малый, с радушным видом пошел мне навстречу, поцеловал меня, взял под руку, пасынка — под другую, уместил меня на седалище возле трона и воссел сам» (А.Д.Салтыков).
(а b) (с d) (е f).
IV Произведите отрицание следующих сложных суждений, предварительно записав формулой их структуру.
«Если вы желаете себе несокрушимого памятника, вложите свою душу в хорошую книгу» (Б.Буаст).
Неверно, что эта студентка вечером будет вязать или слушать радио.
V Определите с помощью «логического квадрата» отношения между следующими простыми суждениями.
Некоторые цветы — розы. — Неверно, что все цветы — розы. Все врачи ошибаются. — Ни один врач не ошибается.
VI. Определите вид модальности в следующих суждениях,
Вероятно, урожай пшеницы в этом году будет не ниже прошлогоднего.
Запрещается злиться.
«Цвет и рисунок обоев должны сочетаться с цветом мебели, например, для светлой мебели не следует выбирать слишком темные обои, для темной, наоборот, слишком светлые. Если декоративные ткани (обивка мебели, шторы и т.д.) имеют рисунок, то обои лучше подбирать гладкие или с малозаметным рисунком типа сетки... Для обоев однотонных и типа сетки бордюр нужно выбирать того же тона, но более яркого цвета. Например, золотисто- желтые обои могут быть окантованы узким бордюром светло-коричневого цвета» (Краткая энциклопедия домашнего хозяйства. М, 1993. С. 73. Выделе но нами. — А.Г.).
«В специально оборудованных вольерах для содержания горилл в зоопарках должны быть деревья, по которым они могли бы лазать, а также со лома, ветки или бамбук для сооружения гнезд. Пищу следует давать не большими порциями на протяжении всего дня, причем в таком виде, что бы животные имели возможность заниматься ее подготовкой (скажем, обдирать кожицу или расщеплять стебли) или поиском, для него лучше беспорядочно разбрасывать съедобные растения в вольере. Гориллам нужно обеспечить возможность пребывания на свежем воздухе» {Д.Фосси. Гориллы в тумане. М., 1990. С. 19. Выделено нами. — А. Г.).
VII. Являются ли суждениями следующие предложения?
Кто и как нашел Трою? Какие еще открытия сделал этот человек? Какие племена жили на Крите?
Кто такие ахейцы? Что нам известно об ахейских городах, о населении ахейских царств? Когда и как начался в Греции «железный век»?
Кто знает те слова, что больше значат
Правдивых слов, что ты есть только ты?
Кто у себя в сокровищнице прячет
Пример тебе подобной красоты?
(В.Шекспир)
4. Помогайте людям, дарите им свою заботу.
5. Кормите птиц зимой!
6. Ах! этот человек всегда
Причиной мне ужасного расстройства! Унизить рад, кольнуть; завистлив, горд и зол!
(А.С.Грибоедов)
7. Зачем притворяешься ты
То ветром, то камнем, то птицей?
Зачем улыбаешься ты
Мне с неба внезапной зарницей?
Не мучь меня больше, не тронь!
Пусти меня к вещим заботам...
Шатается пьяный огонь
По высохшим серым болотам.
(А.Ахматова)
VIII. Являются ли суждениями русские народные пословицы? Отвяжись, худая жизнь, привяжись, хорошая! Не радуйся нашедши, не плачь потерявши. Где наше не пропадало. Плохо не клади, вора в грех не вводи! За глаза про кого не говорят?1
IX. Простое или сложное суждение выражено в начале стихотворения М.Волошина «Кастаньеты»? Найдите здесь субъект и предикат (субъект и предикаты).
Из страны, где солнца свет Льется с неба жгуч и ярок, Я привез тебе в подарок Пару звонких кастаньет.