Лекция 5. комплексни преценки

Формуляри комплексни решения и истина маса.

Модалността на съдебни решения: естеството и вида.

1. Видове сложни преценки и истина маса.

Комплекс suzhdenie- настоящото решение, което се състои от две или повече прости твърдения свързани логически съюзи. Най-простият вид на комплексни решения е отказ

1. Отказ - "не", "не е вярно, че ..." "Не е вярно, че земята е квадрат". Обикновено означен със символа "¬" или "

Условия истина решение комплекс от прост "на базата на неяснотата на поемане и са определени с таблицата на истина, където р, Q - Пропозиционални променливи означаващи просто решение, т.е. р - (S има P) и р - (S има P .) и - истина, L -. лежат в първите две колони п и р са взети като независими.

Таблицата с истината за отказа

Равностойни твърдения са еквивалентни. Ето защо, те са верни за равни стойности и фалшиви членове за еквивалентност - под различна.

2. модалност на съдебни решения: естеството и вида.

Път - на изрично или мълчаливо изразено в решението на допълнителна информация за степента на неговата валидност, логически или фактическото състояние на регулаторната, оценъчна и други от неговите характеристики .. Word, чрез които модалност е фиксирана изказване се нарича модален functor. декларация, съдържаща модален functor нарича модален. Раздел логика, където се изучават свойствата на модалните изявления, наречена модална логика. Прехвърляне логика важи и за некласически логики (класическа две ценен логика и модални - ценен). Най-често срещаните условия:

alethic (от гръцки "Aletheia." - истината)

аксиологичен (от гръцки Аксиос -. ценно)

deontic (от гръцки deonte -., както би трябвало да бъде)

епистемично (от "епистемата" Гръцки -. определени знания)

1. alethic модалност изразени от операторите (functors) "необходимо" (□), "възможни" (◊), "случайно" (). Alethic основни понятия от поетите представи за възможност и необходимост. За да изразите възможностите за руски език се използва думата "може", "мощ", "вероятно" и др. За да изрази необходимостта да се използва думата "необходимо", "трябва", "следователно", и др. 2. аксиологичен (приблизително) модалност извлечения от гледна точка на определена ценностна система на. Аксиологичен статус изявления, се изразява в абсолютни ( "добър", "лош", "лош", "не ми пука") или относителни ( "по-добри", "лоши", "еквивалентни") оценъчни понятия. 3. Deontic (нормативно) модалност отразява връзката на решение с одобрените морални норми, право, специфични задължения ( "трябва", "трябва", "може", "позволено", "забранено", "позволено"), и може също така да изразя ред, подбуждане към определени действия.

4. Епистемният модалност отразява степента на валидност на съдържанието на решението, да знаят (от "доказан" или "опроверга" до "вероятно", "проблемни", "малко вероятно" м. П.), и начина на вземане на информацията, съдържаща се в решението ( "ноу "," вярвам "," вярва "," съмнение "и т.н.). Според степента на валидност сред знания са два несвързани класове на правосъдието, значими и проблематични. Надеждно решение - това е един разумен предложение истина или лъжа присъди. Тяхната модалност може да бъде изразено от двама оператори: V - Доказателства оператор (достоверност), F - опровергае оператор (фалшифицира). "Доказано е, че земята е кръгла" - V (п). "Аз оспорва, че земята е плоска" - F (р). Операторите V и F може да бъде изразена по отношение на всеки друг: V (п) ≡F (

п) ≡F (п). Проблемни съдебни решения - Съдебно решение, което не може да се счита за надежден поради липсата им на валидност. Проблемни съдебни решения могат да бъдат изразени от страна на оператора P, подобно на отчета за вероятност в областта на математиката. Изразяване на P (р) се чете като: "Това вероятно е р" или "Очевидно е, р". Тя може да се изрази с помощта на операторите V и F: F (р) =

F (р), т.е. трудността р означава, че р не е доказано, нито опровергана.