Конкретные понятия отражают предмет, явление или процесс в целом. Конкретными могут быть любые утвердительные понятия как единичные, так общие и пустые. Абстрактными называются понятия, которые отражают отдельное свойство предмета, как будто оно существует отдельно, например «человечность», «чернота», «стерильность». Надо заметить, что самих по себе в природе таких предметов нет.
Соотносительными понятиями считаются те, которые требуют обязательного соотнесения с другими понятиями. Например, «копия» («копия документа»), «больше» («больше жизни»), «начало» («начало пути»). Соответственно безотносительными понятия могут существовать без соотношения с другими предметами. Безотносительными понятиями можно считать как утвердительные и отрицательные, так конкретные и абстрактные, общие и единичные.
Собирательные понятия специфичны, они своим содержанием отражают определенное количество однородных предметов как нечто целое («группа», «класс», «созвездие»). Разделительные понятия своим содержанием относимы к каждому предмету множества. Например, «всякий», «каждый».
Перечисленные выше понятия находятся в определенных отношениях между собой.
Во-первых, это отношение сравнимости, когда в объеме или содержании понятий имеется что-то общее: «черный» и «белый», «кот» и «пес». В отношении несравнимости находятся те понятия, в объеме и содержании которых нет ничего общего «небо» и «стул», «совесть» и «черепаха». Как правило, данный вид отношений в логике не рассматривается, так как, кроме того, что эти понятия не сравнимы, больше о них сказать не чего.
Во-вторых, среди сравнимых понятий можно выделить совместимые и несовместимые. Первые характеризуются тем, что объемы этих понятий полностью или частично совпадают: «европеец», «француз», «житель Парижа». Несовместимые понятия характеризуются тем, что их объемы полностью не совпадают, а их отдельные содержательные признаки исключают друг друга («правый»-«левый», «верх»-«низ»).
В-третьих, между совместимыми и несовместимыми понятиями устанавливаются отношения тождества, подчинения и частичного совпадения. Тождественные понятия отражают один и тот же предмет по различным признакам, их объемы полностью совпадают. Здесь можно привести несколько интересный пример. Известно, что некоторые дома, находящиеся на пересечении двух улиц, имеют адрес как по одной из них, так и по другой. Таким образом, письмо, отправленное по адресу: «г. Бердск, ул. Герцена, д. 9 кв. 25» или по адресу: «г. Бердск, ул. Ленина, д. 20, кв. 25» получит одна и та же семья.
В отношении подчинения могут находиться два или более понятий, из которых одно своим объемом полностью входит в другое. В таком отношении находятся между собой понятия «спортсмен», «футболист». Понятие «футболист» входит в объем понятия «спортсмен», но не каждый спортсмен является футболистом. В отношении частичного совпадения находятся два или более понятия, объемы и содержание которых совпадают. Например, «студент», «спортсмен», «юноша». Некоторые (но не все) студенты являются спортсменами, некоторые спортсмены юноши, некоторые юноши студенты.
Между несовместимыми понятиями так же устанавливаются три вида отношений.
В отношении противоречия находятся два понятия, из которых одно утверждает некоторые признаки, а другое их отрицает. А именно это отношения между утвердительными и отрицательными понятиями: «черный» - «не-черный», «белый» – «не-белый», «умный» – «не-умный», «спортсмен» – «не-спортсмен».
Отношения противоположности устанавливаются между двумя понятиями, одно из которых утверждает какие-либо признаки, а другое их отрицает путем противопоставления полярных. В отношении противоположности находятся утвердительные понятия: «белый» – «черный», «умный» – «глупый».
В отношении соподчинения находятся два или более понятия, которые полностью не совпадают между собой, но которые входят в объем более общего понятия. Например, объемы понятий «футболист», «лыжник», «теннисист» не совпадают, но каждое из них попадает в объем более общего понятия «спортсмен».
После рассмотрения понятий в статичной форме необходимо приступить к изучению операции над ними. Среди операций можно выделить такие, как отрицание, умножение, сложение, вычитание, обобщение, ограничение, деление, определение.
Наиболее понятной операцией с понятиями является отрицание. Она проводится путем простого прибавления к исходному понятию частицы «не». Таким образом, утвердительное понятие преобразуется в отрицательное. Эта операция может производиться неограниченное количество раз с одним и тем же понятием. В конечном итоге выявляется, что отрицание отрицательного понятия дает положительное. Отрицание отрицательного понятия «не-умный» - «не-не-умный» соответствует понятию «умный». Можно сделать вывод о том, что сколько бы раз не производилась эта операция, в результате может быть получено либо утвердительное, либо отрицательное понятие, третьего не дано.
Операция сложения представляет собой объединение объемов двух и более понятий, даже если они и не совпадают между собой. Объединив объем понятий «юноши» и «девушки» получаем некоторую область, отражающую признаки того и другого в общем понятии «молодежь».
Операция умножения заключается в отыскании области, которая обладает свойствами как одного, так и другого понятия. Умножение понятий «юноша» и «спортсмен» выявляет область юношей, являющихся спортсменами, и наоборот.
Вычитание объема одного понятия из другого дает усеченную область объема. Вычитание возможно только между совместимыми понятиями, а именно с пересекающимися и подчиненными понятиями. Вычитая из объема понятия «юноша» объем понятия «спортсмен» дает уже несколько иную область.
Обобщение в логике является методом, а так же операцией над понятиями. Как операция оно состоит в увеличении объема исходного понятия, а именно в переходе от понятия с меньшим объемом к понятию с большим объемом за счет уменьшения содержания исходного понятия. Так обобщением будет переход от понятия «юноша» к понятию «человек», естественно содержание исходного понятия уменьшилось.
Обратная операция обобщению – ограничение. Соответственно это переход от понятия с большим объемом к понятию с меньшим объемом. Оно совершается, как правило, путем прибавления к исходному понятию одного или нескольких новых признаков. Например, к содержанию понятия «житель города Новосибирска» можно прибавить еще один признак «житель Октябрьского района города Новосибирска». Продолжать эту операцию можно до тех пор, пока не сформируется единичное понятие о конкретном человеке. В операции обобщение уловить суть предельного понятия несколько сложнее, оно будет являться философской категорией («юноша», «человек», «примат», «млекопитающее», «позвоночное», «живой организм», «материя»). Поэтому, на мой взгляд, проделать операцию ограничения несколько проще.
Деление – логическая операция, раскрывающая объем исходного понятия на виды, группы, классы. По единому признаку. В делении существует делимое понятие, основание и члены деления. Основанием деления служит общий признак для всех членов деления. Например, один рубль можно расчленить на копейки. Но деление это особое расчленение, каждый член как составная часть объема понятия должен сохранять признак делимого. Одна копейка в отдельности не составляет рубля. Если разделить понятие «рубль», то можно получить «рубль металлический» и «рубль бумажный», полученные понятия полностью сохраняют свойства делимого понятия. Делению поддаются общие понятия, единичные понятия, объемы которых индивидуальны, разделить невозможно.
Определение – логическая операция, раскрывающая содержание понятия, а именно это перечисление существенных и отличительных признаков предмета, которые отражают мысль о нем. Например, «гепатит - инфекционное заболевание, передающиеся воздушно-капельным путем». Следует заметить, что определение не должно быть отрицательным, так как отрицание не раскрывает сущности предмета, не перечисляет существенные признаки. Последовательным переходом от определения понятия будет рассмотрение суждений.
Таким образом, выше было рассмотрено понятия как наиболее простейшая формы мысли, состоящей из объема и содержания.
Суждение представляет собой форму мысли, устанавливающую логическую связь между двумя и более понятиями. Между понятиями, как вышеперечисленно, устанавливаются отношения тождества, подчинения, частичного совпадения, которые могут выражаться логической связкой «есть». Отношения противоречия, противоположности и соподчинения могут выражаться логической связкой «не есть». Эти отношения, выраженные в форме грамматических предложений, будут суждениями разного вида.
Представители номиналистической логики рассматривают логику как науку о языке. “Логика, - говорит английский номиналист Р. Уэтли, - имеет дело только с языком. Язык вообще, для какой бы цели он не служил, составляет предмет грамматики, язык же, насколько он служит средством для умозаключения, составляет предмет логики». Исходя из такого понимания предмета логики, номиналисты отождествляют суждение с предложением. Для них суждение – это сочетание слов или имен. “Предложение, - говорит номиналист Гоббс, - есть словесное выражение, состоящее из двух, связанных между собой связкой имен…». Таким образом, согласно номиналистам, то о чем мы, что–либо утверждаем (или отрицаем) в суждении, есть определенная связь этих слов. Такое истолкование природы суждения неправильно. Конечно, всякое суждение выражается в предложении. Однако предложение есть только языковая оболочка суждения, а не само суждение.