LOGICA

1. Cuando escuchamos la palabra "Lógica" inmediatamente la asociamos con la idea o
noción de razonamiento,
1. Introducción
Cuándo escuchamos la palabra “lógica” inmediatamente la asociamos con la idea o noción
de “razonamiento”, esta relación nos puede servir como primera aproximación, hoy en día
esto puede ser considerado desbordado por la enorme extensión y diversidad que ha alcanzado
esta disciplina sobre todo en la tecnología e informática[1].
Lo cierto es que uno puede razonar sin siquiera haber estudiado lógica, entonces uno se
pregunta ¿Porque estudiar Lógica?...básicamente por dos razones fundamentales:
Primero, porque un estudio adecuado de ésta la enfocará tanto como una ciencia y como un
arte. Esto significa que es menester aplicar las técnicas y criterios aprendidos a nuestro propio
razonamiento, lo cual nos da una menor posibilidad de cometer errores que aquella persona
que nunca a estudiado lógica. Esta posibilidad disminuye aún más cuando estudiamos y
analizamos los métodos incorrectos de razonamiento, las llamadas falacias, pues su
conocimiento nos ayuda a evitarlas y nos ayuda a conocer, con sólo escuchar, lo que pasa en
la realidad de la otra persona.
La otra razón tiene que ver con nuestra realidad tecnológica, es decir necesitamos precisar lo
que antes era obvio para nosotros y "traducirlo" de alguna forma en un "lenguaje" que todos
entiendan.
Es aquídonde se hace imprescindible el uso de las ciencias formales (la lógica y la matemática)
y las ciencias naturales. Parece un tanto extraño que se deba recurrir a una ciencia formal como
la lógica, pero lo cierto es que las instrucciones se dan naturalmente en su lenguaje. Si no
conocemos este lenguaje no podremos conseguir nuestro objetivo. Si queremos cambiar y
generar nuestra propia tecnología, el estudio de la lógica, entre otras ciencias es fundamental,
esta nos permitirá comprender los procesos informáticos en los que tiene aplicación, su estudio
nos facilita la comprensión de lógicas más avanzadas.
1.1. La Lógica como Ciencia
El estudio de la lógica como ciencia, se divide en dos grandes épocas. En la primera, ubicamos
la "Lógica Tradicionalo Aristotélica"(en honor a su creador célebre filósofo griego Aristóteles) la
cual se desarrolla desde el siglo IV A.C hasta mediados del siglo XIX. En la segunda, surge la
lógica simbólica, lógica matemática o moderna que fué desarrollada por el gran filósofo y
matemático Gottfried Wilhelm Leibniz (1646 - 1716) quien además es considerado su creador.
El perfeccionamiento incesante de la Lógica Simbólica, empieza a mediados del siglo XIX con
la publicación de la obra del matemático Irlandés George Boole (1815 - 1864) "El análisis
matemático de la lógica" el año 1847. En el mismo año Augustus de Morgan (1806 - 1871)
publica su obra "Lógica Formal". Posteriormente aparecen los trabajos del matemático alemán
Gottlob Frege y del Italiano Giuseppe Peano, y de los lógicos Bertrand Russell y Alfred Witehead
con "Principia Mathemática" (1910 - 1913). Es grande el número de personas que han
contribuido al desarrollo reciente de la lógica simbólica, pero quizás los más prominentes han
sido Kurd Godel, David Hilbert, Alfred Tarski y Lukasiewicz.
Si reparamos en la ciencia que la humanidad ha creado y cultivado, advertimos que presentan
cinco características invariables:

2. 1.2. Clasificación de las Ciencias según su objeto de estudio.
Aunque las ciencias pueden interrelacionarse, lo que distingue a una ciencia de otra es
básicamente el objeto de estudio.
Basándose en este criterio, Mario Bunge, clasifica a las ciencias en dos grandes grupos
1) Ciencias Fácticas: en este grupo se encuentran las ciencias naturales, o fenómenos
naturales (Física, química, geología, etc.) y las ciencias sociales o fenómenos sociales
(sociología, derecho),
el objeto de estudio de estas ciencias fácticas está en la realidad física o social.
2) Ciencias Formales: o entesideales (matemática, lógica),cuyo objeto de estudio es ideal
o abstracto)

3. 1.3. Definición de Lógica
La lógica es una ciencia formal cuyo objeto de estudio son los métodos y los principios
usados para determinar la validez o invalidez de los argumentos.
2. Mapa Conceptual de la Unidad Introducción a la Lógica Simbólica
3. La lógica Proposicional
La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones,
sus posibles valores de verdad y en el caso ideal, su nivel absoluto de verdad.
Definición de Proposición
Es el significado de un enunciado que tenga la propiedad de ser verdadero o falso
pero no ambos. Las proposiciones constituyen la base sobre la cual se apoya la lógica.