El concepto de Forma Lógica

Slides:



Advertisements
Presentaciones similares
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Advertisements

LOGICA Y DEMOSTRACIONES
equivalencia material; y b) equivalencia lógica
Teoría de las descripciones Bertrand Russell ( )
Dos figuras antagónicas
PRUEBAS DE VALIDEZ E INVALIDEZ
Ciencia, lenguaje y lógica 2
ERRORES DEL RAZONAMIENTO DEBIDO A FACTORES SOCIALES
1.EL SUJETO El sujeto de una oración es la persona animal o cosa de la que hablamos. Es el tema de la conversación: Ej: El hombre corre ¿De quién hablamos.
LOGICA Y DEMOSTRACIONES
UNIVERSIDAD TECNOLOGICA DE NEZAHUALCOYOTL
Los niveles de análisis lógicos y la validez de los razonamientos.
Noción de lógica Cuantificacional
Análisis sintáctico.
Validez de un razonamiento
RAZONAMIENTO LOGICO Presentado por: Paola Andrea Rico
Reducción de los razonamientos a su forma lógica proposicional.
ÍNDICE Conjuntos Partes de un conjunto. Operaciones.
Cuantificadores En esta clase trataremos: Proposiciones abiertas
EL SILOGISMO La inferencia (deductiva) que resulta del ordenamiento de dos proposiciones de las que se infiere una conclusión, se llama silogismo. Consta.
Lógica Proposicional.
Introducción a la Lógica
Inferencias Inmediatas
Razonamiento Inductivo
Pasos para analizar una oración simple
Las Operaciones Intelectuales
Semántica Proposicional: Repaso
Filosofía.
Lógica proposicional.
Estadística I.
Capítulo 4 Actos de Habla
18. Método Deductivo Jennifer Sànchez Piña.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
LÓGICA PROPOSICIONAL Y PREDICADOS
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
Lógica proposicional.
Ministerio de Educación Pública Despacho del Ministro Dirección de Desarrollo Curricular Instituto Uladislao Gámez Solano Dirección de Recursos Tecnológicos.
MATEMATICA I Lógica Matemticas Prof Rubén Millán
EL JUICIO (Proposición, enunciado)
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
EVALUANDO ARGUMENTOS: VERDAD Y VALIDEZ
Definiciones y tipos de Razonamiento
INTRODUCCIÓN A LA LÓGICA
Resultados del ejercicio % correcto prueba A confianza prueba A % correcto prueba B confianza prueba B.
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
Argumentación Parte III.
Lógica.
Matemáticas Computacionales
EL ARGUMENTO.
Funciones Si Funciones Y
Argumentos Deductivos e Inductivos
MÉTODOS DE DEDUCCIÓN (Partes I & II)
Cómo refutar argumentos
M.J. Frápolli. Fundamentos de Filosofía del Lenguaje
Aprendiendo a reconocer y evaluar argumentos
RECORDEMOS CONOCIMIENTOS
-EL TEXTO -LA ARGUMENTACIÓN -EL PÁRRAFO
PRESENTADO A : MAGALI BENAVIDES PRESENTADO POR : ANGIE GOMEZ ALLISON HERNANDEZ DALIANA ROJAZ VANESSA RAMIREZ VALENTINA ALMARIO.
DEFINICIONES DEL RAZONAMIENTO
LENGUAJE Es un sistema de signos Los signos pueden ser Naturales Artificiales Icónico- simbólicos Convencionales (culturales) Designado Interprete Poseen.
 La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. ciencia formalfilosofíademostracióninferenciaválida.
Principios logicos.
 Son los fundamentos que determinan ciertas reglas a seguir, para lograr la coherencia y sistematicidad de los pensamientos en las formas y contenidos.
ESQUEMAS DE LA ORACIÓN SIMPLE
CONECTORES MARCADORES DE FRASE
PRINCIPIOS LOGICOS Y TIPOS DE RAZONAMIENTO
 Dicho principio lógico podemos formularlo de la siguiente forma: A es A, en la cual la variable A denota un pensamiento o contenido concreto cualquiera.
La inferencia o razonamiento Marcos Romero
Principios lógicos Los “principios lógicos” constituyen las verdades primeras, “evidentes” por sí mismas, a partir de las cuales se construye todo el edificio.
PRINCIPIOS LOGICOS UNIDAD IV.
Transcripción de la presentación:

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

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

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

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 

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

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

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

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

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

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

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