Misión: Formar profesionales de la educación altamente calificados, acorde con las necesidades socioculturales y las exigencias éticas; realizar investigaciones y ejecutar programas de extensión, implementando las políticas nacionales, en concordancia con las regionales y mundiales. INAES, mbo´ehaopavẽ ombohekóva ñehekombo’e rypy’ũ, omba;apo mbarete: Ombokatupyry hag̃uã hekopete mbo;eharakuérape, ñane retãme oñeikotevẽhaichaite, ha tekomomorãmby ojerureháicha avei, kuaapy pyahu rehe ojuhu hag̃uã, ohupytyka hag̃uã hembiapopy ha ikuaapy mayma oikotevẽvape, omboguatakuévo opa tembiapo ñane retãme oñeisãmbyhýva, omboyke;ỹre ko arapy tuichakuére ojejapóva Historia y Clasificación de la Lógica Etimológicamente la lógica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un principio se definió la lógica como la rama de la gramática que se ocupaba de ciertas formas de lenguaje. Como la palabra es la expresión, o manifestación del pensamiento y el pensamiento racional es la base de la filosofía, puede decirse en general, que la lógica es la ciencia del pensamiento racional; es de aclarar que la lógica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos. En el siglo IV, en respuesta a la necesidad de construir argumentos, para defender o refutar pensamientos de los demás, Aristóteles, considerado por los griegos. “El padre de la lógica”, creo métodos sistemáticos para analizar y evaluar dichos argumentos, para lo cual desarrolló la lógica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. El gran matemático Gottfried Leibniz en 1646 fue el primero en intentar reformar la lógica clásica, planteando que la dependencia lógica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecánico y a este esquema (lógica simbólica) lo llamó una característica universal. El proceso de la lógica continuó en el siglo XIX. En 1847 el matemático inglés George Boole en compañía de Augustus de Morgan hizo notar el parentesco entre las operaciones lógicas con las matemáticas, pues a partir de los operadores aritméticos de adición, multiplicación y sustracción crearon los operadores lógicos equivalentes de unión, intersección y negación; además formularon los principios del razonamiento simbólico y el análisis lógico. A Boole se le atribuye la invención de las tablas de verdad para comprobar la veracidad de proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra “Principio Matemático”, quienes codificaron la lógica simbólica en su presente forma definiéndola como la “Ciencia de todas las operaciones conceptuales posibles”, por esta razón la fundación de la lógica formal moderna se les atribuye a ellos Fuente: https://www.academia.edu/36266328/GU%C3%8DA_DE_L%C3%93GICA_TEMA_1_NOCIONES _FUNDAMENTALES_DE_L%C3%93GICA_HISTORIA_DE_LA_L%C3%93GICA Visión: Constituirse en una institución líder en la construcción y validación de innovaciones educativas, con un enfoque personalista, ético e integrador, reconocida por su excelencia académica a nivel nacional, regional y mundial. INAES jehechaukapy: INAES mbo´ehaopavẽ omoakãrapu;ã, omoañetete ha omotenondéva tekombo;epy pyahu, oñangarekóva maymávare tepichaháicha, tekoporãite ha ñombyaty rupive, oñemomba;eguasúva hembiapo porãrasa rehe, ñane retã ha arapy tuichakue javevére. Instituto Nacional de Educación Superior “Dr. Raúl Peña” Decreto Nº 31.003/68 *Ley Nº1692/01 *Ley Nº6.223/18 www.inaes.edu.py * Corr.Electr.: secretariageneral@inaesvirtual.edu.py Avda. Eusebio Ayala Km. 4,5 (Bº Hipódromo) * Asunción, PARAGUAY Teléfono: 0962 324 734
