El concepto de Forma Lógica

Presentación del tema: "El concepto de Forma Lógica"— Transcripción de la presentación:

1 El concepto de Forma Lógica
Considérese los siguientes razonamientos X Y Todo físico es matemático matemático X Y Todo físico es matemático. Ningún astrónomo es físico. Algún astrónomo es matemático. físico Todo Todo mamífero es cordado. Ningún caballo es mamífero.  Algún caballo es cordado. mamífero mamífero es cordado cordado Z Ningún astrónomo astrónomo X es físico físico X Ningún caballo caballo Z es mamífero mamífero cordado Algún astrónomo Z es astrónomo Z Algún cordado Y matemático matemático Y caballo caballo es cordado X Todo Todo múltiplo de dos es número par. Ningún múltiplo de cuatro es de dos.  Algún múltiplo de cuatro es número par. múltiplo de dos múltiplo de dos es número par número par Y X Y Todo Todo planeta es asteroide Ningún satélite es planeta.  Algún satélite es asteroide. planeta planeta es asteroide asteroide Z Ningún múltiplo de cuatro múltiplo de cuatro es de dos de dos X Z Ningún satélite planeta planeta X satélite es Algún múltiplo de cuatro múltiplo de cuatro Z es Algún satélite Z es asteroide Y Y satélite asteroide número par número par

2 El concepto de Forma Lógica
Elementos que aparecen en la forma lógica Los argumentos presentan información distinta Borremos las expresiones siguientes Resultado del borrado de las expresiones ¿De qué hablan los argumentos? Considérese los siguientes razonamientos Todo físico es matemático. Ningún astrónomo es físico. Algunos astrónomo es matemático. Todo mamífero es cordado. Ningún caballo es mamífero.  Algún caballo es cordado. Todos los planetas son asteroides Ningún satélites son planetas.  Algunos los satélites son asteroides. Todo múltiplo de dos es número par. Ningún múltiplo de cuatro lo es de dos.  Algún múltiplo de cuatro es número par. Expresiones recurrentes y responsables de la información del razonamiento, son borrados y en su lugar se proponen señales o símbolos. Elementos materiales Sobre ciertas profesiones científicas Sobre ciertas clases de animales Sobre objetos celestes Todos los argumentos han perdido la información que contenían, pero ha resultado una estructura que todos ellos comparten. Ha saber: Todo es Ningún es  Algún es Forma lógica de los razonamientos analizados Expresiones del razonamientos que se conservan cuando este es reducido a su forma lógica. Elementos lógico Sobre clases de números

3 El concepto de Forma Lógica
Z El cloruro de berilio y sales semejantes son malos conductores del calor  El cloruro de berilio es mal conductor del calor. El cloruro de berilio es mal conductor del calor Y Euclides es músico y sales Y Z semejantes son malos Euclides es músico y Mozart es geómetra  Euclides es músico Euclides es músico Euclides es músico y Mozart conductores del calor es geómetra   Y El cloruro de berilio es mal conductor del calor Y Euclides es músico Euclides es músico La monarquía Absoluta destruyó el feudalismo y el feudalismo fue una institución de la Edad Media  La monarquía Absoluta destruyó el feudalismo La monarquía Absoluta Y Z Los números pares son divisibles por dos aunque son números enteros.  Los números pares son divisibles por dos destruyó el feudalismo y el Los números pares son divisibles por dos Y aunque feudalismo fue una institución Z de la Edad Media los números pares son números enteros  Los números pares son La monarquía Absoluta Y  Y destruyó el feudalismo divisibles por dos

4 El concepto de Forma Lógica 2.
Forma lógica de estos razonamientos. Considérese los siguientes razonamientos Euclides es músico y Mozart es geómetra  Euclides es músico El cloruro de berilio y sales semejantes son malos conductores del calor  El cloruro de berilio es mal conductor del calor. La monarquía Absoluta destruyó el feudalismo y el feudalismo fue una institución de la Edad Media  La monarquía Absoluta destruyó el feudalismo Los números pares son divisibles por dos aunque son números enteros.  Los números pares son divisibles y 

5 Elementos presentes en la forma lógica
X Todo X es Y. Ningún Z es X.  Algunos Z es Y. Y Todo Todo físico es matemático. Ningún astrónomo es físico. Algunos astrónomo es matemático. es X y Z  X Euclides es músico y Mozart es geómetra  Euclides es músico X Z y X Ningún Z es X Z Y Algún es Elementos materiales Tienen la propiedad de ser verdaderos de o falsos de Expresiones que son las responsables de la información que contienen los razonamientos y no figuran en la forma lógica de modo explícito Elementos lógicos Predicados falsos de verdaderos de Tienen la propiedad de ser verdaderas o falsas Proposiciones falsas verdaderas

6 Examen de los elementos materiales en las formas lógicas
físico Euclides es músico Euclides es músico y Mozart es geómetra  Euclides es músico Todo físico es matemático. Ningún astrónomo es físico.  Algún astrónomo es matemático. predicado proposición Es verdadera si ocurre el hecho de que Euclides es efectivamente músico pero es falsa si ocurre el hecho de que Euclides nunca ha sido músico verdadera Es verdadero de todos los seres que tienen la profesión de ser físicos y es falso de todos los restantes seres. verdadero de Los predicados refieren a clases de individuos Las proposiciones refieren a hechos falso de falsa clases de individuos hechos

7 Definición de los diversos elementos materiales
Un predicado es lo que queremos decir cuando emitimos un sintagma nominal o verbal en un situación determinada. lo que queremos decir sintagma nominal verbal situación determinada Una proposición es lo que queremos decir cuando emitimos una oración declarativa en un situación determinada. lo que queremos decir Cuando enuncio la expresión en clase ahora quiero decir algo, lo que quiero decir con la expresión es un predicado físico en clase ahora una oración declarativa es un predicado situación determinada Cuando enuncio la expresión en clase ahora quiero decir algo, lo que quiero decir con la expresión es una proposición Euclides es músico en clase ahora es una proposición

8 Examen de los elementos lógicos en las formas lógicas
Todo es Todo físico es matemático. Ningún astrónomo es físico.  Algún astrónomo es matemático. y Euclides no es músico y Mozart es geómetra  Euclides es músico no y Ningún es  Algún es  Elemento lógico de negación Elementos lógicos de conexión Elementos lógicos de cuantificación Elementos lógicos de cópula

9 Tipos de formas lógicas
Forma lógica tipo f2 Forma lógica tipo f1 X y no Z  X Euclides es músico y Mozart no es geómetra  Euclides es músico Todo X es Y. Ningún Z es X.  Algunos Z es Y. Todo físico es matemático. Ningún astrónomo es físico.  Algún astrónomo es matemático. Todo es y no Ningún Ningún es  Algún es  Elementos materiales predicados Elementos materiales proposiciones Elementos de cuantificación Elementos lógico de negación predicados proposiciones Elementos lógico de conexión Elementos de cópula

10 Recapitulación del concepto de forma lógica
Forma lógica f1 Elementos materiales Proposiciones Proposiciones Elementos materiales de negación Elementos lógicos Predicados Forma lógica de conexión Elementos materiales Elementos de negación Forma lógica f2 Predicados Elementos lógicos Elementos de conexión de negación Elementos lógicos de conexión Elementos de cuantificación de cuantificación Elementos de cópula de cópula

11 Aplicación de la técnica de la forma lógica a los razonamientos para su validez
Un razonamiento es válido cuando reducido a su forma lógica no es posible construir otro razonamiento con premisas verdaderas y conclusión falsa con dicha forma lógica. Pasos para determinar la validez de un razonamiento 1º reducir el razonamiento a su forma lógica 2º comprobar que con esa forma lógica no puede haber un razonamiento con premisas verdaderas y conclusión falsa