Lógica:

Ciencia que estudia los principios del pensamiento y las estructuras. Analiza
las formas, las palabras, los símbolos. Se interesa en la validez o verdad
formal. Se estructura en cálculos.

La Lógica se estructura de la siguiente manera:

- Lógica de Proposiciones o de Enunciados: cálculos cuyas fórmulas son

proposiciones. Es la deducción que se establece en una relación condicional
entre premisas y conclusiones.

- Lógica de Predicados o Cuantificacional: estudia la pertenencia a un conjunto,

se efectúa según se puedan o no establecer relaciones.

-Lógica de Primer Orden: Es la unión del cálculo proposicional y del de

predicados.

-Lógica de Segundo Tercer, Cuarto Orden: se obtiene al extender la lógica

usual con un mecanismo de cuantificación universal y existencial sobre
proposiciones.

Se interpreta de forma monótona ascendente: “Todo lo que vale en un nivel

inferior vale para el nivel superior, aunque no al revés”.

Desde el punto de vista semántico Se establece otro criterio de clasificación:

números de valores de verdad:

. Lógica clásica: cálculos lógicos bivalentes, sus fórmulas pueden ser

verdaderas o falsas y no puede ocurrir que lo sean a la vez.

. Lógicas no clásicas Cuando en los cálculos lógicos se contemplan mas

valores de verdad que lo verdadero y lo falso

Se han desarrollados estos otros cálculos lógicos como herramientas de

análisis de ámbitos temporales, modales, probabilísticos o inciertos.

Por ejemplo:

.- La lógica trivalente contempla lo verdadero, lo falso y lo que no es verdadero

y no es falso, por desconocido o incierto

.- Las lógicas polivalentes lógicas probabilísticas que se corresponden con el

intervalo [0,1]

.-La lógica modal incorpora como operadores los modificadores lo necesario y

lo posible.
.-La lógica temporal incorpora parámetros temporales. Para muchas oraciones
su verdad depende del momento en que se produce.

.-La lógica epistémica es una lógica intencional que pretende formalizar

enunciados de creencia, opinión, etc.

.-La lógica nomonotónica pretende formalizar situaciones reales en las que

decidimos sin una total información y que posteriormente admite, conforme se
prueben o refuten creencias.