Ардашкин А.П., Недугов Г.В., Недугова В.В. Формальные логические системы и их судебно-медицинские применения

Монография. — Самара: Офорт, 2009. — 137 с. — ISBN: 978-5-473-00515-8.В монографии дано систематизированное изложение основ современной логики в аспекте их использования в судебно-медицинском познании. Логика рассматривается как совокупность взаимно дополняющих формальных логических теорий. В книге подробно анализируются синтаксис и семантика классической логики высказываний и логики предикатов. Рассматриваются понятие доказательства и техника вывода в логических исчислениях, основы теории множеств и исследуются такие судебно-медицинские приложения теоретико-множественных концепций, как дифференциально-диагностический поиск и определение последовательности возникновения повреждений. Излагаются принципы построения логических исчислений и характеризуются интуиционистская, конструктивная, многозначные и нечеткая логики, рассматриваются их возможные судебно-медицинские приложения. Классические логические теории иллюстрируются построением конкретных аксиоматических судебно-медицинских систем, посвященных определению живорождения и мертворождения, судебно-медицинской экспертизе степени тяжести вреда, причиненного здоровью человека, а также установлению источников субдуральных гематом любого генеза.
Монография предназначена для судебно-медицинских экспертов и преподавателей судебной медицины.Введение.
Классическая логика.
Этапы развития и структура современной логики.
Классическая логика высказываний.
Классическая логика предикатов.
Доказательство в классической логике.
Доказательство: традиционное понимание и формальное определение.
Элементы техники доказательства: таблицы истинности, эквивалентности и правила вывода.
Вывод из гипотез в логических исчислениях.
Техника естественного вывода.
Судебно медицинские приложения классической логики.
Пропозициональные модели в судебной медицине.
Установление источников субдуральных гематом как пример диагностического поиска на основе логики предикатов.
Теория множеств и ее судебно медицинские приложения.
Язык наивной теории множеств.
Теоретико-множественная модель дифференциальной диагностики.
Теоретико-множественные аспекты определения последовательности возникновения повреждений.
Неклассические логические системы.
Построение и классификация формальных логических систем, неклассические логики.
Интуиционистская и конструктивная логики.
Многозначные логики.
Нечеткая логика.
Нечеткость и нечеткие множества.
Теория приближенных рассуждений.
Теория лингвистической логики.
Заключение.
Библиографический список.