Validez de un razonamiento

1. Validez de un razonamiento Aplicación de la técnica de la forma lógica

2. Forma lógica del razonamiento propuesto Determinación de las premisas y la conclusión Me eres amorosamente fiel, por lo que me eres amorosamente fiel o ya no es tiempo de luna llena por lo Me eres amorosamente fiel que me eres amorosamente fiel o ya no es tiempo de luna llena Premisa 

3. Determinar el tipo de forma lógica del razonamiento Elementos materiales Criterio de recurrencia Me eres amorosamente fiel Me eres amorosamente fiel, por lo que me eres amorosamente fiel o ya no es tiempo de luna llena me eres amorosamente fiel Forma lógica tipo f1 Proposiciones

4. Los elementos lógicos en el razonamiento Establecimiento de los símbolos para los elementos materiales Establecimiento de la forma lógica Me eres amorosamente fiel, por lo que me eres amorosamente fiel o ya no es tiempo de luna llena o no X  Me eres amorosamente fiel Y  es tiempo de luna llena Elemento lógico de negación Elemento lógico de conexión X Forma lógica tipo f1 Conexión de consecuencia  X o no Y

5. Determinar la validez del razonamiento X  X o no Y X o no Y Por el sentido de la disyunción “o”, para que esta sea falsa todos sus miembros han de ser falsos. o Si la premisa puede ser verdadera y la conclusión falsa, el razonamiento es no válido )  F ( X o La forma lógica genera argumentos válidos, pues estos no pueden tener premisas verdaderas y conclusión falsa Lo que hace imposible construir una premisa verdadera  F

6. Análisis de la validez de otro razonamiento Determinación de las premisas y la conclusión por lo tanto Mozart fue un músico, por lo tanto Mozart fue un músico y Euclides un afamado matemático Mozart fue un músico Mozart fue un músico y Euclides un afamado matemático Premisa 

7. Determinar el tipo de forma lógica del razonamiento Elementos materiales Criterio de recurrencia Mozart fue un músico Mozart fue un músico, por lo tanto Mozart fue un músico y Euclides un afamado matemático Mozart fue un músico Forma lógica tipo f1 Proposiciones

8. Los elementos lógicos en el razonamiento Establecimiento de los símbolos para los elementos materiales Establecimiento de la forma lógica por lo tanto Mozart fue un músico, por lo tanto Mozart fue un músico y Euclides un afamado matemático y X  Mozart fue un músico Y  Euclides es un afamado matemático Elemento lógico de conexión Conexión de consecuencia x  x y Y

9. Determinar la validez del razonamiento x x y Y  x y Y y Por el sentido de la conjunción “y”, para que esta sea falsa es suficiente que uno de sus miembros sea falso. es suficiente Si la premisa puede ser verdadera y la conclusión falsa, el razonamiento es no válido ( ) F x Y y La premisa puede ser verdadera y la conclusión falsa La forma lógica genera argumentos no válidos, pues estos pueden tener premisas verdaderas y conclusión falsa  V  F

10. Construcción del contraejemplo que muestra que el razonamiento analizado es no válido. x Orientación para la construcción del contraejemplo  x y Y X  V Y  F  y los números pares son divisibles por dos los números pares son divisibles por dos X  los números pares son divisibles por dos Y  los números pares son números irracionales los números pares son números irracionales

11. La función de los elementos lógicos en la validez de los razonamientos. Sean las formas lógicas que hemos obtenido anteriormente: x X y  X o no Y  x y Y o Los elementos lógicos son los elementos determinantes para la validez de los razonamientos, los elementos materiales son irrelevantes. elementos determinantes ¿Cuál es la diferencia entre ambas formas lógicas? Forma lógica que generaba argumentos válidos Forma lógica que generaba argumentos no válidos Este elemento lógico

12. Análisis de la validez de otro razonamiento Determinación de las premisas y la conclusión Algunos números naturales son nones Algunos números naturales son nones, por tanto hay números nones por tanto hay números nones Premisa 

13. Determinar el tipo de forma lógica del razonamiento Elementos materiales Criterio de recurrencia Algunos números naturales son nones, por tanto hay números nones nones números nones Forma lógica tipo f2 Predicados

14. Los elementos lógicos en el razonamiento Establecimiento de la forma lógica Establecimiento de los símbolos para los elementos materiales son Algunos números naturales son nones, por tanto hay números nones por Algunos hay tanto X  números naturales Elemento lógico de cópula Y  números nones Cuantificadores Algunos X son Y Elemento lógico de conexión Conexión de consecuencia  hay Y

15. Determinar la validez del razonamiento Algunos X son Y Algunos X son Y hay Y  hay Y Por su sentido de existencia Si la premisa puede ser verdadera y la conclusión falsa, el razonamiento es no válido ( hay )  F Y La forma lógica presente genera razonamientos válidos No hay argumentos con esta forma lógica que tengan premisas verdaderas y conclusión falsa No puede haber X que sea Y La clase referida por el predicado es vacía vacía ( )  F La premisa es falsa

16. Análisis de la validez de otro razonamiento Determinación de las premisas y la conclusión Todo iluminado ve a Dios, pero algún ser que ve a Dios es profeta, de donde se sigue que algún profeta es iluminado Todo iluminado ve a Dios pero algún ser que ve a Dios es profeta de donde se sigue que algún profeta es iluminado Premisa Premisa 

17. Determinar el tipo de forma lógica del razonamiento Elementos materiales Criterio de recurrencia Todo iluminado ve a Dios, pero algún ser que ve a Dios es profeta, de donde se sigue que algún profeta es iluminado iluminado ve a Dios profeta ve a Dios profeta iluminado Predicados Forma lógica tipo f2

18. Los elementos lógicos en el razonamiento Establecimiento de la forma lógica Establecimiento de los símbolos para los elementos materiales Todo Todo iluminado ve a Dios, pero algún ser que ve a Dios es profeta, de donde se sigue que algún profeta es iluminado pero algún de donde se es sigue que algún es X  seres iluminados Todo X es Y Y  seres que ven a Dios Algún Y es Z Cuantificadores Elemento lógico de conexión Conexión de consecuencia Z  seres que son profetas  Algún Z es X Elemento lógico de cópula

19. Determinar la validez del razonamiento Todo X es Y Todo X es Y Algún Y es Z Algún Y es Z  Algún Z es X Algún Z es X Si las premisas pueden ser verdaderas y la conclusión falsa, el razonamiento es no válido Con la forma lógica presente podemos construir un razonamiento con premisas verdaderas y conclusión falsa ( )  V Z Y Algún número real es natural ( )  V X Todo número irracional es real ( )  F Algún número natural es irracional

20. Construcción del contraejemplo que muestra que el razonamiento analizado es no válido. Todo número irracional es real Algún número real es natural  Algún número natural es irracional