вход
закрыть
Судебно-медицинская библиотека

Формальные логические системы и их судебно-медицинские применения

/ Ардашкин А.П. Недугов Г.В. Недугова В.В.  — 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

похожие статьи

О логических ошибках в судебно-медицинских заключениях / Вермель И.Г. // Судебно-медицинская экспертиза. — 1967. — №1. — С. 26-30.

Вопросы логики в судебно-медицинских заключениях (по делам о правильности действий медицинских работников) / Вермель И.Г. — 1974.

О понятии истины в судебной медицинской танатологии с точки зрения логики стоиков и новой философии / Богомолов Д.В. // Медицинская экспертиза и право. — 2017. — №1. — С. 12.

Достоверные и вероятные выводы в заключениях судебно-медицинских экспертов / Ковалев А.В., Шмаров Л.А., Теньков А.А. // Судебно-медицинская экспертиза. — 2016. — №1. — С. 60-64.

Статистический анализ в судебно-медицинской антропологии / Недугов Г.В., Недугова В.В. — 2007.

авторы

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

последние поступления в библиотеку

МРТ-диагностика отека костного мозга и его значение в судебно-медицинской оценке повреждений костей и суставов / Фетисов В.А., Кулинкович К.Ю. // Судебно-медицинская экспертиза. — 2017. — №3. — С. 50-56.

Судебно-медицинская оценка причин и условий возникновения холодовой травмы / Шигеев В.Б., Шигеев С.В. // Судебно-медицинская экспертиза. — 2017. — №3. — С. 42-49.

Инфаркт или травматический разрыв селезенки? / Толмачев И.А., Белых А.Н., Божченко А.П., Лобан И.Е., Сафрай А.Е. // Судебно-медицинская экспертиза. — 2017. — №3. — С. 39-41.

Профессор Ю.С. Сапожников // Судебно-медицинская экспертиза. — 1967. — №2. — С. 63.

Второе межобластное совещание судебно-медицинских экспертов Урала, Сибири и Дальнего Востока и выездная сессия научно-исследовательского института судебной медицины министерства здравоохранения СССР / Касаткин Б.С., Лемкин М.Б. // Судебно-медицинская экспертиза. — 1967. — №2. — С. 60-62.