Правилно и грешно мислене, решение, обжалването

Правилно и грешно мислене

Условия за получаване на истински заключения в заключение е: 1) на валидността на оригиналното изказване или допускания; 2) коректност на сключване. Концепцията за вярно твърдение (декларация) се счита от нас в Модул IV - "Simple предложение". Концепцията за "правилните изводи", свързани с отношението на логическо следствие. За да се разкрие съдържанието му да се анализира след аргумент: "Ако аз издържал теста в логиката на (А) и прихващане в историята на Украйна (C), затова не мога да кажа, че най-вероятно издържал теста в логиката или историята на Украйна." Логическа структура на тези разсъждения е, както следва: "Ако А и В, така че А или Б". Ние го напиша като формула на Пропозиционални логика и изгради своята истина маса:

Както можете да видите, Пропозиционални логика формула, която отразява структурата на нашия аргумент винаги е вярно формула или тавтология. Това от своя страна означава, че първото и второто одобрение съществува логичен извод съотношение (ПДК и A / B) - разсъждения структура, наречена правилен изход структура. По този начин, да се приеме, е правилно, ако и само ако изходът е логично следствие от базите. В такава структура може да се замени А и Б да се сложи цялото съдържание на верни твърдения и ние винаги се получи истински заключение.

Помислете още един пример: "Ако човек е болен от грип (A), а след това ще се повиши телесната температура (B) на мъжа повишена телесна температура (B) Поради това е грип (A) ..." Логическата структура на аргумента, е както следва:

Пишем структурата на формула Пропозиционални логика и да го проверите на tavtologіchnіst:

Конструиране такава последователност таблица 1) отражение стойност истина (А -> С); 2) стойността на съюзът на истината ((А - "B) л В), и 3) стойността на истината с формула като цяло (А Б) -> А) Както може да се види, тази формула не е тавтология Това означава, че не е структура ... правилния извод, а не правилното заключение, тъй като истинската zasnovkah това не винаги дава вярна заключение. Така че, в нашия пример, изход "човек грип" не е необходимо, тъй като причината за високата температура на тялото може да бъде много други причини (освен грип ).

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

Апелативният съд

В тази и следващите параграфи на този раздел, ние ще разгледа незабавно извод.

Има четири основни типа директен изход:

1) боравене преценка; 2) превръщане на решение; 3) контраста между предиката и 4) логически заключения квадрат.

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

А (8P) - "A (RB):" Всички В е Р, следователно, всички имат P 8 ".

Това е пример на чист обращение.

A ($ D) - "И (P8):" Всичко, В е Р, следователно, някои Р е В ".

Това е пример за обжалване ограничено. преценка Zagalnozaperechne.

Е (8P) - "E (Р8):" Един или R8 не е, следователно, нито един от R 8 не е "Например :.

Chastkovostverdzhuvalne преценка. I (SP) -> I (PS): "Някои S е Р, следователно някои F е S". Например:

CBD) -> А (RB): "Около 8 е Р, следователно, всички имат P 8". Например:

Това е пример за лечение на обобщение.

Chastkovozaperechne решение не винаги осигурява необходимите изводи в случай на лечение, т.е., лечение с изводи от решенията 0 (8P) не винаги са верни. Например: "Някои престъпници не са осъждани многократно, следователно, някои рецидивисти не са престъпници (?!)." В съответствие с това решение операция chastkovozaperechne жалба не е предмет.