ReasonLines предоставя (1) нов и по-лесно подход към традиционната силогизъм и (2) разширяване на традиционния силогизъм да включва числена количествено.
1) Новият подход към традиционната силогизъм
Вместо това, изолирани отчети, тъй като компонентите на аргументи, като основна предпоставка, второстепенен помещение, и заключение, този нов подход снопове всеки отчет с неговите еквиваленти и всяка връзка е представена от своя "схематичен" на стрели. схеми на предпоставката, след това може да се пусне в място наред помежду си, където им съпоставяне дисплеи каквото заключение, ако има такива, ще са последствията. Потребителят трябва само да се научат как да изберете правилните помещение схеми и как да следвате стрелките за заключение.
& # 8195; & # 8195; първа част на страницата Помощ е ръководство за този нов подход.
(2) Численият разширяване на традиционния силогизъм
Той вече е стандарт да тълкува специално квантор числено; това означава, че е стандарт да вземе "някои" като "най-малко един." Освен това, универсалните quantifiers, "всички" и "не", също може да бъде вярно постановено числено тъй като "всички" означава "всичко с нула изключение" и "не" означава нищо "нито с нула изключение." Като се има предвид това, се оказва, че традиционните quantifiers просто бележат началото на безкрайните възможни quantifications тъй като "най-малко един" отваря серия от "най-малко две", "най-малко три "и т.н., и" всичко (няма), но нула "се отваря" всички (няма), но един "," всички (няма), но две "и т.н.
Като прави това изрично, нула и един от традиционните силогизми стане заменяеми от други номера. Така, например, " All но 10 А са В и всички, но 20 B са C, така че всичко, но 30 А са C " и " Най-малко 100 А са B, All но 7 в са с, така че най-малко 93 а са C , "са също толкова валидни, както традиционния Барбара и Darii, и за много по същата причина.
& # 8195; & # 8195; втора част на страницата Помощ развива този числен експанзия от привлекателни за схеми.
Актуализирано на
1.04.2025 г.