Модус поненс и начина Толенс

"Модус" в логиката се нарича един вид общ вид на аргумента. Следваща ще бъдат изброени четири близо един до друг начин, известен средновековен логика.

Модус поненс, понякога наричани gipoteticheskimsillogizmom дава одобрение на условни конструкции и одобрение от основаването си отидете на твърдението на следствие от това твърдение:

Тук отчета ", ако A, след това Б" и "А" - пращах, и казвах "Б" - заключение. Хоризонталната линия означава думата "следователно". Друг запис:

Ако А, след това B. A. Следователно, В.

Благодарение на това временно от изпращане ", ако A, след това Б", с помощта на "А" парцела, ние като че ли да се разделят за сключване на "Б". Въз основа на това, режимът на наричана понякога "върховенството на раздяла." Например:

Ако човек има диабет, той е болен.

При хората, диабет.

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

Ако талий - метал, той провежда електричество.

Талий провежда електричество.

Но външно подобно на това заключение:

Ако електролита е метал, то ще трябва да провежда електрически ток.

Електролитът провежда електричество.

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

Modus Толенс е на следния ред на мисли:

Ако А след В; нередно в

Тук отчета ", ако A, след това Б" и "погрешно Б" е предпоставката, и текстът "А не е вярно" - сключване. Друг запис:

Ако A, след това Б. Не-В. Съответно, не-А.

С помощта на тази схема за одобряване и отказ на условни конструкции неговите ефекти преход към отхвърляне на основа. Например: "Ако хелий - метал, е електропроводима. Хелий neelektroprovoden. Следователно, хелий - не метал ".

По схемата е нагласена процес модус Толенс на установяване неистинността на теорията или хипотезата, в резултат на неговата емпирична проверка. на одит

Теория T показва някои емпирични твърдение А, която е, задайте условен израз "ако T, тогава А". Чрез емпирични методи на познание (наблюдение, измерване или експеримента) предложение е в сравнение с реалната ситуация. Оказва се, че А е грешно и вярно оферта не-А. От помещенията ", ако Т, А" и "не-А" трябва да бъде "не-Т", т.е., на неистинността на Т. теория

На Модус Толенс често се смесва външно подобно разсъждение с него:

Ако А, тогава В; Неправилно

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

Ако глина е метал, би било ковък. Но глина - не метал.

Не е вярно, че глината е пластмаса.

Всички метали са от ковък и ако глина е метал, той също ще бъде пластмаса. Но глина не е метал. Но това очевидно не означава, че глината не е пластмаса. Освен метали, има и други пластмасови материали и глина сред тях.

Срещу смесване модус Толенс с този неправилен схема разсъждение предупреждава съвети от отричането условен израз за сключване на разследването до отричане на основата на това твърдение може да бъде и от основата до отричане на отричането на разследването - не.