ReasonLines

Wallace A Murphree

Om denne app

ReasonLines giver (1) en ny og lettere tilgang til den traditionelle syllogisme og (2) en udvidelse af den traditionelle syllogisme at omfatte numerisk kvantificering.
 
1) Den nye tilgang til den traditionelle syllogisme
 
I stedet for at overveje isolerede udsagn som komponenterne i argumenterne, såsom større forudsætning, mindre præmissen, og konklusion, denne nye tilgang bundter hvert udsagn med sine ækvivalenter og hvert bundt er repræsenteret med sin egen "skematiske" af pile. Udgangspunktet skemaer kan derefter faldt på plads langs side hinanden, hvor deres sammenstilling skærme uanset konklusion, hvis nogen, er medført. Brugeren behøver kun at lære, hvordan du vælger de rigtige premise skemaer, og hvordan til at følge pilene for en konklusion.
 
& # 8195; & # 8195; del af siden Hjælp er en tutorial for denne nye tilgang.
 
(2) Den numeriske udvidelse af den traditionelle syllogisme
 
Det er allerede standard at fortolke særlige kvantor numerisk; det vil sige, det er standard at tage "nogle" som "mindst én." Desuden, de universelle kvantorer, "alle" og "nej", kan også trofast gjort numerisk da "alle" betyder "alle med nul undtagelse" og "nej" betyder ingen "ingen med nul undtagelse." i betragtning af dette, viser det sig, at de traditionelle kvantorer simpelthen markere begyndelsen på endeløse mulige kvantificeringer siden "mindst én" åbner rækken af ​​"mindst to", "mindst tre "osv, og" alle (ingen), men nul "åbner" alle (ingen), men én, "" alle (ingen), men to, "osv
 
Ved at gøre dette eksplicit, nul og en af ​​de traditionelle syllogismer bliver udskiftes af andre numre. Så for eksempel, " Alle undtagen 10 A er B og alle, men 20 B er C, så alle, men 30 A er C ," og " Mindst 100 A er B, Alle undtagen 7 B er C, så mindst 93 A er C , "er lige så gyldig som den traditionelle Barbara og Darii, og for den meget samme grund.
 
& # 8195; & # 8195; del af siden Hjælp udvikler denne numeriske ekspansion ved at appellere til de skemaer.

Nyheder

Minor bug fixes