La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

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

Presentaciones similares


Presentación del tema: "Validez de un razonamiento Aplicación de la técnica de la forma lógica."— Transcripción de la presentación:

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

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

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

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

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

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

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

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

9 Determinar la validez del razonamiento x x y Y x y Y Si la premisa puede ser verdadera y la conclusión falsa, el razonamiento es no válido ( x y Y x Y ) F V V F F 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 y Por el sentido de la conjunción y, para que esta sea falsa es suficiente que uno de sus miembros sea falso. y es suficiente

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

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

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

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

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

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

16 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 Análisis de la validez de otro razonamiento Todo iluminado ve a Dios algún ser que ve a Dios es profeta algún profeta es iluminado Determinación de las premisas y la conclusión de donde se sigue que pero Premisa Premisa

17 Determinar el tipo de forma lógica del razonamiento 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 Elementos materiales Criterio de recurrencia iluminado iluminado ve a Dios profeta profeta Predicados Forma lógica tipo f 2

18 Los elementos lógicos en el razonamiento 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 Elemento lógico de conexión de donde se sigue que Conexión de consecuencia Todo algún algún Cuantificadores es es Elemento lógico de cópula Establecimiento de los símbolos para los elementos materiales X seres iluminados Y seres que ven a Dios Z seres que son profetas Establecimiento de la forma lógica Todo X es Y Algún Y es Z Algún Z es X Algún Z es X

19 Determinar la validez del razonamiento Todo X es Y 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 Algún Z es X ( ) F Algún número natural es irracional ( Todo X es Y ) V Todo número irracional es real Algún Y es Z ( ) V Algún número real es natural X Y Z

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


Descargar ppt "Validez de un razonamiento Aplicación de la técnica de la forma lógica."

Presentaciones similares


Anuncios Google