Содержание понятия составляют все его элементы, которые могут быть выделены в качестве отдельных понятий. Объем понятия есть все другие понятия, для которых оно служит признаком, главной их частью. Первое можно обозначить символом А, тогда второе будет выглядеть как Аа, Ав, Ас, Аd… Если наш символ А (содержание), допустим, означает понятие «государство», то другие символы (Аа, Ав, Ас…) (объем) будут означать «рабовладельческое государство», «феодальное государство», «буржуазное государство», «тоталитарное государство», «демократическое государство» и т.д. Нетрудно заметить, что А выступает подчиняющим (родовым), а Аа, Ав, Ас… - подчиненными понятиями.
Из сказанного следует, что если признается наличие объема понятия А, то это значит, что должно признаваться наличие понятий, для каждого из которых оно является частью содержания. Отсутствие их означает отсутствие и самого понятия А, так как понятий без объема не бывает. Это можно понять так, что каждому понятию всегда соответствует реальный предмет. В случае же, если мы имеем дело с понятиями о фантастических существах («кентавр», «фавн», «наяда» и т.п.), то и они имеют объем в логическом смысле, хотя реальных объектов для них мы не знаем.
Каково же отношение между объемом и содержанием понятия? Из приведенных выше рассуждений мы можем заключить, что если содержание понятия А находится в содержании понятия В, то В находится в объема понятия А. И наоборот, если понятие В содержится в объеме понятия А, то последнее составляет часть содержания первого. Содержание и объем понятия, таким образом, находятся в обратном отношении.
Закон обратного отношения между объемом и содержанием понятий имеет силу только для тех понятий, одно из которых является родовым (подчиняющим), а другое видовым (подчиненным). Поясним это на примере.
Возьмем родовое понятие «космическое тело», здесь мы понимаем все общее, что присуще всем космическим телам. Видовым понятием будет «звездные системы», под которым мы понимаем класс космических тел, обладающих особенными отличительными признаками (эти системы существуют как скопления звезд, где они взаимодействуют друг с другом, возникают и «умирают», на их месте появляются «черные дыры» и т.д.). Давайте теперь соотнесем эти понятия. Родовое понятие «космическое тело» «поглощает» (или включает в себя) видовое понятие «звездные системы», но наше родовое понятие включает и другие видовые понятия, например, «планетные системы», «планеты» и т.д. Включая самые общие признаки, свойственные всем космическим телам, родовое понятие имеет тенденцию к сужению объема, но при этом, в смысле содержания, оно включает множество понятий, раскрывающих видовые признаки, и таким образом, наше родовое понятие стремится к расширению. Видовое же понятие «звездные системы» представляет собой более богатое содержание (включает больше признаков), но оно оказывается уже по объему, ибо «поглощается» родовым понятием «космическое тело».
Этот закон отражает тот объективный факт, что количество общих признаков предмета и количество предметов, обладающих этими признаками, находятся в обратном соотношении (молодой специалист – инженер – ИвановА.П.).
В практике мышления необходимо отличать отношения рода и вида от отношения части и целого. Целое состоит из своих частей, а род в логическом смысле состоит из видов как своих частей лишь тогда, когда род и вид рассматриваются со стороны их объемов. Взятые же со стороны содержания, они находятся в обратном отношении, т.е. род является частью вида. Например, «роза есть растение». О части, которая не является видом, нельзя утверждать, что она есть целое. Например, волосы есть часть тела человека, но нельзя сказать, что волосы – это тело человека. Кроме того, имеются понятия, которые являются только родами по отношению к другим понятиям, а видами не могут быть. Такие понятия называются категориями. У них наибольший объем и наименьшее содержание по сравнению с остальными понятиями. Возьмем философские понятия «время», «пространство», «движение», «количество», «качество», «свойство», «отношение» и т.д. Они будут отличаться от категорий частных наук, которые не могут быть видами по отношению к понятиям этих же наук, но являются видами по отношению к философским категориям. Примеры категорий в частных науках: «живой организм» - в биологии, «элементарная частица» - в физике элементарных частиц, «фигура» - в геометрии, «атом» - в химии и т.д.
В формальной логике широко применяются категории «вещь», «свойство» и «отношение». Поэтому есть необходимость рассмотреть их содержание. Объекты, обозначаемые категорией «вещь», отличаются от объектов, обозначаемых категорией «свойство» и категорией «отношение». Объекты, обозначаемые как «вещь», обладают относительной самостоятельностью существования проявляющейся в том, что каждая вещь (камень, яблоко, луна, речка, элементарная частица и т.п.) имеет особые пространственные границы и отличается от другой вещи. Свойства же вещей, например, цвет, твердость, запах и т.п., не имеют самостоятельных пространственных границ, они «привязаны» к вещам. То же можно сказать и об отношениях. Например, отношения «больше - меньше», «темное - светлое», «доброе - злое» и т.д. не существуют вне вещей или людей – их носителей.
Каждая вещь представляет собой совокупность свойств, и они находятся в тех же самых пространственных границах, в каких существует и сама вещь, как бы ни менялись эти границы в связи с движением вещи, т.е. ее изменением. В любом случае свойства не существуют отдельно от вещи, которая является их носителем. Вещь может утрачивать какое-то свойство, как и отдельные отношения с другими вещами, но при этом она остается сама собой. И свойства вещей, и их отношения проявляются в отношениях вещей друг к другу, либо в отношениях одной части вещи к другой.
Суждение - это любое утвердительное высказывание, которое может быть истинным или ложным, то есть соответствовать действительности или нет.
При анализе простых категорических суждений в них необходимо различать как качественную, так и количественную стороны.
С точки зрения качества связки суждения делятся на две группы: утвердительные и отрицательные.
В утвердительных суждениях логическая связка приписывает предикат суждения субъекту. Например, в суждении «Высокая степень квалификации специалиста требует его основательной предварительной подготовки» к субъекту суждения (S) «высокая степень квалификации специалиста» с помощью утвердительной связки (не высказанной в языке) приписывают предикат суждения, (Р) – «требует его основательной предварительной подготовки».
В отрицательных суждения логическая связка отделяет предикат от субъекта суждения. Например: «Рыбы не являются млекопитающими». В этом суждении связка отрицательная, так как признак «млекопитающие», составляющий предикат суждения (Р), несовместим с понятием «рыбы» (S).
Логическая связка суждения считается отрицательной только в тех случаях, когда отрицательная частица «не» стоит перед связкой. Если же эта частица стоит после связки, то она входит в состав предиката, а суждение относится к разряду утвердительных. Например: «Творчество этого автора страдает безвкусицей» или «Мировоззрение Л.Н. Толстого содержит идею непротивления злу», и т.д.
Оба вида суждения не должны метафизически противопоставляться: с логической точки зрения любое из них может быть преобразовано в свою противоположность. Например: «Рыбы являются не млекопитающими существами» (это уже утвердительное суждение).
По количеству категорические суждения делятся на единичные, частные и общие. За критерий деления при этом берётся предмет мысли, который по объёму содержит или единичные явления, или часть явлений какого – либо класса, или все явления данного класса.
Единичные суждения – это те, объём субъекта которых содержит только один элемент (индивидуальная вещь, явление, событие, и т.д.). Например: «Харьков – первая столица Украины», «Д.И. Менделеев – основатель периодической системы элементов», «Саша – студент первого курса» и т.д..
Частные суждения характеризуются тем, что содержание предиката относится только к части объёма субъекта. Например: «Некоторые из нас автолюбители», «Большинство людей предпочитают развлечения» и т.д.. Частные суждения включают в себя «некоторые», «часть», «большинство», «меньшинство» и т.д.. Те частные суждения, где количественная сторона известна лишь частично (по крайней мере, некоторые), называются неопределёнными частными суждениями. Н6апример, мы опросили часть студентов группы и теперь можем сказать «некоторые студенты этой группы занимаются спортом». Под словом «некоторые» мы здесь понимаем «по крайней мере некоторые, а может быть и все». Другие частные суждения , где слово «некоторые» употребляется в точно определённом смысле, называется определёнными частными суждениями. Например: «Некоторые студенты группы являются победителями олимпиады», или «Некоторые государства являются монархиями» и так далее.
Более важной для познания формой суждения является общее суждение, где объём субъекта относится ко всем предметам данного класса. Например: «Все тела состоят из атомов», или «Все люди смертны», и так далее.. Во всех общих суждениях предикат относится (утвердительная или отрицательная) ко всем предметам того или иного класса.
В объединённой классификации суждения делятся на четыре вида.
- Общеутвердительные суждения. Это суждение является общим по количеству и утвердительным по качеству. Символически эти суждения записываются следующим образом: «Все S есть P», где количественная («все») и качественная («есть») стороны суждения явно выражены в языке. Например: «Все звёзды светятся собственным светом», «Все птицы имеют крылья», «Все студенты сдают экзамены», и т. п.. Сокращённо общеутвердительные суждения обозначаются буквой А (первой буквой от латинского слова affirto, что в переводе означает утверждаю).
- Общеотрицательные суждения. Это суждение является общим по количеству и отрицательным по качеству. Обобщённая формула этого суждения такова: «Ни одно S не естьP», где количественная («ни одно») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Ни одна нация не может существовать без общего языка», или «ни один организм не может жить без пищи» и так далее.. Общеотрицательные суждения символически обозначается буквой Е (взята первая гласная буква от латинского слова nego, что в переводе означает отрицаю).
- Частноутвердительное суждение. Это суждение является частным по количеству и утвердительным по качеству. Его обобщённая формула выглядит так: « Некоторое S есть P», где количественная («некоторые») и качественная («есть») стороны суждения явно выражены в языке. Например: «Некоторые студенты являются отличниками», или «Некоторые рыбы летают» и так далее.. Сокращённо частноутвердительные суждения обозначаются I (вторая гласная буква от латинского слова affirto).
- Частноотрицательные суждения. Это суждения является частным по количеству и отрицательным по качеству. Его символическая формула такова: «Некоторые S не есть P», где количественная («некоторые») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Некоторые страны Африки не являются мусульманскими», или «Некоторые студенты не посещают задания занятия в спортивных секциях» и т. п.. Эти суждения обозначаются буквой O (второй гласной буквы от латинского слова nego).
Атрибутивным (от латинского слова atributio – свойство, признак) называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, причем эта связь утверждается или отрицается. Например: “Никто из судей не вправе воздержаться от голосования”.
Атрибутивное суждение состоит из субъекта, предиката и связки; его логическая схема S – Р, где S – субъект суждения, Р – предикат суждения, “ – ” – связка.
Отношение - (в логике) отождествляется с многоместным предикатом. Предикаты подразделяются на одноместные, соответствующие свойствам предметов, и многоместные (двухместные, трехместные и вообще п-местные, где п ≥ 2), соответствующие О. При этом предикаты записываются в виде пропозициональных функций (см.: Функция пропозициональная). Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов.
Предикат - (от лат. praedicatum - сказанное) - языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения («любит», «находится между» и т. д.). В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики. В частности, в системах аксиом математических теорий всегда имеются аксиомы, невыразимые посредством одноместных П. В современной логике предикация рассматривается как частный случай функциональной зависимости. П. называются функции, значениями которых служат высказывания. Напр., выражение «... есть зеленый» (или «х есть зеленый») является функцией от одной переменной, «... любит...» («х любит у») — функция от двух переменных, «...находится между... и...» («х находится между у и z») ~ функция от трех переменных и т. д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами (см.: Логика предикатов).
Поможем написать любую работу на аналогичную тему