ReasonLines

Wallace A Murphree

Om denne appen

ReasonLines gir (1) en ny og enklere tilnærming til den tradisjonelle syllogisme og (2) en utvidelse av den tradisjonelle syllogism å omfatte numerisk kvantifisering.
 
1) Den nye tilnærmingen til den tradisjonelle syllogisme
 
I stedet for å vurdere isolerte utsagn som komponenter av argumenter, slik som store premiss, mindre premiss, og konklusjonen, bunter denne nye tilnærmingen hver setning med sine ekvivalenter og hver bunt er representert med sin egen "skjematisk" av piler. Premisset skjemaer kan deretter bli droppet på plass langs siden av hverandre hvor deres Sidestilling skjermer uansett konklusjon, om noen, som innebar. Brukeren trenger bare å lære å velge de riktige premiss skjemaer og hvordan de skal følge pilene for en konklusjon.
 
& # 8195; & # 8195; Part One av hjelpe siden er en tutorial for denne nye tilnærmingen.
 
(2) Den numeriske utvidelse av den tradisjonelle syllogisme
 
Det er allerede standard å tolke det bestemte kvantifikator numerisk; det er, er det standard å ta "noen" som "minst én." Dessuten, de universelle quantifiers, "alle" og "nei", kan også være trofast gjengitt numerisk siden "alle" betyr "alt med null unntak" og "nei" betyr ingen "ingen med null unntak." Gitt dette, viser det seg at de tradisjonelle quantifiers bare markere begynnelsen på løse mulige quantifications siden "minst ett" åpner serien av "minst to", "minst tre "osv, og" alle (ingen) men null "åpner" all (ingen) men en "," alle (ingen), men to, "etc.
 
Ved å gjøre dette eksplisitt, null og ett av tradisjonelle syllogismer bli utskiftbart av andre tall. Så, for eksempel, " Alle unntatt 10 A er B og alle, men 20 B er C, så alt men 30 A er C " og " Minst 100 A er B, All men 7 B er C, så minst 93 A er C ", er like gyldig som den tradisjonelle Barbara og Darii, og for samme grunn.
 
& # 8195; & # 8195; del to av hjelpe siden utvikler denne tall utvidelse ved å appellere til de skjemaer.

Hva er nytt?

Minor bug fixes