ReasonLines proporciona (1) un nuevo y más fácil de enfoque para el silogismo tradicional y (2) una expansión de la silogismo tradicional para incluir la cuantificación numérica.
1) El nuevo enfoque para el silogismo tradicional
En lugar de considerar declaraciones aisladas como los componentes de argumentos, como premisa mayor, premisa menor y conclusión, este nuevo enfoque reúne cada declaración con sus equivalentes y cada conjunto se encuentra representada por su propia "esquemática" de flechas. Los esquemas premisa continuación, se pueden dejar en su lugar al lado de la otra en sus pantallas yuxtaposición cualquiera que sea la conclusión, en su caso, ello trae consigo. El usuario sólo tiene que aprender a seleccionar los esquemas premisa correctas y cómo seguir las flechas para una conclusión.
& # 8195; & # 8195; la primera parte de la página de ayuda es un tutorial para este nuevo enfoque.
(2) La expansión numérica del silogismo tradicional
Ya es normal utilizar el cuantificador particular, numéricamente; es decir, que es estándar para tomar "algo" como "al menos uno". Por otra parte, los cuantificadores universales, "todos" y "no", también pueden ser fielmente prestados numéricamente, ya que "todos" significa "todos con cero excepción" y "no" significa ninguna "ninguno con cero excepción." Teniendo en cuenta esto, resulta que los cuantificadores tradicionales simplemente marcan el comienzo de cuantificaciones infinitas posibles, ya que "al menos uno" abre la serie de "al menos dos", "por lo menos tres ", etc., y" todos (ninguno), pero cero "abre" todos (ninguno), sino uno "," todos (ninguno), sino dos ", etc.
Al hacer esto explícito, el cero y el uno de los silogismos tradicionales se vuelven sustituibles por otros números. Así, por ejemplo, " Todos menos 10 A son B y todos menos 20 B son C, por lo que todos menos 30 A son C " y " Al menos 100 A son B, todos menos 7 B son C, así que al menos 93 a son C ", son tan válidos como el tradicional Bárbara y Darii, y por la misma razón.
& # 8195; & # 8195; la segunda parte de la página de ayuda desarrolla esta expansión numérica, apelando a los esquemas.
Última actualización
1 abr 2025