Елементи формально логічного аналізу мовного мислення - логіка лікарської діагностики

Частина I.
ЕЛЕМЕНТИ
Формально ЛОГІЧНОГО АНАЛІЗУ МОВНОГО МИСЛЕННЯ
У певному сенсі процес постановки клінічного діагнозу може бути розділений як би на два великі етапи: а) етап формування емпіричне бази діагнозу, т. Е. Пошук і виявлення ознак (симптомів), прямо або побічно «вказують» на вигляд, форму хвороби, характер її протікання і т. п
б) аналітичний етап, в якому на основі отриманих емпіричних відомостей, а також деяких тверджень номологіческой характеру (апріорної основи діагнозу) лікар будує свій діагностичний висновок. Основною формою пізнавальної діяльності лікаря на даному етапі є умовивід (міркування). Завдання, яке ми зараз ставимо перед собою, полягає в розгляді міркувань лікаря з формально-логічної точки зору.
Строго кажучи, дослідження міркувань лікаря в тому вигляді, як вони протікають в свідомості (мислення) того чи іншого клініциста - завдання психології мислення. Ми ж займаємося моделюванням розумових дій лікаря методами і засобами науки логіки. Будь-яка модель, як відомо, в якихось відносинах подібна, аналогічна з модельований об`єктом і, одночасно, в чем-то від нього відрізняється. Тому ми не будемо вимагати від логічних моделей розумових операцій, що здійснюються лікарем в діагностичному процесі, абсолютно повного, психологічно достовірного схожості. Для цілей нашого аналізу достатнім буде побудова таких логічних еквівалентів цих операцій, за допомогою яких відтворювалися б об`єктивні зв`язки і відносини між діагностичною інформацією, яка є у розпорядженні лікар про свого пацієнта, і відповідними їй, т. Е. Логічно наступними (витікаючими) з неї діагнозами. Відтворення саме цих зв`язків і відносин і буде критерієм логічної правильності міркувань клініциста, оскільки останні, якщо вони протікають, здійснюються дійсно правильно, відтворюють ці ж зв`язки і відносини.
Охарактеризуємо деякі елементи логічного аналізу мовного (абстрактного) мислення. Його основу складає «переклад» виразів природної мови на вираження штучного (символічного), спеціально пристосованого для цілей логічної експлікації різноманітних форм думок. Такого роду мова не містить багатозначних виразів, в ньому використовуються економні і внаслідок цього добре доступні для огляду способи запису думок. Головне ж, що робить його незамінним інструментом логічного аналізу, полягає в тому, що в ньому «оголюється» логічна структура записаних з його допомогою суджень і умовиводів.

§ 1. Символічна мова науки і логіки

Охарактеризуємо коротко окремі фрагменти такої мови. У цьому розділі мова піде переважно про мову логіки висловлювань, з повним описом якого можна ознайомитися за допомогою одного з навчальних посібників з математичної логіки (16). У ньому містяться, по-перше, змінні символи виду р, q, г і т. П так звані пропозіціональние змінні. Замість них при перекладі на звичайну мову - включаючи і мову клінічної медицини - можна ставити прості розповідні речення, які виражають судження виду: «У хворого виявлений такий-то комплекс симптомів», «Пацієнт страждає таким захворюванням» і т. П. Як відомо , кожне така пропозиція (судження) має одне зі значень істинності: воно є або істинним, або хибним. Для деяких цілей нам буде зручно вважати, що значеннями пропозіціональних змінних якраз і є можливі значення істинності: «істина» (скорочено «і») і «брехня» (скорочено - «л»).
Ми будемо також оперувати змінними символами А, В, С і т. П. Іншого, більш високою синтаксичної категорії, які будуть заміщати і замість яких можна буде підставляти як прості, так і складні висловлення нашої штучної мови.
У цій же мові містяться шість логічних зв`язок (спілок), за допомогою яких з простих (вихідних) висловлювань утворюються більш складні формули. У звичайній мові цим зв`язкам відповідають союзи «якщо, то», «і», «або», «або», і «не» ( «невірно, що»), а також «якщо і тільки якщо». Технічні назви, символіка і варіанти перекладу логічних зв`язок містяться в наступній таблиці:

У природній мові названі спілки не мають строгого фіксованого логічного змісту. У нашій мові з кожної логічної зв`язкою співвідноситься тільки одне таке зміст. Здійснюється це зазвичай за допомогою семантичних таблиць (матриць), які кожної зв`язці приписують строго певну логічну функцію. Наведемо відповідні таблиці:

Зміст імплікації (її логічний зміст) визначається таблицею 1. в контексті формули pq: вона приймає значення «брехня», коли висловлювання р - істинно, а висловлювання q - ложно- у всіх інших випадках ця формула вважається дійсною (див. Підсумковий стовпець, виділений рамкою) *. У клінічному мовою импликативного висловом p-gt; q відповідають умовні пропозиції типу «Якщо пацієнт небезпечно хворий, то він підлягає терміновій госпіталізації», «Якщо хворий страждає профузной гастро-дуоденальної геморагій, то у нього має місце серцево-судинна недостатність» і т. п.
*Частина формули «А-В», що стоїть зліва від логічного союзу «-gt;» (формулу А), називають антецедентом, а другу її частину, розташовану безпосередньо після зазначеної спілки (формулу В), називають консеквентом.
Сенс кон`юнкції Д задається в таблиці 2. розподілом значень істинності для виразу р-q: ця формула вважається дійсною, коли прості (складові його) висловлювання р і q істінни- при всіх інших розподілах значень цих висловлювань дана формула виявляється помилковою. Прикладом перекладу кон`юнктивний висловлювання на мову клінічної медицини може послужити пропозицію виду «Обстежуваний пацієнт страждає на ішемічну хворобу серця і, одночасно, він страждає на туберкульоз легень».
Диз`юнкція V (неразделітельная) визначається таблицею 3. через умови істинності формули вона істинна при всіх розподілах значень істинності складових висловлювань р і q, за винятком випадку, коли обидва ці висловлювання помилкові. У клінічному мовою аналогом такої формули є пропозиція: «У хворого - інфаркт міокарда, або ж він страждає на виразку шлунка». Слід враховувати, що диз`юнктивне пропозиція не містить в собі альтернативи типу «або істинно одне, а помилково - інше, або навпаки».
Така альтернатива характерна для диз`юнкції (розділової диз`юнкції): формула р V q є істинною тільки в тих випадках, коли висловлювання р і q мають різні значення істинності - одне істинно, а інше - помилково, або ж навпаки. У всіх інших випадках ця формула помилкова (таблиця 4).
Сенс логічного заперечення Н такий: якщо висловлювання р - істинно, то висловлювання р -ложно, і навпаки (таблиця 5). Так, якщо істинно твердження «Хворий Л. видужав», то хибним буде логічне заперечення цього твердження: «Невірно, що хворий Л видужав», а якщо хибним є твердження «Хворий Л. видужав», то істинним буде його логічне заперечення «Невірно, що хворий Л. видужав ».
Подвійна імплікація як логічна зв`язка має наступний сенс: висловлювання p-q істинно тільки тоді, коли обидва складових висловлювання р і q істинні, або ж навпаки, є неправдивими (таблиця 6). Наприклад, висловлювання «У хворого вислуховується пресистолический шум і акцент I-го тону на верхівці серця при аускультації серця тоді і тільки тоді, коли цей хворий страждає мітральнимстенозом» було б помилковим в двох випадках: а) якщо висловлювання «У хворого вислуховується пресистолический шум »- помилково, а висловлювання« Цей хворий страждає мітральнимстенозом »- істинно б) якщо висловлювання« Цей хворий страждає мітральнимстенозом »- помилково, а висловлювання« У хворого вислуховується пресистолический шум »- істинно. У всіх інших випадках, тобто. Е. Коли обидва ці висловлювання або істинні, або обидва хибні, відповідне висловлювання подвійний імплікації вважається дійсним, а нею складові - логічно еквівалентними висловлюваннями.
Ми не будемо обговорювати питання, якою мірою визначення логічних зв`язок за допомогою наведених вище таблиць адекватно змістом відповідних їм спілок звичайного (природного) мови. Для нас досить факту адекватності такого визначення принаймні для деяких досить типових контекстів вживання даних спілок в клінічному мовою. Наприклад, звичайне вживання союзу «якщо, то» в умовному реченні «Якщо операція завершується успішно, то хворий одужує» передбачає, що ця пропозиція істинно, коли щонайменше істинні його складові - пропозиції «Операція завершується успішно» і «Хворий одужує» , і обов`язково неправдою, коли. перше речення (антецедент) - істинне, а друге - (консеквент) - хибне.
Визначення логічної зв`язки за допомогою таблиці 1. перебуває, як в цьому легко можна переконатися, відповідно до даної мовної традицією. Перекладаючи вираження звичайної мови за допомогою табличних пропозіціональних зв`язок, ми позбавляємося деяких відтінків сенсу, але зате виграємо в точності.
Будь-якої пропозиції клінічного мови може бути знайдений його еквівалент в нашому логічному мові. Нехай, для прикладу, нам потрібно отримати логічний еквівалент пропозиції «Якщо у хворого є болі в епігастральній ділянці, то у нього має місце інфаркт міокарда або гострий панкреатит». Уважний розгляд другої (розташованої після слова «то») частини цієї пропозиції показує, що в ній містяться два, по суті справи, самостійних пропозиції, об`єднаних в складене (складне) за допомогою союзу «або»: «Хворий переніс інфаркт міокарда, або цей хворий страждає на гострий панкреатит ». З огляду на це спостереження вихідне пропозицію має наступний вигляд: «Якщо у хворого є болі в епігастральній ділянці (1), то він переніс інфаркт міокарда (2), або він страждає на гострий панкреатит (3)». Загальна структура аналізованого пропозиції вгадується тепер досить просто і може бути зображена схемою
«Якщо 1, то 2 або 3», де замість простих речень поставлені їх числові «індекси». До отримання логічного еквівалента вихідного пропозиції залишається зробити два кроки: замість чисел «1», «2» і «3» поставити три різні пропозіціональние символу «р», «q» і «г», а союзи «якщо, то» і « або »замінити відповідними їм за змістом логічними зв`язками:

1. Якщо р, то q або г
2. p- (qVr)

Цей вираз є формулою нашого логічного мови *.

* У логічному мові формулюються правила розстановки дужок, що вказують, у якому порядку відбувається об`єднання окремих складових формул між собою. Ці правила аналогічні тим, що прийняті в шкільній алгебрі, коли, наприклад, вираз

ac²-j-d = b читається як ((а (з²)) + D) = b.

Заміщаючи вираження звичайної мови символами відповідних синтаксичних категорій логічного мови тим самим абстрагуються від конкретного змісту того що виражається пропозиціями суджень і, одночасно, виявляють їх точне логічне зміст. Це зміст визначається складом логічних спілок (виражають судження) пропозицій, відповідними категоріями їх мовних виразів, і в сукупності становить те, що зазвичай називають логічною формою суджень.
Тут не стоїть завдання детального опису далеко не механічною процедури такого перекладу. Надалі ми просто будемо припускати, що відносно будь-якої пропозиції (судження) може бути отриманий його логічний еквівалент, для чого, можливо, буде потрібно попередня реконструкція граматичної будови цієї пропозиції з метою максимального його наближення до категорій і структурам логічного мови.