Леонид Гирик - Естественная логика (Natural Logic)

Вот еще подобный пример именного высказывания: «Обычно: дом, работа, магазин, дом, работа, магазин, дом».

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

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

Предметность значений используемых имен и предметность их смыслов в каких-либо признаках достаточна для установления корреляции (лат. сorrelatio) как какого-либо соотношения, соответствия, прямой или косвенной взаимосвязи любых предметов, явлений, понятий, высказываний, версий и прочих объектов познания.

Корреляции как логической связи предметности имен в их значениях и смыслах достаточно для образования общности перечислений имен и именных высказываний. Например таких: «То и другое»; «И то, и другое»; «Дороти и Джек»; «Горы и равнины»; «Горячий кофе, сладкие пончики, свежие круассаны!»; «Париж, весна, ты и я»; «Играли, шутили, бесились, устали и уснули».

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

Различные совокупности сводных имен являются обычной практикой осуществления перечислений в составе различных высказываний в логической форме утверждений и в иных логических формах.

Для реализации этого иногда используются исключения, обычно связываемые с такими именами, как: «за исключением…», «кроме…», «помимо…»,– и подобными им.

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

Несколько различные перечисления с исключением даны в следующем утверждении: «Они ушли вместе, Адам и Ева, но без детей их: Суллы, Креза, Стуса и Гермеса».

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

Если перечисления осуществляются с использованием цифр или их названий, то необходимо учитывать двойственность значений натуральных чисел. Так, при исчислении порядка или числа объектов ( первый, второй…сорок первый) указывается количество учитываемых объектов или их место (номер) в перечне, а при учете (исчислении) сумм ( три плюс два, плюс шесть… ) определяется количество каких-либо объектов или показателей.

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

Рассмотрим высказывание Папы Римского Иоанна ХХIII (1881-1963):

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

Логическая структура первого утверждения может быть выражена так:

S+Lc=N(Sa+Sb+Sc).

В этом, первом, утверждении объект внимания указан сложным именем : «три главных пути к разорению» – а затем уточнен так: «женщины, азартные игры и земледелие»; N(Sa+Sb+Sc). Двоеточие при написании и пауза при произношении выражают «этот есть» или «а именно», либо аналогичные им по смыслу имена. Таким образом дано общее имя «три главных пути к разорению» (N), смысл которого раскрывается посредством простого перечисления «путей» к разорению: «женщины, азартные игры и земледелие» (Sa+Sb+Sc).

Итак, мы рассмотрели пример перечисления имен понятий в составе утверждения. Заметим, что само перечисление является простым, последовательным и состоит из имен: одного простого и двух сложных, из которых одно выражено двумя словами, а другое – «земледелие», выражено одним сложным словом. Обратим внимание на то, что в перечислении даны имена разнородных объектов, которые в совокупности их создают понимание того, что названо «тремя главными путями к разорению» в условиях Италии, а потому формула сложения Sa+Sb+Sc пригодна.

Далее, используя логическую транскрипцию, рассмотрим следующее суждение президента Франции Шарля де Голля (1890-1970):

«Десять заповедей (N) лишь потому так (S) лаконичны, ясны и понятны (=Lc+Lca+Lcb), что были (+Sa) написаны (Lcc) без помощи советников и экспертов (-Sb-Sc)».

Логическую структуру этого высказывания можно выразить формулой:

N=S(Lc+Lca+Lcb)+Sa+Lcc– Sb-Sc.

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

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

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

Перечисления имен, а в соответствующих случаях их уточнения посредством исключений, совокупно создают понимание рассмотрения названных объектов познания обобщенно («муж и жена», «кумиры и поклонники», «сбор, обработка и анализ сведений»). Поэтому символическое выражение сводных имен допустимо осуществлять аналогично сочетаниям имен, например: Sa+Sb+S-Sc, – и подобным образом), раскрывая структуру логических связей в их совокупности.