Темы диссертаций и авторефератов по специальности ВАК РФ 09.00.07 Логика

Тема диссертации	Автор	Год
Структурные описания множеств формальных теорий: на материале формальных силлогистик	Шиян, Тарас Александрович	2008
Логика в университетской философии Санкт-Петербурга начала XX века: дискуссия А.И. Введенского и Н.О. Лосского	Попова, Варвара Сергеевна	2006
Логика древнего Китая	Крушинский, Андрей Андреевич	2006
Логико-философские исследования Боэция	Гусева, Марианна Анатольевна	2006
Модальные логики с нестандартными модальностями	Шкатов, Дмитрий Петрович	2006
Системная модель аргументации в практической философии И. Канта	Сологубов, Александр Михайлович	2006
Теория смысла в общей интенсиональной логике: от принципа композициональности к эпистемическим установкам	Микиртумов, Иван Борисович	2006
Семантический анализ простых паранормальных логик	Баташев, Денис Вячеславович	2005
Современные проблемы использования табличных методов в логике	Антонова, Ольга Аркадьевна	2005
Теория рассуждений Ч. Пирса: Проблема абдукции	Боброва, Ангелина Сергеевна	2005
Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков	Ломова, Ирина Олеговна	2005
Автоматический поиск натурального вывода в классической логике предикатов	Шангин, Василий Олегович	2004
Аналитико-табличная формализация систем временной логики	Григорьев, Олег Михайлович	2004
Интуиционистская логика и теория множеств	Хаханян, Валерий Христофорович	2004
Логико-методологическое исследование происхождения теории поиска вывода	Ходикова, Нина Анатольевна	2004
Паранепротиворечивость и релевантность	Кварталова, Наталия Леонидовна	2004
Логические идеи И. Канта	Михайлов, Кирилл Авенирович	2003
Обоснование дедуктивного подхода в научном объяснении	Тарковский, Владимир Николаевич	2003
Применение системной модели аргументации к анализу текста	Золотов, Эдгар Станиславович	2003
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр	Нечитайлов, Юрий Вячеславович	2003