Решение и Пропозиционални функция, концепцията за quantifiers, разделението на решения на различни видове транспорт

Решението трябва да се разграничава езиково изразяване, наречена "Пропозиционални функция или израз функция."

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

Ето един пример. Вземете тези решения:

Съдията - адвокат. Следовател - адвокат. Адвокат - адвокат.

Предикатът в настоящото решение, е една и съща - "адвокат", а темата - различно, "съдия", "инспектор", "адвокат". Ако замените предмет на тези съдебни решения подпише х, получаваме следния израз: х - адвокатът.

Такава словесно изразяване нарича Пропозиционални функция, или декларация за функция. Примери за това са следните: "X - човек", "х - върховенството на закона", "х> към" и други.

Пропорционалната функцията разграничи аргумент и предикат. Функциите на изявленията "х знака - Адвокат е - аргументът, а терминът" адвокат "- сказуемото. Функциите на отчети "х е по-малко от у" един предикат - концепцията за "по-малко от" и два аргумента - х и у; в Пропозиционални функцията "х е между един и г" един предикат - терминът "намира" и три аргументи - X, Y и Z. Следователно опознавателните единични Пропозиционални функции (с един аргумент) и мулти Пропозиционални функции (с няколко аргумента).

Пропозиционални функционира като формули записани като: F (х) F (х, у), Р (х, у, Z) и т D. Когато X, Y, Z - обект променливи (аргументи) и р - предикат. изразяване на даден ваканционен имот или нагласа.

В традиционната (Аристотеловата) логика да изразят количеството на решението се използва думата "всички", "няма", "всеки", "някои" и други. Например, общото решение "Всички метали - проводници" се записва под формата на формула, както следва: "Всички S е Р".

Logic представи за количествено характеризиране на предложения (извлечения) специални оператори, наречена quantifiers (от латинската дума квант - колко).

Quantifiers са два вида: екзистенциалната квантор и квантор.

Квантор смисъл на израза: "За всяка (всички) X". Това се отразява на знака - V х.

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

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

Решение способности - това предложение, което отразява реално съществуващото, но още не е проявено възможност. Примери за това могат да включват следното: "Възможно е нападение", "възможно убийство на ловна пушка" и други.

Решенията реалност - това е решение, което отразява това, което вече съществува в реалността. Например: "Петров бе осъден по член 206 от Наказателния кодекс на Украйна.".

За разлика от съдебни решения възможност на съдебни решения на реалността, че е от съществено значение за учене. Като възможност не може да се приема като факт и преценка възможности не бива да се бърка с решението на реалността. Възможно Решението, ние изразяваме нашето знание за това, което е възможно един обект, както и по преценка на действителността е на мнение, че подобно нещо вече се е случило в действителност съществува.

Решенията реалност - съдебно решение за това, че има и преценка възможности - това предложение, което може да бъде, е възможно само като такъв. Ето защо, например, по време на разследващ експеримент, чрез който се установява възможността или невъзможността на едно явление или факт, е възможно да се прави оценки ( "М. е бил в стаята си, той можеше да види мъжа, който слезе от прозореца на стаята C"), но не преценка на действителността ( "М. е бил в стаята си, видя един човек, да се измъкнем от прозорците на стаите").

Решение е необходимо - това е решение, което отразява неизбежността за съществуването на даден обект или комуникацията между обекти и явления. Например: "Социално същество определя общественото съзнание"; "Политиката не могат да имат предимство пред икономиката" и така нататък. Г.

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

Според логически решенията модалността са разделени на проблематично (вероятно) и надеждна.

Проблемни (най-вероятно), наречена на решението на съда, в който всеки знак, потвърждават или отричат ​​мисли по този въпрос само хипотетично. Например: "Това беше най-вероятно палеж."

Вероятно решението има формулата: "S, най-вероятно е P '; "S, най-вероятно не е P".

Проблемни съдебни решения не трябва да се бърка с възможност за преценка, тъй като е напълно различна теза. Вземете тези две твърдения: "Може симулация кражба"; "Вероятно има симулация на кражба."

Първото решение е постановено от възможността за знание, изразено в това, че по естествен начин е възможно съществуването на такива явления като симулация на кражба. Вторият - е проблематично, тя представлява знанието, че престъплението е може би най симулация на кражба.

Решение, в резултат на възможността да се направи дълбоко проучване на този въпрос, изразено в решението на знанието е пълна и достоверна.

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

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

Но това не означава, че следователят вероятната съдебни решения трябва да се направи само в началния етап на разследването на случая. Проблемни съдби са изразени по време на съдебното разследване. Въпреки това, те са с различна степен на вероятност: не е много вероятно, вероятно, най-вероятно.

Значими преценки се нарича решение, с което определено сигурност се знае, че въпросният знак в съда, всъщност принадлежи или не принадлежи на обекта на мисълта.

Разделението на становища по-вероятно и надеждна е от решаващо значение за практиката на закона. Това се дължи на факта, че в основата на крайното заключение на делото може да бъде само надеждна преценка и в никакъв случай неимоверно. Законът забранява съдилища съдят и определяне на базата на па се твърди, че установените факти.