автореферат диссертации по философии, специальность ВАК РФ 09.00.07
диссертация на тему: Реконструкция логических систем Н. А. Васильева средствами современной логики

Текст диссертации на тему "Реконструкция логических систем Н. А. Васильева средствами современной логики"

г

ковскии государственный университет

_им. м. в. ломоносова_

философский факультет кафедра логики

Костюк Тамара Петровна

* реконструкция логических систем

н.а. васильева средствами современной логики

(Специальность 09.00.07 - Логика)

Диссертация на соискание ученой степени кандидата философских наук

Научный руководитель: доктор философских наук, доцент Маркин В.И.

Москва, 1999

Содержание

Введение.

Глава 1. Реконструкция ассерторической силлогистики Н.А.Васильева.

1. Ассерторическая силлогистика Васильева и первые попытки ее реконструкции.

1.1. Теория суждений Васильева.

1.2. Позитивная силлогистика Васильева.

1.2.1. Отношения между суждениями.

1.2.2. Учение об обращении. Законы тождества. Модусы силлогизма.

1.3. Реконструкция силлогистики Васильева. Система C2V.

2. Силлогистики васильевского типа.

2.1. Системы силлогистики.

2.2. Фундаментальная васильевского типа.

2.3. Больцановская силлогистика васильевского

типа.

2.4. Система С4 васильевского типа.

3. Адекватность реконструкции логики Н.А.Васильева. Глава 2. Реконструкция воображаемой логики H.A. Васильева.

1. Природа отрицания у Васильева и критика закона противоречия.

2. Воображаемая логика Н.А.Васильева.

2.1. Система воображаемой логики.

2.2. «Интерпретации» воображаемой логики.

с.4-13 с.14-55

с. 14-23

с.14-17 с.17-21 с.17-19 с.19-21

ассерторической с.22-23

с.23-50 с.23-28

силлогистика с.2 8-33

с.34-43

с.44-50 с.50-55 с.56-107

с.56-62

с.62-72 с.62-69 с.70-72

3. Реконструкции воображаемой логики Васильева. с.72-82

3.1. Реконструкция воображаемой логики на базе с.73-76 топологической интерпретации высказываний.

3.2. Не основные варианты воображаемой с.77-82

логики.

4. Реконструкция основного варианта воображаемой с.82-107 логики Васильева.

Глава 3. Реконструкция n-мерной логики Н.А.Васильева. с.108-121 1Г Логика п измерений H.A. Васильева и реконструкция с. 108-111 В.А. Смирнова.

2. Реконструкция n-мерной логики. с. 111 -121

Заключение. с. 122-125

Литература. с.126-128

Введение

Актуальность работы. Оценивая вклад Н.А.Васильева в логику, современные исследователи неизменно отводят ему место предтечи нескольких направлений неклассических логик. Н. Решер, Л. Хвистек и А.И. Мальцев считали его предшественником многозначной логики, А. Арруда и В.А. Смирнов полагали, что развиваемая в его работах идея о возможности построения корректной теории рассуждений, относящейся к противоречивой онтологии, оказалась во многом созвучной с исходными содержательными установками паранепротиворечивой логики. В связи с этим представляет несомненный интерес подробное изучение оригинальных работ Васильева и оценка их с учетом как современного автору научного контекста, так и новейших перспектив и направлений развития логики и математики.

Начиная с конца 50-х гг. интерес к логическому наследию Н.А.Васильева неизменно возрастал. В 1962 г. появилась статья В.А. Смирнова, содержащая изложение основных идей Васильева. После опубликования Д.Д. Коми реферата этой статьи в 1965 г. в «Журнале символической логики», появился интерес к работам Васильева со стороны зарубежных исследователей, в частности, бразильский логик А.Арруда осуществила перевод основных работ Васильева на португальский язык, дала систематическое их изложение на английском языке, совместно с В.А Смирновым провела работу по подготовке издания трудов Васильева на английском языке. В 50-70гг. работы Васильева с разных позиций изучались А.И. Мальцевым, П.В. Копниным, В.А. Смирновым, затем -В.В. Аносовой, В.А. Бажановым.

Однако, несмотря на столь пристальное внимание, работы Васильева до сих пор служили практически только источником идей,

последовательное же изучение и реконструкция собственных систем Васильева, за исключением некоторых работ В.А. Смирнова, пока осуществлено не было. Формальная реконструкция систем Васильева необходимо сталкивается с целым рядом трудностей, связанных, например, с тем, что построения Васильева не полны, и зачастую в его работах уделяется больше внимания обоснованию правомерности его рассуждений, чем рассмотрению собственно системы. Это объясняется как полемическим характером его работ, так и намерениями автора впоследствии опубликовать фундаментальный ~ труд, содержащий подробные выкладки доказательств. Однако, к сожалению, в настоящее время в нашем распоряжении имеется не слишком обильный материал, в котором многие важные вопросы опущены или обойдены молчанием.

Все перечисленные обстоятельства делают актуальным анализ текстов самого Васильева и реконструкцию его теории с использованием средств современной логики. Формальная реконструкция логики H.A. Васильева позволит 1) выявить семантические и дедуктивные особенности построенных им систем и 2) получить точные данные, которые позволили бы в дальнейшем определить место, занимаемое системами Васильева среди неклассических - многозначных и паранепротиворечивых - логик..

Новаторские взгляды Васильева можно разделить на несколько групп, генетически друг с другом связанных, однако представляющих собой независимые комплексы идей. Укажем некоторые из них: 1) критика традиционной (аристотелевской) силлогистики и разделение высказываний на фактические суждения и суждения о понятиях; 2) построение логики с суждениями о понятии; 3) выделение в логике базисного уровня - металогики - и уровня эмпирических законов; 4) анализ природы отрицания; 5) доказательство эмпиричности закона

противоречия и возможности построения логики без него -воображаемой логики; 6) построение п-мерных логик - логик с п качественными различиями суждений.

В рамках данной работы мы рассмотрим подробно 2), 5) и 6) пункты, остальные вопросы будут затрагиваться лишь по мере необходимости.

Критика Васильевым традиционной силлогистики основывается на исследовании правомерности понимания частных суждений как «Некоторые, а может быть, и все Б есть (не есть) Р». Васильев считает, что такое их употребление является необоснованным, и в логике частные высказывания следует трактовать как «Только некоторые (не все) 8 есть (не есть) Р». При таком понимании частноутвердительное и частноотрицательное высказывание являются как бы двумя составляющими одного, т.н. акцидентального высказывания: «Некоторые Б есть Р, а все остальные - не есть Р». Васильев строит силлогистику с тремя основными типами высказываний, рассматривает законы этой системы и имеющиеся в ней модусы силлогизма.

Впервые реконструкция идей Васильева методами современной логики была осуществлена В. А. Смирновым, который переформулировал систему С2 в языке, содержащем три типа высказываний, и построил исчисление васильевского типа С2У. Однако остается неясным, насколько это исчисление является адекватным силлогистике самого Васильева, и не будут ли другие системы, построенные исходя из других семантических условий, более соответствовать его подходу.

Следующий рассматриваемый нами комплекс идей основывается на выделении в логике двух уровней - базового уровня металогики, содержащего законы, составляющие минимум логического, законы

суждения и вывода вообще, и уровень эмпирических законов, отражающих свойства реальности. Эмпирический характер имеет и закон противоречия; вследствие этого можно представить себе некоторый мир, в котором любой предмет может одновременно обладать и не обладать некоторым свойством. В логике такого мира суждения по качеству будут делиться не на два, как в аристотелевой логике, а на три типа - утвердительные, отрицательные и т.н. индифферентные. Васильев строит соответствующую систему и называет ее воображаемой логикой. Далее он обобщает понятие воображаемой логики и рассматривает логику с п качествами суждений (которые Васильев называет измерениями), или п-мерную логику.

Этот комплекс идей был очень обстоятельно изучен В.А. Смирновым, который и предложил первую формальную реконструкцию воображаемой и п-мерной логики.

Реконструкцию воображаемой логики В. А. Смирнов осуществляет на основании семантики с топологической интерпретацией высказываний. Исчисление формулируется в терминах общих и частных высказываний и содержит 22 схемы аксиом.

Однако эта реконструкция не вполне адекватна собственно васильевским текстам. Так, систему Смирнова можно назвать чистой позитивной силлогистикой, при этом некоторые высказывания понимаются им как содержащие внутреннюю модальность. В собственной же системе Васильева значительная роль отводится сингулярным высказываниям, и высказывания различных типов в основном варианте воображаемой логики рассматриваются как ассерторические. Кроме того, система Смирнова весьма громоздка, вопрос об адекватности ее предложенной семантике требует разрешения. Все это позволяет нам считать данную систему лишь

некоторым подготовительным этапом для более тщательного изучения и реконструкции воображаемой логики Васильева, работы, которая, к сожалению, не была завершена.

Реконструкция В.А. Смирнова для n-мерной логики отличается большей, по сравнению с воображаемой логикой, стройностью, однако для этой системы не приводится никакой семантики. Поэтому, учитывая, что и в данном случае можно отметить некоторые несоответствия указаниям самого Васильева (например, относительно языка), и для n-мерной логики работу по реконструкции системы Васильева нельзя считать завершенной.

Цели и задачи исследования. Основная цель работы -осуществление реконструкции основных логических систем H.A. Васильева - ассерторической силлогистики, воображаемой логики и п-мерной логики - синтаксическими и семантическими средствами современной логики.

Для достижения поставленной цели в работе решаются следующие задачи:

1. произвести подробный анализ статьи H.A. Васильева «О частных суждениях, о треугольнике противоположностей, о законе исключенного четвертого», являющейся основным изложением его ассерторической силлогистики, привлекая по мере необходимости более широкий круг работ, выявляя эксплицитно и имплицитно содержащуюся в ней информацию относительно системы H.A. Васильева и рассмотреть систему васильевского типа C2V В.А. Смирнова;

2. перестроить основные силлогистические системы (фундаментальную, больцановскую и традиционную силлогистику) в

силлогистики васильевского типа, т.е. переформулировать их в языке с тремя основными типами суждений;

3. выявить, какая из систем васильевского типа (полученные три системы и система C2V) является адекватной формализацией ассерторической силлогистики H.A. Васильева;

4. произвести подробный анализ статей H.A. Васильева «Воображаемая (неаристотелева) логика» и «Логика и металогика» (и по мере необходимости, другие его работы), и дать изложение основного варианта его воображаемой логики и рассмотреть реконструкцию воображаемой логики, предложенную В.А. Смирновым;

5. дать интуитивно ясную семантику воображаемой логики, построить исчисление, формализующее класс законов воображаемой логики и доказать его непротиворечивость и полноту относительно предложенной семантики;

6. на основании анализа статей Васильева «Воображаемая (неаристотелева) логика» и «Логика и металогика» дать изложение его n-мерной логики и проанализировать реконструкцию п-мерной логики В.А. Смирнова;

7. распространить предложенную семантику на n-мерный случай и построить исчисление, формализующее класс законов п-мерной логики и доказать его непротиворечивость и полноту относительно предложенной семантики.

Результаты исследования. В ходе исследования удалось выполнить поставленные задачи. Основными результатами, составляющими новизну диссертации, являются следующие: 1. основные силлогистические системы переформулированы в языке с тремя основными типами суждений и построены соответственно исчисления васильевского типа ФВ, БВ и С4В;

2. доказана их погружаемость в исчисление предикатов посредством указанного для каждой из них перевода высказываний основных типов на язык логики предикатов;

3. показано, что построенная нами система С4В является наиболее адекватной реконструкцией ассерторической силлогистики H.A. Васильева;

4. предложена интуитивно прозрачная семантика для воображаемой логики, основанная на идее сопоставлении каждому общему термину трех объемных характеристик;

5. построено исчисление BJI, адекватно формализующее класс законов воображаемой логики H.A. Васильева;

6. доказана непротиворечивость и полнота исчисления BJI относительно данной семантики;

7. построена система n-мерной логики с ясной семантикой, основанной на идее приписывания каждому общему термину п объемных характеристик;

8. сформулировано исчисление, BJIn, адекватно формализующее класс законов n-мерной логики и доказана его непротиворечивость и полнота относительно данной семантики.

Тезисы, выносимые на защиту. Основными положениями,

выносимыми в данной диссертации на защиту, являются следующие:

1. Системы васильевского типа ФВ, БВ и С4В, сформулированные в языке с тремя основными типами высказываний, погружаются в исчисление предикатов посредством указанных для каждой из них переводов.

2. Из четырех систем васильевского типа - ФВ, БВ, C2V и С4В -именно система С4В является адекватной реконструкцией ассерторической силлогистики H.A. Васильева.

3. В качестве семантики для воображаемой логики можно рассматривать модели с приписываниями каждому общему термину трех объемных характеристик.

4. Исчисление BJI аксиоматизирует класс законов воображаемой логики, оно непротиворечиво и полно относительно предложенной семантики.

5. Семантика для n-мерной логики основывается на моделях с п-кой объемных характеристик, сопоставляемых каждому общим термином.

6. Исчисление BJIn аксиоматизирует класс законов n-мерной логики, оно непротиворечиво и полно относительно предложенной семантики.

Теоретические и методологически основы исследования.

Теоретически и методологически наше исследование основывается на идеях, выработанных отечественной и зарубежной логической мыслью. В формальной части работы использованы уже апробированные методы доказательств погружаемости одного исчисления в другое, непротиворечивости и полноты исчисления относительно некоторой семантики, которые модифицируются применительно к нашим системам.

Теоретическое и практическое значение работы. Результаты настоящего исследования могут быть использованы при преподавании ряда спецкурсов по истории логики, силлогистике, неклассической логике. Диссертация может быть использована как точная основа при исследовании логических идей H.A. Васильева в более широком логико-философском контексте.

Апробация. Результаты исследований по теме диссертации

докладывались и обсуждались на Смирновских чтениях (Москва, 1997г.), на I Российском философском конгрессе (Санкт-Петербург, 1997г.) на V Общероссийской научной конференции (Санкт-Петербург, 1998г.)

По теме дирсертации опубликовано четыре печатных работы.

Порядок изложения. Рассмотрение указанных выше вопросов мы будем производить в следующем порядке:

Первая глава данной работы посвящена рассмотрению ассерторической силлогистики H.A. Васильева: проводится анализ текстов Васильева и приводится система В.А. Смирнова C2V, осуществляется перестройка силлогистических систем фундаментальной, больцановской и традиционной силлогистики и доказывается погружаемость полученных систем ФВ, БВ и С4В в исчисление предикатов. В завершение рассматривается вопрос об адекватности реконструкции ассерторической силлогистики Васильева.

Вторая глава посвящена воображаемой логике H.A. Васильева: приводится учение Васильева о природе отрицания и его критика закона противоречия, излагается система воображаемой логики и предложенные Васильевым ее интерпретации и приводится реконструкция воображаемой логики на базе топологических моделей В.А. Смирнова и изложение работ В.И. Маркина и Д.В. Зайцева, содержащие исследования некоторых не основных вариантов воображаемой логики. Далее мы предлагаем свою реконструкцию основного варианта воображаемой логики H.A. Васильева, формулируем семантику, строим исчисление BJI и доказываем его непротиворечивость и полноту относительно данной семантики. Мы показываем далее, что в BJI доказуемы все упоминаемые Васильевым законы воображаемой логики.

Третья глава посвящена n-мерной логике H.A. Васильева. В ней дается наш анализ текстов Васильева, приводится реконструкция В.А. Смирнова инаша реконструкция n-мерной логики H.A. Васильева, формулируется ее семантика, строится исчисление BJIn и доказывается его непротиворечивость и полноту относительно данной семантики.Далее мы демонстрируем, что в ВЛ„ доказуемы аналоги всех законов воображаемой логики для n-мерного случая.

Глава 1. Реконструкция ассерторической силлогистики

Н.А.Васильева.

§1. Ассерторическая силлогист�