Conceptos fundamentales de la Lgica como Ciencia

UTP-segundo ciclo 2011-2

PLAN DE LA CLASE

CONCEPTOS FUNDAMENTALES DE LA LOGICA COMO CIENCIA 1-CONCEPTO DE INFERENCIA O CONCEPTO DE LGICA 2-CLASES DE INFERENCIA 2-1.CARACTERSTICAS DE LA DEDUCCIN 2-2.CARACTERSTICAS DE LA INDUCCIN 3-CLASES DE ENUNCIADOS 3.1. PROPOSICIONALES 3.2.EXTRA PROPOSICIONALES 4- CLASES DE ARGUMENTACIN 4.1.INFERENCIA TERICA 4.2.INFERENCIA PRCTICA

Introduccin al tema de la lgica

La lgica es es el producto del ejercicio de la razn La razn como facultad, es la capacidad para realizar el procesos lgicos Los procesos procedimientos lgicos son estudiados por una ciencia denominada LOGICA

Concepto de Lgica como ciencia

La lgica como ciencia es la disciplina que estudia la INFERENCIA. LA INFERENCIA ES EL PROCESO Y EL RESULTADO QUE CONSISTE EN EXTRAER CONCLUSIONES DE PREMISAS

EJEMPLO 1 DE INFERENCIA
1) Si esta probado que PPK es mayor que Ollanta Y 2) Est probado que Ollanta es mayor que Keiko

3) Se concluye que PPK es mayor que Keiko

Ejemplo 2 de Inferencia
1) Si, esta probado que un elector X prefiere a Ollanta que a Keiko Y 2) Esta probado que X prefiere a Keiko que a Toledo

3) Se concluye que X prefiere a Ollanta que a Toledo

Ejemplo 3 de Inferencia
Si se prueba que : de los encuestados la mayora manifiesta- que prefiere a Ollanta que a Keiko Se concluye que puede predecirse que el da de las elecciones, ganar Ollanta

Ejemplo 4 de Inferencia
Si se prueba que el grupo mayoritario de pacientes infectados con la bacteria E.Coli han muerto despus de injerir hortalizas espaolas .Y Si se prueba que las hortalizas llegadas al Per son importadas de Espaa Se concluye que puede predecirse que el habitante del Per que injiera la hortaliza espaola se infectar y morir

Utilidad de la inferencia
La inferencia es til para los siguientes casos Para poder afirmar la verdad de una conclusin si se prueba la verdad de las premisas (como en el ejemplo 1 y 2)-en stos casos nos ahorramos la prueba de la conclusin. Para poder pronosticar hechos-con cierta fiabilidad- si es que tenemos probadas las premisas adecuadas.(ejemplos 3 y 4)

CLASES DE INFERENCIA (ENTRE OTRAS)

DEDUCTIVA

INDUCTIVA

Diferencia entre deduccin e induccin

DEDUCCIN = es la inferencia cuya caracterstica principal es la siguiente: la conclusin de una deduccin se deriva necesariamente de las premisas INDUCCION = es la inferencia cuya caracterstica principal es la siguiente: en la induccin la conclusin no se deriva necesariamente de las premisas

Ejemplo de INFERENCIA deductiva con contenido

Premisa 1:

Si, Osama Est vivo

Obama Minti Al mundo

Premisa 2:

(se prob que) Osama est vivo

Conclusin:

(por tanto) Obama minti al mundo

La inferencia anterior, tiene el siguiente esquema y por tal razn es una deduccin

Premisa1:

Premisa2:

Conclusin:

Otras caractersticas de la deduccin

Las premisas de la deduccin implican a la conclusin La deduccin tiene la estructura o esquema de una tautologa Una tautologa es una formula lgica que es siempre verdadera En la deduccin, si las premisas son verdaderas la conclusin ser necesariamente verdadera En la deduccin-estricta o matemtica- la relacin de premisas y conclusin es una relacin de conceptos -es decir el concepto de la conclusin forma parte necesaria de las premisas

Caractersticas de la induccin
En la induccin las premisas (generalmente no versan sobre conceptos puros) son mas bien descripciones de hechos empricos y las conclusiones versan sobre la causa o consecuencia del hecho descrito en las premisas. La induccin no tiene el esquema de una tautologa En la induccin las premisas pueden ser verdaderas y la conclusin slo es posiblemente verdadera

Ejemplo1 de induccin
1)Esta probado que en el cielo europeo entre Inglaterra y Espaa hay cenizas del volcn de Islandia 2)Esta probado que el equipo del Barza viaja de Inglaterra a Espaa 3) Se concluye que el Barza se encontrar durante su viaje con cenizas volcnicas NOTA: La conclusin es posible pero no necesaria, porque no tiene el esquema de una tautologa

Ejemplos de inducciones de una sola premisa

Inferencia A inductiva Premisa: Hay humedad en Lima Conclusin = Por tanto se oxidar cualquier artefacto de fierro en Lima. Inferencia B inductiva Premisa: Los asesinos en serie estudiados por la universidad de Harwar-son psicpatas Conclusin : Por tanto cualquier asesino en serie es psicpata.

CLASES DE ENUCIADOS
A TRAVS DE LOS CUALES SE CONSTRUYEN INFERENCIAS

Clases de enunciados de acuerdo a su finalidad PROPOSICIONALES = aquellos que pueden ser verdaderos o falsos y su finalidad es describir el mundo tal como es. Ej. Descripciones del presente, pasado o futuro EXTRA PROPOSICIONALES = aquellos que son : ni verdaderos ni falsos y no tienen por finalidad describir el mundo Ej.Normas , exclamacines, valoraciones interrogaciones, adscripciones.

Ejemplo de enunciados proposicionales

10 es mayor que 5 = proposicin verdadera Coln viajo a Amrica = proposicin verdadera El Per es una monarqua = proposicin falsa El calor dilata los metales = proposicin verdadera Mamanchura dispar contra Alicia =proposicin verdadera

Ejemplos de Enunciados extra proposicionales

Prohibido Fumar = norma (prescripcin) Qu hora es? = interrogacin !viva la UTP! = exclamacin Bello paisaje = valoracin (o adscripcin)

NOTA = en el caso de las normas carecen de la propiedad de ser verdaderas o falsas pero pueden ser vlidas o invlidas y su finalidad es modificar el mundo de la conducta humana Por tanto la finalidad de la norma es prescribir pero no describir.

CLASES DE INFERENCIAS SEGN EL TIPO DE ENUNCIADOS

INFERENCIAS TERICAS = estas inferencias estn construidas a travs de enunciados descriptivos denominados : proposicionales - Ejemplo : las inferencias que se usan en las ciencias naturales, sociales y matemticas - INFERENCIAS PRCTICAS = estas inferencias se construyen a travs de enunciados puramente normativos (prescriptivos) o combinando enunciados normativos con enunciados descriptivos (ej. La inferencia jurdica)

La INFERENCIA terica Se utiliza para fundamentar principalmente la verdad de los Enunciados descriptivos Ej. fundamentos de hecho en una sentencia

USOS DE LA INFERENCIA PARA LA ARGUMENTACIN O FUNDAMENTACIN TERICA O PRCTICA

La INFERENCIA prctica Se utiliza para fundamentar principalmente la correccin de las Decisiones sobre el curso de accin A seguir Ej. sentencias

Ejemplo de inferencia terica

Todos los metales se dilatan con el calor Todas las joyas de oro son metales Conclusin = Todas las joyas de oro se dilatan con el calor. NOTA = esta inferencia es terica en el sentido que versa sobre descripciones del mundo tal como es (no se refiere a conductas)

Ejemplo de inferencia prctica porque versa sobre la regulacin de conductas Y esta se denomina inferencia jurdica.

Si X es un infractor Penal entonces X debe ser sancionado (premisa normativa) Juan Vilca es un infractor penal (por dar muerte
a Banchero Rossi) (premisa descriptiva)

Por tanto Juan Vilca debe ser sancionado NOTA Esta inferencia est justificada porque tiene la estructura del Modus Ponens

VALIDACIN FORMAL DE UN ARGUMENTO TPICO MEDIANTE DIAGRAMAS

Personas que deben Ser sancionadas Infractores penales

Juan Vilca

TEMAS PARA LA PROXIMA CLASE

TIPOS DE LGICA principales

Lgica proposicional o enunciativa

Lgica Predicativa o cuantificacional

Falacias
Falacias formales

Falacias no formales

PRINCIPIOS LGICOS
Principio de no contradiccin Principio de identidad Principio del tercio excluido Principio de Razn suficiente

Operadores lgicos de la lgica proposicional

Condicional Bicondicional Conjuncin Disyuncin dbil Disyuncin fuerte Negacin

ARGUMENTOS FORMALES O REGLAS DE INFERENCIA

Modus Ponens Modus Tollens Silogismo hipottico Silogismo Disyuntivo Ley de morgan * etc