Онто-гносеологические основания логического анализа динамических контекстов тема диссертации и автореферата по ВАК РФ 09.00.08, кандидат философских наук Кислов, Алексей Геннадьевич

  • Кислов, Алексей Геннадьевич
  • кандидат философских науккандидат философских наук
  • 2000, Екатеринбург
  • Специальность ВАК РФ09.00.08
  • Количество страниц 125
Кислов, Алексей Геннадьевич. Онто-гносеологические основания логического анализа динамических контекстов: дис. кандидат философских наук: 09.00.08 - Философия науки и техники. Екатеринбург. 2000. 125 с.

Оглавление диссертации кандидат философских наук Кислов, Алексей Геннадьевич

Введение .стр. 3

Глава 1. Логика в системе наук коммуникативного характера.стр. 15

1.1. Логический анализ как дискурсивная практика.стр. 23

1.2. Логико-аргументационная экспертиза.стр. 34

Глава 2. Онто-гносеологические основания логического анализа статических контекстов.стр. 51

2.1. Онтологические предпосылки систем ассерторической логики.стр. 56

2.2. Гносеологические предпосылки систем ассерторической логики.стр. 68

2.3. Идея комбинированных логик.стр. 75

Глава 3. Логика и динамика.стр. 82

3.1. Динамическая логика как модальная логика.стр. 86

3.2. Динамическая логика как комбинированная логика.стр. 94

Рекомендованный список диссертаций по специальности «Философия науки и техники», 09.00.08 шифр ВАК

Введение диссертации (часть автореферата) на тему «Онто-гносеологические основания логического анализа динамических контекстов»

Распространение логического анализа на динамические контексты -теоретическая необходимость, с которой так или иначе были связаны многие известные проекты философских реформ логической науки - прежде всего, трансцендентальная логика Канта и диалектическая логика Гегеля. Эта необходимость и в наши дни, поднимая вопрос о целостности системы логического знания, подвергает серьёзному испытанию философию логики . Данная область философии науки служит пространством нашего исследования.

Актуальность темы, прежде всего, обусловливается ролью логического знания в современной жизни. Концептуально связывая мыслительную и знаковую (языковую) практики, логика оказывает влияние на все интеллектуальные сферы человеческой деятельности: науку, технику, искусство, право, политику, экономику и др. Поэтому исследование закономерностей формирования, функционирования и развития этой области знания приобретает, наряду с теоретической, ещё и социально-практическую значимость. Потребность в исследовании своеобразного бытия и самопознания логики определяется также внутринаучными процессами дифференциации и интеграции, роста альтернатив и новых направлений. Одним из аспектов такой

1 Термин «философия логики» з>потребляют для обозначения широкого спектра исследований, содержащих философское осмысление феномена логического знания. См. напр.: Хингикка Я. Логика в философии - философия логики // Хинтикка Я. Логико-эптстемологические исследования. М. 1980. С. 35 - 67; Брюшинкин В.Н. Логика, мышление, информация. -Ленинград, 1988. С. 6 - 12. научной саморефлексии, т.е. философии логики является выяснение роли и характера предпосылок различных логических систем, обосновывающих тип логического анализа. Построение конкретных формально-логических систем -существенная и относительно независимая задача. Однако лишь те формальные системы, для которых имеется соответствующая семантическая интерпретация, получают статус собственно логических систем, пригодных для логического анализа. Отсюда следует разделение проблем обоснования логического знания на две группы:

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

- философские, т.е. принятие того или иного типа логики как системы рассуждений.

В сущности, последнее - это новый образ философской проблемы обоснования логических форм и законов в ситуации деуниверсализации классической логики. Современный взгляд обнаруживает, что развитие и функционирование логики во многом задано взаимоотношениями двух её структурных уровней - онтологического (связанного с объектами рассмотрения, например, мирами, событиями и др.) и гносеологического (связанного с понятиями истинности, ложности, логического следования, суждения, отрицания и др.). Основополагающую роль они играют при подборе допущений, приемлемых для логического анализа контекстов различной природы, что требует исследований как философско-методологического характера, так и конкретно-научного. Без таких исследований не может быть эффективным ни проектирование практически ориентированных систем логики, ни выявление оптимальных форм связи логического знания с определёнными областями его приложения (например, форм различного рода логических экспертиз: правовых1, медицинских2 и др.).

Прикладной вектор нашего исследования ограничен рамками научного интереса к логическим средствам выражения и анализа динамических контекстов, что также имеет теоретическую, и практическую значимость. Процессуальный характер мира занимал мыслителей всех времён: от Гераклита до современных постмодернистских «штудий». Динамические контексты математики, информатики, физики, биологии, психологии, социологии, истории, экономики, юриспруденции, лингвистики и других сфер знания являются объектами активного философского внимания и создают потребность в обогащении методологии науки соответствующим концептуальным аппаратом. В современной логике наблюдаются две тенденции: «от статики к динамике» и «от естественных наук к гз'манитарным». Причём взаимосвязь их обеспечивается тем, что интерес к динамике, кроме прочего, спровоцирован логическим анализом действий (актов). Эта исследовательская область, слабо разработанная, но перспективная для самых разнообразных направлений своего

Лобовиков ВО. Научная экспертиза логической формы доказательств в судопроизводстве или логическая подготовка юристов? (Некоторые соображения о существующих русской и американской системах судопроизводства и юридического образования). Екатеринбург, 1996. № 1(1): С. 113-122: Кислов А.Г. К обоснованию логико-правовой экспертизы // Экономическая, правовая и духовная культура России на рубеже тысячелетий: Науч. — практ. конф., Тез. докл., В 3 т. Екатеринбург. 1999. Т. 1: Правовая и политическая культура российского общества. С. 1 83 — 186. Логика и клиническая диагностика. Теоретические основы / В.А. Смирнов. A.M. Анисов. А С. Мелентьев и др.). IVL 1994. приложения как, например, социально-экономические технологии или робототехника, на наш взгляд, обречена быть актуальной (действенной), т.к. в силу своей специфики аккумулирует все разделы современных логических изысканий: логику норм и оценок, неклассические логики, автоматический поиск доказательств и др.

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

1 Лобовиков В О. Формальная философия // Современный философский словарь. Лондон. Франкфурт-на-Майне, Париж, Люксембург, Москва, Минск, 1998. С. 978; Лобовиков В.О. Формальная философия вообще и формальная онтология в частности // Эпистемы: Материалы межвузовского семинара: Альманах. Екатеринбург. 1998. С. 11-21.

2 Лекции лауреатов премии Тьюринга. М., 1993.

Строгие формально-логические исследования мышления, значимыми образцами которых служат труды Г. Фреге, Б. Рассела и J1. Витгенштейна, содержат основные принципы понимаемой в широком смысле аналитической философии и выступают в качестве основных теоретических источников развиваемой темы диссертации. В этой связи привлекаются ставшие уже логико-философской классикой работы А. Айера, Г.Х. фон Вригта, К. Гёделя, Н. Гудмена, Р. Карнапа, С.А. Крипке, У. ван О. Куайна, С. Лесьневского, Я. Лукасевича, К.И. Льюиса, Дж. Л. Остина, А.Тарского, А.Н. Уайтхеда, Я. Хинтикки, А. Чёрча и др. Указанных исследователей объединяет их роль в формировании и дальнейшем развитии того подхода к проблемам современного логического знания, который называют «философией логики», т.е. философской концепцией, отражающей общие представления о природе логической формы и логического следования.

Неоднородность и широта проблематики, конструктивный пересмотр теоретических позиций, принципиальная открытость и интерес к другим философским направлениям характерны для современной аналитической философии. Связанные с понятием дискурса как коммуникативного события, наметившиеся уже в работах известных философов-диалогистов (М.М. Бахтин, М. Бубер, Ф. Розенцвейк, О. Розеншток-Хюсси и др.) и наиболее отчётливо проявившиеся в последние десятилетия (Э. Бенвенист, А.Ж. Греймас, Ж. Курте, Т.А. ван Дейк, В.И. Тюпа, М. Фуко, Ю. Хабермас и др.) изменения в методологии гуманитарных исследований помогают обратиться к рассмотрению коммуникативной природы логики. Возникающая на разнице граней взаимодействия внешнего и внутреннего (реальности и ментальности) множественность дискурсивных практик проявляется в логике через вариативность её структурных уровней: онтологического и гносеологического. Перспективы развития логической науки видятся в поиске обоснованности многообразия типов рассуждений глубокими философскими теориями мышления, а не в ориентации на обыденные рассуждения, хотя последние также интересны, но именно как предмет теоретического осмысления и область прикладных разработок.

Выявление философских оснований различных типов рассуждений посредством: рассмотрения онто-гносеологических предпосылок в семантике соответствующих формальных систем характеризуется как современная логико-философская проблематика, что не снимает необходимости осознания её теоретических истоков и начал. Среди таковых необходимо выделить научное наследие Н.А. Васильева («Воображаемая (неаристотелева) логика» (1912), «Логика и металогика» (1913))1 и Л. Витгенштейна («Логико-философский трактат» (1921)) .

Из исследований последнего времени укажем на работы отечественных и зарубежных авторов: А. Арруды, В.А. Бажанова, Дж. Барвайса, В.А. Бочарова, Д А. Бочвара, В.Н. Брюшинкина, Хао Вана, В.Л. Васюкова, Е.К. Войшвилло, Г.Х. фон Вригта, И.А. Герасимовой, А.Ф. Грязнова, Н. Гудмена, А.А. Зиновьева, А.А. Ивина, Ю.В. Ивлева, А.С. Карпенко, П.В. Копнина, Н. даКосгы, В.Н. Костюка, У. ван О. Куайна, Г. Кюнга, Е.Е. Ледникова,

1 Васильев Н.А. Воображаемая логика. Избранные труды. М. 1989.

Витгенштейн Л. Логико-философский трактат. М. 1958; Витгенштейн Л. Логико-философский трактат// Витгенштейн Л. Избранные работы. Часть 1. М. 1994. Витгенштейн Л. «Логико-философский трактат» с параллельным философско-семиотическим комментарием // Логос №№ 1.3.5 (1999) 1L 13, 15.

B.C. Меськова, И. Ниинилуото, С.А. Павлова, В.В. Петрова, Б.Н. Пятницына, К.Ф. Самохвалова, Е.Д. Смирновой, Г.Б. Сориной, Р. Сушко, П.В. Таванца, В.В. Целищева, Я. Хинтикки и др.

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

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

Несколько ограниченная трактовка изменения в терминах моментов времени характерна для исследований по логике врел(ени: пионерские работы А. Прайора и Г.Х. фон Вригта, а также исследования Дж. Бентема, Е.К. Войшвилло, И.А. Герасимовой, Р. Гольдблатта, А.А. Зиновьева, А.А. Ивина, А.Т. Ишмуратова, А.С. Карпенко, Г.А. Кузнецова, Л.И. Мчедлишвили, Н. Решера, К. Сегерберга, В.А. Смирнова, Ч. Хэмблина и др. При всей фундаментальности связей концепций динамики и времени, понимание изменения как темпорального отношения сводит логическое исследование к важному, но не единственному аспекту - к анализу порядка изменения.

1 Впервые эта идея встречается в работах 1987 г., см.: Смирнов В.А. Логические методы анализа научного знания. М.; 1987. С.211-221; Smirnov V.A. Assertion and Predication. Combined Calculus of Propositions and Situations //Abstracts of 8-th International Congress of Logic, Metodology and Philosophy of Science. Moscow, 1987. Vol. 1. P.333-335. См. также: Смирнов В.А. Утверждение и предикация. Комбинированные исчисления высказываний и событий // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989. С.27-35; Смирнов В.А. Комбинирование исчислений предложений и событий и логика истины фон Вригта // Исследования по неклассическим логикам. М. 1989. С. 16-29.

Стремление к более широкой трактовке механизма и логической структуры изменения оформилось в исследования по логике измененийработы Г.Х фон Вригта, Д. Габбая, Ю.Г. Гладких, А.А. Зиновьева, В.В. Попова,

A. Прайора, О.А. Солодухина, Я. Хинтикки и др. Эти исследования идейно соотносятся с известными философскими воззрениями (имеются в виду позиции Гераклита, Аристотеля, И. Канта, Г.В.Ф. Гегеля, А. Бергсона, М. Хайдеггера) на природу процессов (см., например, историко- и социально-философские взгляды на проблему в работах А.Н. Арлычева, Ж. Делёза,

B.Е. Кемерова, Т.Х. Керимова, А. Койре, А.Н. Уайтхеда, С.А. Яновской и др.) и с современным анализом изменяющихся систем (например, в работах Г.П. Быстрая, В.Н. Костюка, Д.В. Пивоварова, И. Пригожина, И. Стенгерс и др.).

Проблемы быстро развивающихся компьютерных систем привели к построению класса программных логик, которые сочетают два языка: логический и описания программ. Особо отметим создателей (В. Пратта, Р. Ладнера, М. Фишера, Д. Харела) и исследователей (Е.А. Акылбекову, М.К. Валиева, Р. Гольдблатта, А. Мейера, С. Пасси, К. Сегерберга, А.П. Столбоушкина, М.А. Тайцлина, Е. Тюрина, В.И. Шалака и др.) систем динамической логики. Её пропозициональный вариант2 используется в диссертации в качестве конкретно-научного материала и служит предметом специального рассмотрения. Динамическая логика является естественным и

1 См. литературу по логике изменений в: Солодухин О.А. Логика изменения и модальная логика. Ростов-на Дону: Изд-во Ростовского университета, 1989.

2 M.J. Fischer, R.E. Ladner. Prepositional modal logic of programms, Proc. 9th Ann. ACM Symp. on Theory of Computing, Boulder, Colorado, 1-977. P. 286-294. далеко идущим обобщением модальной логики, в котором вырабатываются специальные средства выражения и анализа изменений статических состояний динамической «программой». Модальная логика имеет богатый опыт философского анализа своего концептуального аппарата: работы С. Крипке, У. ван О. Куайна, В.Н. Костюка, Р. Монтегю, Е.Д. Смирновой, Я. Хинтикки и др. Нам известно о «модальном» подходе К. Сегерберга к обсуждению философского значения логико-динамических систем1 и намерении «опубликовать . статью, посвященную некоторым философским следствиям динамической логики»2, но ничего не известно о его реализации. Интерпретация систем динамической логики обычно рассчитана на практическое приложение в информатике: синтез и верификация программ. При этом рассматривают, говоря упрощённо, изменение состояния компьютера (или более сложного технического устройства, например, робота) во время некоторого выполнения программы. Но и самые широкие философские представления о динамике природных, социальных или личностных процессов, вызывающих изменения ситуаций, позволяют связаться с формальной «программой» динамической логики.

Относительно самостоятельную группу исследований изменений составляет формальный анализ аспектов поведения, который мы находим в работах Н. Винера, М.Г. Гаазе-Рапопорта, В.А. Лефевра, В.О. Лобовикова, Д.А. Поспелова и др., в частности, логика действий, или логика практических Segerberg К. Applying modal logic. Studia logica, 1980, vol. 39, № 2/3.

Сегерберг К. «После» и «во время» в динамической логике // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984. С.58. рассуждений, и близкие по интерпретации формальные системы: работы А. Андерсона, A.JI. Блинова, Б. Бук, Г.Х.фон Вригта, И.А. Герасимовой, А.А. Ивина, А.Т. Ишмуратова, В.И. Курбатова, К. Попа, В.В. Попова, К.Ф. Самохвалова, Г.Л. Тульчинского, Р. Хилпенена и др.

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

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

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

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

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

- показать, что без учёта онто-гносеологических оснований не только невозможна гарантия эффективного проведения логического анализа, но и возникает угроза разрушения сущности анализируемого контекста;

- конкретизировать тему пересмотра онтологических, предпосылок систем логики за счёт возможности конструирования в рамках семантического аппарата различных абстрактных объектов рассмотрения;

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

- проанализировать идею комбинированных логик как общий принцип конструирования логических систем различного типа посредством/ варьирования онто-гносеологических предпосылок;

- проанализировать динамическую логику как обобщение модальной логики;

- исследовать комбинированную структуру динамической логики и особенности онто-гносеологических предпосылок её пропозициональных модификаций.

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

Интерпретируя дескриптивные и логические термины, принимая предпосылки относительно объектов рассмотрения, определяя условия истинности высказываний, логическая семантика является объектом исследования, т.к. может выступать и в качестве чисто формального построения, и как аналитический метод, существенно опирающийся на философские концепции при обосновании логических процедур. В этой связи автор привлекает работы по философским основаниям логической семантики, принадлежащие Г.Х. фон Вригту, Г. Кюнгу, В.А. Смирнову, Е.Д. Смирновой. В диссертации достаточно будет ограничиться в предмете исследования пропозициональным уровнем систем логики с реляционным вариантом семантики возможных миров, тем самым - не перегружать текст техническими сложностями, сосредотачиваясь на содержательных вопросах.

Похожие диссертационные работы по специальности «Философия науки и техники», 09.00.08 шифр ВАК

Заключение диссертации по теме «Философия науки и техники», Кислов, Алексей Геннадьевич

ЗАКЛЮЧЕНИЕ

Итак, нами была проведена работа по выявлению и типолотизации онтологических и гносеологических предпосылок систем пропозициональной динамической логики, обосновывающих логический анализ контекстов изменений различной природы.

Принципиальная теоретическая новизна нашей работы заключается в следующем:

- Во-первых, сами динамические логики, безусловно, новое направление в логике. Формальные системы появились только в 70-х годах (В/ Пратт, Д. Харел, М. Фишер, Р. Ладнер, К. Сегерберг и др.).

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

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

Таким образом, представленная диссертационная работа соединяет несколько современных тенденций развития логико-философских исследований.

Резюмируя итоги проведенного исследования, следует отметить выведенные в диссертации конкретные положения, содержащие новизну:

1) На основе понимания коммуникативной природы логики дана формулировка, уточняющая понятие логического анализа как вида дискурсивной практики, заключающегося в применении к оценке корректности контекстуально-определённых рассуждений формального аппарата логических систем с установленными онто-гносеологическими предпосылками.

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

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

4) Последовательно проведена аналогия «пропозиция - программа» в качестве метода онто-гносеологического проектирования систем динамической логики, на основе чего выдвинута идея о «неклассической динамичности», а также сформулированы и проанализированы следующие понятия: «пропуск», «универсальное изменение», «безрезультатное изменение», «сингулярное изменение».

5) Рассмотрены широкие возможности автономного развития концептуального аппарата динамической логики на основе экспликации характеристик направленности, последовательности и параллельности выполнения изменений, благодаря чему сформулированы и проанализированы следующие понятия: обратное изменение», «кортеж изменений» и «система изменений». * *

Формальные методы давно уже сами стали предметом пристального философского внимания, и одной из важнейших философских проблем является проблема обобщения частных, т.е. свойственных разрозненным областям исследований, формальных принципов. Такое фундаментальное обобщение можно назвать «формальной философией»1, и хотя о единой концепции говорить ещё достаточно рано, опыт поиска подходов к решению отдельных фрагментов указанной проблематики уже имеется. Например, ясно, что без анализа вопроса о взаимовлиянии различных по характеру формализмов не обойтись, и потому активно проявляется потребность в проведении двух независимых, но и не взаимоисключающих друг друга типов синтеза:

- синтеза самих формальных принципов;

- синтеза областей применения формальных методов.

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

1 Лобовиков В.О. Формальная философия // Современный философский словарь. Лондон, Франкфурт-на-Майне, Париж, Люксембург, Москва, Минск, 1998. С.978; Лобовиков В.О. Формальная философия вообще и формальная онтология в частности // Эпистемы: Материалы межвузовского семинара: Альманах. Екатеринбург, 1998. С. 11-21.

Формально-логический выбор в какой-то мере объясняется тем, что концепция логической формализации мышления, находясь в авангарде формальных философских дисциплин, накопила богатый арсенал понятий и принципов, позволяющий говорить об анализе контекстов самой различной природы. Обнаруженное многообразие типов логических систем иногда наивно ассоциируется с утратой -логической основы рациональности, хотя эту утрату справедливее связать с осознанием противоречий в традиционных логических установках. Проблемы и трудности, получившие свои формулировки в рамках современного логического знания, т.е. так называемые «отрицательные» результаты теорем об ограниченностях формализмов, активизируют исследования синтезирующего и обобщающего характера. Сооружающийся комплекс современных логических средств содержит богатые возможности анализа онто-гносеологических установок, которые лежат в основе принятия того или иного типа рассуждений. Например, строится ли рассуждение на основе только статичного описания мира, или контекст рассуждения допускает и динамику изменений.

Проведённое исследование непосредственно значимо для современной философии логики, однако это теоретическое значение носит явно выраженный методологический характер:

- Во-первых, анализируется опыт успешного проектирования нового, динамического типа логических систем.

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

Проблемы и перспективы дальнейших исследований философских и технических аспектов теоретического материала динамической логики тесно связаны, в силу модально-комбинированного характера своей структуры, с исследованиями модальной и неклассической логики. «Характерной чертой развития формальной логики является расширение сферы логического»1, нередко это расширение осознаётся таковым, только после тщательного изучения вопроса. Построением логических систем, принципиально отличающихся от систем Фреге-Расселовского типа, некоторое время считались логико-модальные разработки (модальную логику некоторое время даже называли «неклассической логикой»), но создание неэкстенсиональных семантик, прежде всего реляционного (крипкевского) варианта семантики возможных миров, восстановило единство этих формально-логических направлений. Неклассические (в сегодняшней терминологии) системы логики,

1 СмирноваЕ.Д. Логикам философия. М., 1996. С. 4. отвергающие или ослабляющие законы классической (аристотелевой) логики, также не разрушают целостности поля современных логических исследований, они могут быть концептуально связаны и анализируемы, например, в рамках идеи комбинированных логик. В данной работе, посредством выявления роли и характера соответствующих онто-гносеологических предпосылок, было показано, что и логический анализ контекстов изменений не требует полного отказа от концептуального аппарата, характерного для статических систем, а может осуществляться, например, средствами динамической логики, объединяющей и обобщающей модальные и комбинированные структурные характеристики.

С философско-методологической точки зрения, данное исследование следует рассматривать как работу по формально-логическому обоснованию тех позиций в философии науки, которые рассматривают анализ динамических контекстов не лишённым оснований, в силу «зыбкости», изменчивости материала, а напротив, требующим поиска адекватных средств, т.е. логических систем с соответствующими онто-гносеологическими предпосылками.

Список литературы диссертационного исследования кандидат философских наук Кислов, Алексей Геннадьевич, 2000 год

1. Акылбекова Е.А. О полноте и разрешимости некоторых программных логик // Вопросы кибернетики. Неклассические логики и их применение.- М.: ВИНИТИ, 1982. С. 143 - 164.

2. Аналитическая философия: Избранные тексты. М.: Изд-во МГУ, 1993.- 181 с.

3. Аналитическая философия: становление и развитие. Антология. М.: Изд-во МГУ, 1998.-256 с.

4. Аристотель. Соч. в. 4-х т., Т. 1. -М.: Мысль, 1976. 550 с.

5. Арлычев А.Н. Проблема познания процесса в философии и науке // Вопросы философии. 1999. - № 3 - С. 85 - 96.

6. Бажанов В.А. Прерванный полёт. История «университетской» философии и логики в России. М.: Изд-во МГУ, 1995. - 109 с.

7. Бочаров В.А. Аристотель и традиционная логика. М., Изд-во МГУ, 1984. - 136 с.

8. Бочаров В.А. Булева алгебра в терминах силлогистики // Логические исследования (Труды научно-исследовательского семинара по логике ИФРАН). М.: Изд-во ИФРАН, 1983. С. 32 - 42.

9. Бочаров В. А., Маркин В.И. Основы логики: Учебник. М.: ИНФРА-М, 1997.-296 с.in

10. Брюшинкин В.Н. Логика, мышление, информация. Ленинград: Изд-во ЛГУ, 1988. 152 с.

11. Бурбаки Н. Теория множеств. М.: Изд-во «Мир», 1965. - 455 с.

12. Валиев М.К. О пропозициональных программных логиках // Вопросы кибернетики. Неклассические логики и их применение. М.: ВИНИТИ, 1982.-С. 23 -36.

13. Васильев Н.А. Воображаемая логика. Избранные труды. М.: Изд-во «Наука», 1989.-264 с.

14. Васюков В.Л. Комбинированная логика В.А. Смирнова с ситуационной точки зрения (не-фрегевский подход // Логические исследования. Вып. 5. М.: Изд-во «Наука», 1998. - С. 221 - 229.

15. Витгенштейн Л. «Логико-философский трактат» с параллельным философско-семиотическим комментарием // Логос. 1999. -№№1,3,5(11,13,15).

16. Витгенштейн Л. Логико-философский трактат // Витгенштейн Л. Философские работы. Часть I. Пер. с нем. / Составл., вступ. статья, примеч. М.С. Козловой. Перевод М.С. Козловой и Ю.А. Асеева. М.: Издательство «Гнозис», 1994. - 612 с.

17. Витгенштейн Л. Логико-философский трактат. М.: Изд-во «Мысль», 1958.-201 с.

18. Володин В.Н., Любутин К.Н., Нарский И.С. От «рассудка» к «разуму» (Кант, Гегель, Фейербах). Екатеринбург: Изд-во УрГУ, 1991. - 160 с.

19. Вопросы кибернетики. Неклассические логики и их применение,- М.: ВИНИТИ, 1982.- 177 с.

20. Вригт Г.Х фон. Логика и философия в XX веке // Вопросы философии. 1992.-№8.-С. 80-91.

21. Вригт Г.Х. фон. Время, изменение и противоречие // Вригт Г.Х. фон. Логико-философские исследования. М., 1986. - С. 519 - 520.

22. Вригт Г.Х. фон. Логико-философские исследования: Избр. тр.: Пер. с англ. / Общ. ред. Г.И. Рузавина и В.А. Смирнова; Сост. и авт. Предисл. В.А. Смирнов. -М. : Изд-во «Прогресс», 1986. 600 с.

23. Вригт Г.Х. фон. Нормы, истина и логика // Там же. С. 290 - 410.

24. Вригт Г.Х. фон. О логике норм и действий // Там же. С. 245 - 289.

25. Вригт Г.Х. фон. Объяснение и понимание // Там же. С. 35 - 241.

26. Вуйцицкий Р. Формальное построение ситуационной семантики // Синтаксические и семантические исследования неэкстенсиональных логик.-М., 1989.-С. 25 -28.

27. Гейтинг А. Интуиционизм. Введение. М.: Изд-во «Наука», 1969. -314 с.

28. Гильберт Д., Аккерман В. Основы теоретической логики. М.: ИЛ, 1947.-305 с.

29. Гольдблатт Р. Логика времени и вычислимости. М.: ОИЛКРЛ, 1992. -139 с.

30. Дейк Т.А. ван. Язык. Познание. Коммуникация. М.: Изд-во «Прогресс», 1989. - 312 с.

31. Делёз Ж. Логика смысла. М.: Изд-во «Академия», 1995. - 304 с.

32. Деянов Д. Неклассическая рациональность и коммуникативные стратегии // Дискурс (Коммуникативные стратегии культуры и образования). 1998. - № 7. - С. 7 - 15;

33. Доказательство и понимание. Киев: Изд-во «Наукова думка», 1986. -312 с.

34. Исследования по неклассйческим логикам. М.: Изд-во «Наука», 1989.-350 с.

35. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). Киев: Изд-во «Наукова думка», 1981. - 144 с.

36. Кант И. Критика чистого разума. М.: Изд-во «Мысль», 1994. - 591 с.

37. Кант И. Соч. В 6 т. Т. 1.-М.: Мысль, 1964.-799 с.

38. Карпенко А.С. Истинностные значения. Что это такое? // Исследования по неклассическим логикам. М.: Изд-во «Наука», 1989. - С. 38-53.

39. Карпенко А.С. Некоторые логические идеи В.А. Смирнова // Логические исследования. Вып. 5. М.: Изд-во «Наука», 1998. - С. 7 -18.

40. Карпенко А.С, Учитель // Логические исследования. Вып. 4. М.: Изд-во «Наука», 1997. - С. 20 - 24.

41. Кем еров В.Е. Метафизика динамика (К вопросу об эволюции метафизики) // Вопросы философии. - 1998. - № 8. - С. 59 - 67.

42. Керимов Т.Х. Социальная гетерология. Екатеринбург: Изд-во «УралНАУКА», 1999. - 170 с.

43. Кислов А.Г. Динамика логики и логика динамики // Материалы VIII Международных Кантовских чтений, посвященных 275-летию Иммануила Канта. Калининград, 1999. - С. 56 -58.

44. Кислов А.Г. Динамическая логика: от программ к действиям // Тез. докл. Международного семинара «Логическое кантоведение 4: Проблема психологизма в философии логики». - Калининград, 1997. -С. 20-22.

45. Кислов А.Г. Логико-семантическое измерение человеческой деятельности // Антропология с современной точки зрения: Тез. докл. Международного семинара. Калининград, 1998. - С. 21- 22.

46. Кислов А.Г. Н.А. Васильев поэт и логик. Логик и поэт // Русская литература первой трети XX века в контексте мировой культуры: Материалы I Международной летней филологической школы. -Екатеринбург, 1998. - С. 229 - 232.

47. Кислов А.Г. Неаддитивность и семантика с именами миров // Уральская философская школа и её вклад в развитие современной философии: Материалы научно-практической конференции. Екатеринбург, 1996. -С. 66-68.

48. Кислов А.Г. Оногносеологические сюжеты в истории логики: апории Зенона // Эпистемы: Материалы межвузовского семинара: Альманах. -Екатеринбург, 1998. С. 84 - 90.

49. Клайн М. Математика. Утрата определённости: Пер. с англ. / Под ред., с предисл. и примеч. И .Я. Яглома. М.: Изд-во «Мир», 1984. - 434 с.

50. Клини С. Математическая логика. М., 1973.

51. Кнапп В., Герлох А. Логика в правовом сознании- М.: Изд-во «Прогресс», 1987. 312 с.

52. Костюк В.Н. Алгоритм и разум // Искусственный интеллект и проблемы организации знаний. 1991. - Вып. 8. - С. 18 - 25.

53. Костюк В.Н. Возможные миры в классической логике // Логика и онтология. -М.: Изд-во «Наука», 1987. С. 159 - 173.

54. Костюк В.Н. Изменяющиеся системы. М.: Изд-во «Наука», 1991. -421 с.

55. Костюк В.Н. Элементы модальной логики. Киев: Изд-во «Наукова думка», 1978. - 179 с.

56. Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999. - 240 с.

57. Лекции лауреатов премии Тьюринга: Пер. с англ. / Под ред. Р. Эшенхёрста. М.: Изд-во «Мир», 1993. - 560 с.

58. Лобовиков В.О. Математическое правоведение. Часть 1: Естественное право. Екатеринбург: Изд-во Гуманитарного ун-та; Изд-во Уральской государственной юридической академии, 1998. - 240 с.

59. Лобовиков В.О. Формальная философия // Современный философский словарь. Лондон, Франкфурт-на-Майне, Париж, Люксембург, Москва, Минск: Изд-во «ПАНПРИНТ», 1998. - С. 978 - 984.

60. Лобовиков В.О. Формальная философия вообще и формальная онтология в частности // Эпистемы: Материалы межвузовского семинара: Альманах. Екатеринбург: Банк культур, информации, 1998. -С. 11-21.

61. Логика и клиническая диагностика. Теоретические основы / В.А. Смирнов, A.M. Анисов, А.С. Мелентьев и др. -М., 1994. 314 с.

62. Логика и компьютер. Моделирование рассуждений и проверка правильности программ. М.: Изд-во «Наука», 1990. - 240 с.

63. Логика и компьютер. Вып. 4. Карпенко А.С. Многозначные логики. -М.: Изд-во «Наука», 1997.-223 с.

64. Логика и онтология. М.: Изд-во «Наука», 1987. - 264 с.

65. Логика и теория познания. Ленинград: Изд-во ЛГУ, 1990. - 224 с.

66. Логический анализ // Краткий словарь по логике / Д.П. Горский, А.А. Ивин, А.Л. Никифоров. М.: Изд-во «Просвещение», 1991. - С. 97 -98.

67. Логический анализ // Философская энциклопедия. М., 1963. - Т. 3. -С. 236-237.

68. Логический анализ языка. Истина и истинность в культуре и языке. М., 1995.

69. Лойфман И.Я. Коммуникативные аспекты отражения и функции языка // Отражение и язык. Свердловск: Изд-во Уральского ун-та, 1980. -С. 12-17.

70. Макаров М.Л. Интерактивный анализ дискурса в малой группе. -Тверь, 1988.- 101 с.

71. Максимов А.А. Концептуальное различие теории и техники аргументации софистов и Платона // Жизненные миры философии. -Екатеринбург: Изд-во УрАГС, 1999. С. 171 - 208.

72. Маркин В.И. Силлогистические теории в современной логике. М., 1991.

73. Математическая логика в программировании: Сб. статей 1980 1988 гг. - М.: Изд-во «Мир», 1991.-408 с.

74. Мейзерский В.М. Философия и неориторика. Киев: Изд-во «Лыбидь», 1991,- 189 с.

75. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984. -320 с.

76. Минто В. Дедуктивная и индуктивная логика. Екатеринбург: Изд-во «Одиссей», 1997. - 432 с.

77. Назаренко А.Ф. Социальная природа основных логических форм // Логика и теория познания. Ленинград: Изд-во ЛГУ, 1990. - С. 141 -149.

78. Невдобенко О. Логики с различными типами следования и тавтологичности // Смирновские чтения. 2 Международная конференция. М.: ЦОП ИФРАН, 1999. - 232 с.

79. Некрашас Э.М. Онтологические и гносеологические основания эксплицитной индуктивной логики // Логика и онтология. М.: Изд-во «Наука», 1987. - С. 234 - 259.

80. Пельц Е. Семиотика и логика // Семиотика. М.: Изд-во «Радуга», 1983.-С. 147 - 150.

81. Перельман X., Олбрехт-Тытека Л. Из книги «Новая риторика: трактат об аргументации» // Язык и моделирование социального взаимодействия. М.: ИЛ, 1989. - С. 215 - 220.

82. Решетникова И.В. Доказательственное право в гражданском судопроизводстве. Екатеринбург: Изд-во Гуманитарного университета, 1997. - 366 с.

83. Руднев В. Божественный Людвиг (Жизнь Витгенштейна) // Логос № 1 (1999) 11. С. 84-98.

84. Сегерберг К. «После» и «во время» в динамической логике // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М.: Изд-во «Прогресс», 1984. - С. 58-81.

85. Семантика модальных и интенсиональных логик. М.: Изд-во «Прогресс», 1981. -424 с.

86. Семиотика. М.: Изд-во «Радуга», 1983. - 640 с.

87. Синтаксические и семантические исследования неэкстенсиональных логик. -М.: Изд-во «Наука», 1989. 309 с.

88. Смирнов В. А. Дважды алгебры и симметрические логики // Логические исследования. Вып. 1. М.: Изд-во «Наука», 1993. - С. 46 -54;

89. Смирнов В. А. Дефинициальная эквивалентность расширенной силлогистики булевой алгебре классов // Логические исследования (Труды научно-исследовательского семинара по логике ИФРАН). -М.: Изд-во ИФРАН, 1983. С. 43 48.

90. Смирнов В.А. Иммануил Кант и современная логика // Кантовский сборник. Калининград: Изд-во Калинингр. Ун-та, 1989. - Вып 14. -С. 51-57.

91. Смирнов В.А. Комбинирование исчислений предложений и событий и логика истины фон Вригта // Исследования по неклассическим логикам. М.: Изд-во «Наука», 1989. - С. 16-29.

92. Смирнов В.А. Логические идеи Н.А. Васильева и современная логика // Васильев Н.А. Воображаемая логика. Избр. труды. М.: Изд-во «Наука», 1989. - С. 229 - 259;

93. Смирнов В.А. Логические методы анализа научного знания. М.: Изд-во «Наука», 1987. - 256 с.

94. Смирнов В.А. Многомерные логики // Логические исследования. Вып. 2.-М.: Изд-во «Наука», 1993. С. 259 - 278.

95. Смирнов В.А. О перспективах анализа учения И. Канта о праве и морали средствами современной логики // Кантовский сборник. -Калининград: Изд-во Калинингр. Ун-та, 1990. -Вып 15. С. 68 - 72.

96. Смирнов В.А. Утверждение и предикация. Комбинированные исчисления высказываний и событий // Синтаксические и семантические исследования неэкстенсиональных логик. М.: Изд-во «Наука», 1989.-С. 27 -35.

97. Быстров П.И., Смирнов В.А. Философская логика // Современная западная философия. Словарь. М., 1991. - С. 349 - 352.

98. Смирнова Е.Д. Истинность и вопросы обоснования логических систем // Исследования по неклассическим логикам. М.: Изд-во «Наука», 1989.-С. 150- 164.

99. Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996. - 304 с.

100. Смирнова Е.Д. Логическая семантика и философские основания логики. М.: Изд-во МГУ, 1986. - С. 154 с.

101. Смирнова Е.Д. Основы логической семантики. М.: Изд-во Высш. шк, 1990. - 144 с.

102. Солодухин О.А. Логика изменения и модальная логика. Ростов-на Дону: Изд-во Ростовского Ун-та, 1989. - 144 с.

103. Сорина Г.В. Логико-культурная доминанта. Очерки теории и истории психологизма в культуре. М.: Изд-во «Прометей», 1993. - 141 с.

104. Сорина Г.В., Меськов B.C. Логика в системе культуры // Вопросы философии. 1996. - №2. - С. 93 - 103.

105. Столбоушкин А.П., Тайцлин М.А. Динамические логики//Кибернетика и вычислительная техника. 1986. - Вып. 2. -С. 180 -230.

106. Стяжкин Н.И. Формирование математической логики. М.: Изд-во «Наука», 1948.-263 с.

107. Титов В.Д. Социальные детерминанты формирования логики в раннеклассовом обществе // Логика и теория познания. Ленинград: Изд-во ЛГУ, 1990. - С. 150 - 154.

108. Уайтхед А.Н. Процесс и реальность // Уайтхед А.Н. Избранные работы по философии. М.: Изд-во «Прогресс», 1990. - С. 272 - 304.

109. Фейс Р. Модальная логика. М.: Изд-во «Наука», 1974. - 520 е.;

110. Философия, логика, язык. М.: Изд-во «Прогресс», 1987. - 336 с.

111. Фуко М. Археология знания. Киев: Изд-во «Ника-центр», 1996. -208 с.

112. Хайдеггер М. Время и бытие. М.: Изд-во «Республика», 1993. -447 с.

113. Хайдеггер М. Положение об основании. Санкт-Петербург: Изд-во «Алетейя», 1999. - 296 с.

114. Хинтикка Я. В защиту невозможных возможных миров // Хинтикка Я. Логико-эпистемологические исследования. М.: Изд-во «Прогресс», 1980. - С. 228-244.

115. Хинтикка Я. Логика в философии философия логики // Там же. - С. 35 -67.

116. Челпанов Г.И. Логика. М.: Изд-во «Прогресс», 1994. - 248 с.

117. Черданцев А.Ф. Логико-языковые феномены в праве, юридической науке и практике. Екатеринбург: УИФ «Наука», 1993. - 192 с.

118. Шабес В.Я. Событие и текст. М.: Высш. шк., 1989. - 175 с.

119. Шалак В.И. Динамическая интерпретация высказываний // Логические исследования. Вып. 2. М.: Изд-во «Наука», 1993. - С. 68 -81;

120. Шалак В.И. Теория пропозициональных программ // Труды научно-исследовательского семинара Логического центра Института философии РАН. М.: ЦОП ИФРАН, 1997. - С. 41 - 47.

121. Шалак В.И. Теория пропозициональных программ II // Логические исследования. Вып. 5. М.: Изд-во «Наука», 1998. - С. 163 - 170.

122. Язык и интеллект М.: Издательская группа «Прогресс», 1996. . -416 с.

123. Buck В. Eine deontische Logik auf der Grundlage dynamischer Aussagenlogik. Dissertation- zur Erlangung des Doktorgrades. Kiel, 1987.- 146 s.

124. Fischer M.J., Ladner R.E. Propositional modal logic of programms // Proc. 9th Ann. ACM Symp. on Theory of Computing Boulder, Colorado, 1977.-P. 286-294.

125. Goldblatt R. Diodorean modality in Minkowski spacetime. // Studia Logica. 1980. -№39. - P. 219-236.

126. Groenendijk J., Stokhof M -Dynamic predicate Logic // Linguistics and Philosophy. Netherlands: Kluwer Academic Publishers. - 1991. - №14. -C. 39 - 100.

127. Lewis D. Counterfactuals. Oxford: Basil Blackwell, 1973 - 239 p.

128. Parret H. Semiotics and Pragmatics: An Evaluative Comparison of Conceptual Frameworks. Amsterdam; Philadelphia, 1983. - 198 p.

129. Passy S.I. Combinatory Dynamic Logic. Dissertstion, Sector of Mathematical, Sofia, 1984. 183 p.

130. Pratt V.R. Process Logic: Preliminary Report // Proc. 6th ACM Symp. on Pnnc. of Progr. Lang., 1977.P. 30 73.

131. Pratt V.R. Semantical considerations on Floyd-Hoare logic // Proc. 17th IEEE Symp. On Foundations of Computer Science, 1976. P. 109 - 121.

132. Rescher N., Urquhart A. Temporal Logic. Springer-Verlag, 1971. -191 p.

133. Segerberg K. Applying modal logic // Studia logica. 1980. - № 2/3. -vol. 36

134. Smirnov V.A. Assertion and Predication. Combined Calculus of Propositions and Situations // Abstracts of 8-th International Congress of Logic, Metodology and Philosophy of Science. Moscow, 1987. - vol. 1. P.333 - 335.

135. Wessel H. Logik und Philosophie. Berlin: VEB Deutscher Verlag der Wissenschaften, 1976. - 240 s.

136. Wright G.H. von. Norm and Action, A Logical Enquiry. London, 1963. -153 p.

137. Wright G.H. von. Norm und Handlung, Eine logische Untersuchung. -Scriptor Verlag, K6nigstein7Ts., 1979. 306 p.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.