ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
«Ухтинский государственный технический университет»
Филиал Ухтинского государственного технического университета в г. Усинске
Контрольная работа
по дисциплине Логика
тема: Простое суждение
студента 3 курса специальности РЭНГМ-08
шифр 1841455
Ф.И.О. Анчикова Андрея Алексеевича
Домашний адрес: ул. Парковая д. 16, кв. 57
телефон: 56180
г.Усинск
2010 г.
2. Классификация суждений
3. Практическое задание
4. Список литературы
Суждение – это форма мысли, посредством которой что-либо утверждается или отрицается, и которая принимает логическое значение истинности или ложности. Если то, что утверждает суждение истинно => оно истинно. Ложное суждение – «все растения съедобны». Суждение может быть неопределенным: «на Марсе есть жизнь». Неизвестно, правда это или ложь.
Состав простого категорического суждения – это такое суждение, в котором что-либо утверждается или отрицается о предмете с необходимостью (собака – это животное). Состоит из 3-х элементов:
Субъект – это часть суждения, которая выражает предмет мысли. S (subjectum)
Предикат – это та часть суждения, в которой что-либо утверждается или отрицается о предмете мысли. (praedicatum)
Связка «есть, суть, является»
Иногда кванторное слово – «все, ни один, что-то».
Субъект и предикат – термины суждения.
В зависимости от характера предиката все суждения делятся на 3-и группы:
Атрибутивным (от латинского attributio — «свойство», «признак») суждением является такое, в предикате которых выражены свойства или признаки предметов. В простом атрибутивном суждении имеются субъект, предикат, связка и квантор. Субъект атрибутивного суждения — это понятие о предмете суждения. Предикатом атрибутивного суждения называется понятие о признаке предмета, рассматриваемом в суждении. Схема: S есть Р «Мед сладкий»; S не есть Р «Мед не сладкий» называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Например: «Сроки аренды определяются договором», «Никто из судей не вправе воздержаться от голосования».
Некоторые суждения отражают принадлежность (или непринадлежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или больше предикатов. Например: «Никто (S) не может быть подвергнут произвольному арест (Pi), задержанию (Рз) или изгнанию (Рз)». Это суждение является сложным, состоящим из трех простых, но оно может быть рассмотрено как простое с одним сложным предикатом:
S есть Р (Pi, Pi, Рз).
В традиционной логике атрибутивные суждения называются также категорическими (от греческого kategorikos — «ясный», «безусловный», «не допускающий иных толкований»). По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждения «Многие предприятия являются частными», «В.В. Путин является Президентом Российской Федерации» утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ни один карась не является хищной рыбой» отрицательные. Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство.
В отрицательном истинном суждении наша мысль разъединяет (разделяет) то, что находится разделенным в объективном мире.
В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, единичные и частные.
Структура общего суждения: «Все S есть (не есть) Р».
Среди общих суждений встречаются выделяющие суждения, в состав которых входит квантор «только». «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующее: «Только благородные газы. И только они не образуют химических соединений с элементами».
Среди общих суждений имеются исключающие суждения, например: «Все сотрудники нашего отдела, за исключением больных, пришли на работу». К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук.
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы — съедобны» — неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторы: большинство, меньшинство, немало, не все, многие, почти все, несколько и др. Для того, например, чтобы устранить неопределенность частного суждения: «Некоторые студенты опоздали на лекцию», — надо уточнить, сколько студентов и кто именно опоздал, т. е. назвать фамилии.
Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Тирасполь - столица Приднестровской Молдавской Республики», «Эверест — высочайшая вершина мира», «Вулкан Ключевская сопка — действующий».
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы — съедобны» — неопределенное частное суждение. Нам неизвестно, обладают ли признаком съедобности все трибы, но мы не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторы: большинство, меньшинство, немало, не все, многие, почти все, несколько и др. Для того, например, чтобы устранить неопределенность частного суждения: «Некоторые студенты опоздали на лекцию», — надо уточнить, сколько студентов и кто именно опоздал, т. е. назвать фамилии.
Релятивные (от лат. relativus — относительный) суждения – в предикате которых выражены не свойства или признаки предметов, а отношения между ними Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. Например: «А равно В», «С больше D», «Семен — отец Сергея», «Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство — причина многих преступлений».
Отношение отличается от свойства тем, что отнесение его (в виде логического сказуемого) в мысли к тому или иному предмету порождает не истину или ложь, а бессмыслицу. В самом деле, выражение «Ярославль севернее», «этот дом выше», «десять больше» не содержит никакого смысла. Отношение предполагает связь, по крайней мере, между двумя предметами.
Из бесконечно огромного числа форм отношений между предметами логика исследует некоторые наиболее общие свойства отношений. Например свойство симметричности («если А равно В, то и С равно А»), асимметричности («если А больше В, то В меньше А»), переходности («если А больше В, а. В больше С, то А больше С») и др.
Принята следующая запись суждения с отношениями: xRy, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними (R — первая буква латинского слова relativus ). Запись читается: х находится в отношении R к у. Запись отрицательного суждения (xRy) (неверно, что х находится в отношении R к у).
Суждение с отношениями имеют структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее они могут быть преобразованы в атрибутивные. Например, суждение «А равно В» рассматривается как суждение, где А — субъект суждения, «равно В» — его предикат; при такой интерпретации равенство предмету В выступает как признак предмета А. Суждение «Семен — отец Сергея» рассматривается так: «Семен (S) — отец Сергея (Р)», отец Сергея — признак Семена.
В суждениях существования (экзистенциальных суждениях; от латинского existentia — «существование») выражается сам факт существования или несуществования предмета суждения. Например: «Существуют статистические законы»; «На Земле уже нет многих видов животных». Предикатами этих суждений являются понятия о существовании или несуществовании предмета; связка, как правило, в языке не выражается, но путем преобразования грамматической формы суждения она может быть выражена словами «есть», «не есть», «является» и т.п. Например: «Статистические законы (S) есть (связка) то, что существует (Р)».
2. Классификация суждений
Простые суждения, поскольку в них раскрывается безусловная связь между предметами мысли, называются еще иначе категорическими. С точки зрения функций они служат отражением той или иной связи объективного мира — независимо от того, какая это связь по своему содержанию. С точки зрения структуры простые категорические суждения, будучи далее неделимыми на еще более простые суждения, включают в себя в качестве составных частей лишь понятия, образующие субъект и предикат.