ReasonLines ofrece (1) un enfoque novo e sinxelo do silogismo tradicional e (2) unha expansión do silogismo tradicional para incluír cuantificación numérica.
1) A nova visión para o siloxismo tradicional
No canto de considerar as declaracións illadas como os compoñentes de argumentos, como premisa maior, premisa menor e conclusión, esta nova visión agrupa cada declaración cos seus equivalentes e cada paquete é representado polo seu propio "esquema" de frechas. Os esquemas premisa pode entón ser descartado no lugar xunto uns dos outros, onde a súa xustaposición exhibe calquera conclusión que, se hai, está implicado. O usuario só precisa aprender a seleccionar os esquemas premisa correcta e como seguir as frechas para unha conclusión.
& # 8195; & # 8195; A primeira parte da páxina de Axuda é un tutorial para esta nova visión.
(2) A expansión numérica do silogismo tradicional
Ela xa é estándar para interpretar o quantificador particular, numericamente, é dicir, é estándar para tomar "algúns" como "polo menos un". Ademais, os quantificadores universais, "todos" e "non", tamén se pode fielmente prestados numericamente xa que "todos" significa "todos agás cero" e "non" significa ningún "ningún salvo cero." Ante isto, verifícase que os quantificadores tradicionais simplemente marcar o inicio quantificações infinitas posibles xa que "polo menos un" abre a serie de "polo menos dous", "polo menos tres ", etc., e" todo (ningún), pero cero "abre" todos (ningún), pero un "," todos (ningún), pero dous ", etc.
Ao facelo explícito, o cero e un dos silogismos tradicionais se fan recambiables por outros números. Así, por exemplo, " Só 10 A son B e todos, pero 20 B son C, polo que todo, pero 30 A son C " e " Polo menos 100 A e B, pero todos 7 B son C, de xeito que polo menos 93 a son C , "son tan válidas como a tradicional Barbara e Darii, e pola mesma razón.
& # 8195; & # 8195; A segunda parte da páxina de axuda desenvolve esta expansión numérica, apelando aos esquemas.
Última actualización
1 de abr. de 2025