Съкратен силогизъм
Ентимемата е съкратен силогизъм, в който едно от предложенията е пропуснато. Видове ентимеми: с липсваща по-голяма премиса; с пропусната по-малка пратка; с липсващо заключение. Възстановяването на ентимемите до пълен силогизъм има голяма образователна стойност. Фалшивите предпоставки са в липсващата част на ентимемата. По-трудно е да се анализира казаното. Тази психологическа особеност се взема предвид и при умишлено подвеждане. Възстановяването на липсващата част от силогизма ви позволява да проверите както истинността, така и правилността на ентимемата.
27. незабавни заключения. Трансформацията като начин за конструиране на директно заключение Непосредствените заключения са заключения, при които заключението се извежда от една предпоставка. Непосредствените изводи се делят на следните видове: трансформация, инверсия, противопоставяне на предикат и извод чрез логически квадрат.
Трансформация. 1. Общо утвърдително съждение (A) се превръща в общо отрицателно (E); 2. Общо отрицателно съждение (E) се превръща в общоутвърдително (A); 3. Конкретно утвърдително съждение (I) се превръща в конкретно отрицателно (O). в българската основа този закон не се прилага; 4. Конкретно отрицателно съждение (O) се превръща в конкретно утвърдително (I). в българската основа този закон се прилага.
28. Противопоставяне на предикат като начин за конструиране на пряко заключение Противопоставянето на предикат е вид пряко заключение, при което предметът на заключението е понятие, което противоречи на предиката. Някои видове преки изводи на традиционната логика, като противопоставяне, трансформация, лесно се превеждат на символния език на смятането.изявления. Но дори операцията на инверсия, когато трябва да се анализира структурата на връзката между субекта и предиката и да се въведат кванторите на общост и съществуване, не позволява превод на прост език на пропозиционално смятане, в който предложенията се разглеждат като цяло и се анализират само от гледна точка на тяхната истинност и неистинност. В тази връзка е необходимо да се изследва логическата структура на съжденията, както атрибутивни, така и релационни, характеризиращи връзката между обектите. В същото време, за да се определят количествено съжденията, трябва да се въведат кванторите за общост и съществуване.
Независимо от това, представянето на твърдения като изявления, лишени от вътрешна структура и оценени като цяло като истинни и неверни, играе съществена роля в изграждането на самата логика. Първо, някои от най-простите видове разсъждения или изводи могат да бъдат сведени до смятане, базирано само на оценка на истинната стойност на твърденията. Второ, такъв подход е много полезен от методологическа гледна точка, тъй като въз основа на него може по аналогия да се изгради по-сложно предикатно смятане, което отчита вътрешната логическа структура на съжденията. Трето, при този подход пропозиционалното смятане може да се разглежда, от една страна, като изходна основа за конструиране на предикатното смятане, а от друга страна, като специален случай на предикатното смятане. И накрая, четвърто, новото изчисление на предикатите обхваща не само класическата логика със субектно-предикатна структура на съжденията, но и логиката на отношенията, възникнали по-късно.
29. Основни закони на правилното мислене. Законът за противоречието и законът за изключената среда. Мисленето се управлява от различни закони. Всеки от тях установява определена връзка на мислите и по свой начинотразява обективната логика на заобикалящата действителност. В логиката има 4 основни закона на мисленето: тъждество, противоречие, изключено трето, достатъчно основание.Законът на противоречието. Ако разсъждението стигне до формулирането на две противоречиви или противоположни съждения, тогава и двете не могат да бъдат верни едновременно. Така че един от тях е длъжен да бъде фалшив. Изисква последователно мислене. Символичен запис: не може едновременно да има А и не-А, А и Б. Грешката на „противоречие в разсъждението“.Законът за изключената среда Ако разсъждението стига до формулирането на две противоречиви или противоположни съждения, тогава те не могат да бъдат едновременно верни и едно от тях е непременно невярно, тогава по отношение на противоречивите съждения този закон гласи, че те не могат да бъдат неверни едновременно. Едното от противоречивите съждения винаги е невярно, другото е вярно. Трети няма. Изисква последователност в мисленето, пълно разсъждение. Символна нотация: А или не-А. Грешката „непоследователност в разсъжденията“.
Модусът tollendo ponens е отрицателно-утвърдителен модус. При него второстепенната предпоставка и заключението също образуват алтернатива, само че сега, напротив, второстепенната предпоставка отрича една от алтернативите, а заключението утвърждава друга алтернатива.
Грешни режими: от отрицание на основата до отрицание на следствието.