Оглавление
Группа авторов. Конституция РФ как источник аксиом частного права. Опыт логического вычисления
1. Введение
2. Логика предикатов vs (поли-) силлогистики
2.1. О логике предикатов второго и более высоких порядков
2.2. О силлогистике и полисиллогистике
3. О представлении семантики текста
4. Логические схемы суждений. Атрибутивные высказывания
4.1. Об упорядоченности права
5. Методика работы с Е-логикой, Е-структурами и Е-программой
6. Анализ Конституции РФ
6.1. Значение и смысл предложения
6.2. О действительном (активном) и страдательном (пассивном) залоге
6.3. О переводе
6.4. О нормальной форме суждений
6.5. О модальности
6.6. Кодирование выделенных текстов Конституции РФ в литеральные формулы
6.7. «Техническая» часть анализа Конституции РФ
6.8. Уточнение онтологических допущений модели
7. Обсуждение результатов
7.1. О креольских языках, пиджинах и языках без грамматики
7.2. Раздел листинга «2. Список полученных следствий» (см. приложение 2)
7.3. Раздел листинга «3. СТ-замыкание системы» (см. приложение 3)
7.4. Раздел листинга «4.Система неполна. Список элементарных предложений, дополняющих систему» (см. приложение 4)
7.5. Раздел листинга «5.Коллизии. Список предложений, вызывающих коллизию противоречия (см. приложение 5)
Раздел 7.6 «6.Диаграмма Хассе системы» (см. приложение 6)
7.7. Раздел листинга «7.Минимальное множество бинарных посылок системы» (приложение 7)
8. Заключение
8.1. Неожиданные аксиомы, явно не сформулированные в Конституции РФ, но логически из неё вытекающие
9. Благодарности
ㅤㅤㅤㅤㅤㅤПРИЛОЖЕНИЯㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ
Приложение 1. Сводка литеральных формул
Приложение 2.Раздел 2 листинга (извлечения). «Список полученных следствий»
Приложение 3. Раздел 3 листинга «СТ-замыкание системы»
Приложение 4. Раздел 4 листинга (извлечения) «Система неполна. Список элементарных предложений, дополняющих систему»
Приложение 5. Раздел 5 листинга (извлечения) «Коллизии. Список предложений, вызывающих коллизию противоречия»
Приложение 6. Раздел 6 листинга «Диаграмма Хассе системы»
Приложение 7. Раздел 7 листинга «Минимальное множество бинарных посылок системы»
Приложение 8. Таблица перевода литералов в цифры Е-программы
Приложение 9. Максимальные литералы
ㅤㅤㅤㅤㅤㅤㅤЛитература
