La palabra lógica proviene del griego logikós, lo que significa razón o estudio. Se conoce como lógica a la ciencia que se centra en el estudio de las formas o la estructura del pensamiento humano, como sus conceptos, sus proposiciones y su razonamiento, con el objetivo de crear principios y leyes válidos para lograr criterios verdaderos.
En pocas palabras, la lógica es la ciencia que estudia las modalidades, leyes y formas de conocimiento científico. Esto se centra en el estudio directo de las alternativas de inferencia que son válidas, por lo tanto, esto no contiene contenido.
Tipos de lógica
Lógica moderna
Los primeros estudios con este tipo de lógica se llevaron a cabo en 1847 con el ensayo sobre un cálculo de razonamiento deductivo de G. Boole. En este caso, la lógica se muestra como si fuera un cálculo algebraico, por eso comienza la lógica simbólica y la lógica matemática.
Tipos de lógica moderna.
- Lógica modal: Es uno que se usa en conceptos de posibilidad y necesidad.
- Lógica semiótica: es la lógica que se centra en los sistemas de comunicación de la sociedad. Esto puede ser pragmático, sintáctico o semántico.
- Lógica deóntica: con esto es que las normas y las proposiciones se analizan formalmente, que se ocupan de las normas.
- Lógica proposicional: tipo de lógica que analiza aquellos razonamientos considerados normalmente válidos, que parten de operadores lógicos y proposiciones.
- Lógica cuantitativa: Esto se basa en el estudio de los predicados en detalle, donde utiliza cuantificadores.
Lógica material
Se refiere a la lógica que se refuerza en la epistemología, que se basa en la validez de cierto pensamiento basado en la realidad. Se considera como una lógica activa, porque siempre se cuestiona y se busca a fondo, donde se deja en la incertidumbre porque no termina con dudas.
Lógica formal
También se conoce como lógica clásica. Es la lógica que se basa en el estudio de la capacidad de un sujeto para razonar desde las asociaciones y desde el mejor aspecto, sin tener en cuenta su validez. Se considera un tipo de lógica pasiva, ya que refuta las preguntas.
Esto se centra en el estudio de la inferencia a través de la construcción de sistemas deductivos, lenguajes formales y semántica formal.
Fue creado por el filósofo Aristóteles, por lo que también se lo denomina lógica aristotélica. Sus precursores fueron Zeleo y Parmenidez.
Tipos de lógica formal
- Lógica de clase: es uno que busca estudiar una proposición lógica basada en la pertenencia o no pertenencia de un determinado individuo o un elemento específico a una clase X. Esto rige sus estudios en una teoría de conjuntos. En pocas palabras, esta lógica relaciona ciertos conceptos con propiedades.
- Lógica predicada: estudia la estructura de las declaraciones internamente otorgando una propiedad al sujeto.
- Lógica de la relación: incluye en su lenguaje: símbolos, elementos y reglas, que son útiles para expresar una determinada declaración.
- Lógica de la declaración: se centra en el estudio del razonamiento válido donde se toma en cuenta el valor de verdad de las declaraciones.
Lógica informal
Se refiere al estudio de argumentos naturales, con los cuales es posible diferenciar entre formas incorrectas y correctas en las que se desarrolla el pensamiento y el lenguaje cotidiano.
Lógica natural
Es el tipo de lógica que cada persona llega a asimilar a través de la experiencia sensata. Esto nace naturalmente y es ejecutado por la persona como una forma de prevención.
Lógica matemática
Tipo de lógica que se basa en el estudio matemático de esto, y al mismo tiempo en el estudio de cada una de las áreas de las matemáticas. Esta lógica se usa generalmente en las ciencias de la comunicación.
Por lo general, estudia aquellos sistemas formales vinculados a las matemáticas, como números, conjuntos y pruebas.
Lógica científica
Es uno que sigue la lógica natural pero al mismo tiempo agrega razón, donde el ser humano crea ideas de todo lo que existe.