Пресудите во логиката. Што е пресудата, видови на пресуди

Пресудата е форма на размислување, се афирмира или негира нешто во врска со постоењето на објекти, врските помеѓу нив и нивните имоти, како и односот помеѓу објектите.

Примери на изјави: "Волга се влива во Касписко Море", "како Пушкин напиша песната "Бронзена Коњаник", "во Црвената книга е наведена сибирски тигар", итн

Структурата на пресудата

Пресудата ги содржи следниве елементи: предмет, прирокот, и лигаментите квантификатори.

1. Предмет (лат subjektum -. «Клучен») - што, како што е наведено во пресудата, неговиот предмет ( «S»).
2. Прирокот (латински praedicatum -. "Рече:") - одраз на таг објект, што ќе се каже на оваа тема на пресудата ( "Р").
3. Бовча - односот помеѓу субјектот ( «S») и прирокот ( "Р"). Одредува присуството / отсуството на предметот на имотот изразена како предикат. Можеби тоа значи, и е означен со "цртичка" или зборовите "а" ( "не е"), "мора", "треба", "супстанција", и други.
4. Квантификатори (квантификатори збор) го дефинира опфатот на концептот, на која предмет на пресудата. Тоа стои во предниот дел на оваа тема, но тоа исто така може да бидат отсутни во судот. Означена со зборови како "сите", "многу", "некои", "не", "не", и други.

Вистински и лажни изјави

Пресудата важи и во случај кога постојат објективни докази, својствата и односите на предмети одобрен / одбиен во пресудата, точно. На пример: "Сите ластовичките - птици", "9 повеќе од 2" и така натаму ..

Ако изјавата е содржана во пресудата не е точно, ние се занимаваат со лажен исказ "Сонцето се врти околу Земјата", "Еден килограм железо потешки од еден килограм памук" и другите права суд се основа на точни размислување ..

Меѓутоа, во прилог на двете логика, во која пресуда може да биде точно или неточно, постои и мулти-димензионален логика. Според неговите услови, пресудата може да биде уште е неизвесно. Особено тоа се однесува на иднината на поединечни пресуди, "Утре се случува / не се случи поморска битка" (Аристотел, "На толкување"). Ако претпоставиме дека ова е вистински предлог, утре на поморската битка не може да се случи. Затоа, тоа е потребно да се направи тоа да се случи. Или обратно: тврдејќи дека пресудата во сегашниот момент е лажна, ние тоа го направите потребните неможноста на утрешниот поморската битка.

Пресудите за видот на изјавата

Како што е познато, од типот на изјавите три видови на реченици: декларативно, агитација и сослушување. На пример, реченицата "Се сеќавам на еден прекрасен момент" го означува типот на наратив. Препорачливо е да се сугерира дека таквата пресуда, исто така, ќе наратив. Таа содржи конкретни информации, во согласност со одреден настан.

За возврат, на прашална реченица содржи едно прашање, да се добие одговор на: "Што носи иднината за мене" Во исто време, тој вели ништо и не го негира. Соодветно на тоа, тврдат дека таквата пресуда е прашање погрешно. Прашална реченица, во принцип, не содржи никакви пресуда затоа што прашањето не може да се диференцираат врз основа на вистината / лажност.

Поттик тип на реченица е формирана во случај каде што има некои поттик за акција, бара забрана: ". Стани, О Пророку, и Д, и да присуствуваат на" Во однос на пресудата, според мислењето на некои научници, тие не се содржани во предлозите од овој тип. Други, пак, сметаат дека тоа е различни модални пресуди.

квалитетот на пресудата

Во однос на квалитетот, пресуда може да биде или потврден (S е P) и негативниот (S не е P). Во случај на позитивен пресудата, преку предмет предикат во прилог на одреден имот (-wa). На пример: ". Леонардо да Винчи - италијански сликар, архитект, скулптор, научник, натуралист и пронаоѓач и писател, најголем претставник на ренесансната уметност"

Во негативна пресуда, од друга страна, на имотот е одземен од тема: ". Теорија на 25-рамка на Џејмс Vicary нема експериментална потврда"

квантитативни карактеризација

Пресудите во логиката може да биде заеднички (се однесува на сите објекти од класа), приватни (некои од нив) и единицата (кога се зборува за оваа тема, постои само еден). На пример, може да се тврди дека таков е исказот како "Ноќе сите мачки се сива" ќе се однесува на општиот изглед, бидејќи тоа влијае на сите членови на мачка (предмет на пресудата). Одобрување на "Некои змии не се отровни" - пример на приватни пресуда. За возврат, пресудата "Прекрасен Днепар во мирна времето" е единица, бидејќи ние зборуваме за една одредена реката, постојат во една форма.

Едноставни и сложени одлуки

Во зависност од структурата, пресуда може да биде од еден вид на едноставни или сложени. Едноставна структура суд се состои од два меѓусебно поврзани концепти (СП): «Книга - извор на знаење". Исто така, постојат судови со еден концепт - кога вториот значеше само: "Се стемнуваше» (Р).

Комплицирани форма е формирана со спојување на повеќе едноставни пресуда.

Класификација на едноставни пресуди

Едноставен пресуди во логиката може да биде една од следниве форми: атрибутска, пресуда со односите, егзистенцијалната, модален.

Атрибутот (имотно-пресуда) испратен за одобрување / одбивање на предметот на одредени својства (атрибути) активности. Овие пресуди се категорични форма и не е доведена во прашање ", на цицачи нервен систем се состои од мозокот на мозокот, 'рбетниот мозок и излезни нервните патишта."

Во пресудите во однос на специфични односи меѓу предметите. Тие може да имаат просторно-временски контекст, причинска, итн На пример :. "Стар пријател подобро од два нови", "Водород полесни на јаглерод диоксид за 22 пати."

Егзистенцијална пресуда - ова тврдење за постоење / непостоење на субјектот (материјални и идеален): "Не постои пророк во сопствената земја", "Месечината е сателит на Земјата."

Модална предлог - форма на одобрување, во која беа вклучени на присуството на одредени оператор модални (треба добро / лошо, се покажа познати / непознати, забрането е, верувам, и др.). На пример:

• "Русија треба да се спроведат реформите во образованието" (alethic модалитет - можност, потребата од нешто).
• "Секој има право на безбедност на личноста" (deontic модалитет - моралните норми на социјална однесување).
• "Занемарување на државниот имот води до загуба" (axiologic модалитет - поврзани со материјални и морални вредности).
• "Ние веруваме во вашата невиност" (епистемолошките модалитет - веродостојноста на знаење).

Комплексни пресуди и видовите на логички сврзници

Како што веќе рековме, комплексот судови се состои од неколку едноставни. Како логички врски меѓу нив се такви методи, како што се:

• Врска (а ʌ b - поврзување пресуди). Пресудите-conjuncts имаат еден куп на "и", "Имплементација на правата и слободите на човекот и граѓанинот не смее да се повредуваат правата и слободите на другите."
• Дисјункцијата (avb - поделба пресуди). Како составните елементи на пресудата-клаузули се користи како средство за врзување - сврзникот "или". На пример: "На тужителот има право да се зголеми или да се намали големината на барањето."
• Импликацијата (а → b - пресуда-ефект). Ако објавувате е доделен во структурата комплицирано суд и следствено на тоа, може да се тврди дека таквата пресуда се однесува на implicative. Како врзивно средство се користи во форма на здружување, како што се "ако ... тогаш". На пример: "Ако преку диригент да го пропушти електрична струја, на жица се загрева," "Дали сакате да бидете среќни - да бидат среќни".
• Еквивалентност (а ≡ b - идентични пресудата). Таа се одвива во случај кога вредноста на a и b се исти (или и вистински или лажни и): "Човекот е создадена за среќа, како птица да лета."
• Негација (¬a, А - пресуда-инверзија). Секој извор е поврзан со изјава во соопштението соединение што го негира оригиналот. Со помош на "не" куп. Според тоа, ако оригиналната изјава како што следува: "Бикот реагира на црвено светло" (а) - негирање ќе звучи како: "Бикот не реагира на црвено светло" (¬A).