ReasonLines

Wallace A Murphree

За апликацијава

ReasonLines обезбедува (1) се додава нов и полесен пристап до традиционалните силогизам и (2) на проширување на традиционалните силогизам да се вклучат нумерички квантификација.
 
1) нов пристап кон традиционалната силогизам
 
Наместо да се размислува за изолирани извештаи како компоненти на аргументи, како главна премиса, можни се мали простории, и заклучок, овој нов пристап снопови секоја изјава со своите еквиваленти и секој пакет е претставена со свој "шематски" на стрелките. шеми на просторијата, тогаш може да се намали во место заедно на едни со други, каде што нивната спротивставување прикажува она што заклучок, доколку ги има, е сврзано. Корисникот само треба да научат како да го изберете точниот премиса шеми и како да се следат стрелките за заклучок.
 
& # 8195; & # 8195; Дел Еден на страницата за помош е туториал за овој нов пристап.
 
(2) Нумеричките проширување на традиционалните силогизам
 
Веќе е стандард за толкување на одредени квантификатори бројно; што е, тоа е стандард за да се "некои", како "барем еден." Покрај тоа, на универзална квантификатори, "сите" и "не", исто така, може да биде верно изречена бројно затоа што "сите" значи "сите со нула Исклучок" "не" значи ништо "ниту со нула исклучок." со оглед на ова, излегува дека традиционалните квантификатори едноставно одбележување на почетокот на бескрајни можно квантификации од "најмалку една" го отвора серија на "најмалку две", "најмалку три ", итн, и" сите (не) но нула "го отвора" сите (не) но еден "," сите (не) но две ", итн
 
Со тоа што овој експлицитни, на нула и еден од традиционалните силогизми се замени со други броеви. Така, на пример, " Сите, освен 10 A: Б и сите, но 20 Б се C, така што сите освен 30 А се C ," и " Најмалку 100 А се Б, Сите, освен 7 B се C, па најмалку 93 се C ", се само валидни како и традиционалните Барбара и Darii, а за истата причина.
 
& # 8195; & # 8195; вториот дел од страницата за помош се развива оваа нумерички проширување повикувајќи се на шеми.

Што има ново

Minor bug fixes