Факультет философии и политологии. И.Б. Микуртумов, д.ф.н., доцент кафедры логики факультета философии и политологии СПбГУ. Монография: «Теория смысла и интенсиональная логика», изд-во СПбГУ, 2006-351с. АННОТАЦИЯ МОНОГРАФИИ ТЕОРИЯ СМЫСЛА И ИНТЕНСИОНАЛЬНАЯ ЛОГИКА Издательство СПбГУ, Санкт-Петербург, 2006 Формулировки проблем: 1. Интенсиональные сущности с необходимостью используются в логико-семантическом анализе выражений языка, но их онтологический статус, в частности, статус интенсиональной иерархии, возникающей как следствие принципа бикомпонентности, не ясны. 2. В логике до сих пор не было создано теории смысла, способной дать понимание смысла как сущности, описать и объяснить связь смысла и денотата, объяснить феномен несуществующих объектов, объяснить природу парадоксов. 3. Имея формальные методы предотвращения парадоксов, мы не имеем внятной семантики для ограничительных формализмов. 4. Мы не знаем, какие логические и семантические характеристики смысла как знания существенны для оценки семантики и прагматики коммуникации, а также для получения значимых для коммуникации характеристик её субъектов. Цель работы: Построение содержательно обоснованной и достаточно широкой по своим следствиям логической теории смысла. Методологические основания: 1. Инструментами построения логической теории смысла являются системы общей интенсиональной логики. 2. Смысл представлен как способ установления денотата. 3. Адекватный анализ смысла невозможен без рассмотрения роли носителя смысла – эпистемически активного субъекта. 4. Принцип композициональности играет центральную роль при локализации парадоксов и анализе интенсиональной иерархии. 5. Логическая модель смысла должна быть моделью комплекса способностей субъекта, которые реализуются им в процессе познания и коммуникации. Основные результаты: 1. Построена система А0СR логики отношения «быть концептом», обадающая следующими свойствами: – Интенсиональная иерархия имеет технический характер, и её построение играет роль порождающей процедуры для сущностей, востребованных интерпретацией конкретного выражения. – -операции получают семантику, построенную путем выделения служебных логикосемантических единиц языка, с помощью которых осуществляются допустимые в отношении сохранения смысла выражения переформулировки. – Смысл трактуется как семантическая программа установления денотата. – Язык А0СR предполагает ветвление интенсиональных типов по уровням вложенности, которые интерпретируются как оценка степени вовлеченности в выполнение семантической программы (процедуры) иных семантических программ. – Смысл выражения в А0СR имеет «конструктивный» характер, поскольку строится для каждого выражения в соответствии с процедурой построения композициональной концептуализации. Тем самым учитывается логический контекст выражения, а его внеконтекстный смысл оказывается полиморфным. – В А0СR неинтенсиональные выражения, имеющие некомпозициональный, в том числе парадоксальный смысл, не могут быть построены, но сами такие смыслы фигурируют как нерепрезентированные концепты. Это дает возможность моделировать семантические парадоксы. 2. Построена система А0СRЕ логики эпистемических установок субъектов с различными уровнями логико-семантической компетентности. Эта система обладает следующими характеристиками: – Раскрыта эпистемическую динамику субъекта в связи с его способностью оценивать концепты как истинные, ложные или нерепрезентированные. Такая способность субъекта не сводима к логическим механизмам А0СR и оставляет на долю интуиции субъекта решение вопроса о парадоксальности концептов. Способность выносить оценку парадоксальному концепту реализуется семантическим оракулом. – В А0СRЕ могут быть разрешены парадоксы анализа и отношения именования, а именно, А0СRЕ позволяет осуществлять вменение субъектам ослабленной эпистемической установки «будет ответственно согласен» вместо установок «знать» или «полагать». – Получена интерпретация эпистемических установок А0СRЕ в гибридной семантике, совмещающей черты окрестностной и реляционной, а также учитывающей эпистемическую динамику. – Дан ответ на вопрос о прагматике утверждений парадоксальных концептов. Они получают квалификацию на основании логико-семантических критериев. Для этого используются семантика прагматического предиката «утверждать» и поле прагматических гипотез, которые могут быть выражены логическими средствами и представляют собой набор оценок утверждений субъекта, начиная с «добросовестного утверждения» и заканчивая различными видами «провокативных» утверждений. Выбор таких оценок зависит от компетентности субъекта утверждения, его актуальных эпистемических установок и статуса утверждаемого им концепта. 3. Для логик А0СR и А0СRЕ построены непротиворечивые системы аксиом, отражающие наиболее важные взаимосвязи интенсиональных сущеностей, эпистемических операторов и прагматических предикатов.