Instituto Nacional de Educación Diversificada, INED

Jacaltenango, Huehuetenango.
Grado: Cuarto.
Sección: B.
Curso: TIC.
Carrera: Bachillerato Industrial y Perito en Electricidad.
Docente: Ana Victoria

Tema: Lógica.

Estudiante: Jesús Roberto Domingo Montejo.

Clave: 3.

Lugar y Fecha: Jacaltenango Lunes 31 de Julio.

LÓGICA
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia
formal que estudia los principios de la demostración y la inferencia válida, las falacias, las
paradojas y la noción de verdad.
La lógica se divide en varias categorías según su campo de estudio. La lógica filosófica
estudia el concepto y la definición, la enunciación o proposición y la argumentación
utilizando los métodos y resultados de la lógica moderna para el estudio de problemas
filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la
lógica proposicional, la lógica de primer orden y la lógica modal. La lógica informal se enfoca
en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica computacional es la
aplicación de la lógica matemática a las ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en
China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de
la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática,
y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia
formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica.[4] [5] [6]
Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye:

La clasificación de los argumentos.

El análisis sistemático de las formas lógicas.
El estudio sistemático de la validez de las inferencias deductivas.
La fuerza de las inferencias inductivas.
El estudio de los argumentos defectuosos, como las falacias.
El estudio de las paradojas lógicas.
El estudio de la sintaxis y la semántica de los lenguajes formales.
El estudio de los conceptos de sentido, denotación y verdad.
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en
matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX.
Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas.
En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.

En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico» aportan

también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los
contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una
teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la
tradición cultural.
Del mismo modo existe el concepto sociológico y cultural de lógica como por ejemplo
«lógica deportiva», que en general, podríamos considerar como «lógica cotidiana» - también
conocida como «lógica del sentido común».

En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática.

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y
claro; en definitiva, cuando cumple una función de eficacia. La habilidad de pensar y
expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una
relación probable.
La lógica es la ciencia de las formas del pensamiento estudiadas desde el punto de vista de su
estructura, la ciencia de las leyes que deben de observarse para obtener un conocimiento
inferido. La lógica estudia también los procedimientos lógicos generales utilizados para el
conocimiento de la realidad.
 PRINCIPIOS
Tales principios son:

Principio de identidad:

Como principio de identidad, se entiende que es un principio tradicional de la filosofía y de

la lógica. La base del principio de identidad se basa en que todo objeto o cuerpo es similar a
sí mismo y se representa de la siguiente manera:

X = X o “X es X”

Al expresar que una cosa u objeto es similar a sí mismo, no es más que el objeto es
netamente el mismo. Es posible decir que las cosas cambian de manera constante, pero, el
objeto no deja de ser el mismo, de no ser así, no se podría argumentar que dicho objeto o
cosa ha cambiado.

2. Principio de Contradicción (o Principio de no-Contradicción):

El principio de no contradicción, o a veces llamado principio de contradicción, ley de la
contradicción o ley de no contradicción, es un principio clásico de la lógica y la filosofía,
según el cual una proposición y su negación no pueden ser ambas verdaderas al mismo
tiempo y en el mismo sentido.

3. Principio de Exclusión del término medio (o Principio del medio excluido o Principio del
tercero excluido o Principio del Tercer término excluido):
Es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y
otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es
posible. Por ejemplo, es verdad que "es de día o no es de día", y que "Algo es blanco o no es
blanco". El principio del tercero excluido frecuentemente se confunde con el principio de
bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa. El principio del
tercero excluido es, junto con el principio de no contradicción y el principio de identidad,
una de las leyes clásicas del pensamiento occidental.
En la lógica proposicional, el principio del tercero excluido se expresa:

(A ∨ ¬A)
4. Principio de Razón Suficiente:
Es bien conocida la estrecha relación entre el principio de razón suficiente y el racionalismo
moderno: Descartes, Spinoza y sobre todo Leibniz hicieron de la afirmación de que nada hay
sin razón el núcleo fundamental de su pensamiento. Sin embargo, los historiadores de la
filosofía señalan que el uso del principio de razón suficiente puede remontarse hasta los
presocráticos: así, Anaximandro construye su cosmología sirviéndose del principio de razón
suficiente para explicar la inmovilidad del mundo; también Parménides necesita una razón
suficiente para justificar el inicio de la existencia del mundo. Por su parte, Arquímedes tiene
el honor de que el propio Leibniz le reconozca como un pionero en la aplicación del principio
de razón suficiente a la ciencia.

Tipos de lógica:

Vamos a ver los 4 tipos de lógica principales, así como algunas características de los dos
tipos de falacias fundamentales.

Lógica formal:

La primera de ellas es la lógica formal, también llamada lógica tradicional o lógica filosófica.
Esta se encarga del estudio de las inferencias con contenido formal y explícito. La lógica
formal analiza los enunciados formales cuyo significado tiene sentido por la aplicación útil
que se les da, es decir, su significado no es intrínseco. La lógica formal está muy cercana a la
filosofía del lenguaje, ya que está centrada en el pensamiento y el lenguaje natural.

Uno de los autores más reconocidos fue Aristóteles, que postuló los axiomas fundamentales
de la lógica:

 el principio de no contradicción (no se puede ser y no ser a la vez),

 el principio de identidad (algo siempre es idéntico a sí mismo), y
  el principio del tercero excluido (algo es o no es verdadero, sin que existan
gradaciones posibles).

Lógica informal:

Esta disciplina es más reciente que la anterior y se encarga de analizar y estudiar a posteriori
los argumentos que se utilizan en el lenguaje natural o cotidiano.

Este tipo de lógica puede ocuparse tanto del lenguaje oral y escrito como de cualquier
mecanismo utilizado para comunicar o expresar algo, por lo que se podría aplicar a otros
ámbitos como debates políticos, textos legales, o medios de comunicación.

Lógica matemática:

La lógica matemática consiste en la aplicación de sistemas lógicos a determinadas áreas

matemáticas y científicas con el objetivo de traducir el lenguaje natural al lenguaje
matemático para desarrollar demostraciones rigurosas.

Existen 4 grandes áreas dentro de la lógica matemática:

 Teoría de Modelos, atribuye un significado semántico a construcciones puramente

formales de la lógica.
 Teoría de la Demostración, se ocupa de la sintaxis de las estructuras formales de la
lógica.
 Teoría de Computabilidad, estudia los problemas de decisión a los que puede
enfrentarse un algoritmo.
 Teoría de Conjuntos, estudia las colecciones abstractas de objetos matemáticos.

Lógica simbólica:

Es la lógica que analiza la relación que existe entre los símbolos. Se puede servir del lenguaje
matemático en caso de que se enfrente a problemas que resulten difíciles de abordar para
la lógica tradicional.

Existen dos grupos:

 Lógica Predictiva o de Primer orden, sistema formal compuesto de fórmulas y

variables cuantificables.
 Lógica Proposicional, sistema formal compuesto por proposiciones que son capaces,
a su vez, de formar otras proposiciones a través de conectores.