Задачи и упражнения.

1. Немецкий философ Ф.Ницше сказал: «Без логики нет ни восприятия,

ни настроения, ни представления». Как вы понимаете это высказывание и разделяете ли его?

2. О каком значении логики идет речь в следующем

рассуждении?: «Теперь все готово. Он даже не удивился своим действиям, настолько они ему казались логичными» (Буало – Нестержак).

3. Определите, какие из приведенных выражений являются

именными функциями и какие – пропозициональными:

а) Сумма чисел 15 и х; б) Разность х³ и у²; в) х – город на Днепре; г) х – брат Анатолия; д) Город х расположен между городами у и z.

4. С помощью кругов Эйлера – Венна, покажите отношения

между следующими понятиями: студент, спортсмен, музыкант.

5. Укажите, какие из нижеприведенных определений правильные

и истинные. Если нет, то укажите ошибку: а) Логика – это наука о мышлении; б) Дедукция – это выведение единичного и частного знания из общего; в) Язык есть система знаков; г) Фонтан – это водопровод в экстазе; д) Философия – царица наук.

6. Являются ли тождественными следующие суждения:

а) Студент присутствовал на лекции; б) Студент слушал лекцию; в) Студент слушал лектора.

7. Выражают ли законы логики следующие формулы?:

а) аā; б) аā; в) аа; г) аā; д) ав.

^* _* ^*

В справочной литературе по данной теме смотрите статьи:

Новая философская энциклопедия. В 4-х т. - М., 2001. Ст.:

«Логика», «Логика высказываний», «Логика предикатов»; «Закон логический», «Исключенного третьего закон»; «Понятие», «Не противоречия закон»; «Тождество», «Язык».

Філософськийенциклопедичний словник. - К., 2002.Ст.:

«Логіка», «Логіка висловлювань», «Логіка предикатів» «Логічні закони», «Поняття», «Мова».

Тема 25. Сложные формы мышления: суждения и умозаключения

1. Простые суждения, их виды и состав.

2. Сложные суждения, их виды и логические значения.

3. Понятия об умозаключении и его видах.

Простые суждения, их виды и состав

Познавая мир, человек отражает его в понятиях. Понятия связываются в суждения. Суждение – это форма мышления, в которой утверждается или отрицается существование предметов и явлений, связь предмета с его свойством или отрицается существование предметов и явлений, связь предмета с его свойством или отношение между предметами и выражает либо истину, либо ложь. Например: «Университет есть высшее учебное заведение». «Все студенты сдают экзамены». «Человек не имеет крыльев».

Суждение истинно, если его содержание соответствует действительности. В противном случае оно ложно. Классическая логика в суждении выясняет лишь два значения: его истинность или ложность, которые называются истинностными значениями логики. В современной логике рассматриваются 3-х, 4-хзначные и многозначные логики. Их основателями являются польский логик Ян Лукасевич (1878 – 1956) и американский логик Эмиль Пост (1897 – 1954), которые ввели значения, выражаемые словами: «возможно», «нейтрально», «необходимо» и др.

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

В состав предложения входят, как его главные члены, подлежащее и сказуемое. В логике подлежащее – это субъект суждения (от лат. subjektum). Это предмет суждения, для его обозначения используют букву «S». Сказуемое предложения в логике называют предикат (от лат. praedikatum) и обозначают буквой «Р». Предикат отражает признак предмета или отношение между предметами. Для соединения S и Р используют связки «есть», «не есть». Теперь суждение «Студент есть учащийся вуза», мы можем записать символической формулой: «S есть Р» или «Человек не имеет крыльев» - «S не есть Р». Таков состав суждения. Причем, S и Р – это термины суждения, а связка – логическая постоянная. Обратите внимание и на то, что предложение и суждение отличаются тем, что грамматический строй предложений в разных языках разный, а логическая структура всюду одинакова.

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

В зависимости от выражаемого содержания, высказывания делятся на: 1) высказывания о принадлежности признака предмету – это атрибутивные высказывания; 2) высказывания об отношениях между предметами, они выражаются формулой «aRb», где а и b – члены отношения, R – вид отношения.

_____

Если высказывание отрицательное, то формула такова «aRb», читается: «неверно, что а находится в отношении R к b»; 3) высказывание о факте существования предметов – это экзистенциональные высказывания.

Примеры высказываний: атрибутивные: «Украина – демократическая республика»; с отношениями: «4 + 2 = 6»; «Эльбрус выше Монблана», «Василий – сын Петра Ивановича», «Донецк южнее Краматорска», «Религия возникла раньше философии»; экзистенциальные: «Город Донецк существует», «Привидения не существуют».

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

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

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

По количественному показателю они делятся на единичные, частные и общие.

Единичное суждение отражает единственный предмет мысли, а значит субъект этого суждения – единичное понятие. Например, «Новосибирск – крупнейший город Сибири».

Частное суждение отражает некую совокупность предметов, процессов, явлений, но не всю. Это подчеркивается квантором: «Некоторые крупные города России являются областными центрами».

Общие суждения – суждения обо всех предметах определенного вида с квантором «все» (ни один, каждый, всякий) перед субъектом: «Все S есть Р». Например, «Каждый студент имеет зачетную книжку».

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

Если объединить качественный и количественный показатель, то все простые категорические суждения можно разделить на четыре вида: общеутвердительные - А (Все S есть P), общеотрицательные Е - (Ни S одно не есть P), частноутвердительные - І (Некоторые S есть P), частноотрицательные - О (Некоторые S не есть P).

Сложные суждения, их виды и логические значения

Сложным называется суждение, состоящее из нескольких простых, соединенных логическими связками: «И» (символические обозначения «», «», называются конъюнкция - соединение); «ИЛИ, ИЛИ», «ЛИБО, ЛИБО» (символически: или – «», либо – «», называются дизъюнкция – разъединение); «если…, то» - (символически «», называется импликация – сплетение); «если и только если, …то…» - (символически «», называется эквиваленсия – равнозначный). При этом используются пропозициональные переменные А, В, С, которые обозначают простые суждения. Например, суждение «Студенты заняли места в аудитории и лекция началась», мы можем записать формулой «АВ».

Теперь дадим определения этим видам сложных суждений (высказываний).

Конъюнкцией называется логическая операция, соединяющая простые суждения в сложные с помощью союза «» (И), которая является истинной тогда, когда каждое простое суждение истинно. В противном случае конъюнкция ложна (см. таблицу).

Дизъюнкцией называется сложное суждение, образованное из простых посредством связок «или – или», «либо – либо». Учтем, что существует два вида дизъюнкции: слабая, с союзом «или – или» () – это соединительно – разделительная: «АВ» - «Завтра будет холодно или выпадет снег» и сильная дизъюнкция, с союзом «либо – либо» () – это исключающе – разделительная дизъюнкция: «АВ» - «Пушкин родился в Москве либо в Петербурге». Логическое значение дизъюнкций смотри в таблице истинности.

Импликация (или условное суждение) – это такая связь двух простых суждений, которая ложна только в одном случае, если основание истинно, а следствие ложно. Во всех остальных случаях она истинна: «АВ», читается: «если есть основание А, то есть следствие В». «Если купим билеты, то пойдем в театр».

Эквиваленсия – такая связь двух простых суждений, которая истинна тогда и только тогда, когда оба суждения истинны или оба ложны: «АВ», - «Профессор Капица завершит свою научную работу, если и только если будут своевременно финансироваться его эксперименты» и наоборот, т.е. формулы эквиваленсии могут переставляться местами без потери смысла высказывания.