ReasonLines säädetään (1) uusi ja helpompi lähestymistapa perinteisen syllogism ja (2) laajennus perinteiseen syllogism sisältää numeerisia kvantifiointi.
1) Uusi lähestymistapa perinteisen syllogism
Sen sijaan, että yksittäisiä lausuntoja komponentteina argumentteja, kuten suuret lähtökohta, pienet lähtökohta, ja johtopäätös, tämä uusi lähestymistapa nippujen kunkin väittämän sen vastineet ja kukin nippu edustaa omaa "kaavamainen" nuolia. Lähtökohta kaavioita voidaan sitten pudotetaan paikoilleen rinnalla toisiaan jossa niiden rinnakkaisuus näytöt tahansa johtopäätös, jos sellainen on aiheuttanut. Käyttäjä ei tarvitse oppia, miten valita oikea lähtökohta Kaavio ja kuinka seurata nuolia päätökseen.
& # 8195; & # 8195; Osa Yksi ohjesivua on opastus tätä uutta lähestymistapaa.
(2) numeerinen laajennus perinteiseen syllogism
On jo vakiona tulkita erityisen kvantisointi numeerisesti; eli se on standardi ottaa "joitakin" kuin "ainakin yksi". Lisäksi universaali kvanttorit, "kaikki" ja "ei", voidaan myös alkuperäisen veroiset numeerisesti koska "kaikki" tarkoittaa "kaikkia nolla poikkeus" ja "ei" tarkoittaa ei mitään "none nolla lukuun ottamatta." koska tämä, käy ilmi, että perinteinen kvanttorit yksinkertaisesti merkitä alkua loputon mahdollinen kvantitatiivinen koska "ainakin yksi" avaa sarjan "vähintään kaksi", "ainakin kolme "jne, ja" kaikki (ei mitään), mutta nolla "avaa" kaikki (ei mitään), mutta yksi "," kaikki (ei mitään), mutta kaksi, "jne.
Tekemällä tämän nimenomaisen, nolla ja yksi perinteisistä syllogismi tullut vaihdettavissa muita numeroita. Niinpä esimerkiksi, " Kaikki mutta 10 A ja B, ja kaikki 20 B ovat C, joten kaikki vaan 30A ovat C " ja " vähintään 100 A B, All mutta 7 B on C, niin ainakin 93 A C "ovat aivan yhtä pätevä kuin perinteinen Barbara ja Darii, ja juuri samasta syystä.
& # 8195; & # 8195; toinen osa ohjesivua kehittyy tämä jäsenmäärän kasvu vetoamalla Kaavio.