[эдвард]

Формальные логические системы и их судебно-медицинские применения [Текст] : монография / А.П. Ардашкин, Г.В. Недугов, В.В. Недугова. - Самара: Офорт, 2009. – 137, [1] с. ISBN 978-5-473-00515-8.

В монографии дано систематизированное изложение основ современной логики в аспекте их использования в судебно-медицинском познании. Логика рассматривается как совокупность взаимно дополняющих формальных логических теорий. В книге подробно анализируются синтаксис и семантика классической логики высказываний и логики предикатов. Рассматриваются понятие доказательства и техника вывода в логических исчислениях, основы теории множеств и исследуются такие судебно-медицинские приложения теоретико-множественных концепций, как дифференциально-диагностический поиск и определение последовательности возникновения повреждений. Излагаются принципы построения логических исчислений и характеризуются интуиционистская, конструктивная, многозначные и нечеткая логики, рассматриваются их возможные судебно-медицинские приложения. Классические логические теории иллюстрируются построением конкретных аксиоматических судебно-медицинских систем, посвященных определению живорождения и мертворождения, судебно-медицинской экспертизе степени тяжести вреда, причиненного здоровью человека, а также установлению источников субдуральных гематом любого генеза.
Монография предназначена для судебно-медицинских экспертов и преподавателей судебной медицины.

Объем книги 138 с. Библиография включает 66 источников. Формат книги 60х84/16. Бумага офсетная. Печать оперативная. Мягкий переплет. Стоимость 1 экземпляра – 300 руб. без учета пересылки.