Концепцията на модалност на решение по формална логика и нейните основни вида - логиката - е на разположение за всички

Концепцията на модалност на решение по формална логика и нейните основни типа

Под модалността на формалната логика, изразена разбере-ING по преценка допълнителна оценъчна информация за връзките между явления, логическото състояние на решенията на регулаторните органи, време и други характеристики.

Най-модален решението явно или неявно се използва п Далечния оператор "може", "необходимо", "доказано", "лош", "не е разрешено" и т.н. Например: .. "Това е лошо, когато един студент пропуска клас за неизвинени". Структурата на това решение е, както следва: М (S е P). Най-общо казано, всяка допълнителна информация, посочена в решението на п-гама от настоящото решение.

Съществува голямо разнообразие от условия, които са разделени в класове. Но ние ще разгледаме само от вида на модален stey, които са най-често се използва в познавателния процес: alethic, епистемологични и Deon-во.

I. alethic модалност ( "alethic" - произход дума Гре-агенция означава "истински") - това е изразено-emaya използване на "необходими" оператори "случайно", "може", "невъзможно" информация за логическото или фактически обосновани преценка vannosti: "Може би утре ще бъде слънчев ден"; "Невъзможно е, че човек никога не е направил грешка в живота ми."

В символичен логика означава etsya alethic видовете транспорт, както следва: "€ A" - "Необходимо"; «А» - «SLE чай-A '; "А" - "възможно"; "

Решенията са верни или неверни, по силата Неко-toryh фактори, които могат да се разделят на две части: Всъщност кал и логична. Той определя подходящите видове условия: действителното модалност и логически условия.

Реалните обстоятелства, свързани с цел Obus lovlennostyu-преценка, когато тяхната истина или лъжа на оп-redelyayutsya реалното състояние на нещата в среда екшън факултет.

За да всъщност са верни решения, в които връзката между условията на решението съответства на actu-NYM отношенията между явления. Пример за такова решение "KSU в Казан.

За да всъщност са фалшиви съдебни решения, в които връзката между обекта и сказуемото не отговарят на действителността ", KSU в Берлин." Ето защо, следва да бъдат извършвани използва оператор ДДС модален: "Това не е вярно, че KSU се намира в Берлин."

Използването на модалните понятия за необходимост и SLU, с шанс, възможност и невъзможност се случва, когато, изразяване на реалните отношения между явления. Faktiches Kuyu интермодалност, от своя страна, може да бъде разделена на действителната нужда всъщност е случаен, в действителност е възможно, ING и почти невъзможно да се видове.

Всъщност е необходимо - това е решения, в които govo-ritsya връзката на явления, определени от техния стабилен вътрешен база и набор от условия за тяхното развитие. Такива са научните закони Xia. Например: "Във всички инерционни системи за всички механични процеси се провеждат в един и същи начин." Естественият език е действително необходимо решение често се изразява с помощта на думите "трябва", "сигурност", "не-необходимост", и така нататък. Н.

Например: "Водата е определено кипи при 100 градуса по Целзий при нормални условия." Всички други фактически преценки са случайни.

Всъщност е възможно - това е решението, съдържащ в формиране на единна основа на явления. Например: "The Ox-gograde днес, може би ще вали." В показатели на естествен език съдебни решения са възможни последващи ING думата "вероятно", "може би", "позволено". Те upot-reblyayutsya като уводните думи, предикати.

Това е почти невъзможно - това предложение, съдържащо в-формация за липсата на единна основа за развитието на явления. On-например: ". Образование във Факултета по KSU-невъзможно е възможно за човек, които нямат средно образование"

Логически модалност - това е, информация за причинена-ността на решение, което се основава на закони и разпоредби, ето логиката. То вярно или невярно решение на структурата се определя. Те включват, например, са решения, които изразяват закони на логиката (законът за идентичност: Всяка мисъл в процеса на мислене трябва да бъде идентичен на себе си). K-ки на логически невярно включва вътрешно противоречиви съдебни решения. On-Например: "Обичам те толкова много, че аз мразя."

II. Епистемният модалност - се изразява в suzh-Дения обосновка и степента на надеждност ( "епистемата" означава в древна философия най-високата тип несъмнено-подножието, автентичен знания).

Операторите на такива решения: доказуеми, доказуеми, неразтворим, оборими.

Комуникацията между хората е да се използва времето лични оценки и доказателства, че имат различна надеждност CTE-пън, който зависи от много условия. Nation-важният сред тях са логично и не-логическо условие-Vija предопределящи два вида епистемичните съдби рационално информирани преценки, които изразяват знания и Bas-ен вяра решение, като ирационално.

Ориентирано логика предполага знания по-nyatie като истински само тези решения, които описват по-rayutsya надеждно установено емпирично или данни Теорема имат възможност за.

В логиката на степента на валидност два класа решения: надеждна (например, тези, които могат да се считат suzh-denie "Вярно е, че живите организми са огромни геоложки сила като убедително доказа VI Ver nadsky") и проблематично (например, "На -vidimomu, животът съществува не само на Земята ").

Значими преценки - това казва в Koto-ром съдържа насочи категорично информация. Решенията се оказаха истина, която служи в знанието, като отправна точка за нови изводи, което води до по-нататъшно подобряване надежден знания. Надеждно решение трябва да се разграничава от проблематично.

Проблемни съдебни решения - са подобни изказвания, кото-ръж не може да се счита за достоверен се дължи на факта, че истината или неистинността на такова разсъждение не е сигурно. Те само предварително Tenda да е вярно. Поради това е необходимо да се позволи на про-Bloem: се съдържа в решението на информация Дост е истина? Поради това, те са били наричани проблематично. В естествения език, подобни изказвания обикновено използват тези уводни думи като, "се появява" "вероятно", "може" и други.

За не-логични фактори, които влияят на четири Lovek ", принуждавайки" тя да признае някои решения в Ка-почести истина или лъжа, може да бъде

III. Deontic модалност (думата "deontic" в гръцката езерото началото "задължение") - се изразява в решението на информация, насърчава хората към определени в хаванче. език изречение Естественото е изработена във формата на съвети, молби, заповеди, правила за поведение или поръчка. В тези решения са често присъстват оператори са забранени, е позволено, обикновено се изисква, трябва. Например, "Лекции по логика, е желателно да се слуша с голямо внимание"; "Не пропускайте семинари по логика." "Нашите граждани имат право на почивка; забранен от библиотеката без карта библиотека "; "В нашата страна е позволено да получи паспорт с 14-годишен, и шофьорска книжка - с 18".

IV. Aksiologicheskayamodalnost. Оператори решения: добри, лоши, отлична. "Е, това почивен ден утре." "Фантастично, че друг компютър инсталиран в нашия офис." "Това е лошо, че сега ще трябва да останат на работа до късно през нощта."

V. Vremennayamodalnost. Оператори: винаги, никога, след като преди по-късно. "Винаги може да се намери изход от трудни ситуации." "Аз обичах да се скитат през тихите улици и съня." "Да не се възбуди от миналото."