Факультет философии и политологии. СПбГУ. Монография:

Факультет философии и политологии.
И.Б. Микуртумов, д.ф.н., доцент кафедры логики факультета философии и политологии
СПбГУ.
Монография:
«Теория смысла и интенсиональная логика», изд-во СПбГУ, 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Е построены непротиворечивые системы аксиом,
отражающие
наиболее
важные
взаимосвязи
интенсиональных
сущеностей,
эпистемических операторов и прагматических предикатов.