ReasonLines fournit (1) une approche nouvelle et plus facile à syllogisme traditionnel et (2) une expansion du syllogisme traditionnel pour inclure la quantification numérique.
1) La nouvelle approche du syllogisme traditionnel
Au lieu de considérer les déclarations isolées comme les composantes d'arguments, comme prémisse majeure, mineure, et la conclusion, cette nouvelle approche regroupe chaque énoncé avec ses équivalents et chaque faisceau est représenté par sa propre "schématique" de flèches. Les schémas de local peuvent alors être déposés en place le long du côté de l'autre, où leur juxtaposition affiche quelle que soit la conclusion, le cas échéant, est impliqué. L'utilisateur doit seulement apprendre à sélectionner les schémas de la prémisse correcte et comment suivre les flèches pour une conclusion.
& # 8195; & # 8195; la première partie de la page d'aide est un tutoriel pour cette nouvelle approche.
(2) L'expansion numérique du syllogisme traditionnel
Il est déjà la norme pour interpréter le quantificateur particulier numériquement; qui est, il est standard à prendre «un peu» comme «au moins un». De plus, les quantificateurs universels, «tous» et «non» peuvent aussi être fidèlement rendus numériquement puisque «tous» signifie «tout à l'exception de zéro" et "non" signifie qu'aucun "none à l'exception de zéro." Compte tenu de cela, il se trouve que les quantificateurs traditionnels marquent simplement les débuts de quantifications interminables possibles depuis "au moins un" ouvre la série de «au moins deux», «au moins trois », etc., et« tout (aucun), mais zéro "ouvre" tout (aucun) mais "," tous (aucun) mais deux », etc.
En rendant explicite, le zéro et l'un des syllogismes traditionnels deviennent remplaçables par d'autres numéros. Ainsi, par exemple, « Tous sauf 10 A sont B et tout, mais 20 B sont C, de sorte que tous, mais 30 A sont C " et " Au moins 100 A sont B, Tout sauf 7 B sont C, donc au moins 93 A sont C , "sont tout aussi valables que Barbara traditionnelle et Darii, et pour la même raison.
& # 8195; & # 8195; la deuxième partie de la page d'aide développe cette expansion numérique en faisant appel aux schémas.
Date de mise à jour
1 avr. 2025