ReasonLines fornisce (1) un nuovo e più facile approccio al sillogismo tradizionale e (2) un ampliamento del sillogismo tradizionale per includere quantificazione numerica.
1) Il nuovo approccio al sillogismo tradizionale
Invece di considerare le dichiarazioni isolate, i componenti di argomenti, come premessa maggiore, premessa minore, e la conclusione, questo nuovo approccio fasci ciascuna istruzione con i suoi equivalenti e ogni fascio è rappresentato da un proprio "schema" di frecce. Gli schemi premessa possono poi essere caduto in posto lungo il lato l'un l'altro in cui i loro schermi giustapposizione qualunque conclusione, se del caso, è comportato. L'utente deve solo imparare a selezionare gli schemi premessa corretti e come seguire le frecce per una conclusione.
& # 8195; & # 8195; prima parte della pagina aiuto è un tutorial per questo nuovo approccio.
(2) L'espansione numerica del sillogismo tradizionale
E 'già di serie di interpretare la particolare quantificatore numericamente; cioè, è di serie a prendere "un po '" come "almeno uno". Inoltre, i quantificatori universali, "tutti" e "no", possono anche essere resi fedelmente numericamente da "tutti" significa "tutti, ad eccezione zero" e "No" significa nessuno "nessuno con l'eccezione zero". Detto questo, si scopre che i quantificatori tradizionali semplicemente segnano l'inizio di infinite possibili quantificazioni da "almeno una" apre la serie di "almeno due", "almeno tre ", ecc, e" tutti (nessuno), ma zero "apre" tutti (nessuno), ma uno "," tutti (nessuno), ma due ", ecc
Con questa esplicita, lo zero e uno dei sillogismi tradizionali diventano sostituibili da altri numeri. Così, per esempio, " Tutti tranne 10 A sono B e tutti, ma 20 B sono C, in modo che tutti ma 30 A sono C " e " Almeno 100 A sono B, Tutti tranne 7 B sono C, così almeno 93 a sono C , "sono altrettanto validi come il tradizionale Barbara e Darii, e per la stessa ragione.
& # 8195; & # 8195; seconda parte della pagina Aiuto sviluppa questa espansione numerica facendo appello agli schemi.
Ultimo aggiornamento
1 apr 2025