Высказывание - общее имя основных форм мысли

Аватар пользователя mp_gratchev
Систематизация и связи
Логика
Термины: 

        Высказывание

автор: М.П. Грачёв

Мудрый и немного насмешливый философ Джон Остин, вторя Витгенштейну, в статье "Значение слова"[1] подчеркивает, что только предложение имеет значение, а слово имеет значение лишь в составе предложения. В чём тут дело? По сути, утверждение, что слово имеет значение равносильно мысли о существовании предложений, в которых слова "признаются, - поясняет Девидсон, - значащими выражениями постольку, поскольку предложения состоят из слов, а значения слов заключается в том систематическом вкладе, который они вносят в значение тех предложений, частями которых они являются"[2]. Я буду исходить из предположения, что у слова "высказывание" есть по крайней мере три значения: высказывание - это и термин, и понятие, и категория логики (хотя они указывают только на металогические уровни рассмотрения языковых выражений класса "высказывание").

1. Высказывание как речевое действие. Классификация уровней абстрагирования речевого акта в естественном языке

Остин работал над речевыми действиями в нескольких направлениях - это

    а) критика существующей системы констативов и соответствующей им теории истины;

    б) разработка и классификация локутивных - иллокутивных - перлокутивных актов;

    в) "доктрина иллокутивных сил"[3]

1.1. Локутивный акт. Локутивный акт - по Остину, действие "говорения чего-либо" (всякое произнесение текста в порядке "языкового обмена" в некоторой знаковой системе)[4].

1.2. Иллокутивный акт. Иллокутивный акт - локутивный акт с определенно выраженным мотивом и фиксированной высказывательной формой проговаривания (суждение, вопрос, оценка, императив). В новейшем отечественном учебнике "Аналитическая философия" под ред. Максима Владимировича Лебедева и Алексея Зиновьевича Черняка (2006) иллокутивный акт определяется как "акт осуществления одной из коммуникативных языковых функций - вопроса, оценки, приказа и т.п. [курсив мой. - M.Г.]". В перечне не упоминается "суждение" [5]. Хотя суждение является не только базовой логической категорией, но и фундаментальной языковой коммуникативной функцией - её необходимо задавать в явном виде. Слово "приказ" одно из многочисленных отображений побуждения в языке. Оно успешно может репрезентировать группу, включающую повеления: "команда", "требование", "распоряжение", "директива". Только иллокутивные акты "просьба" и "мольба" уже выпадают из этого гнезда слов. На мой взгляд, всё-таки для более полного и приемлемого терминологического обобщения всех разновидностей воления, выраженного в языке следует выбрать слово "императив".

1.3. Перлокутивный акт. Перлокутивный акт - иллокутивный акт, замкнутый на результат ("эффект с реальными последствиями"[6] речевого воздействия). Характеризуется степенью совпадения ожиданий от высказываний говорящего и ответных невербальных (или вербальных) реакций слушающих [7]. Примеры: "Собрание объявляю закрытым" (все встают и удаляются из зала); "Объявляю мужем и женой" (обмениваются кольцами); "Приказываю сдаться" (вывешивают белый флаг); а также перлокутивное производящее последствие [8]: "убеждение" (отпустил заложников), "принуждение" (донёс на соратника), "устрашение" (дал признательные показания, будучи невиновным).

1.4. От констативов к перформативам. Все многообразие и богатство языка в грамматике сводят к ограниченному, узкому кругу структурных элементов. Таких как "слово", "флексия", "предложение", "текст", "дейксис" и т.п. В логике, грамматические формы языка уплотняются в ещё более тощие абстракции. В традиционной логике со времен Аристотеля из всех видов предложений к логическим формам причислялись одни только повествовательные предложения за их способность выразить утверждение и отрицание, а также исключительно важное свойство нести истинностное значение ("истинно", "ложно").

Джон Остин:

"Среди философов слишком долго было укоренено убеждение, что "утверждение" может только "описывать" положение вещей или "утверждать нечто о каком-либо факте", который при этом может быть истинным, либо ложным. Лингвисты, разумеется, регулярно указывали на то, что не все "предложения" (в их реальном употреблении) являются утверждениями (Конечно неправильно уже то, что предложение вообще может быть утверждением: оно скорее используется для высказывания утверждения. а само утверждение является "логической конструкцией" на основе этих высказываний). Так, традиционно помимо утверждений сами лингвисты выделяют вопросы и восклицания предложения выражающие команды или желания, уступительные значения. И философы, несомненно, не собирались отрицать существование таких особых предложений, если, конечно не принимать в расчет в некотором смысле слишком свободное употребление термина предложение в значении "утверждение". Несомненно так же и то, что как лингвисты, так и философы очень хорошо отдавали себе отчёт в том, насколько трудно отграничить, скажем, те же вопросы, команды и так далее от утверждений при помощи тех тощих средств, которые представляет грамматика, таких, например, как порядок слов, модальность (mood), и тому подобных: хотя, возможно было просто не принято обращать внимание на те трудности, которые благодаря этому факту возникают ...Не все истинные или ложные утверждения являются дескрипциями, по этой причине я предпочитаю употреблять слово "констатив" [9].

Первоначальное вычленение перформатива. Употребления того типа, которые мы здесь должны будем рассмотреть в целом, конечно. не являются разновидностью бессмыслицы, хотя злоупотребление ими вполне может, как мы увидим, производить своего рода "бессмыслицу" "[10].

Обращаю внимание на следующие ремарки Остина:

    1. Высказывания могут "только описывать" и быть лишь "истинными и ложными".

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

    3. Членение предложений на констативы (несущие истинностные значения) и высказывания-перформативы (истинностных значений не имеющие).

То же подчёркивается и у Максима Лебедева в его (в соавторстве) "Аналитической философии", что развитие философии языка ХХ века привело к "общему принятию" той точки зрения после работ Фреге, Рассела и Витгенштейна (Трактат), согласно которой теория значения для данного назначает значения прежде всего "повествовательным предложениям изъявительного наклонения"[11]). До сих пор в учебниках классической символической и математической логики не признают (и правильно делают) иных высказываний, кроме тех, что выражают свойство быть истинными и ложными. И вот против этой-то устоявшейся традиции поднимает свой бунт Джон Остин. Однако Остин лишь подготавливает выход новых форм мысли в логику, учиняя свой бунт на некоторой дистанции от неё. Ниже приводятся определения термина "высказывание" - все они в основном нацелены на классическую парадигму истинностного значения утверждения.

2. Определение высказывания. Сколько экспертов - столько и определений. Первым в списке будет стандартное определение группы авторов новейшего учебника символической логики Санкт-Петербургского госуниверситета в следующей формулировке:

     2.1. "Высказыванием называют предложение, выражающее суждения"[12] (Санкт-Петербургский госуниверситет).

Значение "суждения" в этом предложении есть то содержание (информация) или смысл, которое несёт в себе каждое высказывание.

     2.2. Высказывания - повествовательные предложения некоторого языка[13] (С. Клини).

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

     2.3. "Высказывание - предложение, выражающее определенное суждение, т. е. выражающее мысль о наличии определенного положения дел"[14] (Московский госуниверситет).

В определении В.А.Бочарова и В.И.Маркина ключевые слова "положение дел" определяют свойство статичности высказывания завершенной речи в отличие от высказываний, выражающих динамические характеристики событий в различного рода модальных логических системах.

     2.4. "под высказыванием понимается такое предложение, которое либо истинно, либо ложно"[15] (В. Игошин).

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

     2.5. Предложение - основной элемент рассуждения, который в традиционной логике имеет название "суждение", а в математической называется "высказыванием"[16](А. Гладкий)

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

     2.6. "Высказывание - грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом". "Курс современной логики обычно начинается определением высказывания как предложения, являющегося истинным или ложным"[17].

Помимо "описательных" Ивин и Никифоров (ИН) фиксируют другие типы высказываний: оценочные и нормативные (по ИН, нормативные есть частный случай оценочных).

     2.7.1. "Предложением называется грамматически или интонационно оформленное сочетание слов или отдельное слово, выражающее законченную мысль"[18].

     2.7.2. "Суждением называется структура мысли, с помощь которой устанавливается отношение между понятиями и раскрывается связь между предметами и их признаками посредством утверждения или отрицания". "В современной математической логике понятие "суждение" уступило место понятию "высказывание" [19].

     2.7.3. "Понятием называется структура мышления, в которой фиксируются предметы (свойства, отношения) в их существенных признаках"[20].

Автор определений 2.7.1. - 2.7.3. логик Виктор Иванович Чуешов. Он проводит мысль о не равноценности, казалось бы взаимозаменяемых, терминов "высказывание", "суждение" и "предложение": суждение выражается повествовательным предложением и к суждениям не относятся вопросы приказы, пожелания. По мнению Чуешова, "высказывание" как более универсальное понятие имеет то преимущество перед "суждением", что лучше приспособлено для изучения синтаксиса мышления. Тогда как, "суждению" следует отдавать предпочтение при анализе структуры элементарной мысли как связи понятий в суждении.

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

В заключение краткого перечня приведу замечательное определение "высказывания" от логика Непейводы:

2.8. "Высказывание - утверждение об объектах, имеющее однозначный, точно определенный вид" [21].

Ценность последнего определения состоит в том, что, указывая на однозначность и точность определенного вида предложений, оно не привязывает высказывание жестко только к одному лишь суждению и определение Непейводы вполне может быть использовано как дефиниция высказывания в диалектической логике распространяющей понятие "высказывание" помимо суждений на "вопросы", "оценки", "императивы".

3. Форма мысли. Высказывание - обобщение группы форм мысли в традиционной логике. При отображении мыслью действительности, либо воплощении мысли в действительность (её опредмечивание), указанные два мыслительных противонаправленных процесса протекают в формах, которые сводят к нескольким основным. Например, Ахманов приводит, близкий к моей позиции, следующий перечень основных форм мысли:

А.С. Ахманов:

     1. Есть такая стадия мыслительного процесса, когда познавательная задача лишь ставится. На этой стадии отражения действительности мысль принимает форму проблемы, или вопроса, который, как и всякая мысль, имеет свой предмет и свое содержание, но полагание чего-либо существующим или не существующим "на самом деле" ещё отсутствует.

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

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

     4. Если есть достаточные основания считать отраженные в в сознании признаки предмета необходимым и достаточным образом определяющими предмет, т.е. дающими ответ на вопрос: "что это такое", и в этом ответе подводящими итог известным знаниям, то мысль принимает форму понятия в смысле особого знания предмета, в отличие от смысла слова или термина вообще.

     5. Если сознание направлено на изменение действительности, и мысль состоит в побуждении к действию, она выливается или форму просьбы, или повеления, или приказ и т.д. Последняя форма мысли также непременно требует знания наличной действительности и средств её изменения [22].

Из перечисленных Ахмановым форм можно выделить группу с обобщающим названием "высказывание" в составе: "вопрос", "суждение", "побуждение" (императив).

3.2. Основные формы мысли по Ахманову:

1. вопрос

2. суждение

3. умозаключение

4. понятие

5. императив (побуждение: просьба, повеление, приказ)

Как видно, в данном перечне не все формы мысли равноценны. Вопрос, суждение, приказ есть мысли-высказывания. Умозаключение представляет собой связь высказываний, а понятие можно рассматривать двояко: и как мысль, включающую в свою структуру суждения и умозаключения; и как мысль - структурный элемент самого суждения. Возможен и другой подход к данному перечню. Ведь высказывания - "вопрос", "суждение" и "императив" - в свою очередь, не равноценны. Высказывание-суждение представляет собой истинностную форму мысли, тогда как вопросу и императиву нельзя присвоить истинностные значения истинно и ложно. Они характеризуются не-истинностными оценками. Если сознание направлено не на познание (формы: вопрос, суждение, понятие, умозаключение) и не на изменение действительности (императив), а на одно лишь её осознание, то мысль выразится в форме оценки. Не-истинностные оценки не укладываются в существующие теории истинности, которые распространяются на высказывания только вида "суждения".

Современные авторы предлагают разные классификации теории истинности:

А.А. Ивин:

"Хорошо известны три традиционные теории, раскрывающие природу истины: истина как соответствие (корреспонденция), истина как согласие (когеренция) и истина как полезность. У каждой из этих теорий есть разнообразные модификации [23] ".

[А.Ф.Зотов, В.В.Миронов, А.В. Разин - нумерация соавторов]:

4.1. Основные концепции истины;

4.1.1. Классическая концепция;

4.1.2. Априористская концепция;

4.1.3. Когерентная теория истины;

4.1.4. Прагматистская концепция;

4.1.5. Конвенционалистская концепция;

4.1.6. Экзистенционалистские концепции [24].

По мнению авторов учебника МГУ "всем неклассическим концепциям истины присущи два недостатка субъективизм и угроза произвола в трактовке не только истины, но и знания как такового; релятивизм в виде абсолютизации относительности и изменчивости наших знаний" [25].

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

     "Понятие истины как корреспонденции является конкретизацией более общего понятия адекватности на случай описательных высказываний. Представление о мире адекватно, если оно соответствует тем вещам, к которым оно относится; средство адекватно, когда оно действительно способствует достижению цели; оценка адекватна если она согласуется с принятыми в данной области стандартами оценивания, или если осуществляемые на её основе действия приносят желаемый результат. Понятие адекватности шире понятия истины: истина характеризует лишь описательные высказывания; адекватными способны быть как описания так и оценки, орективы и даже действия человека [26] ".

Данные соображения Ивина об "адекватности" пригодятся в последующей формулировке оценочной функции.

3.3. Структура логических форм естественного мышления по Ахманову:

        понятие

             |

        суждение - вопрос - императив

             |

        умозаключение

3.4. Высказывание в диалектической логике. В диалектической логике термин "высказывание" служит общим именем для четырех основных форм мысли: вопроса, суждения, оценки, императива. Вместе с основными формами традиционной логики: понятием, суждением и умозаключением, - высказывания в ДЛ образуют единую логическую структуру "диалог".

            понятие

                 |

            суждение - вопрос - оценка - императив = диалог

                 |

            умозаключение

Из сравнения 3.3 и 3.4 видно, что структура основных форм мысли в диалектической логике дополняет ахмановскую систему основных форм мысли высказыванием-оценкой и замыкает на структуру логической формы "диалог". По вертикали отделены основные формы традиционной логики; по горизонтали даны основные формы неклассической логики (НЛ). Суждение является общим элементом как классических так и неклассических логик: обычно формализованные системы НЛ строятся как расширение логики предикатов первого порядка. Так, дедуктивная логика вопросов Федорова представлена в виде логики "вопросов и ответов (суждений)" [27], логика норм Ивина [28].

4. Общие символы, используемые для записи связи высказываний в формальной и диалектической логике. Для связи высказываний в ДЛ используются те же связки, что и в классической логике: ¬, ^, V, ->, <=>, — символы, обозначающие соответственно: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.

кванторы:

условия:

символы теории множеств:

математические операторы:

служебные символы: « » ‹ › §

5. Синтаксис и семантика высказываний в математической логике.

5.1. Синтаксис: Индуктивное определение высказывания по Метакидесу и Нероуду:

Метакидес Г.Б Нероуд А.:

"О п р е д е л е н и е 1.2.1.

1. Пропозициональные символы являются высказываниями и называются атомарными высказываниями или атомами.

2. Если s и q - высказывания, то выражения (s ^ q), (s V q),(s -> q), (s <=> q), ( ¬s ) - также высказывания; их называют составными высказываниями.

3. Выражения, построенные в соответствии с пунктами 1 и 2, и только они являются высказываниями" [29]

5.2. Семантика: Означивания и истинностные означивания.

"Определение 1.3.1. Означиванием назовём произвольную функцию

F: Q -> { t, f }

Где Q - множество атомов языка" [30]

Отсюда видно, что в структурном делении на синтаксис и семантику истинностные значения, оставаясь принадлежностью высказываний, рассматриваются не в синтаксисе формальной логики, а по Метакидесу и Нероуду (МН) смещены в раздел "семантика" в связи с интерпретацией составных и атомарных высказываний. Можно сказать, что изначально допустимо отвлечение от свойства истинности высказываний (ср. вверху: Игошин (2.4)). Согласно МН, высказывания являются общим и абстрактным объектом. Определение условий, при которых высказывание становится истинным или ложным возникают при интерпретации этих абстрактных объектов при помощи семантики. Любопытно, что и в диалектической логике, которую хотя и принято считать логикой содержательной (наукой об истине), высказывания в своей исходной констелляции также не имеют установленных истинностных значений, хотя каждый из участников диалога (спора, дискуссии, полемики) исходит из убеждения об истинности лишь своих и только своих высказываний. Такие высказывания, которые не имеют общепризнанной истинностной оценки в ДЛ называются "мнениями" (стадия созревания суждения: "субъект «всего лишь» считает истинными" [31]). Когда говорят, что истина рождается (или умирает) в споре, то имеют ввиду зрелые суждения.

6. Оценка высказываний. В классической логике высказывание принимает всегда только истинностные значения "истинно" и "ложно" (в многозначных системах формальной логики количество значений может быть больше). В диалектической логике, исходя из наличия в её системе не-истинностных форм мысли: вопросов, императивов, оценок, - соответственно, используются не-истинностные оценки. Для вопросов: "корректно - не корректно" сформулированные вопросы (например, риторические или софистические вопросы не являются корректными, подлинными вопросами); "исполнимо - не исполнимо" для императивов, "приемлемо - не приемлемо" для оценок.

7. Обобщенная оценочная функция в неклассической логике. Если принять за основу ивинскую адекватностную теорию значений императивов, вопросов, оценок и суждений, то (с учётом произвольной функции F: Q -> { t, f } (4.2), обозначив одну из оценок символом t=1, а другую символом f=0) допустимо ввести функцию L для четырёх классов, заданную на совокупности всех высказываний и принимающую значение в двухэлементном множестве {0, 1} по следующему правилу:

7.1.

         { (1, если высказывание адекватно ("истинно" для суждений, "корректно" для вопросов,

         { "исполнимо" для императивов, "приемлемо" для оценок)

L(P) = {

         {(0,если высказывание не адекватно("ложно" для суждений,"некорректно" для вопросов,

         { "неисполнимо" императивов, "неприемлемо" для оценок)

Функция L называется оценочной функцией, а значение L(P) - логическим значением истинности для высказывания-суждения Р, (соответственно, логическим значением корректности для высказывания-вопроса Р, исполнимости для высказывания-императива Р, приемлемости для высказывания-оценки Р).

8. Динамическая связь высказываний в диалектической логике и аналитической философии. "...в последние годы, - пишут авторы Аналитической философии (АФ), - в аналитической эпистемологии всё большее значение приобретает проблема динамики знаний " [32]. В порядке "отрицания отрицания" на более высокой ступени возвещен очередной переход к пониманию логики как динамично развивающейся системы знания. Естественно, переход сопровождается сменой форм и введением новых категорий в логическую систему, расширением состава логических структур, переосмыслением старых категорий. Всё это означает ничто иное, как востребованность и развитие идей диалектической логики в новой формально-логической упаковке. Расширяется состав основных форм мысли в неклассических логиках. Но как справедливо пишут авторы АФ даже у Хинтикки "примечательной особенностью" эпистемической логики "является её статичность" [33]. Синтез современной формальной и диалектической логики можно усматривать на пути их встречного движения друг к другу.

Если классическая формальная логика рассматривает статичные структуры связи предложений уже состоявшегося текста, следя за правильной передачей истинностного значения от посылок к заключению, то в диалектической логике (при сохранении статической функции) анализируются динамические связи передачи смыслов предложений в структуре "становящегося" диалога. Разумеется и в формальной логике возможно внесение динамического момента в её структуру. Для этого достаточно перейти к системам "неклассической логики времени" и "логике действия" [34] (Г.Х. фон Вригт). Формальная классическая логика, неклассическая логика и диалектическая логика вместе составляют универсум общей логики.

8.1. Эпистемическая логика и диалог. В "Аналитической философии" авторы пишут, эпистемическая логика была инициирована в пионерской работе Я. Хинтикки "Знание и убеждение" (1962). Хинтикка вводит операторы Ка (для знания) и Ва (для убеждения), тогда выражения:

8.1.1.         Кaр, и

8.1.2.         Вaр

будут обозначать утверждения:

8.1.3.         "а знает, что р"

8.1.4.         "а считает, что р"

Я. Хинтикка:

"Здесь а есть имя некоторого лица, личное местоимение или,возможно, конечное описание некоторого человека, а р есть независимое повествовательное предложение" [35]

Пусть субъект знания а состоит из индивидуальных субъектов: Si, Sj, Sk, ... Sn, тогда в логике знания можно записать:

8.1.5.         "Si знает, что р"

8.1.6.         "Sj знает, что ¬р"

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

Либо противоречащие суждения высказываются одним субъектом в разные моменты времени (t= 1, 2, 3,... n):

8.1.7.         Sit1 знает, что р", где t1 - верхний индекс

8.1.8.         Sit2 знает, что ¬р"

Cубъект Sitn можно интерпретировать в качестве научного сообщества в различные исторические периоды времени, а субъекты Si и Sj - группы, школы или отдельные позиции учёных.

Пусть р = "мед сладок", тогда "¬р" = "неверно, что мёд сладок". Налицо формальное противоречие, хотя и существует расхожее мнение, что о вкусах не спорят. Ещё как спорят ("Я люблю мед, для меня он сладок. Мой сосед уверяет, что он горек, невкусен" [36]). В любом случае, спор укладывается в формально-логическую структуру:

8.1.9.         Р & ¬Р

С учётом того, что знание принадлежит разным субъектам, получим непротиворечивую запись:

8.1.10.         Pit1 & ¬Pit2

8.1.11.         Рi & ¬Рj

Итак, знание исторического субъекта Sit1 нельзя признать формально противоречивым, а высказывания субъектов Si и Sj: Рi и ¬Рj, - если и составляют противоречие, то диалектическое. Например, в истории науки свет описывается как волна и не волна (корпускулярно-волновой дуализм). Вместе с тем, формула 8.1.11 позволяет непротиворечиво записать формальное противоречие.

8.2. Структурная формула диалога

8.2.1.         Si,j> s - p,

где

S (прописное) - субъект рассуждений

s (строчное) - логический субъект

p - предикат

[i],[j] - нижние индексы, идентификаторы (метки) участников диалога

[-] - связка

[>] - знак квотирования

                        * * *

Выводы:

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

Примечания:

1 Остин Д. Избранное. – М., 1999. – С. 309, далее Дж. Остин.

2 См.: Аналитическая философия: Учебное пособ. /Ред. М.В. Лебедев, А.З. Черняк. – М., 2006. – С. 401, далее АФ.

3 Дж. Остин, с. 88.

4 там же, с. 84.

5 АФ, с. 612.

6 Дж. Остин, с. 90.

7 Символическая логика: Учебник / Ред. Я.А. Слинин, Э.Ф. Караваев, А.И. Мигунов. – СПб, 2005. – С. 500, далее, Символическая логика, СПб.

8 Дж. Остин, с. 99.

9 там же, с. 15.

10 там же, с. 17.

11 АФ, с. 499.

12 Символическая логика, СПб, с. 9.

13 см.: Клини С. Математическая логика. – M., 1973. – С. 12.

14 Бочаров В.А., Маркин В.И. Основы логики. – М., 2005. – С. 19.

15 Игошин В.И. Математическая логика и теория алгоритмов. – М., 2004. – С. 15.

16 см.: Гладкий А.В. Введение в современную логику. – М., 2001. – С. 26.

17 Ивин А.А., Никифоров А.Л. Словарь по логике. – М., 1998. – С. 56.

18 Чуешов В.И. Основы современной логики. – Минск, 2003. – С. 100.

19 там же, c. 101.

20 там же, с. 88.

21 Непейвода Н.Н. Прикладная логика. – Новосибирск, 2000. – С. 15.

22 Ахманов А.С. Формы мысли и законы формальной логики // Вопросы логики. – М., 1955. – С.51-52.

23 Ивин А.А. Современная философия науки. – М., 2005. - С. 129.

24 Философия / Ред. А.Ф. Зотов, В.В. Миронов, А.В. Разин. – М., 2005. – С. 471-480.

25 там же, с. 480.

26 Ивин А.А. Современная философия науки. – М., 2005. – С. 130.

27 Федоров Б.И. Дедуктивные возможности логики вопросов и ответов // Логико-философские штудии: Мезвуз. сб. – СПб., 2001. – С. 173-192.

28 Ивин А.А. Логика норм. – М., 1973.

29 Метакидес Г.Б., Нероуд А. Принципы логики и логического программирования. – М., 1998. – с. 15.

30 там же, с. 18.

31 АФ, с. 382.

32 АФ, с. 381.

33 там же, с. 381.

34 Вригт фон Г.Х. Логико-философские исследования: Избр. тр. – М., 1986. – С. 254-271.

35 Hintikka J. Knowledge and Belief. – Ithaca; New York, 1962. (Цит. по: АФ, с. 364.)

36 Ильенков Э.В. Античная диалектика как форма мысли // http://caute.net.ru/ilyenkov/texts/phc/antdia.html

Источник и комментарии здесь: http://www.philosophystorm.org/mp_gratchev/1712

Комментарии

Аватар пользователя mp_gratchev






Сергей Борчиков, 6 февраля, 2011 - 15:35. ссылка

Изображение пользователя Сергей Борчиков.

М.Грачеву

Мудрый и немного насмешливый философ Джон Остин, вторя Витгенштейну, в статье "Значение слова"[1] подчеркивает, что только предложение имеет значение, а слово имеет значение лишь в составе предложения.

Действительно, насмешливый философ - можно продолжить юмор дальше:
значение имеет только теория, а предложение (высказывание) имеет значение лишь в составе теории;
значение имеет только система, а теория имеет значение лишь в составе системы;
значение исходит исключительно от парадигмы, а система имеет значение лишь в составе парадигмы.
Выше парадигмы ничего не придумал, кроме всей философии в целом, но не ей же приписывать функцию генератора значений.
Можно пойти и вниз: на самом деле слово имеет значение, а буква формирует это значение, находясь в составе слова. Ниже буквы ничего не придумал.

комментировать

 •  цитировать



mp_gratchev, 6 февраля, 2011 - 16:08. ссылка

Изображение пользователя mp_gratchev.

"значение имеет только теория, а предложение (высказывание) имеет значение лишь в составе теории"

Согласен, высказывание имеет смысл в контексте. Только контекст - это не обязательно теория. В моем случае высказывание (9.05) имеет значение в составе п.п. 9.01-9.13 (9. Элементарная диалектическая логика).
--
М.Грачёв

комментировать
 •  цитировать



Сергей Борчиков, 6 февраля, 2011 - 22:01. ссылка

Изображение пользователя Сергей Борчиков.

Михаил, а раз так: буква имеет значение в контексте слова (например, кон и конь); слово (термин) имеет значение в контексте предложения (суждения); суждение (высказывание) имеет значение в контексте теории; теория имеет значение в контексте системы (науки) и т.д., получается, что ЗНАЧЕНИЕ не имеет зависимости от формальнологических определенностей, оно складывается над ними или за ними, поверх их, в особой метафизической области. Я это уже во многих сообщениях фиксирую: метафизический смысл не редуцируется к формальнологическим определенностям, а складывается на их основе, но под действием иных закономерностей.

комментировать
 •  цитировать



mp_gratchev, 7 февраля, 2011 - 00:45. ссылка

Изображение пользователя mp_gratchev.


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

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

--
М.Грачёв

комментировать
 •  цитировать



Сергей Борчиков, 7 февраля, 2011 - 11:03. ссылка

Изображение пользователя Сергей Борчиков.

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

комментировать
 •  цитировать



mp_gratchev, 7 февраля, 2011 - 12:54. ссылка

Изображение пользователя mp_gratchev.

Я бы провел ещё такое различение: диалектическая гносеология (высшая форма мыслимого содержания) и диалектическая логика. Именно здесь происходит смешение широкого и узкого смысла понятия 'диалектическая логика'. Использование термина 'диалектическая логика' исключительно в контекстах гносеологии и онтологии (в широком значении слова) как раз невольно редуцирует высшее к низшему. Поэтому лучше говорить о законах диалектической гносеологии, когда имеют ввиду понятия 'высшее' и 'низшее'. То есть правильно употреблять слова 'диалектическая логика', не провоцируя формальных логиков на сарказмы по её поводу.

И второе. На содержательных моментах элементарной диалектической логики я концентрирую внимание в первую очередь.

--
М.Грачёв

 •  комментировать

 •  цитировать



mp_gratchev, 7 февраля, 2011 - 22:57. ссылка

Изображение пользователя mp_gratchev.


    Контекстность высказывания "Лгу"


"суждение (высказывание) имеет значение в контексте теории"

Какое положение дел отображает речевое действие, выраженное в предложении "Лгу". Применив схему Тарского можно прийти к заключению, что "Лгу" будет истинным, в случае, если лжение имеет место в реальной действительности. И ложно в противном случае (по схеме Тарского высказывание Х истинно, если и только если Х). Чтобы установить как обстоит дело, надлежит провести некоторое исследование. Имеем,

         Лгу, что "Эйфелева башня в Лондоне"        (1)

Здесь "Лгу" истинно, поскольку говорящий действительно лжет.

         Лгу, что "Эйфелева башня в Париже"        (2)

Здесь "Лгу" ложно, поскольку расположение Эйфелевой башни в Париже соответствует действительности.

Таким образом, рассуждение о вырванном из 'контекста оценки' высказывании "Лгу" и вне анализа фактического положения дел, не будет осмысленным.

--
М.Грачёв

 •  комментировать
 •  цитировать



mp_gratchev, 7 февраля, 2011 - 11:40. ссылка

Изображение пользователя mp_gratchev.

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

В соответствии со структурой диалектической логики, методологически разделяю логику на 'логику рассудка' и 'логику разума'.

макет диалектической логики

Всё, что относится к объяснению высших форм, сосредоточено в разделе "Часть 2. Логика разума". Логика разума прекрасно изложена в спекулятивной философии Гегеля, к чему я и присоединяюсь. А вот элементарная диалектическая логика составляет пробел, на чём и сосредотачиваюсь.

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

--
М.Грачёв

 •  комментировать
 •  цитировать



Корвин, 7 февраля, 2011 - 00:17. ссылка

Изображение пользователя Корвин.

М. Грачеву

Почему Вы отделяете от суждения оценку и императив? «это яблоко вкусное» равносильно «некто считает это яблоко вкусным». А императив «сделай это» равносилен «ты должен сделать это».
Любая логика задает правило вывода из посылок. Поэтому собственный вопрос является формой вывода. Т.е. для того чтобы это понять нужно получить ответ на соответсвущий вопрос. Чужой же вопрос является императивом: «ты должен мне ответить».
Риторические вопросы – это полноценные вопросы требующие подтверждения согласия с аргументацией.

комментировать
 •  цитировать



mp_gratchev, 7 февраля, 2011 - 11:14. ссылка

Изображение пользователя mp_gratchev.


"Почему Вы отделяете от суждения оценку и императив? «это яблоко вкусное» равносильно «некто считает это яблоко вкусным». А императив «сделай это» равносилен «ты должен сделать это» ".

"Отделение" - это выработка тощих абстракций, с тем, чтобы на следующем этапе рассуждения (на пути восхождения от абстрактного к конкретному) воспроизвести предмет не как аморфное, а структурированное целое. Суждение, вопрос, оценка и императив уже отделены в языке (по типу грамматических предложений). А в логике отделены ещё Аристотелем 2.5 тыс. лет назад по свойству истинности.

В самом деле. Дегустатор установил, что это конкретное яблоко вкусное. Но вкусное именно яблоко (онтооценка), а не предложение «это яблоко вкусное».

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

--
М.Грачёв

комментировать
 •  цитировать



Корвин, 7 февраля, 2011 - 23:14. ссылка

Изображение пользователя Корвин.

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

Но что это за предмет? Является ли этим предметом некая объективность, отображающаяся в суждениях субъектов или предметом служат сами субъекты?

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

Если истинное понимается в семантическом смысле, то оно эквивалентно адекватному.

комментировать

 •  цитировать



mp_gratchev, 8 февраля, 2011 - 00:39. ссылка

Изображение пользователя mp_gratchev.

        Классификация оценок

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

— Почему Вы отделяете от суждения оценку и императив? «это яблоко вкусное» равносильно «некто считает это яблоко вкусным»
[...] Но что это за предмет? Является ли этим предметом некая объективность, отображающаяся в суждениях субъектов или предметом служат сами субъекты?

В качестве предмета возьму "оценку". Какие оценки можно выделить в самостоятельные группы? Оценки допустимо разбить на пять групп. Пяти разделам философского знания можно сопоставить следующие виды оценок:

     1. онтооценка (группа онтологии);

     2. гносеооценка (группа гносеологии);
     3. ценностная оценка (группа аксиологии);
     4. прагмаоценка (группа праксеологии);
     5. логическая оценка (группа логики).

На слуху научного анализа чаще всего звучат оценки 'истинно' и 'ложно'. Но можно говорить ещё о гносеологической оценке, которая характеризует степень адекватности познания.

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

     - река  б ы с т р а я;

     - вода  х о л о д н а я;
     - яблоко  в к у с н о е;
     - идея  н е у д а ч н а я.

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

--
М.Грачёв

 •  комментировать
 •  цитировать



Сергей Борчиков, 7 февраля, 2011 - 17:56. ссылка

Изображение пользователя Сергей Борчиков.

М.Грачеву

То есть правильно употреблять слова 'диалектическая логика', не провоцируя формальных логиков на сарказмы по её поводу.

Как-то меньше всего заботит сарказм формальных логиков по поводу ДЛ. Больше того, у меня самого сарказм по отношению к тому варианту формальной логики, который проповедуют т.н. формальные логики, не меньший, чем у них.
Вообще, честно говоря, лично меня меньше всего интересует, как правильно употреблять термины "логика" или "ДЛ", меня больше интересует сама логика.

Но если саму РДЛ Вы в своих работах и сообщениях демонстрируете, что вполне удовлетворяет, то разумную ДЛ, напротив, оставляете вне Вашего внимания, отсылая к Гегелю. Сами об этом и сообщаете:

Логика разума прекрасно изложена в спекулятивной философии Гегеля, к чему я и присоединяюсь. А вот элементарная диалектическая логика составляет пробел, на чём и сосредотачиваюсь.

Еще раз повторяю, претензий к Вашим занятиям ЭДЛ нет никаких, напротив, только уважение к научному труду. Претензия есть к Вашим НЕ-занятиям разумной ДЛ. Если бы Вы жили параллельно с Гегелем, вопросов бы не было. Но со времен Гегеля прошло почти 200 лет. За это время философская наука, в том числе и в осмыслении ‘высшей’ ДЛ, шагнула вперед. И многие гегелевские идеи превратились в расхожие штампы, некритическое употребление которых наносит урон (нет, не терминологии, а) культивированию самого диалектически-разумного стиля мышления.

комментировать
 •  цитировать



mp_gratchev, 7 февраля, 2011 - 19:07. ссылка

Изображение пользователя mp_gratchev.


"Но со времен Гегеля прошло почти 200 лет. За это время философская наука, в том числе и в осмыслении ‘высшей’ ДЛ, шагнула вперед".

Хороший бросок шайбы на вратарскую площадку. Только не вижу голевого результата её добивания. Превращение идей Гегеля в "расхожие штампы" не есть такой гол.

--

М.Грачёв