Пропозиция
Пропозиция е термин във философията и логиката. Това е твърдение, което има стойност на истинност, т.е. може да се докаже, че е вярно или невярно. За да е валидна една пропозиция, трябва да е възможно да се докаже, че тя е вярна или невярна. Много учители и ученици по логика използват термините твърдение и пропозиция за означаване на едно и също нещо.
Едно и също твърдение може да се изрази по много начини. Пропозицията се интересува само от действителното значение, а не от начина, по който е изразена. Пропозициите могат да изглеждат различно, но да означават едно и също нещо. Когато две различни пропозиции означават едно и също нещо, се казва, че те са синоними, което означава, че всяко твърдение има едно и също значение.
Например "Snow is white" (на английски език) и "Schnee ist weiß" (на немски език) са различни изречения, защото са написани на различни езици. Те обаче означават едно и също нещо: снегът е бял. Без значение на какъв език е написано изречението, то ще означава едно и също нещо. В резултат на това тези твърдения са синоними.
В Аристотеловата логика пропозицията е специфичен вид изречение, което потвърждава или отрича, че дадено действие или предикат се е осъществило чрез субект. Аристотеловите пропозиции приемат форми като "Всички хора са смъртни" и "Сократ е човек". Във всяко изречение субектът (хората, Сократ) има статус (смъртни са, е човек), който може да бъде доказан като верен или неверен.
Според логическия позитивизъм пропозиция, чиято истинностна стойност не може да бъде определена, е безсмислена. Например твърденията за съществуването на божества не могат да бъдат доказани според логическия позитивизъм. Тъй като твърденията нямат истинностна стойност, логическият позитивист би сметнал, че пропозициите за божества (като "Бог съществува" или "Бог не съществува") нямат логическо значение.
Въпроси и отговори
В: Какво е предложение?
О: Пропозицията е твърдение, което има стойност на истинност, т.е. може да се докаже, че е вярно или невярно. За да бъде валидно, трябва да е възможно да се докаже, че пропозицията е вярна или невярна.
В: Как се представят пропозициите?
О: Пропозициите често се представят с главни букви, например P, Q и R.
В: Могат ли две различни пропозиции да означават едно и също нещо?
О: Да, когато две различни пропозиции означават едно и също нещо, се казва, че те са синоними. Например "Snow is white" (на английски език) и "Schnee ist weiß" (на немски език) имат едно и също значение, въпреки че са написани на различни езици.
Въпрос: Какъв вид изречение използва Аристотеловата логика за пропозиция?
О: В Аристотеловата логика пропозицията е специфичен вид изречение, което потвърждава или отрича, че дадено действие или предикат се е осъществило чрез субект. Примери за това са "Всички хора са смъртни" и "Сократ е човек".
Въпрос: Какво казва логическият позитивизъм за пропозиции, чиято истинностна стойност не може да бъде определена?
О: Логическият позитивизъм твърди, че пропозиции, чиято истинностна стойност не може да бъде определена, са безсмислени. Например твърденията за съществуването на божества не могат да бъдат доказани според логическия позитивизъм, така че тези твърдения не биха имали логическо значение според тази теория.
