Коллектив авторов - Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4 - Поверх методологических границ

Название этой организации можно перевести примерно как «Региональная картотека по изучению отношений между людьми».

В русскоязычной литературе сегодня отсутствует устоявшаяся традиция передачи на письме имени Хейуарда (Хейварда) Алкера (Олкера). Редакция ежегодника «МЕТОД», после консультаций с англоязычным коллегами, в том числе знавшими Х. Алкера лично, решила отдать предпочтение варианту «Хейуард Алкер» как наиболее соответствующему реальному звучанию имени ученого в американском варианте английского языка. Здесь и далее в настоящем издании, за исключением перепечатываемых материалов, используется именно такой вариант написания.

См. также дискуссию [Математика и семиотика…]

Одним из ярких примеров такого подхода к логике является различение Г. Фреге и Б. Расселом трех смыслов (бытие, тождество и предикация) естественно-языковой связки «есть» [Хинтикка, 1980]. Б. Рассел даже счел, что это «первый серьезный успех в реальной логике со времен греков» [Russell, 1914, p. 50].

Д. Гильберт и В. Аккерман начинают свою известную книгу [Гильберт, Аккерман, 1947] следующей фразой: «Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики».

См. получившую очень большой резонанс и в определенном смысле подводящую итоги исследованиям в области формальных систем и искусственного интеллекта книгу А. Хофштаттера [Hofstadter, 1979].

Так, например, логическая система «навья-ньяя» основана на исследовании отношения «проникновения» [Инголс, 1975].

О фундаментальной роли понятий «знание» и «представление знания» в когнитивных науках см.: [Bobrow, Collis, 1975].

Ср. например, «неподвижное бытие» Парменида, «диалектику пустоты» Нагарджуны, «Эйдосы» Платона.

Весьма вероятно, что сколько-нибудь общая формальная система такого рода мало чем отличалась бы от естественного языка.

При таком доказательстве теорема Тарского остановится теоремой о связи двух семантических неразличений в формальной системе: неразличение текста и метатекста и неразличение оценки «истина – ложь».