Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
polovinkina_l_m_kuzmina_n_a_sost_logika_v_voprosah_i_otvetah.pdf
Скачиваний:
40
Добавлен:
23.07.2017
Размер:
362.98 Кб
Скачать

5. Установить причину ошибок мышления:

5.1. «Ум человека – клад достоинств всех дороже,

Ты мудрецам внемли, чтоб стать мудрее тоже.

В зерцало мудрости каменьев не бросай,

Волшебное стекло – оно разбиться может» (Низами)

5.2. «Люди думают, что достаточно доказать истину, как математическую теорему, чтобы ее поняли; что достаточно самому верить, чтобы другие по-

верили. Выходит совсем иное: одни говорят одно, а другие слушают и по-

нимают другое» (А.И. Герцен).

Тема 2 . Понятие

Основные вопросы темы: 1.Определение понятия. 2. Содержание и объем понятий.

3. Виды понятий. 4. Отношения между объемами понятий. 5. Обобщение и ограничение поня-

тий.

1. Понятие – фундаментальная логическая форма, в которой предметы обоб-

щаются по ряду признаков. Признаки бывают существенные и несущественные. В

понятиях отражаются существенные признаки, т.е. необходимые для выделения предмета или класса предметов из остальных в рассматриваемом отношении.

Признаки бывают отличительные и неотличительные. В понятиях отражаются от-

личительные, т.е. присущие только предметам, входящим в данный класс.

Таким образом, понятие – это форма мышления, в которой выражаются суще-

ственные и отличительные признаки предмета или класса предметов. Так, напри-

мер, понятие «квадрат» образуется путем выделения таких существенных и отли-

чительных признаков: «быть прямоугольной геометрической фигурой» и «иметь равные стороны».

Понятия образуются с помощью логических приемов сравнения, анализа, син-

теза, абстрагирования, обобщения.

11

Сравнение – мысленное установление сходства или различия предметов по существенным или несущественным признакам.

Анализ – мысленное расчленение предметов на составные части, выделение в нем признаков.

Синтез – мысленное соединение признаков в единое целое.

Абстрагирование – мысленное выделение существенных признаков и отвле-

чение от несущественных.

Обобщение – мысленное объединение существенных и отличительных при-

знаков предмета или класса предметов в понятие.

Понятия выражаются в словах или сочетаниях слов, которые имеют две важ-

нейшие характеристики: значение и смысл. Значение (экстенсионал) термина – это имя, данное предмету. Смысл (интенсионал) – информация, которая связыва-

ется с ним. Понятие должно иметь определенные значения и смысл. В противном случае возникают логические ошибки, которые препятствуют пониманию.

Итак, понимать – знать значение и смысл термина, т.е. уметь мысленно выде-

лять из рода предметов именно те, которые обладают данными видовыми отличи-

тельными признаками.

2. Всякое понятие имеет содержание и объем. Содержание - качественная сторона понятия, совокупность существенных и отличительных признаков пред-

мета или класса предметов. Объем – количественная сторона понятия, класс обобщаемых в понятии предметов. Класс – множество предметов со сходными существенными признаками. Множество состоит из элементов, число которых может быть конечным или бесконечным. Так, содержание понятия «Солнечная система» - «группа планет (со спутниками), вращающихся по своим орбитам во-

круг Солнца (звезды)», а объем – конечное множество, состоящее из 9 элементов.

Содержание и объем понятия связаны законом обратного соотношения: чем шире объем понятия (т.е. больше количество обобщаемых в понятии предметов), тем уже его содержание (т.е. меньше признаков содержит оно), и наоборот, чем бога-

че содержание понятия, тем уже его объем. Например: «Литературное произведе-

ние» - «роман» - «роман Л.Н. Толстого «Война и мир». Объем сужается до одного

12

элемента, содержательные характеристики становятся богаче и разнообразнее.

Различение содержания и объема понятия, уяснение их соотношения необходимо для многих логических операций, а именно определения понятия, обнаружения его видовых характеристик, обобщения и ограничения, деления понятия.

3. Понятия по объему делятся на единичные и общие. Объем единичного поня-

тия составляет один элемент. Например: «столица современной России», «древ-

негреческий философ, отравленный по приговору суда ядом цикуты» и т.д. Объем общего понятия включает множество элементов: «спортсмен, победивший в Олимпийских играх», «государство», «человек, умеющий играть на скрипке».

Можно выделить особую группу понятий, так называемые «пустые» понятия,

объем которых представляет пустое множество, т.е. не содержит ни одного эле-

мента. Одни из них образуются в результате заблуждений, свойственных разви-

тию научного познания ( «теплород», «флогистон», «вечный двигатель»), другие в результате логического противоречия («человек, знающий все европейские языки,

но не знающий болгарского языка»), третьи создаются фантазией человека («че-

ловек, побывавший на Марсе», «Дед Мороз» и т.д.).

По содержанию понятия различаются на конкретные и абстрактные. В кон-

кретных мыслятся отдельные предметы или классы предметов с определенными признаками: «психолог Леонтьев», «черный», «искренний человек». Абстрактны-

ми называются понятия, в которых мыслится общий признак, взятый отдельно от предмета, или отношение между предметами: «белизна», «твердость», «глухота», «тождество» и т.д.

Понятия бывают относительные и безотносительные. Относительными (или соотносительными) называются понятия, существование одного из которых пред-

полагает наличие противоположного: «родители – дети», «начальник – подчинен-

ный», «раб – рабовладелец» и т.д. Они образованы за счет использования двухме-

стного отношения. В безотносительных понятиях предметы мыслятся сущест-

вующими самостоятельно: «человек», «дом», «город», «планета»...

В зависимости от наличия или отсутствия признака (отношения) понятия де-

лятся на положительные и отрицательные. Положительные понятия употребля-

13

ются без частиц «не», «без», «а» (кроме тех, которые без них не употребляются): «говорящий по-английски», «далекая звезда», «хороший поступок», «ненависть», «беспечность».... Отрицательные понятия означают отсутствие качества: «некра-

сивое лицо», «бескорыстная помощь», «алогичный вывод»...

По типу обобщаемых предметов понятия делятся на собирательные и несоби-

рательные. Собирательными называются понятия, в которых группа однородных предметов мыслится как единое целое. Причем содержание такого понятия нельзя отнести к каждому элементу отдельно. Такими понятиями являются «стадо», «библиотека», «толпа», «созвездие Большая Медведица». Несобирательные поня-

тия – это такие, содержание которых можно отнести к отдельному предмету мно-

жества: «игрушка», «студент», «река», «автомобиль» и т.д.

Логическое задание

Дать логическую характеристику понятиям:

Родина – общее, конкретное, относительное, положительное, несобирательное.

Сестра – общее, конкретное, относительное, положительное, несобирательное.

Безнравственность – общее, абстрактное, безотносительное, отрицательное,

несобирательное .

Лес – общее, конкретное, безотносительное, положительное, собирательное.

4. Понятия не могут вступать ни в какие отношения, если принадлежат к раз-

ным родам. Такие понятия называются несравнимыми. Сравнимые понятия при-

надлежат к одному роду. Сравнимые понятия делятся на совместимые и несо-

вместимые. Совместимыми называются понятия, объемы которых полностью или частично совпадают. Несовместимыми – объемы которых не совпадают ни в од-

ном элементе. Существует три типа совместимости – равнозначность, перекрещи-

вание, подчинение и три типа несовместимости: соподчинение, противополож-

ность, противоречие.

14

Отношение между объемами понятий изображают с помощью круговых схем,

получивших название «кругов Эйлера». Математик и логик Эйлер (ХVIII в.) пер-

вый предложил обозначать объем понятия кругом.

Приведем таблицу логических отношений между объемами понятий и объяс-

ним типы отношений.

 

 

 

Сравнимые понятия

 

 

 

 

Совместимые

 

 

Несовместимые

 

 

Равно-

Перекре-

Подчи-

Соподчи-

Противопо-

Противо-

значность

щивание

нение

нение

 

ложность

речие

АВ

А

В

А

 

 

А

В

А не-А

В

А

В

 

 

 

 

 

 

С

Равнозначными называются понятия, которые различаются по своему содер-

жанию, но совпадают по объему. Например: А – равносторонний прямоугольник;

В – квадрат.

Перекрещивание – отношение между понятиями, объемы которых частично совпадают, т. е. они имеют общие элементы. Например: А – студент; В – отлич-

ник.

Подчинение (субординация) характеризуется тем, что объем одного понятия

(подчиненного) целиком входит объем другого (подчиняющего), но не исчерпы-

вает его. Например: А – юрист; В

адвокат.

 

Соподчинение (координация) –

это логическое отношение между объемами

понятий, не совпадающими друг с другом. Это разные виды одного рода.

Например: А – комета; В – звезда; С

планета

во множестве небесных тел.

Противоположность (контрарность) – это логическое отношение между объ-

емами двух понятий, которые являются видами одного рода, при этом одно из них

15

них содержит какие-либо признаки, а другое – исключает их и заменяет на проти-

воположные. Например: А – храбрость; В – трусость.

Противоречие (контрадикторность) – характеризует отношение между объе-

мами двух понятий, одно из которых указывает на некоторые признаки, а другое

– их отрицает, но не заменяет другими. Употребляется оно с отрицательными час-

тицами «не», «без» и т.д. Например: А – честный человек; В – нечестный человек.

Логическое задание

1. Определить отношения между понятиями и отразить в кругах Эйлера:

1.1.

А

преступление;

В – терроризм; С – спекуляция; Д – хищение.

 

 

 

 

А

 

 

 

 

В

 

 

 

 

С

 

 

 

 

Д

1.2.

А

законченная повесть;

В – незаконченная повесть;

С – повесть;

Д

рассказ.

С

А В Д

1.3. А– орудие преступника; В – огнестрельное оружие; С – боевой пистолет;

Д – нож.

АС

Д

16

1.4. А – человек; В – карлик; С – великан; Д – европеец.

А

ВД С

5.Обобщение и ограничение понятий – это операции, уточняющие содержание понятия и его объем. Они осуществляются на основе закона обратного соотноше-

ния содержания и объема понятия.

Обобщение – это логический переход от понятия с меньшим объемом (видово-

го) к понятию с большим объемом (родовому) путем отбрасывания видовых со-

держательных признаков. Предел обобщения – общенаучное понятие или фи-

лософская категория. Например: Кошка – млекопитающее – позвоночное – орга-

низм – материя.

Расширяя объем понятия путем отбрасывания содержательных характеристик,

мы переходим к универсальному понятию, включающему в себя огромное мно-

жество элементов, но с предельно абстрактным содержанием. Например: Партия

– массовая политическая организация – политическая организация – организация.

Кислота – сложное химическое вещество – химическое вещество – вещество – материя.

Ошибки обобщения:

1.«Скачок в обобщении» – нарушение последовательности обобщения, ко-

гда пропускается промежуточный род. Например: пальто – одежда.

2.Попытка обобщить категорию (переход от рода к виду). Например: мате-

рия – космос.

Ограничение – логический переход от понятия с большим объемом (родового)

к понятию с меньшим объемом (видовому) путем введения видовых содержа-

тельных признаков. Предел ограничения – единичное понятие. Например: Кисло-

та – неорганическая кислота – бескислородная неорганическая кислота – хлорная кислота (НСl).

17

Здание – административное здание – нижегородское административное здание – здание городской думы.

Предложение – простое предложение – односоставное простое предложение – од-

носоставное личное простое предложение «Люблю грозу в начале мая».

Сужая объем понятия путем введения содержательных характеристик, мы пе-

реходим к единичному понятию, объем которого составляет один элемент, а со-

держательные характеристики многообразны.

Ошибки ограничения:

1.«Скачок в ограничении» – нарушение последовательности ограничения,

когда пропускается промежуточный вид.

2.Попытка ограничить единичное понятие (переход от вида к роду).

3.Подмена операции ограничения делением на части. Например: «Здание –

окно» или «город - центр города» - ложное ограничение, т.к. нарушено логическое отношение подчинения. «Всякое окно есть здание» или «вся-

кий центр города есть город» - это алогичные утверждения.

Умение анализировать понятия, овладение логическими операциями с ха-

рактеристиками понятий способствует развитию абстрактного мышления, при-

учает к ясности, последовательности рассуждения.

Логическое задание

Обобщить и ограничить понятие:

Районный центр

 

(обобщение)

 

(ограничение)

1.

Центр

1. Районный центр РФ

2.

Населенный пункт

2.

Районный центр РФ Волго-

 

 

Вятского региона

3.

Пункт

3.

Районный центр РФ Волго-

 

 

Вятского региона Нижегородской

 

 

области

4.

Пространство

4. г. Бор

18

Тема 3. СУЖДЕНИЕ

Основные вопросы темы: 1. Определение суждения. 2. Типы простого суждения. 3. Ка-

тегорические суждения и их классификация. 4. Распределенность терминов в суждениях. 5.

Логические отношения между простыми суждениями («Логический квадрат»). 6. Определение сложного суждения. 7. Виды сложного суждения. 8.Таблица логических значений сложного суждения.

1.Суждение – форма мышления, в которой что-либо утверждается или отрица-

ется о существовании предметов, их связях, свойствах или отношениях.

«Москва многочисленнее Нижнего Новгорода».

«Некоторые грибы – ядовиты». «Не существует беспричинных явлений».

Суждение имеет два логических значения. Оно может быть истинным или лож-

ным. Если то, что утверждается или отрицается в суждении, соответствует действительности, то суждение является истинным. В противном случае - сужде-

ние ложно.

Мысль, выраженная в форме суждения, имеет свою структуру:

Термины суждения:

а) субъект ( S) - понятие о предмете суждения;

б) предикат ( Р ) – понятие о связях, свойствах или отношениях, которыми обладает или не обладает предмет суждения;

в) связка – способ соединения предмета мысли и его признаков. Указывает на наличие или отсутствие признаков. Выражается одним словом (есть, суть, являет-

ся, бывает, не есть, не суть, не является, не бывает) или группой слов, или тире,

или простым согласованием слов.

Суждения выражаются в предложениях, но не все предложения содержат в себе суждение. Вопросительные предложения не содержат в своем составе суж-

дение. В них ничего не отрицается и не утверждается, значит, их нельзя опреде-

лить в терминах истины и лжи. По этой же причине и побудительные предложе-

ния, которые только побуждают к действию, не содержат суждения, не являются суждениями.

19

Итак, только повествовательные предложения содержат мысль в форме сужде-

ния. Есть еще один признак не– суждения: это предложения, в которых высказы-

ваются о личных вкусах и чувствах и которые не могут быть определены как ис-

тинные или ложные. Например: «Я желаю...» или «Мне нравится...», «Я верю...»

Суждение как способ логической связи между понятиями, состоящее из одного предложения, называется простым.

2. Простые суждения бывают трех типов: атрибутивные (атрибут – признак,

свойство), суждения с отношениями и суждения существования.

Атрибутивные, или категорические, - суждения, в которых утверждается или отрицается принадлежность предмету известных свойств, состояний, видов дея-

тельности. Например: «У розы – приятный запах», «Все дельфины – млекопи-

тающие», «Терьер – это порода собак». В каждом атрибутивном суждении есть предмет мысли (S), предикат (Р) и связка.

Суждения с отношениями – такие, в которых высказывается об отношениях между предметами. Их формула «а R в», где пропозиционные переменные:

а и в - имена предметов,

R - отношение между ними. Например: «Отцы старше детей», «Эльбрус выше Монблана», «Гоголь родился позднее Грибоедова».

Всуждениях существования утверждается или отрицается наличие предметов

вдействительности. В них употребляются слова «есть» или «нет», «существует»

или «не существует». Например: «Без борьбы мнений нет движения к истине», «В

России существует кризис», «У всякого безумия есть своя логика».

Особое место в классификации простых суждений занимают выделяющие и ис-

ключающие суждения.

Выделяющими называются суждения, в которых утверждается или отрицается принадлежность признака только к данному классу предметов. В них употребля-

ются слова «только», «лишь». Например: «Только заслуга достойна награды», «Лишь богач да глупец делают то, что хотят».

В исключающих суждениях говорится о принадлежности или отсутствии при-

знака у всех предметов класса, кроме некоторой части. Их можно узнать по сло-

20

вам «за исключением», «кроме», «помимо», «не считая»... Например: «Никто,

кроме мужественного, не заслуживает уважения».

3.Более подробно рассмотрим атрибутивные суждения, ибо в них представле-

ны все части простого суждения и они являются наиболее распространенным ти-

пом суждения.

Атрибутивные суждения называются также категорическими (греч. – ясный).

Они делятся по двум признакам: по качеству и количеству.

Качество суждения выражается связкой. Она может быть утвердительной

(«есть», «бывает», суть») в том случае, если признак у предмета присутствует,

или отрицательной («не есть», «не бывает», «не суть»), если признак отсутствует.

Например: «Некоторые студенты занимаются научной работой», «Ни один карась не является хищной рыбой».

Количество суждения выражается квантором. Суждение может быть общим,

если употребляется квантор общности, и частным, если используется квантор су-

ществования. Например: «Все люди смертны», «Некоторые грибы не являются съедобными».

В формальной логике принята объединяющая классификация суждений по ка-

честву и количеству. Выделяются 4 вида категорических суждений: 1) Общеутвердительные (А)

Все S есть Р.

Все цветы – растения.

2) Общеотрицательные ( Е )

Ни одно S не есть Р.

Ни один кит не является рыбой. 3) Частноутвердительные ( J )

Некоторые S есть Р

Некоторые студенты – спортсмены. 4) Частноотрицательные ( О ).

Некоторые S не есть Р.

Некоторые птицы не являются водоплавающими.

21

4.Для логического анализа суждений необходимо определить отношения меж-

ду объемами терминов суждения – субъекта и предиката. Иными словами, уста-

новить – распределены они или нет.

Термин считается распределенным, если его объем полностью включен или ис-

ключен из объема другого термина.

Термин считается нераспределенным, если его объем лишь частично включен или исключен из объема другого термина. Так, в общеутвердительных суждениях

(А), объем S полностью включен в объем Р, а объем Р лишь частично – в объем S.

Следовательно, S распределен, а Р нераспределен.

 

 

Чтение – лучшее учение.

 

 

 

S

чтение

 

S

Р

 

 

 

Р

лучшее учение

 

 

 

В общеотрицательных суждениях ( Е )

объем S

полностью исключен из

объема Р, и наоборот. Следовательно, S и Р являются распределенными.

Ни один герой не является трусом.

 

 

 

S

герой

S

 

Р

Р

трус

 

 

 

В частноутвердительных суждениях (J), объем субъекта частично включа-

ется в объем предиката, а объем предиката –

частично включается в объем субъ-

екта. Следовательно S и Р нераспределены.

 

 

 

Не все студенты пришли на лекцию.

 

 

 

S

студенты

S

Р

 

 

 

 

Р

пришли на лекцию

 

 

 

Наконец, в частноотрицательных суждениях (О) объем субъекта частично

исключен из объема предиката, а объем предиката –

полностью исключен из объ-

ема субъекта. Следовательно, S нераспределен, а Р распределен.

22

Некоторые студенты не пришли на лекцию.

 

 

S

студенты

 

 

Р

пришли на лекцию

S

Р

Для установления распределенности используется таблица распределенности терминов в простом суждении.

 

 

А

Е

J

О

 

 

 

 

 

 

S

 

+

+

_

_

 

 

 

 

 

 

Р

 

_

+

_

+

 

 

 

 

 

+ термин распределен

 

 

-

термин нераспределен

 

 

5. Для анализа простого суждения надо знать те отношения, которые логи-

чески допустимы между простыми суждениями. Простые суждения могут быть несравнимы, а значит, не вступать ни в какие отношения в том случае, если у них различные субъекты или предикаты. Если же они различаются только по связке

(утвердительной или отрицательной) или по квантору, то они являются сравни-

мыми, их можно поставить в логическую зависимость и определить их логиче-

ское значение (истинны они или ложны).

Эти отношения принято изображать в виде схемы, которая в логике получи-

ла название «Логический квадрат». Вершины квадрата обозначают виды простых суждений, а его стороны и диагонали – логически допустимые отношения между ними.

А контрарность Е

подчинение

подчинение

J субконтрарность О

23

Для установления логических значений простых суждений необходимо знать правила, которым подчиняются эти отношения.

Правила подчинения: (между А и J, а также Е и О).

Если А и Е истинны, то J и О истинны.

Если А и Е ложны, то J и О неопределенны (истинны или ложны).

Если J и О истинны, то А и Е неопределенны ( истинны или ложны).

Если J и О ложны, то А и Е ложны.

Правила контрарности (противоположности) (между А и Е):

Если одно из них истинно, то другое ложно.

Если одно из них ложно, то другое неопределенно ( истинно или ложно).

Правила субконтрарности (частичной противоположности) (между J и О):

Если одно из них ложно, то другое истинно.

Если одно из них истинно, то другое неопределенно (истинно или ложно).

Правила контрадикторности (противоречия) (между А и О; Е и J)

Если одно из них истинно, то другое ложно.

Если одно из них ложно, то другое истинно.

Знание правил «Логического квадрата» необходимо при сопоставлении раз-

личных сравнимых суждений для анализа их способности выражать истину.

6. Сложные суждения образуются путем соединения между собой простых при помощи логических союзов.

Простые суждения в составе сложного обозначаются пропозиционными пере-

менными: а, в, с, d, е...

Если соединяются больше двух простых суждений, то в этой сложной логиче-

ской конструкции различают главный и подчиненные логические союзы.

7. Вид сложного логического суждения определяется по главному союзу.

Сложные суждения бывают трех видов:

1. Соединительные (или конъюнктивные) (а ^ в) «Счастье обманет и в лес уйдет».

24

2. Разделительные (или дизъюнктивные):

2.1. а в нестрогая дизъюнкция (а в)

«Или слушаю преподавателя, или смотрю в окно». 2.2. а в строгая дизъюнкция (а & в)

«Либо пан, либо пропал».

3. Условные ( или импликативные) 3.1. ав простая импликация

«Если стоит туман, то аэропорт закрыт». 3.2. а в двойная импликация.

«Наше мышление только тогда логически правильно, когда мы связываем в мыс-

лях то, что связано в самой действительности».

8. Логическое значение сложного суждения зависит от логических значений простых, входящих в него. Для его определения пользуются таблицей логических значений сложных суждений. Чтобы построить таблицу, надо знать:

1)число строк в таблице;

2)интервал смены логических значений истины и лжи;

3)правила всех видов сложных суждений.

Число строк в таблице (С) зависит от количества простых суждений в сложном

(n) и определяется по формуле: С = 2n. Так, например, для сложного суждения,

состоящего из 2-х простых (а, в), С = 22 = 4.

Интервал смены логических значений истины и лжи для а = 4 : 2 = 2 (и, и; л,

л), а для в = 2 : 2 = 1 (и, л; и, л) .

1.Правило для сложного конъюктивного суждения (а ^ в ): оно истинно

тогда, когда истинны все входящие в него простые суждения.

2.Правило для сложного нестрогого дизъюнктивного суждения (а в): оно

ложно тогда, когда ложны все входящие в него простые суждения.

3.Правило для сложного строгого дизъюнктивного суждения ( а & в): оно

ложно тогда, когда все входящие в него простые суждения истинны или все входящие простые ложны.

25

4.Правило для простого импликативного суждения (а в): оно ложно то-

гда, когда первое входящее в него простое суждение истинно, а второе – ложно.

5.Правило для двойного импликативного суждения (а в): оно истинно

тогда, когда все входящие в него простые суждения истинны и все вхо-

дящие простые ложны.

Примечание: Если простые суждения, входящие в сложные, являются отрица-

тельными ( а , в , с , d , е ), то их логические значения в таблице меняются на про-

тивоположные.

Таблица логических значений сложных суждений

а

в

а в

а

в

а в

ав

ав

 

 

 

в

 

 

 

 

 

 

 

&

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

и

и

 

л

 

и

и

л

 

л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

л

л

и

 

и

 

л

л

л

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

л

и

л

и

 

и

 

и

л

и

 

л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

л

л

л

л

 

л

 

и

и

и

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для того чтобы проверить логическое значение сложного суждения, надо:

1.Определить количество простых суждений в сложном.

2.Обратить внимание на то, утвердительные или отрицательные эти простые суждения.

3.Выделить типы логических связей между частями сложного суждения (по

логическим союзам), различить главный и подчиненный типы связей, если про-

стых суждений больше двух.

4.Составить формулу сложного суждения, заключить подчиненные части в скобки.

5.Проверить логическое значение формулы табличным способом.

Логические задания

I. Определить термины, вид, распределенность терминов простого суждения:

26

1) Всякое слово имеет смысл.

Субъект – « слово»; предикат – « имеет смысл»; квантор общности – « вся-

кое».

Вид суждения – общеутвердительное (А).

По таблице распределенности терминов субъект данного простого суждения рас-

пределен, предикат не распределен.

2)Никакое знание не является бесполезным.

Субъект – « знание»; предикат – « бесполезным»; связка – « не является»;

квантор общности – « никакое».

Вид суждения – общеотрицательное (Е).

По таблице распределенности терминов субъект и предикат распределены.

П. Определить отношения по логическому квадрату между простыми сужде-

ниями:

1) Не всякую истину полезно изрекать.

Данное суждение вида J вступает в отношения подчинения с суждением ви-

да А, субконтрарности с суждением вида О, контрадикторности с суждени-

ем вида Е. При условии его истинности суждение вида А – Всякую истину полезно изрекать – неопределенно, вида О – Некоторые истины не полезно изрекать – неопределенно, суждение вида Е – Ни одну истину не полезно изрекать – ложно. При условии его ложности суждение вида А – ложно, ви-

да О – истинно, вида Е – истинно.

2)Некоторые страны Европы не являются демократическими.

Данное суждение вида О вступает в отношения подчинения с суждением вида Е, субконтрарности с суждением вида J, контрадикторности с суж-

дением вида А. При условии его истинности суждение вида Е – Ни одна страна Европы не является демократической – неопределенно, суждение вида J – Некоторые страны Европы являются демократическими – неоп-

ределенно, суждение вида А – Все страны Европы являются демократиче-

скими – ложно. При условии его ложности суждение Е – ложно,

27

J - истинно, А – истинно.

Ш. Записать в виде формулы, определить вид и логическое значение таблич-

ным способом следующих сложных суждений:

1) «Если наши дети – это наша старость, то правильное воспитание – это наша счастливая старость, плохое воспитание – наше горе...» (А.С. Макаренко).

Сложное суждение состоит из трех простых суждений (переменных), обозна-

ченных а, в, с. Их соединяют логические союзы – импликация и конъюнкция.

Формула сложного суждения: ( а → (в ^ с))

Вид суждения – импликативное суждение.

По таблице логических значений определяется логическое значение данного

сложного суждения.

_____________________________________________________________________

а : в : с : в ^ с : а →( в ^ с)

_____________________________________________________________________

и

и

и

и

и

и

и

л

л

л

и

л

и

л

л

и

л

л

л

л

л

и

и

и

и

л

и

л

л

и

л

л

и

л

и

л

л

л

л

и

Из таблицы видно, что формула для 5 наборов логических значений истинна,

а для 3 ложна. Общий вывод: данное сложное суждение не является тождествен-

но-истинным, т.к. в последней колонке есть ложь.

2) «Детская душа в одинаковой мере чувствительна и к родному слову, и к красоте природы, и к музыкальной мелодии» (В.А. Сухомлинский).

Данное сложное суждение состоит из трех простых суждений (переменных),

обозначенных а, в, с. Все три простых суждения соединены логическим союзом – конъюнкцией.

28

Формула сложного суждения: ( (а ^ в) ^ с ).

Вид суждения –

конъюнктивное суждение.

По таблице логических значений определяется логическое значение данного

сложного суждения.

 

 

 

а : в :

с : ( а ^ в) : (а ^ в) ^ с

______________________________________________________________________

и

и

и

и

и

и

и

л

и

л

и

л

и

л

л

и

л

л

л

л

л

и

и

л

л

л

и

л

л

л

л

л

и

л

л

л

л

л

л

л

________________________________________________________________

Из таблицы видно, что формула для 1– го набора логических значений истин-

на, а для остальных – ложна. Общий вывод: данное сложное суждение не является

тождественно-истинным, т.к. в последней колонке есть ложь.

IV. Будет ли законом логики формула суждения? Проверить табличным спо-

собом.

1) ( а в) → ( в а)

______________________________________________________________________

а : в : а в : в а : (а в) → (в а)

______________________________________________________________________

и

и

и

и

и

и

л

и

и

и

л

и

и

и

и

л

л

л

л

и

29