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

• Название: Естественная логика (Natural Logic)
• Автор: Леонид Гирик
• Жанр: Философия

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

---

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

Далее, в главе четвертой «Категорий» Аристотелем представлена гипотеза создания «утверждений или отрицаний», содержание которой лучше привести полностью, тем более, что она не является пространно изложенной, а именно:

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

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

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

Более того, гипотеза Аристотеля о том, что утверждения или отрицания получаются в результате сочетаний указанных им десяти категорий, может быть подвергнута простой верификации, то есть проверке истинности ее теоретических положений опытным путем.

Для этого составим из названных Аристотелем примеров имен разных категорий их совокупности.

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

Далее сведем имя «длиною в три локтя» с остальными, данными в примерах, и получим: «длиною в три локтя человек», «длиною в три локтя белое», «длиною в три локтя половинное», «длиною в три локтя в Ликее», «длиною в три локтя вчера», «длиною в три локтя лежит», «длиною в три локтя вооружен», «длиною в три локтя режет», «длиною в три локтя жгут».

Продолжим еще опытную проверку и получим: «белый человек», «белое длиною в два локтя», «белое половинное», «белое на площади», «белое вчера», «белое лежит», «белое вооружено», «белое режет», «белое режут».

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

Уже из четырех опытов приведения к совокупности имен, указанных Аристотелем в его разделении всего сущего и мыслимого на десять категорий, можно подвести итоги верификации.

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

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

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

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

Итогом проверки выдвинутой Аристотелем гипотезы о способе создания утверждений является выяснение ее полной несостоятельности.

В четвертой главе трактата «Об истолковании» имеется фраза Аристотеля: «утверждение же или отрицание получается в том случае, если что-то присоединяют» (к имени объекта познания), – но более того о способах создания утверждений ничего не выяснено.

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

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

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

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

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

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

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

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

Глава 14. Создание утверждений

Утверждения – логические тождества сочетаемых имен

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

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

Например, цену какой-то данной козы составляют десять топоров, то в словесной оценке получится: «Эта коза стоит десять топоров».

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