|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Структурные описания множеств формальных теорий (на материале формальных силлогистик)диссертация
- Научный руководитель: Бочаров Вячеслав Александрович
- Автор: Шиян Тарас Александрович
- Дата защиты: 23 декабря 2008 года в 16:25
- Шифр диссертационного совета: Д 501.001.48
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Философия
- Специальность: 09.00.07 - Логика
- Тип диссертации: Кандидатская
- Ведущая организация: Институт философии РАН
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Оппоненты: Бахтияров Камиль Ибрагимович, Шангин Василий Олегович
-
Аннотация:
В диссертации исследуется соотнесение по множеству теорем ок. 50-ти формальных силлогистик, результат сравнения представлен в виде 5 диаграмм Хассе. Также исследуется соотнесение формальных алфавитов, множеств ПП-терминов и множеств ПП-формул исследуемых силлогистических теорий. Результаты этих сравнений также представлены в виде диаграмм Хассе. В начале работы большое внимание уделяется методологии сравнения и систематизации формальных теорий.
- Добавил в систему: Шиян Тарас Александрович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст диссертации | Полный текст диссертации "Структурные описания множеств формальных теорий (на материале формальных силлогистик)" Т.А. Шияна на соисканик степени к.ф.н. по логике | Shiyan_T.A._Dissertatsiya_k.f.n..pdf | 983,0 КБ | 6 июля 2017 |
| 2. | Автореферат | Полный текст автореферата диссертации "Структурные описания множеств формальных теорий (на материале формальных силлогистик)" Т.А. Шияна на соисканик степени к.ф.н. по логике | Shiyan_T.A._Avtoreferat_k.f.n..pdf | 262,8 КБ | 6 июля 2017 |