КОНТРОЛЬНАЯ РАБОТА
по дисциплине
ЛОГИКА
на тему
ПОНЯТИЕ И СУЖДЕНИЕ
ОглавлениеВведениеI. Виды и состав простых суждений1. Атрибутивные суждения2. Релятивные суждения3. Экзистенциональные сужденияII. Контрольное задание:1. Понятие2. СуждениеЗаключениеСписок использованнойлитературы
Введение
Европейская формальная логика по истории своего возникновения иразвития особенно тесно связана с тремя науками — философией, грамматикой иматематикой. Ее создателем считается Аристотель (384 — 322 гг. до н. э.). Самтермин «логика», введенный стоиками (в отличие от них Аристотельприменял к законам мышления термин «аналитика»), обозначал словесноевыражение мысли (logos). Именно в античной философии обозначился вопрос осоотношении мышления и языка. Основным для большинства греческих философов былпринцип «доверия к языку» в его обнаружении разума и доверия к разумув его познании физического мира.
Предполагалось, что, подобно тому, как имя выражает сущностьобозначаемого им предмета, структура речи отражает структуру мысли. Наиболееранние термины, применявшиеся греками к языку, имели синкретичныйлогико-лингвистический смысл. Термином logos обозначались и речь, и мысль, исуждение, и предложение. Имя (греч. onoma) относилось и к классу слов(существительным), и к их роли в суждении (субъекту); глагол (греч. rema)означал и часть речи, и соответствующий ей член предложения (сказуемое). Такимобразом, внимание фиксировалось только на случаях взаимного соответствия,гармонии логических и языковых категорий.
В последующие столетия философы также занимались формальной логикойи сделали ряд новых открытий в этой области, но структура логики как науки,выработанная Аристотелем, по существу, не изменилась. Эту форму логики называюттакже «традиционной логикой». Отдельные значительные вклады вдальнейшее развитие формальной логики, сделанные, например, в конце XVII столетияГотфридом Вильгельмом Лейбницем (1646 — 1717 гг.), практически не оказаливлияния на ее традиционную форму. Лишь в середине XIX столетия началось бурноеразвитие этой науки. В этом отношении важнейшую роль сыграл Готлиб Фреге (1848- 1925 гг.), которого считают создателем современной логики, а его трудысравнивают с трудами Аристотеля.
I. Виды и состав простых суждений
Суждение – это форма мысли, посредством которой что-либо утверждаетсяили отрицается, и которая принимает логическое значение истинности илиложности. Если то, что утверждает суждение истинно => оно истинно. Ложноесуждение – «все растения съедобны». Суждение может быть неопределенным: «на Марсеесть жизнь». Неизвестно, правда это или ложь.
Состав простого категорического суждения – это такое суждение, вкотором что-либо утверждается или отрицается о предмете с необходимостью (собака– это животное). Состоит из 3-х элементов:
Субъект – это часть суждения, которая выражает предмет мысли. S(subjectum)
Предикат – это та часть суждения, в которой что-либо утверждаетсяили отрицается о предмете мысли. (praedicatum)
Связка «есть, суть, является»
Иногда кванторное[1] слово –«все, ни один, что-то».
Субъект и предикат – термины суждения.
В зависимости от характера предиката все суждения делятся на 3-игруппы: 1. Атрибутивные суждения
Атрибутивным (от латинского attributio — «свойство», «признак»)суждением является такое, в предикате которых выражены свойства или признакипредметов. В простом атрибутивном суждении имеются субъект, предикат, связка иквантор. Субъект атрибутивного суждения — это понятие о предмете суждения.Предикатом атрибутивного суждения называется понятие о признаке предмета,рассматриваемом в суждении. Схема: S есть Р «Мед сладкий»; S не есть Р «Мед несладкий» называется суждение о признаке предмета. В нем отражается связь междупредметом и его признаком, эта связь утверждается или отрицается. Например:«Сроки аренды определяются договором», «Никто из судей не вправе воздержатьсяот голосования».
Некоторые суждения отражают принадлежность (или непринадлежность)предмету нескольких признаков. В этом суждении субъект имеет не один, а два илибольше предикатов. Например: «Никто (S) не может быть подвергнут произвольномуарест (Pi), задержанию (Рз) или изгнанию (Рз)». Это суждение является сложным,состоящим из трех простых, но оно может быть рассмотрено как простое с однимсложным предикатом:
S есть Р (Pi, Pi, Рз)[2].
В традиционной логике атрибутивные суждения называются также категорическими(от греческого kategorikos — «ясный», «безусловный», «не допускающий иныхтолкований»). По качеству связки («есть» или «не есть») категорические сужденияделятся на утвердительные и отрицательные. Суждения «Многие предприятияявляются частными», «В.В. Путин является Президентом Российской Федерации»утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ниодин карась не является хищной рыбой» отрицательные. Связка «есть» вутвердительном суждении отражает наличие у предмета (предметов) некоторыхсвойств. Связка «не есть» отражает то, что предмету (предметам) не присущенекоторое свойство.
В отрицательном истинном суждении наша мысль разъединяет(разделяет) то, что находится разделенным в объективном мире.
В зависимости от того, обо всем классе предметов, о части этогокласса или об одном предмете идет речь в субъекте, суждения делятся на общие, единичныеи частные.
Структура общего суждения: «Все S есть (не есть) Р».[3]
Среди общих суждений встречаются выделяющие суждения, в состав которыхвходит квантор «только». «Только добрый человек может быть врачом» (П. Дюбуа).Примерами выделяющих суждений являются и следующее: «Только благородные газы. Итолько они не образуют химических соединений с элементами».[4]
Среди общих суждений имеются исключающие суждения, например: «Все сотрудникинашего отдела, за исключением больных, пришли на работу». К числу исключающихсуждений относятся и те, в которых выражены исключения из правил русского или иныхязыков, правил логики, математики и других наук.
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р».Они делятся на неопределенные и определенные. Например, «Некоторые грибы —съедобны» — неопределенное частное суждение. Мы не установили, обладают липризнаком съедобности все грибы, но не установили и того, что признакомсъедобности не обладают некоторые грибы. Если мы установили, что «Тольконекоторые S обладают признаком Р», то это будет определенное частное суждение,структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Тольконекоторые грибы съедобны»; «Только некоторые остроугольные треугольникиявляются равносторонними»; «Только некоторые тела легче воды». В определенныхчастных суждениях часто применяются кванторы: большинство, меньшинство, немало,не все, многие, почти все, несколько и др. Для того, например, чтобы устранитьнеопределенность частного суждения: «Некоторые студенты опоздали на лекцию», —надо уточнить, сколько студентов и кто именно опоздал, т. е. назвать фамилии.
Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примерыединичных суждений: «Тирасполь — столица Приднестровской МолдавскойРеспублики», «Эверест — высочайшая вершина мира», «Вулкан Ключевская сопка —действующий».
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р».Они делятся на неопределенные и определенные. Например, «Некоторые грибы —съедобны» — неопределенное частное суждение. Нам неизвестно, обладают липризнаком съедобности все трибы, но мы не установили и того, что признакомсъедобности не обладают некоторые грибы. Если мы установили, что «Тольконекоторые S обладают признаком Р», то это будет определенное частное суждение,структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Тольконекоторые грибы съедобны»; «Только некоторые остроугольные треугольникиявляются равносторонними»; «Только некоторые тела легче воды». [5]Вопределенных частных суждениях часто применяются кванторы: большинство, меньшинство,немало, не все, многие, почти все, несколько и др. Для того, например, чтобыустранить неопределенность частного суждения: «Некоторые студенты опоздали налекцию», — надо уточнить, сколько студентов и кто именно опоздал, т. е. назватьфамилии. 2. Релятивные суждения
Релятивные (от лат. relativus — относительный) суждения – в предикате которых выражены не свойства илипризнаки предметов, а отношения между ними Это могут быть отношения равенства,неравенства, родства, пространственные, временные, причинно-следственные идругие отношения. Например: «А равно В», «С больше D», «Семен — отец Сергея»,«Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство — причинамногих преступлений».
Отношение отличается от свойства тем, что отнесение его (в виделогического сказуемого) в мысли к тому или иному предмету порождает не истинуили ложь, а бессмыслицу. В самом деле, выражение «Ярославль севернее», «этотдом выше», «десять больше» не содержит никакого смысла. Отношение предполагаетсвязь, по крайней мере, между двумя предметами.
Из бесконечно огромного числа форм отношений между предметамилогика исследует некоторые наиболее общие свойства отношений. Например свойствосимметричности («если А равно В, то и С равно А»), асимметричности («если Абольше В, то В меньше А»), переходности («если А больше В, а. В больше С, то Абольше С») и др.[6]
Принята следующая запись суждения с отношениями: xRy, где х и у —члены отношения, они обозначают понятия о предметах, R — отношение между ними(R — первая буква латинского слова relativus ). Запись читается: х находится вотношении R к у. Запись отрицательного суждения (xRy) (неверно, что х находитсяв отношении R к у)[7].
Суждение с отношениями имеют структуру, отличающуюся от структурыатрибутивных суждений. Тем не менее они могут быть преобразованы ватрибутивные. Например, суждение «А равно В» рассматривается как суждение, гдеА — субъект суждения, «равно В» — его предикат; при такой интерпретацииравенство предмету В выступает как признак предмета А. Суждение «Семен — отецСергея» рассматривается так: «Семен (S) — отец Сергея (Р)», отец Сергея —признак Семена.[8]
3. Экзистенциональныесуждения
В суждениях существования (экзистенциальных суждениях; отлатинского existentia — «существование») выражается самфакт существования или несуществования предмета суждения. Например:«Существуют статистические законы»; «На Земле уже нет многих видов животных».Предикатами этих суждений являются понятия о существовании или несуществованиипредмета; связка, как правило, в языке не выражается, но путем преобразованияграмматической формы суждения она может быть выражена словами «есть», «неесть», «является» и т.п. Например: «Статистические законы (S) есть (связка)то, что существует (Р)».
II. Контрольное задание: 1. Понятие
Придумать самостоятельно или отыскать в специальной литературе (ноне по логике!):
1.1 примеры:
а) обобщение понятия
Обобщение понятия (англ. Concept gneralisation)- логическая операция, которая заключается в том, что какого-либо понятиянаходится более широкое по объему понятие, в объем которого входит и объемисследуемого понятия[9]
Звезды, светящиеся газовые (плазменные) шары, подобные Солнцу.
б) ограничения понятия
Ограничение понятия (англ. concept delimitation) — логическая операция, заключающаяся в том,что для какого-либо понятия находится менее широкое по объему понятие. Ограничениепонятия — логическая операция, которая противоположна логической операцииобобщение понятия.[10]
Взяв понятие «населенный пункт», ограничим его до понятия «город»,«столица», «столица независимого государства», «столица ПМР» или «столица ПМР»(Тирасполь)
1.2. пример определения понятия (дефиниция) и дать ему логическуюхарактеристику (т.е указать определяемое и определяющее понятия, а в последнем– род и видовое отличие);
Определение (лат. Definition) — этологическая операция, раскрывающая содержание понятия. Определить понятие —значит указать, что оно означает, выявить признаки, входящие в его содержание.[11]Понятие, содержание которого требуется раскрыть, называется определяемым(дефиниендум); понятие, раскрывающее содержание определяемого понятия, —определяющим (дефиниенс). Употребляются сокращенные обозначения: Dfd (отлатинского definiendum — определяемое) и Dfn (от латинского definience —определяющее).[12]
«Юриспруденция (правоведение), общественная наука, изучающая право какособую систему социальных норм».
В определении определяемый предмет (юриспруденция, правоведение)вводится в класс наук — общественная наука (род), а затем посредством указания специфицирующегопризнака «изучающая право как особую систему социальных норм» (видовое отличие)выделятся среди других наук, которые не обладают этим признаком.
Таким образом «юриспруденция» — определяемый предмет, аопределяющая часть «общественная наука, изучающая право как особую системусоциальных норм».
1.3. пример деления понятия и дать ему логическую характеристику (т.е.указать вид деления, делимое понятие, члены деления и основнаие деления);
Деление (лат. devisio) — это распределениена группы тех предметов, которые мыслятся в исходном понятии.[13]
«Приднестровская Молдавская Республика – суверенное, независимое,демократическое, правовое государство» (Конституция ПМР, ст.1)
Признак, по которому производится деление объема понятия, называетсяоснованием деления. Деление осуществляется по видоизменению признака, в данномслучае это правовые формы существования государства. Подмножества, на которыеразделен объем понятия, называются членами деления и в нашем случае это –«суверенное, независимое, демократическое, правовое государство». Делимоепонятие «Приднестровская Молдавская Республика» — это родовое, а его членыделения «суверенное, независимое, демократическое, правовое государство» — этовиды данного рода, соподчиненные между собой, т. е. не пересекающиеся по своемуобъему (не имеющие общих членов).
1.4. примеры логических ошибок — следствий нарушения каждого изправил:
а) определения понятий;
1. Правило: определение должно быть соразмерным.
«Квантовая механика есть раздел физики, изучающий движениемикрообъектов». Объемы определяемого и определяющего понятия совпадают.
2.Определение недолжно заключать в себе круга
«Идеалист – последователь идеалистических взглядов»
3.Определениедолжно быть ясным.
«Индетерминизм — это философская концепция, противоположнаядетерминизму». Здесь есть определение неизвестного через неизвестное. Понятие«детерминизм» само требует объяснения.
4. Определение не должно быть только отрицательным
«Львы – это животные, не встречающиеся в лесах холодного пояса»
б) деления понятий.
1. Правило: деление должно вестись только по одному основанию.
«Климат был умеренным, жаркий, морской и континентальный».
Такое выражение будет неверно. Правильно будет деление на холодный,умеренный и жаркий.
2. Правило: деление должно быть соразмерным, или исчерпывающим,т.е. сумма объемов членов деления должна равняться объему делимого понятия.
«Треугольники бывают тупоугольные и остроугольные» (пропущеныпрямоугольные треугольники). Данное деление будет неисчерпывающим.
3. Правило: члены деления должны взаимно исключать друг друга.
Согласно этому правилу, каждый отдельный предмет не должен входитьв объемы других видовых понятий.
«Простые числа делятся на классы, кратные двум, трем, четырем, пяти,шести, семи, восьми, девяти, десяти».
Представленное суждение неверно, так как классы пересекаются. Число10 попадает и в первый и в четвертый классы, а число 6 — и в первый и во второйклассы.
4. Правило: деление должно быть непрерывным.
«Среди позвоночных животных выделяются такие классы: рыбы,земноводные, пресмыкающиеся к которым относятся, черепахи, крокодилы,клювоголовые (гаттерия) и чешуйчатые (ящерицы, амфисбены и змеи), птицы имлекопитающие.»
Ошибка предложенного суждения в том, что в каждом из классов естьвиды и подвиды, но только пресмыкающиеся даны в дальнейшем делении, чтоявляется скачком 2. Суждение
Придумать самостоятельно или подобрать в специальной литературе(но не по логике!):
2.1. по одному примеру атрибутивного суждения, суждения с отношениеми суждения существования и указать, к какому виду — оно относится;
атрибутивное суждение – лимон желтый
суждение с отношениями — Днестр полноводнее Ягорлыка
суждение существования – В Днестре водится рыба
2.2. примеры четырех видов суждений объединённой классификации ипродемонстрировать на них правила распространённости терминов;
А. Общеутвердительное суждение (Все S суть P)
Все солдаты – военнослужащие.
S – «солдат», P –«военнослужащий», квантор общности – «все»
Субъект распределен, объем полностью включен в объем предиката.
Частноутвердительное суждение (Некоторые Sесть P)
Некоторые военнослужащие – офицеры.
S – «военнослужащие», P– «офицеры». Субъект не распределен, так как объем субъекта лишь частичновключен в объем предиката
Е. Общеотрицательное суждение (Ни одно S неесть P)
Ни одна школьница не является военнослужащей.
S- «школьница», P –«военнослужащий», квантор общности – «ни одна». Объем субъекта полностьюисключается из объема предиката, и наоборот, поэтому и Sи P распределены.
О. Частноотрицательное суждение (Некоторые Sне есть P)
Некоторые офицеры не являются генералами.
S — «офицеры», P –«спортсмен», квантор существования – «некоторые»
Субъект не распределен, а предикат распределен.
Заключение
Логика — это особый, самобытный мир со своими законами,условностями, традициями, спорами и т.д. То, о чем говорит эта наука, знакомо иблизко каждому. Но войти в ее мир, почувствовать его внутреннюю согласованностьи динамику, проникнуться его своеобразным духом непросто.
В работе рассмотрены некоторые логические формы, а также методологическиважные категориальные логические понятия.
Список использованной литературы
1. Бузук Г.Л., Делия В. П. Логика: экспресс-курс для начинающих. Балашиха,1994.
2. Гетманова А.Д. Логика, М., 1986.
3. Ивин А.А. Логика, М., 1997.
4. Ивлев Ю. В. Логика, Кн. дом «Университет», М.1999.
5. Кириллов В.И., Старченко А.А. Логика: учебник для юридических вузов. М,2001.
6. Кондаков Н.И. Логический словарь, М., 1971.
7. Лагута О.Н. Логика и лингвистика. Новосибирск, 2000.
8. Упражнения по логике: Учебн. пособие /под ред. В.И. Кириллова. М., 1996.