ReasonLines določa (1) nov in lažji pristop k tradicionalni silogizmom in (2) širitev tradicionalnega silogizmom vključuje numerično količinsko.
1) Nov pristop k tradicionalni silogizmom
Namesto da se posamične izkaze komponent argumentov, kot so večje predpostavki, manjše premise in sklep, ta novi pristop združuje vsako izjavo s svojimi ekvivalenti in vsak sveženj predstavlja svoj "shematični" puščic. V prostori Sheme se lahko nato padla v mestu ob strani drug drugega, kadar njihova skupna postavitev zaslonov glede ugotovitev, če sploh, je povzročila. Uporabnik mora le, da se naučijo, kako izbrati pravilne predpostavki shematičen in kako slediti puščice za zaključek.
& # 8195; & # 8195; Del ena stran pomoči je učbenik za tega novega pristopa.
(2) Številčni širitev tradicionalnega silogizmom
To je že standardna razlagati posebno kvantifikator številčno; to pomeni, da je standardno, da se "nekaj", kot "vsaj eno." Poleg tega so univerzalne kvantifikatorja, "vsi" in "ne", lahko tudi zvesto opravljajo numerično, saj "vsi" pomeni "vse v nič, razen" in "no" pomeni nič "none z nič izjeme." Glede na to, se izkaže, da se tradicionalni kvantifikatorja preprosto označuje začetke neskončno možnih kvantifikacije od "vsaj ena" odpira vrsto "vsaj dveh", "vsaj tri ", itd, in" vse (brez), vendar nič "odpre" vse (brez), ampak ena "," vsi (brez), razen dveh, "itd
S tem, ko to izrecno, nič in ena od tradicionalnih silogizmov postane zamenljiv z drugimi številkami. Tako, na primer, " Vsi razen 10 A, B in vse, ampak 20 B, C, tako da vse, vendar 30 A, C " in " Vsaj 100 A, B, All vendar 7 B, C, tako da vsaj 93 A, C «so prav tako velja tradicionalni Barbara in Darii ter za zelo istega razloga.
& # 8195; & # 8195; Drugi del strani pomoč razvija ta številčno širitev s sklicevanjem na shematičen.
Posodobljeno dne
1. apr. 2025