ALUMNO: Manuel Alejandro Herrera Montejo.

ESCUELA: Cesun Universidad

CARRERA: Lic. Administración

MATERIA: Lógica para toma de decisiones

PROFESOR: Alan Ismael Osuna García

FECHA: 02 FEBRERO 2022

 2.1 LOGICA FORMAL

Concepto de Lógica

La lógica formal, también denominada lógica teorética o lógica matemática,

determina cuáles son las formas válidas y correctas de los razonamientos. A través de esta
práctica se busca diferenciar lo correcto de lo incorrecto.

En la lógica formal se utilizan los símbolos sin ambigüedad y de la forma más clara
posible, de manera que no puedan ser manipulados. Gracias a esta práctica es posible que
se desarrollen ideas propias.

La lógica formal utiliza como objeto de estudio aspectos como el razonamiento, el

concepto, los juicios y la demostración. A partir de estos elementos analiza y estudia todos
los recursos del lenguaje y la semántica, para así poder llegar a una conclusión. En este
sentido, se establece que en la lógica formal se estudia el razonamiento desde el punto
estructurado, desde su validez o invalidez.

La lógica formal no es un estudio empírico del proceso de razonamiento. Tampoco se debe

confundir con la persuasión, ya que esta toma la estructura de los argumentos para obtener
una conclusión. Esta lógica también es conocida como lógica teórica o pura, y procura
realizar un estudio abstracto de los contenidos o formas lógicas de los argumentos
deductivos, declaraciones, proposiciones y oraciones asertivamente usadas.

Descripción de las características de la lógica

02 de Febrero 2022, Página 1

 2.1 LOGICA FORMAL
A continuación se presentan las características más particulares que diferencian a la lógica
formal de los otros tipos de lógica:

 Es una ciencia  que estudia la forma de la premisa, a diferencia de otros tipos de

lógica que estudian solo lo material.
 Se trata de una estructura sin materia.
 Se establece bajo un subconjunto de sistemas formales.
 Aplica métodos tan eficientes que a través de la lógica formal puede distinguirse lo
incorrecto de lo correcto.
 Las conclusiones del razonamiento correcto o con validez surgen debido a que se
analiza la estructura de las premisas verdaderas.
 Estudia y analiza a las personas para llegar directamente al pensamiento, y así poder
establecer nuevos patrones en la mente de cada individuo.
 Se caracteriza por ser simbólica.
 Desde el punto de vista de una ciencia formal, juega un papel importante en las
matemáticas, la filosofía, la informática y las estadísticas.
 Está relacionada con la gramática debido al estudio de la semántica.
 Estudia las estructuras, motivo por el cual es comparada con las matemáticas.
 También se relaciona con la psicología debido a que se enfoca en el estudio del
pensamiento de cada individuo.

Descripción de los tipos de lógica

Lógica deóntica:

Proviene del griego antiguo δέον[τος] déon[tos] y significa “lo debido” o “lo necesario”. El

lógico austriaco Alois Höffler es el percusor de este concepto, que se refiere al estudio y
análisis de las normas.

Lógica bivalente:

Es el tipo de lógica que admite solo los valores de verdadero y falso. No cree en los
matices, todo es negro o blanco; la escala de grises es  imposible en este tipo de lógica.

Sus principios se basan en la lógica aristotélica, que son la identidad, la no contradicción y

el tercero excluido.

02 de Febrero 2022, Página 2

 2.1 LOGICA FORMAL

Lógica plurivalente o  polivalente:

Este tipo de lógica nació a raíz de los estudios realizados por los filósofos Jan Łukasiewicz
y Emil Post, en los cuales exponen que se pueden admitir otros valores distintos de los ya
comunes “verdadero” y “falso”, y que dichos valores pueden llegar prácticamente hasta el
infinito.

En este sentido se diferencia de la lógica bivalente, que admite solo dos valores. Los
estudios demuestran que la lógica plurivalente o  polivalente maneja valores como la
posibilidad, la necesidad, la no necesidad, la verdad, la falsedad y la imposibilidad.

REFERENCIAS

(DANIELA, 2019)

APA Rodríguez, Daniela. (25 de abril de 2019). Lógica formal: objeto de estudio, características y
ejemplos. Lifeder. Recuperado de https://www.lifeder.com/logica-formal/.

02 de Febrero 2022, Página 3