Logica

La lógica es una ciencia formal, es decir, que como cualquiera de las ciencias
formales crea su propio objeto de estudio y el razonamiento y la creación de
ideas por parte de la mente son su metodología de trabajo y conocimiento,
pero además, la lógica, es una de las ramas más importantes y populares
dentro de la Filosofía, siendo su objeto de estudio los principios de la
demostración y la inferencia válida, que son los métodos que en definitiva
permitirán distinguir el razonamiento correcto del incorrecto.

Finalidad

La Finalidad de la Lógica consiste en llevarnos hacia un pensamiento correcto

y verdadero; un pensamiento correcto es aquel que va de acuerdo con las
leyes de la razón y un pensamiento verdadero es el que va de acuerdo con la
realidad, es decir un pensamiento validable, comprobable y universal

Formal

La lógica formal, también conocida como lógica clásica o lógica aristotélica, es

el estudio de proposiciones, argumentos, declaraciones u oraciones desde el
punto de vista estructural. Se trata de un método para estructurar el
pensamiento y determinar las formas correctas o incorrectas de un
planteamiento específico.

Informal

Estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o

cotidiano. Puede tratarse tanto de lenguaje hablado como escrito o bien,
cualquier tipo de mecanismo e interacción utilizada para comunicar algo.

Su objeto de estudio es la forma de argumentar para obtener el resultado

deseado. La lógica informal da validez a los argumentos lógicos que resultan
más coherentes entre otros que tienen una estructura argumentativa más
débil.

Matemática
Se trata de una herramienta que estudia los propios fundamentos de la
matemática a partir de los razonamientos lógicos y deductivos.

Se caracteriza por emplear símbolos que constituyen un nuevo lenguaje a

través del cual de “traducen” los argumentos. La lógica simbólica o
matemática, busca expresar el pensamiento humano a través del lenguaje
matemático. Esta aplicación matemática de la lógica permite que los
argumentos y las construcciones sean más exactos.

Natural

Es aquella que aparece como resultado de la propia experiencia humana,

similar al sentido común y que está basada directamente en razonamientos
empíricos. Aparece cuando una experiencia repetitiva muestra un
conocimiento práctico adquirible a través del cual es posible llegar a una
conclusión correcta.

Modal

La lógica modal se centra en el estudio de los argumentos, pero agrega

elementos relacionados con la posibilidad de que el enunciado en cuestión
sea verdadero o falso.

Variables o variables proposicionales son los símbolos que sustituyen las

proposiciones o enunciados. Se llaman variables porque su significado va
cambiando en las diferentes argumentaciones o expresiones.
Se han acordado cinco variables o letras como símbolos: p, q, r, s, t. Si hacen
falta más variables, se recorre a subíndices:

Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta"
o "Todos los planetas giran entorno al Sol" o cualquier otra proposición. Por
ello, siempre es preciso indicar la proposición que se simboliza con la
variable. Así, p = La Tierra es un planeta.

Conectivos lógicos

Los conectivos lógicos son símbolos usados para combinar proposiciones

simples dadas, produciendo así otras llamadas proposiciones compuestas.

Proposiciones simples o atómicas

Son aquellas que carecen totalmente de conectivos lógicos y que, por lo

tanto, son inseparables. En este grupo se encuentran las proposiciones
predicativas, que son aquellas en la cual se afirma o atribuye una
característica respecto de un objeto, como por ejemplo, Juan Pérez es
profesor; y las proposiciones relacionales, en las cuales existe una relación de
dependencia, estableciendo un enlace entre dos o más objetos, como por
ejemplo, Caracas es la capital de Venezuela.

Proposición compuesta o molecular

Son aquellas que resultan de la combinación de varias proposiciones simples,

unidas por uno o más conectivos lógicos y que pueden ser separadas y
descompuestas en proposiciones más simples. Ejemplo: Fui al banco pero
estaba cerrado
El hombre desde siempre ha buscado la razón, distinguir lo correcto de lo
incorrecto, es aquí cuando entra la lógica como una rama de la filosofía que
estudia la estructura del pensamiento humano. Además, trabaja
paralelamente con otras ciencias para el desenvolvimiento del individuo en la
sociedad.

Posteriormente se desarrollará más este tema, afincándonos en especial en

la lógica proposicional

La lógica es una disciplina filosófica que estudia las formas de pensamiento

con el objeto de establecer argumentos válidos. La lógica se interesa por
descubrir las leyes y los principios que permitan conducirnos con rigor,
precisión y verdad hacia el conocimiento. Existen diversos tipos de lógicas
entre ellos: la lógica matemática, formal, informal, modal, entre otras.

La lógica proposicional es una rama de lógica matemática que se enfoca en la

verdad o falsedad de las proposiciones.