Формальные логические системы и их судебно-медицинские применения
/ Ардашкин А.П., Недугов Г.В., Недугова В.В. — 2009.
Формальные логические системы и их судебно-медицинские применения [Текст] : монография / А.П. Ардашкин, Г.В. Недугов, В.В. Недугова. — Самара: Офорт, 2009. — 137, [1] с. — ISBN 978-5-473-00515-8
В монографии дано систематизированное изложение основ современной логики в аспекте их использования в судебно-медицинском познании. Логика рассматривается как совокупность взаимно дополняющих формальных логических теорий. В книге подробно анализируются синтаксис и семантика классической логики высказываний и логики предикатов. Рассматриваются понятие доказательства и техника вывода в логических исчислениях, основы теории множеств и исследуются такие судебно-медицинские приложения теоретико-множественных концепций, как дифференциально-диагностический поиск и определение последовательности возникновения повреждений. Излагаются принципы построения логических исчислений и характеризуются интуиционистская, конструктивная, многозначные и нечеткая логики, рассматриваются их возможные судебно-медицинские приложения. Классические логические теории иллюстрируются построением конкретных аксиоматических судебно-медицинских систем, посвященных определению живорождения и мертворождения, судебно-медицинской экспертизе степени тяжести вреда, причиненного здоровью человека, а также установлению источников субдуральных гематом любого генеза.
Монография предназначена для судебно-медицинских экспертов и преподавателей судебной медицины.
УДК: 340.6:517.11
ББК 58
СОДЕРЖАНИЕ
| ВВЕДЕНИЕ | 3 |
| ГЛАВА 1. КЛАССИЧЕСКАЯ ЛОГИКА | 6 |
| 1.1. Этапы развития и структура современной логики | 6 |
| 1.2. Классическая логика высказываний | 13 |
| 1.3. Классическая логика предикатов | 18 |
| ГЛАВА 2. ДОКАЗАТЕЛЬСТВО В КЛАССИЧЕСКОЙ ЛОГИКЕ | 26 |
| 2.1. Доказательство: традиционное понимание и формальное определение | 26 |
| 2.2. Элементы техники доказательства: таблицы истинности, эквивалентности и правила вывода | 30 |
| 2.3. Вывод из гипотез в логических исчислениях | 38 |
| 2.4. Техника естественного вывода | 41 |
| ГЛАВА 3. СУДЕБНО-МЕДИЦИНСКИЕ ПРИЛОЖЕНИЯ КЛАССИЧЕСКОЙ ЛОГИКИ | 46 |
| 3.1. Пропозициональные модели в судебной медицине | 46 |
| 3.2. Установление источников субдуральных гематом как пример диагностического поиска на основе логики предикатов | 55 |
| ГЛАВА 4. ТЕОРИЯ МНОЖЕСТВ И ЕЕ СУДЕБНОМЕДИЦИНСКИЕ ПРИЛОЖЕНИЯ | 68 |
| 4.1. Язык наивной теории множеств | 68 |
| 4.2. Теоретико-множественная модель дифференциальной диагностики | 77 |
| 4.3. Теоретико-множественные аспекты определения последовательности возникновения повреждений | 82 |
| ГЛАВА 5. НЕКЛАССИЧЕСКИЕ ЛОГИЧЕСКИЕ СИСТЕМЫ | 93 |
| 5.1. Построение и классификация формальных логических систем, неклассические логики | 93 |
| 5.2. Интуиционистская и конструктивная логики | 100 |
| 5.3. Многозначные логики | 106 |
| ГЛАВА 6. НЕЧЕТКАЯ ЛОГИКА | 110 |
| 6.1. Нечеткость и нечеткие множества | 110 |
| 6.2. Теория приближенных рассуждений | 115 |
| 6.3. Теория лингвистической логики | 120 |
| ЗАКЛЮЧЕНИЕ | 127 |
| БИБЛИОГРАФИЧЕСКИЙ СПИСОК | 132 |
похожие статьи
Алгоритмы определения причинно-следственных связей с применением законов логики как науки / Прохоров В.Ю. // Вестник судебной медицины. — Новосибирск, 2018. — №2. — С. 55-58.
больше материалов в каталогах
Вопросы логики, причинно-следственные связи в судебной медицине