К проблеме описания смысловых структур и смыс­ловой деятельности в формальной математике и логике

Аннотация

В тексте рассматривается невозможность отвлечения от смысла формальных по­строений в логико-математических исследованиях. Правомочность применения «формальной методологии» допускается только в рамках принятия некоторой си­стемы условных обозначений и конвенций. Задаваемый такими договоренностями контекст автор называет формальным. Соотнесение построений и результатов, полученных формальными методами в рамках нескольких таких контекстов, невоз­можно без учета различных смысловых аспектов соотносимых формальных кон­струкций. Такие соотнесения автор называет интерконтекстуальными. В тексте раз­бирается два примера интерконтекстуальных сравнений, демонстрирующих необ­ходимость обращения к разным смысловым компонентам сравниваемых формальных конструкций. В контексте этих выводов автор ставит вопрос о структуре и проис­хождении смысла используемых в формальных построениях «символов» и создава­емых из них «последовательностей символов». Автор видит три основных источ­ника смысловой нагрузки, несомой формальными конструкциями. Во-первых, это различные сферы семиотического узуса: в первую очередь, общекультурные и об­щепрофессиональные семиотические навыки «интерпретатора». Во-вторых, это смысл, придаваемый формальным построениям словесными комментариями, опи­саниями процесса построения и связанными с этим знаниями «интерпретатора». В-третьих, это смыслы, задаваемые самими формальными построениями: на стадии определения формального языка и на стадии построения формальной дедуктивной или семантической системы. Автор также рассматривает ошибочность предположе­ния о существовании некоторой универсальной «глобальной интуиции», связывае­мой с самой возможностью формальной методологии.