ReasonLines verschaft (1) een nieuwe en eenvoudiger benadering van de traditionele syllogisme en (2) een uitbreiding van de traditionele syllogisme numerieke kwantificering omvatten.
1) De nieuwe benadering van het traditionele syllogisme
In plaats van het overwegen geïsoleerde uitspraken over de componenten van de argumenten, zoals grote premisse, minor premisse, en conclusie, deze nieuwe aanpak bundelt elke verklaring met zijn equivalenten en elke bundel wordt vertegenwoordigd door zijn eigen 'schema' van pijlen. Het uitgangspunt schema kan dan tot stand worden gedropt naast elkaar waar hun nevenschikking displays welke sluiting eventuele inherent is. De gebruiker hoeft alleen maar om te leren hoe u de juiste premisse schema's te selecteren en hoe u de pijlen voor een conclusie te volgen.
& # 8195; & # 8195; het eerste deel van de Help-pagina is een tutorial voor deze nieuwe aanpak.
(2) De numerieke uitbreiding van de traditionele syllogisme
Het is nu al standaard op de bijzondere quantifier numeriek te interpreteren; dat wil zeggen, is het standaard om "wat" als "ten minste één." Bovendien, de universele kwantoren, "all" en "nee" kan ook trouw numeriek weergegeven omdat "alle" betekent "alles met nul uitzondering" en "geen" betekent geen "none met nul uitzondering." Gezien dit, blijkt dat de traditionele quantoren eenvoudig het begin van eindeloze mogelijke kwantificatie markeren omdat "ten minste één" opent de reeks van "ten minste twee", "ten minste drie , "enz., en" alle (geen), maar nul "opent" all (geen), maar één ',' alle (geen), maar twee, "etc.
Door het maken van deze expliciet, de nul en één van de traditionele syllogismen worden vervangen door andere nummers. Dus, bijvoorbeeld, " Alle maar 10 A zijn B en alles behalve 20 B zijn C, dus alles wat maar 30 A zijn C 'en' Ten minste 100 A zijn B, Alles behalve 7 B zijn C, dus minstens 93 A zijn C , "zijn net zo geldig als de traditionele Barbara en Darii, en om dezelfde reden.
& # 8195; & # 8195; het tweede deel van de Help-pagina ontwikkelt deze numerieke uitbreiding met een beroep op de schema's.