¿Qué son los tipos de lógica?

En general, se puede dividir a la lógica en lógica formal y lógica informal. La lógica formal, por su parte, trabaja con sistemas de lógica proposicional (que opera sobre proposiciones), lógica de primer orden (que opera sobre predicados) y lógica modal (que opera sobre los valores de verdad).

Ramas

Modo de pensar y de actuar sensato, de sentido común. Por lógica, este es el mejor camino.

La Lógica se divide en dos grandes ramas: la lógica deductiva y la lógica inductiva.

Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal.

Nos centraremos aquí en cuatro tipos de razonamiento: razonamiento deductivo, razonamiento inductivo, razonamiento abductivo y razonamiento por analogía . Una forma de distinguirlos es observando cómo utilizan los casos, las reglas y los resultados.

Hay tres divisiones de la Lógica: el Ser, la Esencia y la Noción (o Concepto) . En esta sección explicaré el lugar y contenido de cada una de estas divisiones.

Tradicionalmente, se ha identificado un gran número de falacias informales, como la falacia del equívoco, la falacia de la anfibología, la falacia de composición y de división, el falso dilema, la petición de principio, el argumento ad hominem y el argumento ad ignorantiam.

Para dar un ejemplo digamos que un profesor de lógica quiere enseñar teoría de conjuntos, para ello puede crear una situación por ejemplo organizar una biblioteca, hacer un equipo de fútbol y un juego de fútbol o contar, o en sistemas lógicos más complejos en la programación de computadoras, lavadoras, y máquinas en ...

Algunos ejemplos de pensamiento lógico son:

(1) Logic's subject matter includes propositions, entailment, implication, inference, validity, soundness and consistency . (2) El tema de la lógica es la estructura del pensamiento mismo. (3) El tema de la lógica es la estructura del lenguaje.

Para Aristóteles, entonces, la lógica es el instrumento (el "organon") mediante el cual llegamos a conocer cualquier cosa . Propuso como reglas formales para un razonamiento correcto los principios básicos de la lógica categórica que fue universalmente aceptada por los filósofos occidentales hasta el siglo XIX.

Lo que interesa al lógico es la corrección del proceso de razonamiento, el estudio de los métodos y principios que distinguen el razonamiento correcto del incorrecto. Por este motivo, al encargarse del análisis de los razonamientos en un nivel conceptual, forma parte de las ciencias formales.

En general, se puede dividir a la lógica en lógica formal y lógica informal. La lógica formal, por su parte, trabaja con sistemas de lógica proposicional (que opera sobre proposiciones), lógica de primer orden (que opera sobre predicados) y lógica modal (que opera sobre los valores de verdad).

Para el platonista, la lógica es independiente de cualquier otro dominio y, por tanto, objetiva: si algo se sigue lógicamente de otra cosa depende solo de las características formales de los argumentos en cuestión.

Los tratados de lógica de Aristóteles (384-332 a.C.), conocidos como Organón, contienen el primer tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Estos representan el primer intento de establecer a la lógica como ciencia.

Los dos tipos principales de razonamiento, deductivo e inductivo , se refieren al proceso mediante el cual alguien llega a una conclusión y a cómo cree que su conclusión es verdadera.

Los tipos de razonamientos que existen

El razonamiento inductivo es un método para sacar conclusiones yendo de lo específico a lo general. Por lo general, se contrasta con el razonamiento deductivo, en el que se procede de información general a conclusiones específicas. El razonamiento inductivo también se denomina lógica inductiva o razonamiento ascendente.

leyes del pensamiento, tradicionalmente, las tres leyes fundamentales de la lógica: (1) la ley de contradicción, (2) la ley del tercero excluido (o tercero) y (3) el principio de identidad.

Un problema central en lógica es cómo distinguir los argumentos correctos o válidos de los incorrectos o inválidos . La filosofía de la lógica investiga cuestiones como qué significa que un argumento es válido.

Específicamente, la lógica como arte busca aplicar los principios del razonamiento para analizar y crear argumentos, pruebas y otras cadenas de razonamiento. En resumen: La lógica es la ciencia y el arte de razonar bien .

Cuando la lógica formal es la lógica de la demostración, la lógica informal es la de la argumentación. Cuando la demostración es correcta o incorrecta, valorada en el primer caso y sin valor en el segundo, los argumentos son más o menos fuertes, más o menos pertinentes, más o menos convincentes.

El término "lógica informal" se utiliza a menudo para significar lo mismo que pensamiento crítico. En ocasiones se utiliza para referirse al estudio de razonamientos y falacias en el contexto de la vida cotidiana. La "lógica formal" se ocupa principalmente de los sistemas formales de lógica .

La lógica "moderna" sería, en cambio, la que parte del álgebra de la lógica de Boole o del análisis lógico de Frege. Pero no es obligado atenerse a estos usos, ni son los únicos existentes. Lo "moderno" suele ser lo nuevo o lo último en establecerse: durante los ss.

El razonamiento puede ser inductivo o deductivo, lo que significa que puedes pensar en tu camino hacia la comprensión eliminando todas las demás posibilidades (deductivo) o haciendo una generalización basada en otras posibles similitudes (inductivo). La lógica es un conjunto de reglas que ayudan a alguien a razonar de una manera estructurada y más efectiva.

La lógica, en tanto que ciencia o instrumento, nos permite distinguir entre las formas válidas de razonar y las inválidas.