Логические типы (категории) языковых выражений

Каждому известно деление выражений естественного языка на части речи. В логической «грамматике» существует аналогичное подразделение, но по другому основанию, а именно, в зависимости от типа представляемых словами (или словосочетаниями) объектов мысли.

К первому типу объектов будут относиться предметы, т.е. объекты, о которых что-то «сказывается» (утверждается или отрицается). Соответствующая им логическая категория языковых выражений – имена.Примеры имен: слово «стол» в предложении «Этот стол – круглый»; словосочетание «космический аппарат» в предложении «Космический аппарат преодолел земное тяготение».

Второй тип объектов – это свойства предметов, наличие или отсутствие которых (свойств) отличает одни предметы от других. Знаки соответствующей логической категории называют предикатами. Примеры предикатов: слово «круглый» в предложении «Этот стол – круглый», слово «брат» в предложении «Иван брат Петра» и т.п. Поскольку каждому свойству соответствует множество предметов, имеющих это свойство, будем считать, что предикат одновременно представляет в мышлении и некоторое множество (класс) предметов. В наших примерах: предикат «круглый» представляет множество круглых предметов, предикат «брат» - множество пар людей, в которой один является братом другого.

Третий тип объектов составляют ситуации (илиположения вещей). Соответствующую ситуациям логическую категорию языковых выражений составляютпредложения(имеются в виду повествовательные предложения). Например, ситуация «Впадение Волги в Каспийское море» воспроизводится в предложении «Волга впадает в Каспийское море», а ситуация «Равенство суммы углов треугольника 180⁰» - в предложении «Сумма углов треугольника равна 2d» и т.п.

Четвертый тип объектов – логические отношения. Их примерами могут служить отношение обусловливания одних ситуаций другими, отношение их сосуществования, альтернативные отношения между ними, отношения включения (невключения) предмета в некоторое их множество, одного множества предметов в другое и т.п. Им соответствует категория логических терминов (логических констант), среди которых важнейшими являются логические союзы «и», «или», «если…, то…», «неверно, что…», «есть» (или «суть»).

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

Как общие, так и единичные имена делятся на описательные (сложные) и на неописательные (простые) имена. Примерами простых (неописательных) имен являются слова «стол», «Эверест», «гора», «река», «Волга». Примерами сложных (описательных) имен могут послужить словосочетания «самая большая река в Европе», «плоская, замкнутая, ограниченная тремя сторонами геометрическая фигура».

Предикаты – это, по сути, общие имена в составе «логических сказуемых». Так в предложении «Все преступления должны своевременно раскрываться» слово «преступление» выполняет роль субъектного термина (общего имени), а в предложении «Кража является преступлением» данное слово выполняет роль предиката.

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

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