ReasonLines memberikan (1) pendekatan baru dan lebih mudah untuk silogisme tradisional dan (2) perluasan silogisme tradisional untuk menyertakan kuantifikasi numerik.
1) Pendekatan baru untuk silogisme tradisional
Alih-alih mempertimbangkan laporan terisolasi sebagai komponen argumen, seperti premis mayor, premis minor, dan kesimpulan, pendekatan baru ini bundel setiap pernyataan dengan setara dan masing-masing bundel diwakili oleh sendiri "skema" anak panah. Skema premis kemudian dapat jatuh di tempat sepanjang sisi satu sama lain di mana menampilkan penjajaran mereka kesimpulan apa pun, jika ada, yang terkandung. Pengguna hanya perlu belajar bagaimana untuk memilih skema premis yang benar dan bagaimana mengikuti panah untuk kesimpulan.
& # 8195; & # 8195; Bagian Pertama dari halaman Bantuan adalah tutorial untuk pendekatan baru ini.
(2) Ekspansi numerik dari silogisme tradisional
Hal ini sudah standar untuk menafsirkan quantifier tertentu numerik; yaitu, itu adalah standar untuk mengambil "beberapa" sebagai "setidaknya satu." Selain itu, bilangan universal, "semua" dan "tidak ada," juga bisa setia diberikan secara numerik karena "semua" berarti "semua dengan nol pengecualian" dan "tidak ada" berarti tidak ada "tidak dengan nol pengecualian." Mengingat ini, ternyata bahwa bilangan tradisional hanya menandai awal dari kemungkinan quantifications tak berujung karena "setidaknya satu" membuka serangkaian "setidaknya dua," "setidaknya tiga , "dll, dan" semua (tidak ada) tapi nol "membuka" semua (tidak ada) tapi satu, "" semua (tidak ada) tapi dua, "dll
Dengan membuat ini eksplisit, nol dan satu silogisme tradisional menjadi diganti dengan angka lain. Jadi, misalnya, " Semua kecuali 10 A adalah B dan semua tapi 20 B adalah C, sehingga Semua kecuali 30 A adalah C ," dan " Setidaknya 100 A adalah B, Semua kecuali 7 B adalah C, sehingga setidaknya 93 A adalah C , "hanya sebagai berlaku sebagai Barbara tradisional dan darii, dan untuk alasan yang sama.
& # 8195; & # 8195; Bagian Kedua dari halaman Bantuan mengembangkan ekspansi numerik ini dengan menarik skema.