ReasonLines ger (1) en ny och enklare metod för traditionella syllogismen och (2) en utvidgning av den traditionella syllogismen att omfatta numerisk kvantifiering.
1) Den nya strategin för den traditionella syllogismen
I stället för att med tanke på enskilda uttalanden som komponenterna av argument, såsom större premiss, mindre premiss, och ingående, buntar denna nya metod varje påstående med sina motsvarigheter och varje bunt representeras av sin egen "schema" pilar. Utgångspunkten scheman kan sedan släppas på plats längs sidan varandra där deras sammanställning visar vad slutsats, om någon, medfört. Användaren behöver bara lära sig att välja rätt premiss scheman och hur man följer pilarna för en slutsats.
& # 8195; & # 8195; delen av hjälpsidan är en handledning för detta nya synsätt.
(2) Den numeriska utbyggnaden av traditionella syllogismen
Det är redan standard för att tolka den speciella kvantifierare numeriskt; det vill säga, är det standard att ta "några" som "åtminstone en." Dessutom, de universella kvantifierare, "alla" och "nej" kan också vara troget återges numeriskt eftersom "alla" betyder "alla med noll undantag" och "nej" betyder ingen "none med noll undantag." med tanke på detta, visar det sig att de traditionella kvantifierare markera bara början av ändlösa möjliga kvantifieringar sedan "åtminstone en" öppnar serie av "minst två", "åtminstone tre "osv, och" alla (ingen) men noll "öppnar" alla (ingen) men en "," alla (ingen) men två, "etc.
Genom att göra detta explicit, noll och en av de traditionella syllogismer blir ersättas av andra nummer. Så, till exempel, " Alla utom 10 A är B och alla utom 20 B är C, så Alla utom 30 A är C " och " Minst 100 A är B, Alla utom 7 B är C, så åtminstone 93 A är C "är lika giltiga som de traditionella Barbara och Darii och för mycket av samma skäl.
& # 8195; & # 8195; andra delen av hjälpsidan utvecklar detta numeriska expansionen genom att vädja till schemat.
Uppdaterades den
1 apr. 2025