Введение к работе
Предмет исследования и его актуальность. Диссерта^ія .посвящена весьма важной для современной методологии науки теме - отысканию точек соприкосновения мекду современной символической логикой и социологи-"ей. Эта тема обширна. С одной стороны, символическая логика конца 20 в. представляет собой богатый набор различных исчислений, методов и направлений, С другой - бурное развитие социологии и сотрите*- science ставит перед методологами все новые теоретические и практические проблемы.
Очевидно, что охватить все возможности применения логики в социологии, учесть все разнообразные ответвления современной логики в одной работе просто невозможно, поэтому тема настоящего исследования существенно ограничена, с одной стороны, до анализа релевантной логики /преимущественно семантического/, а с другой - до двух социологических проблем: истинности социального знания и вопроса о представлении социальной информации машинными средствами.
Основная стратегия диссертационного исследования была следующей: проанализировав основные семантические подходы к релевантной логике, остановиться на семантическом подходе, наиболее адекватном целям социального познания, усовершенствовать его по возможности и , наконец, продемонстрировать его полезность для социологических исследований. В силу специфики семантик релевантной логики, акцент был сделан на реляционных семантиках /семантиках Крипке/,. построенных по Американскому плану. Эти и аналогичные им семантики в последнее время нашли широкое применение в различных областях логики и в computer science , поэтому, дальнейшее их совершенствование может найти применение не толь-
-і -
ко б данном исследовании, но и в широком контексте современной: логической семантики,
В отечественной литературе есть целый ряд работ /см., например, книгу Г.С.Батыгина "Обоснование научного вывода в прикладной социологии"/, авторы которых, будучи социологами по специальности так или иначе пытаются решать логические проблемы своей науки. Обращение социологов к логике свидетельствует о том, что эти проблемы являются объективным порождением развития научного знания, и прогресс социологии во многом зависит от их успешного разрешения. Однако автору практически не известны работы логиков, выполненные на современном техническом уровне и посвященные социологической проблематике.
В некотором смысле настоящая диссертация представляет собой попытку применения аппарата современной логической семантики в социальном познании.
Целью работы является семантическое исследование релевантной логики на предмет отыскания возмокностей применения ее в социологии.
В соответствии с поставленной целью в диссертации решаются следующие задачи:
- Установить особенности, преимущества и недостатки имеющих
ся алгебраических и теоретико-множественных семантик основных
систем релевантной логики.
~ Дать содержательную интерпретацию основных семантических понятий, выявить специфику понятий истины и лжи в реляционных семантиках релевантной логики,
Выявить специфику отрицания в релевантной логике.
Построить адекватную семантику системы R , максимально приближенную к Американскому плану.
- 5 _
На основе системы R построить систему релевантной логики, нормализующую как "классическое", гак и "релевантное" отрицание,, снабдив ее адекватной семантикой.
Выявить специфику понятия истинности в социологии.и установить его связь с понятием максимально-непротиворечивого 'множества, применяемым в релевантной логике.
Проанализировать возможности использования релевантной логики в представлении социальной информации машинны ми средствами,, установить взаимоотношения между различными системами релевантной логики и немонотонными логиками.
На защиту вы носятся следующие научные результаты, полученные в диссертации:
Предложен наиболее полный в современной отечественной литературе обзор семантик релевантной логики.
Дана содержательная /геометрическая и каузальная/ интер-претация основных понятий реляционной семантики релевантной логики.
Установлена специфика понятия ложности в семантиках релевантной логики и связь отрицания со способом задания ложности.
Осуществлена реконструкция определений истины и лжи, предложенных Аристотелем, в терминах семантик возможных миров.
Построена адекватная реляционная семантика системы
с одним тернарным отношением достижимости, максимально приближенная к Американскому плану.
На базе системы R ' построена модальная система R Построена адекватная семантика этой системы. Установлена взаимосвязь между понятиями максимально-не - противоречивого множества в релевантной логике и истинности социального знания на основе когерентной теории истинности. Обобщена содержательная интерпретация релевантной логи-ги в терминах телеологического объяснения и мысленного эксперимента . Указаны некоторые подходы к построению релевантных немонотонных логик для представления социальной информации. Предложен выборочный реферативный обзор последней литературы по computer science , релевантной логике и немонотонным рассуждениям. Практическая значимость работы заключается в том,, что полученные результаты могут быть использованы как в теоретических исследованиях специалистами по релевантной логике, так и для решения конкретных проблем социологического исследования, в частности, проблемы представления социальной информации машинными средствами. Помимо этого, некоторые результаты, представленные в диссертации, могут быта включены в спецкурсы по релевантной логике. Апробация работы. Основные идеи диссертации излагались на аспирантском семинаре кафедры логики, на X Всесоюзной конференции по логике, методологии и философии науки /ІІинск,. 1990 т./. Большинство теоретических проблем, рассматриваемых в диссертации, обсуждалось на заседаниях проблемной группы по релевантной логике проф. Е.К.Войшвилло при кафедре логики МГУ,, и логической группы университета Индиана, США. По теме диссертации опубликованы две печатные работы.Похожие диссертации на Релевантная логика и социология: семантические проблемы
