TEMA 1: RAZONAR CON LGICA, CON LGICA FORMAL DE PRIMER ORDEN

OBJETIVO T1

Entender qu es un razonamiento, cundo es deductivo,

Lgica y razonamiento. Los razonamientos deductivos. Componentes y notacin formal. Razonamientos deductivos correctos y falacias. El sistema formal de la lgica de primer orden. Principios lgicos de identidad, no contradiccin y tercero excluso. Lgica y Computacin. Apunte histrico.

cmo se representa con la teora lgica y cmo dicha teora demuestra su validez, es correcto.

APRENDIZAJE T1

Ver FICHA-APRENDO-T1 en Materiales de C. VIRTUAL y hacer Actividades

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

Razonar: facultad humana para resolver problemas a partir de actividades mentales que conectan ideas segn unas reglas determinadas.

Su expresin verbal es el argumento.

Razonamiento o argumento: conjunto de proposiciones donde unos sirven para fundamentar y otro es el que se debe probar. Premisas: Leyes, suposiciones, verdades aceptadas. Enunciados que sirven para fundamentar o demostrar Reglas por Sentido comn (no muy fiable) Aplico reglas

Premisa
Ningn profesor de mates es un hueso.

Se aceptan

Conclusin
Nadie que sea un hueso es profesor de mates

Anticipo de lo que viene

Si

x [ Profesor_mates(x) Hueso(x) ] x [ Profesor-mates(x) Hueso(x) ]

es cierto tambin

Reglas de un sistema formal (fiable 100%) Conclusin: Enunciado que se debe probar (deduce, infiere) de las premisas aplicando reglas del sistema donde se lleva a cabo dicho proceso

Que se obtiene

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

Raz. inductivo: proceso por el que se obtienen conclusiones generales Raz. inductivo: a partir de premisas que contienen datos particulares.

Raz. Deductivo: proceso por el cual de un conjunto de proposiciones (premisas, hiptesis) se obtiene una proposicin (conclusin o tesis) aplicando reglas deductivas. Premisas datos particulares conclusin datos particulares Premisas datos generales conclusin datos generales

> En ciencia moderna sus conclusiones se basan en inferencias estadsticas: se toman datos sobre un fenmeno y se establecen conclusiones basadas en modelos probabilsticos (siguiendo curva normal), acerca del fenmeno estudiado.
Ejemplo de razonamiento inductivo

Ejemplo de razonamiento deductivo Premisas datos generales

Todos los perros son animales. He observado que el cuervo n 1 era negro. El cuervo nmero 2 tambin era negro. n tambi El cuervo nmero 3 tambin n tambi Todos los animales son cariosos. cari

Luego, todos los perros son cariosos cari Luego, todos los cuervos son negros. Conclusin datos generales

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

En razonamientos deductivos: > La verdad de las premisas afirma necesariamente, la verdad de la conclusin > Las premisas implican lgicamente la conclusin. > La conclusin es una consecuencia lgica de las premisas.

Lgica : ciencia formal que estudia las reglas deductivas que permiten demostrar la validez de los razonamientos deductivos.

Lgica: griego antiguo (logike)=dotado de razn, argumentativo que a su vez viene de (logos)= argumento, razn o principio.

Lgica formal de primer orden: Parte de la lgica que estudia las deducciones en los lenguajes de primer orden desde el punto de vista de su anlisis formal, mediante la construccin de un sistema formal formado: > lenguajes formales, > sistemas deductivos y > semnticas formales.

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

La lpo estudia validez de raz segn su estructura no su contenido

Los raz deductivos aparecen con

Todos los profesores son simpticos (premisa). Todos los simpticos son insectos (premisa). Por tanto, todos los profesores son insectos (conclusin).

Aristteles, Scrates, Platn (IV a.C.)

Si todos los humanos son mortales y todos los griegos son humanos, entonces todos los griegos son mortales
Raz deductivo con 2 premisas Matemtico Leibniz (XVII) 14 aospropuso mtodo donde las verdades de la razn se redujeran a clculoslenguaje universal Matematizacin de la lgica Esto no sucedi hasta Boole Boole (1815-1864): 1 clculo lgico (The Laws of Thought); Frege (1848-1925): lgica clculo de razones (Begritfschrift); Peano (1858-1932): axiomatiz la aritmtica; Russell (1872-1970): us la lgica en Principia Mathematica; Hilbert (1862-1943), Herbrand (1908-1931), Gentzen (1909-1945): sistema de deduccin natural; Kurt Gdel: teoremas de limitacin.

Todo A es B. Todo B es C. Por lo tanto, todo A es C.

Que los profesores sean o no insectos no le interesa a la lgica

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

Notacin formal de un Razonamiento P1, P2, Pn Q n: entero positivo. Pi, (i = 1, 2,n): premisas. Q: conclusin. : deductor o implicacin.

Unidad bsica de informacin: proposicin

Proposicin: sentencia declarativa (hecho del mundo) que puede ser verdadera o falsa. Puede ser: > Atmica: hecho simple, sin conexiones. > Molecular: proposiciones atmicas conectadas.

ejemplos
T1: Razonar con lgica Prof: M Jess Castel de Haro. M1-2011-12 T1: Razonar con lgica Prof: M Jess Castel de Haro. M1-2011-12

Premisa: proposicin que declara informacin de cualquier tipo. En un argumento se considera verdadera. Cantidad: una, dos (silogismos) o ms. Puede ser conclusin del razonamiento donde aparece.

Conclusin: proposicin respuesta a un problema. Resultado que se quiere demostrar. Se afirma en base a las premisas dadas y a la inferencia aplicada a ellas.

Cmo se identifican en un argumento? Cmo se identifican en un argumento? puesto que ya que porque en tanto que. Si partcula. por lo tanto luego por consiguiente as que. Sin partcula pero adosado a una de las premisas

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

Falacia de afirmar el consecuente. Raz. deductivo correcto: si no sucede que las premisas son verdaderas y la conclusin falsa. Falacias: razonamientos que parecen correctos pero no lo son. Ejemplo Si el mayordomo es el asesino, tendr el cadver en su cuarto (A implica B) El mayordomo tiene el cadver en su cuarto (se afirma consecuente B). Resultan de aplicacin incorrecta de un principio lgico vlido, o aplicacin de un principio inexistente (error comn). Suelen aparecer en uso de condicionales A implica B (A (A: antecedente; B: consecuente) B) Luego:

Q1

El mayordomo es el asesino (se afirma antecedente A).

Q2

El mayordomo NO es el asesino (no A).

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

Sistema formal lgico: estructura matemtica formada de smbolos lgicos que permiten Falacia de negar el antecedente. Ejemplo Si el mayordomo es el asesino, tendr el cadver en su cuarto (A implica B) El mayordomo no es el asesino (no A). construir expresiones: frmulas lgicas, que sern manipuladas en el clculo lgico, mediante reglas para construir otras frmulas.

Q: Luego...

Q1 Q2

El mayordomo no tendr el cadver en su cuarto (B). El mayordomo tendr el cadver en su cuarto (B).

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

El sistema trabaja en dos niveles: Lenguaje para construir frmulas. Lgica proposicional: supone que existen hechos en el mundo real que pueden ser verdaderos o falsos y que pueden estar conectados con otro hechos. Lgica de predicados de primer orden (LPO): se destacan : objetos, propiedades Semntica para interpretar frmulas en contexto especfico (acciones, cualidades) y relaciones con otros objetos. Introduce cuantificadores (universal:; existencial: ) para referenciar a sujetos de un conjunto.

Proceso deductivo para obtener nuevas frmulas.

Principios De (no) contradiccin: es falso que una proposicin sea verdadera y falsa. De identidad: toda proposicin es igual a s misma. De tercero excluido: Una proposicin solamente puede ser verdadera o falsa.

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12

T1: Razonar con lgica

Prof: M Jess Castel de Haro.

M1-2011-12