WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     | 1 | 2 || 4 | 5 |   ...   | 8 |

указаны не все виды делимого родового понятия. Например, в случае 19 деления понятия «часть речи» на «имя существительное», «имя прила- Деление определений на реальные и номинальные зависит от тогательное» и «глагол». го, что определяется – содержание понятия или значение термина.

Б) деление с излишним членом – имеет место в том случае, ко- Реальное – это определение, посредством которого раскрывается гда кроме видов делимого понятия указывают члены деления, не явсодержание понятия, т. е. определяемый предмет выделяется из класса ляющиеся видами данного рода. Например, «химические элементы» сходных предметов по специфическим признакам.

делятся на «металлы», «неметаллы», «сплавы» (сплавы не являются Номинальное – определение, посредством которого раскрываетхимическими элементами). ся значение вводимого термина.

2. Деление должно производиться по одному основанию; логи- Явное – определение, в котором выражаются существенные прическая ошибка – смешение оснований. Например, «преступления» дезнаки определяемого предмета и имеющие вид Dfd = Dfn.

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

бы». Наиболее распространенным видом является явное определение 4. Деление должно быть непрерывным, т. е. члены деления дол- через род и видовое отличие и его разновидность – генетическое опрежны быть видами одного порядка по отношению к делимому понятию. деление.

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

сказуемые на простые и составные, а затем составные разделить на 1) подведение определяемого понятия под более широкое по составные глагольные и составные именные. объему родовое понятие (род);

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

содержание понятия. Суждение, раскрывающее содержание понятия, Генетическое определение – указывает на происхождение предназывают дефиницией. Понятие, содержание которого раскрывается, мета, на способ его образования. Например, «круг – это фигура, образоназывается определяемым (definiendum), или Dfd; понятие, раскрываю- ванная вращением отрезка прямой вокруг неподвижного центра». Как щее содержание определяемого понятия – определяющим (definience), разновидность определения через ближайший род и видовое отличие, или Dfn. оно имеет ту же логическую структуру и подчиняется тем же правилам.

Виды определения Правила определения Определения делятся на: 1. Определение должно быть соразмерным. Правило соразмер1) номинальные и реальные; ности требует, чтобы объем определяемого понятия был равен объему 2) явные и неявные. определяющего, т. е. Dfd = Dfn.

21 Нарушение этого правила ведет к двоякого рода ошибке:

Вопросы для повторения 1) слишком широкое определение, когда объем определяющего 1. В чем сущность и практическое значение логических операпонятия шире объема определяемого понятия. Например, «Логика – это ций обобщения и ограничения понятий наука о мышлении». Здесь не указан специфический признак логики как 2. Сформулируйте закон обратного отношения между объемом и науки о мышлении, отличающей ее от других наук, изучающих мышлесодержанием понятия.

ние;

3. Что такое определение понятия (дефиниция) Назовите виды 2) слишком узкое определение, когда в качестве видового отлиопределения.

чия берется отличительный признак не вида, а подвида. Например, 4. Сформулируйте правила логической операции деления поня«Остров – часть суши, ограниченная со всех сторон морем».

тий и укажите возможные ошибки.

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

рая получается вследствие нарушения этого правила, называется порочным кругом. Она встречается в двух разновидностях: круг в определении и тавтология.

Круг в определении означает, что при определении понятия прибегают к другому понятию, которое в свою очередь определяется при помощи первого. Например, «логика – это наука о правильном мышлении, а правильное мышление – это мышление в соответствии с правилами логики». Понятие «логика» определяется через понятие «правильное мышление», а последнее определяется через понятие «логика».



Тавтология – это ошибочное определение, в котором определяемое и определяющее понятия выражены одинаковыми терминами.

Например, «Агитатор – человек занимающийся агитацией».

3. Определение должно быть ясным (точным), не допускающим двусмысленности, т. е. должно быть сформулировано в однозначно определенных терминах. Логическая ошибка, связанная с нарушением этого правила – «неясное определение». Например, «Общество есть дополненная или расширенная личность, а личность – сжатое или сосредоточенное общество» (В. Соловьев).

4. Определение не должно содержать художественно-образных средств и оценок. Например, «Артиллерия – бог войны», «Фашизм – отвратительное проявление капитализма».

5. Нельзя определять понятия через такие термины, которые сами нуждаются в определениях. Ошибка подобного рода называется определением неизвестного через неизвестное. Например, «Агностицизм – это разновидность скептицизма».

6. Определение по возможности не должно быть отрицательным. Например, «Роза – не верблюд». Данное определение не указывает на существенный признак, характеризующий предмет и отличающий его от других предметов.

23 любит Марью», «Волга длиннее Оки», «Свой дурак дороже чужих умГЛАВА 2. СУЖДЕНИЕ ников» и т. д.

2.1. Суждение как форма мышления В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные, n-членные отношеСуждение – форма мышления, посредством которой что-либо ния. Например, в суждении «Иван брат Петра» мыслится двухчленное утверждается или отрицается о предмете и которая обладает логичеотношение, «Москва расположена между Брестом и Кировым» – трехским значением истины или ложности. Данное определение характечленное отношение. Соответственно этому выделяют суждения с двух-, ризует простое суждение.

трех-, n-местными предикатами, где в предикате R фиксируется опреСостав простого суждения деленное отношение, а в субъекте x1, … xn – предметы, вступающие в это отношение.

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

так: R (x1, … xn).

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

В настоящее время наиболее разработанной является теория двухПредикат – часть суждения, в которой что-либо утверждается членных (бинарных) отношений.

либо отрицается о предмете мысли. Например, в суждении «Земля – планета Солнечной системы» субъектом является «Земля», предикатом Свойства бинарных отношений «планета солнечной системы». Нетрудно заметить, что логический субъект и предикат не совпадают с грамматическими, т. е. с подлежа1. Отношение рефлексивности щим и сказуемым. Вместе субъект и предикат называются терминами Некоторое отношение, имеющее место среди предметов опредесуждения и обозначаются соответственно латинскими символами S и P.

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

ка выражается словами «есть», «суть», «является», «быть». В привеСимволически это отношение записывается так:

денном примере она опущена.

xy(xRy xRx yRy).

Примером рефлексивных отношений будут отношения «равен2.2. Классификация простых суждений ство», «эквивалентность», «тождество».

Деление суждений по характеру предиката Отношение антирефлексивности. Отношение называется антирефлексивным, если ни один предмет данного класса не находится в По характеру предиката все суждения делятся на суждения свойэтом отношении к самому себе. Таковы отношения «отцовство», «больства (атрибутивные суждения) и суждения отношения.

ше», «неравенство».

Атрибутивные суждения – суждения, в предикате которых выражаются свойства или признаки предмета. Например, «Человек – ра2. Отношение симметричности зумное существо».

Отношение называется симметричным, если для любых предмеАтрибутивное суждение называют также категорическим, потов x и y данного класса верно, что если предмет x находится в какомскольку утверждение или отрицание свойств или признаков предмета то отношении к предмету y, то и предмет y находится в этом отношепроизводится с необходимостью, т. е. безотносительно к каким-либо нии к предмету x. Символическая запись данного свойства:

условиям.

xy(xRy yRx).

Логическая схема категорического (атрибутивного) суждения S есть P. Свойством симметричности обладают отношения «равенство», Суждения отношения (релятивные) – суждения, в предикате «неравенство», «соседство».

которых выражаются отношения между предметами. Например, «Иван 25 Отношения асимметричности. Отношение между предметом на- Деление атрибутивных суждений по количеству зывается асимметричным, если перестановка их влечет за собой исчезВ зависимости от того, утверждается или отрицается что-либо о новение этого отношения. Например, «является мужем», «быть больше».

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





вич Тургенев – автор романа «Отцы и дети»» – единичное.

3. Отношение транзитивности Объединенная классификация суждений Отношение называется транзитивным, если из наличия этого отпо качеству и количеству ношения между предметами x и y, а также между y и z следует его наПо качеству и количеству атрибутивные суждения делятся на личие между x и z четыре вида.

xyz(xRy yRz xRz).

1. Общеутвердительные – суждения, являющиеся одновременПримером транзитивных отношений являются отношения «больно общими и утвердительными. Например, «Все крокодилы суть преше», «равно», «ниже».

смыкающиеся животные».

В случае, если указанное выше условие не выполняется, отно2. Частноутвердительные – суждения, частные и утвердительшение называется нетранзитивным. Таковыми являются отношения ные одновременно. Например, «Некоторые юристы являются прокуро«любить», «дружба», «зависеть».

рами».

4. Отношение эквивалентности 3. Общеотрицательные – общие и отрицательные одновременно. Например, «Ни одна планета не светит собственным светом».

Отношение будет эквивалентным, если оно обладает свойствами 4. Частноотрицательные – частные и отрицательные одновререфлексивности, симметричности и транзитивности. Эквивалентными менно. Например, «Некоторые утверждения не являются истинными».

будут отношения «равенство», «тождество», «сверстничество» (одного Единичные суждения в отдельную группу не выделяются, анавозраста).

лизируются как общие.

Теория суждений отношений выходит за рамки традиционной логики. Современная формальная логика рассматривает суждения Символическое выражение категорических суждений свойства (атрибутивные) как частный случай суждений отношений, а именно как суждения с одноместным предикатом.

Указанные виды суждений принято обозначать гласными буквами латинских слов affirmo (утверждаю) и nego (отрицаю). Первые гласДеление атрибутивных суждений по качеству и количеству ные буквы этих слов обозначают общие суждения, а вторые – частные.

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

Деление атрибутивных суждений по качеству Общеотрицательные – Е.

Деление атрибутивных суждений по качеству производится в Частноутвердительные – I.

зависимости от характера связки, указывающей на наличие или отсутЧастноотрицательные – О.

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

ва для обозначения А, Е, I, О: кванторы, логические переменные и лоВ соответствии с этим атрибутивные суждения делятся не утгические постоянные.

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

не цветет» – отрицательное суждение.

27 I – x(S(x) P(x)) – «Некоторые S суть P» (существуют х, обла- В общеотрицательном суждении «Ни одно S не суть Р» и субъект, и предикат являются распределенными, так дающие свойством S и свойством P).

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

E – x(S(x) P(x)) – «Ни одно S не суть P» (для всякого х верно, Например, «Ни один крокодил не летает».

что если он обладает свойством S, то не обладает свойством P).

O – x(S(x) P(x))– «Некоторые S не суть P» (существуют х, об- В частноотрицательном суждении («Некоторые S не суть Р») субъект не распределен, так как мыслится лишь в ладающие свойством S и не обладающие свойством P).

некоторой части, предикат распределен, так как его объем полностью исключен из объема субъек2.3. Распределенность терминов в суждении та. Например, «Некоторые студенты не являются Распределенность терминов – это количественная характериспортсменами».

стика субъекта и предиката в суждении.

Общая схема распределенности терминов в суждении такова:

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

ключен. Или иначе – термин считается распределенным, если он мысS P лится в полном объеме. Для распределенного термина характерно A + – кванторное слово «все», для нераспределенного – «некоторые».

+ + Графически распределенность терминов изображается с помоI – – щью круговых схем и штриховки той части терминов, которые мысO – + лятся в суждении.

В общеутвердительном суждении «Все S суть P» субъект расОтрицание суждения пределен, так как мыслится в полном объеме, предикат не Отрицанием называется логическая операция, посредством кораспределен, так как его объем не исчерпывается лишь объторой образуется новое суждение, принимающее логическое значение емом субъекта. Например, «Карась-рыба».

истины тогда и только тогда, когда исходное суждение ложно и, наоборот, логическое значение ложности тогда, когда исходное суждеИсключение составляют выделяющие суждения, в которых объние истинно. Отрицание отрицания (двойное отрицание) есть возврат к ем субъекта и предиката совпадают. Например, «Все люди исходному логическому значению. Логическое значение отрицания и суть разумные существа», «Александр Сергеевич Пушкин двойного отрицания можно представить в виде матрицы, которая на– автор романа “Евгений Онегин”».

зывается таблицей истинности.

Pages:     | 1 | 2 || 4 | 5 |   ...   | 8 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.