Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ
между средствами выражения и различения данной системы смыслов и возможностью доказательства в ее рамках различных классов утверждений. Именно таково содержание наиболее известных теорем математики (например, первой и второй теорем Геделя, теоремы Тарского и т.п.). При этом необходимо проводить различие между формальным и концептуальным выводами. Формальный вывод – это подстановка, а концептуальный вывод – это трансформация концептуальной или семантической структуры утверждения по определенным правилам, принадлежащим концептуальной, а не формальной логике.
Путем, ведущим к концептуальной логике, является построение семиотических моделей. Семиотические модели – это структурные представления о том, как связаны и взаимодействуют друг с другом такие сущности, как знак, объект и смысл; суждение об оценке; текст и метатекст и т.п. Еще раз подчеркнем, мысленное оперирование семиотическими структурами, так же как и вообще оперирование понятийными, концептуальными структурами, подчиняется законам и правилам, имеющим мало общего с законами и правилами преобразования в формальных системах.
Таким образом, в соответствии с основным семиотическим различением «знак–смысл–объект» представляется целесообразным различать также логику формальных знаковых преобразований, концептуальную логику и логику оперирования конкретным образами объектов. В естественно-языковом рассуждении эти три логики совместно, хотя и не на равных правах, управляют потоком умозаключений. В каждом конкретном случае соответствующие слои мышления могут быть нагружены и эксплицированы в большей или меньшей степени. Однако попытки для сколько-нибудь широкого класса рассуждений обойтись лишь одним из этих семиотически различимых средств представляются несостоятельными и неизбежно ведут к парадоксальным и неинтерпретируемым, т.е. бессмысленным результатам.
Виндельбандт В. Прелюдии. – СПб.: Издание Д.Е. Жуковскаго, 1904. – 374 с.
Гейтинг А. Интуиционизм. – М.: Мир, 1965. – 200 с.
Гильберт Д., Аккерман В. Основы теоретической логики. – М.: Гос. изд-во иностранной литературы, 1947. – 306 с.
Дорфман Я.Г., Сергеев В.М. Морфогенез и скрытая смысловая структура текстов // Вопросы кибернетики. Логика рассуждений и ее моделирование / Под ред. Поспелова Д.А. – М: ВИНИТИ, 1983. – C. 137–147.
Дьячков М.В., Леонтьев А.А., Торсуева Е.И. Язык Ток-Писин. – М.: Наука, 1981. – 72 с.
Инголс Д.Г.Х. Введение в индийскую логику навья-ньяя. – М.: Наука, 1975. – 238 с.
Крипке С.А. Семантический анализ модальной логики // Фейс Р. Модальная логика. – М.: Наука, 1974. – 520 с.
Лекомцева М.И., Успенский Б.А. Описание одной семиотической системы с простым синтаксисом // Ученые записки Тартусского гос. ун-та. – 1965. – Вып. 181: Труды по знаковым системам: Вып. 2. – С. 94–106.
Ли Ч.Н., Томпсон С.А. Подлежащее и топик: новая типология языков // Новое в зарубежной