Елементи на официална логически анализ на езиковото мислене - логически медицинската диагностика

Част I.
ЕЛЕМЕНТИ
Официално логически анализ на езика МИСЛЕНЕ
В известен смисъл, процесът на клиничната диагноза може да се раздели така да се каже в две основни стъпки: а) осигуряване на емпирична основа на диагнозата, т.е. търсенето и откриването на признаци (симптоми), пряко или непряко, "посочи" на външен вид, форма на болестта, естеството на .. курса си и така нататък. p.-
б) фаза на анализ, който въз основа на емпиричните данни, както и някои твърдения nomological характер (априори основи на диагнозата) лекар изгражда своя диагностичен изход. Основната форма на познавателната дейност на лекар на този етап е извод (аргумент). Предизвикателството, пред което ние сега определя себе си, е да се помисли за разсъждение на лекаря от официалната-логическа гледна точка.
Строго погледнато, мотивите на проучване лекар във формата, в която те могат да възникнат в съзнанието (мисленето) на лекаря - проблем на психологията на мислене. Имитира заем лекар умствени действия методите и средствата на науката логика на. Всеки модел, както знаем, в някои отношения, подобни, аналогична на моделирания обект и, в същото време, нещо по-различно от това. Ето защо, ние няма да изисква логическите модели на умствени операции, извършени от лекар в диагностичния процес, абсолютно пълни, психологически значителни прилики. За да бъдат достатъчни за изграждане на такива логически еквиваленти на тези операции, чрез които ще бъдат възпроизведени обективни връзки и връзки между диагностичната информация налична за пациента си целите на анализа, и неговия съответен, т.е.. Е. следващата логична (произтичащи) от него диагностицира. Възпроизвеждането на тези връзки и отношения, и ще бъде критерият за логическата коректността на аргументите на лекаря, тъй като последната, ако те се появят, са направени много добре, възпроизвежда същите връзки и отношения.
Ние характеризират някои елементи на език логика анализ (абстрактно) мислене. Неговата основа е "превеждането" на изразяване на естествени езикови изрази на изкуствени (символни), специално адаптирани за целите на логическо обяснение на различните форми на мислене. Този вид език не съдържа мулти-ценен изрази, тя използва евтини и затова добри предвидими методи за отразяване на мисли. Преди всичко, което го прави незаменим инструмент на логически анализ прави, то е, че тя "изложени" логическа структура на записан с помощта на преценка и мислене.

§ 1. символичен език на науката и логиката.

Нека накратко характеризира фрагменти от такива език. В този раздел ще разгледаме най-вече за езика на Пропозиционални логика, с пълно описание на който може да се намери във всеки един от учебниците по математическа логика (16). Тя осигурява, от една страна, променливи символи на форма Р, Q, R и т. P.- така наречените Пропозиционални променливи. Вместо това, когато са преведени на обикновен език това - включително и клинична език медицина - можете да поставите прости разказни изречения изразяващи решения на формата: "Пациентът е открил определен набор от симптоми", "Пациентът страда от такава болест" и т.н. Както знаете .. всяка такава оферта (решение) има едно от значенията на истина: това е било истина или лъжа. За някои цели е удобно да се предположи, че стойностите на Пропозиционални променливи са само на възможните стойности на истината "истината" (съкратено от "и") и "невярно" (съкращение - "л").
Ние също така ще работи с променливи символи A, B, C и така нататък. N. От друга страна, по-висока категория синтактично, че ще замени и вместо от които ще бъде възможно да се заменят както прости, така и сложни изрази на нашия изкуствен език.
По същия език съдържа шест логически connectives (съюз), чрез които лесно (начална), оформен Пропозиционални формула по-сложни. В обикновения език го ставните връзки на Съюза ", ако, след това", "и", "или" "или" и "не" ( "фалшива, че"), и "единствено и само ако". Технически имена, символи и преводи на логически connectives, съдържащи се в таблицата по-долу:

В естествения език, наречен на синдикатите не са строго фиксирани логично съдържание. В нашия език с всеки логически съединителната съответства само една такава поддръжка. Това се постига обикновено чрез семантична маса (матрица), която всеки пакет се кредитира строго определена логическа функция. Ето съответната таблица:

Съдържанието на влиянието (неговата логически смисъл) се определя в таблица формула контекст 1. PQ: той е настроен на "фалшиво", когато изявление р - е вярно, както и декларация, Q - фалшиво във всички останали случаи, тази формула се смята за вярно (виж крайната колона маркирана. кадър) *. В клиничната език implicative изявление р>р съответства на условни присъди, като например "Ако пациентът е опасно болен, той подлежи на незабавна хоспитализация", "Ако пациентът страда от гастродуоденалното обилни кръвоизливи, а след това е случай на сърдечно-съдовата недостатъчност" и така нататък. н.
*Част от формулата, която стои отляво на "А-В" от логически съюз "->"(Формула А), наречен предшественик и втората част, разположена непосредствено след това обединение (формула В), наречен вследствие.
Значението на връзката на D са дадени в таблица 2. Разпределението на истината стойности за експресията на р-р: тази формула се счита за вярно, когато прости (нейните компоненти) отчети р и р istinny- за всички други разпределението на стойностите на тези отчети, тази формула е погрешно. Пример за превод съединителната отчети на клиничната медицина език може да служи като изявление на формата "изследват пациенти, страдащи от исхемична болест на сърцето и, в същото време, той страда от белодробна туберкулоза."
Дизюнкция V (на включено) се определя чрез таблица 3. състояние формула истина е вярно за всички разпределения на истината стойности на комбинирани отчети р и р, с изключение на случая, когато и двете от тях са неверни твърдения. В клиничната език аналог на тази формула е изречение: "Пациентът - инфаркт на миокарда, или страда от стомашна язва." Имайте предвид, че разделителния предложение не съдържа алтернативно като "или един е вярно и фалшиво -. Другия, или обратно"
Такава алтернатива характеристика на дизюнкция (дизюнкцията разделяне) на: формула р V Q е вярно само в случаите, когато отчети п и р имат различни стойности на истината - един е вярно, и от друга - е погрешно, или обратно. Във всички други случаи, формулата е невярно (Таблица 4).
Значението на логическата отрицание H е, че ако изявление р - вярно, отчет р -lozhno и обратно (виж таблица 5). Така че, ако е вярно твърдението "Пациентът се възстановява L.", това ще бъде фалшива логично отрицание на това твърдение: "Това не е вярно, че пациентите от А се е възстановил", а ако е невярно твърдение е "Пациент Л. възстановен", който ще бъде истинската си логично отрицание "не е вярно че пациентът L. възстановява. "
Двойна като логично отражение лигамент има следното значение: изявление р-р е вярно само когато р и композитен изказване р са верни, или обратно, са фалшиви (Таблица 6). Например, твърдението "Пациентът е слушал presystolic шум и да се съсредоточи I-ти тон в върха на сърцето аускултация на сърцето, ако и само ако пациентът страда от митрална стеноза" би било невярно в два случая: а) ако изложението "Пациентът е слушал presystolic шум "- фалшиви, и декларация:" Този пациент страда от митрална стеноза "- истински б) ако твърдението" Този пациент страда от митрална стеноза "- фалшиви, и текстът" пациентът е слушал presystolic шум "- е вярно. .. Във всички останали случаи, т.е., когато и двете от тези твърдения са верни или неверни, така, съответната декларация двойна Изводът, е истина, и неговите компоненти - логически еквивалентни твърдения.
Ние няма да се обсъди въпросът за степента, до която определението на логическите връзки чрез горните таблици адекватно по смисъла на съответните им съюзи обикновен (естествено) език. Достатъчно за нас факта на адекватността на такова решение, поне за някои доста типичен контекст данните за потреблението на Съюза в областта на клиничното език. Например, обикновената употреба на съюза ", ако, след това" в условна присъда "Ако операцията е успешен, пациентът се възстановява", показва, че това изречение е вярно, когато най-малко вярно от нейните компоненти - изречението "Операцията приключи успешно" и "Пациентът се възстановява" и непременно фалшива кога. първо изречение (предшественик) - е вярно, а вторият - (вследствие) - това е лъжа.
Определяне на логически връзки от таблица 1. съхранява като това лесно може да се види, в зависимост от дадена езикова традиция. Превръщането на изразяване на обикновен език, с помощта на таблицата на Пропозиционални connectives, губим някои от нюансите на мисълта, но спечелването на прецизност.
Всяко предложение клинична език може да се намери тяхната равностойност в нашия логически език. Да предположим, например, че трябва да получите най-логичен еквивалент на изречението "Ако пациентът има болки в епигастриума региона, а след това е случай на инфаркт на миокарда или остър панкреатит." А внимателна преценка на втория (който се намира след думата "на"), част от предложението показва, че той се състои от две, всъщност, собствена доставка комбинирани в композитен (комплекс) с "или" Съюз "Пациентът е претърпял инфаркт на миокарда, или пациентът страда от остър панкреатит. " Като се има предвид това наблюдение, първоначалното предложение е както следва: ". Ако пациентът има болки в епигастриума региона (1), той е получил инфаркт (2), или той страда от остър панкреатит (3)" Цялостната структура на изречението се анализира предположение сега е съвсем проста и може да се представи схема
"Ако 1, 2 или 3", където бяха въведени прости изречения числови "индекси". Преди получаването на логичното еквивалентен източник изречение остава на два етапа, вместо на номера "1", "2" и "3", за да вкара три различни Пропозиционални "р" символ, «р» и «г» и асоциации ", ако, след това" и " или "замени съответната им по смисъла на логическите connectives:

1. Ако р, тогава Q или R
2. р- (qVr)

Този израз е формулата на нашия логически език *.

* В логична подредба езикови формулирани правила на скоби, за да се посочи реда, в който има връзка между отделните компоненти на самите формули. Тези правила са сходни с тези, предприети в училище алгебра, когато, например, изразът

променлив ток²-й-д = б се чете като (((С²)) + D) = б.

Смяна на обичайните символи на езика на изразяване на подходящи синтактични категории логично езикови абстрахират от конкретното съдържание на предложенията, изразени преценка и, в същото време, да разкрие точната логично съдържание. Това съдържание се определя от състава логично съюз (изразяване на решението) предложения, съответстващи категории езиково изразяване, и заедно представляват това, което обикновено се нарича един логически форма присъди.
Това не е задача на подробно описание не е механични процедури такова прехвърляне. В бъдеще, ние просто ще приемем, че по отношение на каквито и да било предложения (предложения) могат да бъдат получени чрез своя логичен еквивалент, които могат да се нуждаят от предварително реконструкция на граматическата структура на предложението с цел максимизиране на подхода си към категорията и структурата на логически език.