anilisis l6gico del lenguaje, y en conereto del andlisis mediante sistemas formales; * Conocer y comprender las herramientas que proporciona la légica proposicional para ese anélisis del lenguaje, y dominar el vocabulario técnico conectado con ellas; * Establecer los conceptos de proposicion, argumento, as{ como estudiar el valor de verdad del primero y determinar la validez del tiltimo. *Manejar el concepto de conjunto, asi como sus propiedades, *Identificar los elementos que pertenecen y los que no pertenecen a un conjunto * Interpretar correctamente la notacién simbélica en la definicién de conjuntos. * Representar conjuntos en Diagramas de Venn * Realizar operaciones entre conjuntos (union, interseccién, diferencia y diferencia simétrica) INTRODUCCION : En nuestro quehacer diario , constantemente hacemos deducciones , esto significa que cada conclusién que establecemos se deduce de «algo» ; este algo o punto de partida se. llama «premisay . Por ejemplo , si exponemos un trozo de hielo al calor, se deduce que el hielo se derrite , 0 cuando un campesino ve una densa nube en el cielo , deduce que va a llover , 0 también de «todos los mamiferos s0n vertebrados»se puede concluir en que «algunos seres vertebrados son mamiferos». De esta manera, se puede afirmar que‘ constantemente existe un criterio légico para el andlisis de situaciones que permitirén establecer una nocién cientifica de la realidad. «La Logica , justamente , es una ciencia que estudia los métodos o procedimientos que aplican definiciones y leyes © reglas con el propésito de determinar la validez de las inferenciaa , razonamientos o argumentos». La Légica , como conocimiento orgénico y sistemético , aparece por primera vez con Aristételes (SIVA. C.) quien la define como un «instrumento» que ayuda al hombre a razonar correctamente SSSA DPEDIA 2012) mejorando la investigacién de la naturaleza (-Organ6n~). Su objetivo quedé definido como el isis forma] de los razonamientos. LA LOGICA FORMAL Es una ciencia que busca hallar los esquemas universales y validos en todo momento , segin los cuales suele y debe pensar el hombre para alcanzar la verdad . Esto quiere decir que , el objeto de estudio de la logica formal es investigar la estructura o forma de los conceptos , juicios y racioci relaciones de validez , métodos y principi determinan. Actualmente , la légica formal se ha tornado en Légica Matemética (0 simbélica) cuyo objetivo estdemostrar la «validez» de los argumentos simbélicos-0 formalizados («La Logica es la ciencia de la inferencia formalmente valida»). INFERENCIA Y SU VALIDEZ Es una estructura de proposiciones donde a partir de una o més de ellas llamadas «Premisa(s)» se obtiene otra proposicién que se lama «Conclusién»; serén vélidas cuando las premisas implquen a la conclusién ; cuando existe relacién coherente entre sus componentes , es decir , la conclusién se deduce légicamente de las premisas. La «IMPLICACION» significa lo siguiente : “De premisas verdaderas , se deduce necesariamente una conclusién verdadera. “De premisas falsas , se deduce necesariamente una conclusién o bien verdadera o bien falsa. Las inferencias pueden clasificarse como : 1D INFERENCIAS INDUCTIVAS = Son aquellas donde la conclusién es probable en relacién a las premisas . Para obtener una inferencia inductiva , se parte de premisas particulares y hiego se establece una conclusién general. Estas inferencias, desde el punto de vista de la Légica , no son vélidas ni invélidas. EJEMPLOS : * Yhony es peiedlogo y ayuda a las personas . * Erica es psicéloga y ayuda a las personas . * Alan es psicblogo y ayuda a las personasnicioxrs RIBItOS Probablemente , todos los psicdlogos ayuden a las personas « 1) INFERENCIAS DEDUCTIVAS : Son aquellas cuya conclusién es necesaria en relacién a las premisas . Para obtener una inferencia deductiva , se parte de premisas generales obteniéndose una conclusin particular. EJEMPLOS : * Todos los humanos son mortales. * Alan es un ser humano , Alan es mortal. Asu vez, estas inferencias se clasifican como = A) INFERENCIAS INMEDIATAS : ‘Tienen una premisa y una conclusion. B) INFERENCIAS MEDIATAS = ‘Tienen dos 0 més premisas y una conclusién. LA LOGICA PROPOSICIONAL Es una parte de la Légica Matemética , llamada también «Légica de las proposiciones sin analizar>, trata a cada proposicién como un todo en su conexién ldgica con otras proposiciones . Esta légica desarrolla el célculo de proposiciones que se orienta a analizar la correccién de los razonamientos mediante procedimientos decisorios como las tablas de verdad y el método de reducci6n al absurdo. PROPOSICIONES : Las «proposiciones» son expresiones Wel lénguaje informativo que tienen la cualidad deser verdaderas (V) 0 falsas (F), es decir , tienen-valor veritativo. EJEMPLOS: * La licuadora es un artefactoeléctrico. * Fujimori _nacié en el Pera. *443=7 * Las aves son, acuéticas. Es necesario resaltar que , lo que interesa fundamentalmente de las proposiciones es su sentido de verdad o falsedad , dado que enunciados distintos pueden expresar una misma proposicién. EJEMPLOS : * Dante y Sergio son hermanos. * Dante es hermano de Sergio. * Sergio es hermano de Dante. Ademés , se debe tener en cuenta que expresiones en diferentes idiomas , también pueden presentar una misma proposicién. TEE 685 ET * Mary y Ricky son estudiantes. * Mary and Ricky are students, Las proposiciones pueden cla: Proposiciones Simples o Atémicas (Predicativas y Relacionales) y Proposiciones Compuestas 0 ificarse en : Moleculares (Conjuntivas , Disyuntivas , Bicondicionales , Condicionales y Negatives) EL CONCEPTO DE LA VERDAD La definicién clésica sobre la «verdad» pertenece a Aristételes , quien en su libro «Metafisica» escribe : «Decir de lo que es que no es , 0 de lo que no es que es , es falso ; mientras que decir que lo que es , es 0 de lo que no es que , no es , no es verdadero» . En general , Io anterior alude a la teorfa de verdad por correspondencia establecido por el estagirita. Mas adelante, quien desarrollo esta tarea en el presente fue Av Tarsky, estableciendo, entre otras cosas , un, paradigma muy sencillo para el empleo do la palabra «verdad» («falsedad~): «La nieve os blanca» es verdadera si y solo si «la nieve es blanca». Es‘decir,, la verdad y falsedad solo se expresan en el metalenguaje de las oraciones a las que se aplican {No debe ocultarse que la noci6n de verdad es de las més discutidas para la logica). LA VERDAD PARA LAS CIENCIAS FACTICAS : Es una categoria que se define como correspondencia con la realidad. * Es producto de un proceso : reflejo de la realidad en el cerebro del hombre , y su posterior verificacién en la misma realidad. * Es la correspondencia intima entre la realidad y su reflejo en nuestro cerebro. LA VERDAD PARA LAS CIENCIAS FORMALES: Alfred Tarsky define Ia verdad para las ciencias formales (Légica y Matemética) sehalando : Formalmente , un enuneiado es verdad, cuando se dice que es de tal manera determinada,, siendo de tal manera determinada (repetir las cosas tal como son). CARACTERISTICAS DE LA ‘ YERDAD * La verdad no es lo mismo que la afirmacién (la verdad se puede afirmar o negar). * La falsedad no es lo mismo que la negacién (la falsedad se puede afirmar o negar). Se eeGrennmra * Solo Ia proposicién , el enunciado puede ser verdadero 0 falso ; jamés verdadero y falso, pues estaria contra l principio de no contradiccién. LA VALIDEZ Esel producto de un proceso racional , caracterizado por la aplicacién de un conjunto determinado de reglas : si se respetan todas ellas el razonamiento (inforencia) es vélido; si se viola una de ellas , se CARACTERISTICAS DE LA VALIDE: * Todo razonamiento (inferencia) es vélido o invélido. * Todo razonamiento es correcto o incorrecto : Tiene que ver con la estructura del razonamiento: CORRECTO: Si es que esté bien estructurado. INCORRECTO: Si esté mal estructurado. * Noes lo mismo correcto que valido , ni incorrecto que invélido. * La verdad 0 falsedad de las proposiciones que forman un razonamiento , no tiene nada que ver con Ia validez o invalidez del mismo. * Un razonamiento incorrecto es necesariamente invélido. CLASES DE VERDAD La légica clasifica la verdad de manera partiéuldr? 1) VERDADES EMPIRICAS : (Liamadas también: fécticas, objetivas aposteriori . sintéticas , etc.) Aquellas que se toman y comprueban en Ia realidad. * A POSTERIORI : Se dan después dela experiencia, luego de haber practicado , luego de haber conocido. * SINTETICAS : Se comprueban en la realidad, en Ia experiencia. Las Verdades Empiricas se pueden clasificar en: A)RELATIVAS = Es producto de Ia suma , Ia relacién de varias verdades particulares. EJEMPLO : + Los mamiferos son cordados. ‘+ Todos los pianistas son misicos. + Ningin insecto es vivipare. + Algunos limefios son médicos, B) ABSOINTAS = Se definen como percepcin inmediata , se nos dan inmediatamente, directamente a los sentidos. EES(és 6) PEDLA 2012) EJEMPLO: + Puerta de madera. + Olor agradable. * Gato pequefo. + Pared blanca. 2) VERDADES LOGICAS = (Llamada también : formales , racionales, abstractas, a priori , analiticas , etc.) Aquellas que s6lo se obtienen y comprueban racionalmente , a nivel mental. * APRIORI : Se dan antes de la experiencia, antes de haber conocido. *ANALITICAS : Solo se comprucban a nivel racional, a nivel mental. Se pueden clasificar en* A) INTRINSECAS: Se aceptan como/verdad, no se discuten , tienen cardcter axiomatico. EJEMPLO: * El tridngulo tiene tres lados. 124456 + La suma de los éngulos internos de un triéngulo , da 180°. + El todo es mayor que la parte. ‘B) DERIVADAS = Producto de la relacién entre proposiciones . Son razonamientos. EJEMPLOS : + Los animales son seres vivos , el leén es un animal . De ahf que el le6n es un ser vivo. + Todo nGmero par es divisible entre 2; 6 es divisible entre 2. Luego 6 es un niimero par. + Los caballos vuelan , los unicornios son caballos. De ahf que los unicornios vuelan. FUNCIONES BASICAS DEL LENGUAJE: Lenguaje—+ Materializacién del Pensamiento. 4) FUNCION INFORMATIVA KEFERENCIAL O DESCKIPTIV: Esaquella quese encarga decomunicar informacién que proviene de la realidad que nos rodea , hace referencia 0 describe al Mundo Objetivo , mediante el uso de oraciones verdaderas o falsas (proposiciones). Es el lenguaje utilizado por las ciencias: EJEMPLOS : + La logica es una ciencia abstracta. * Todo mamifero es un ser vivo.