Lógica.

Lógica

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.

Según definiciones

ARISTÓTELES:

"La lógica es la ciencia de la demostración, porque se preocupa de dar reglas para alcanzar la verdad de evidencia inmediata, que conocemos por medio de la demostración"

Lo que ahora se conoce como lógica clásica o tradicional fue por primera vez enunciada por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico. Un silogismo es una proposición hecha de una de estas cuatro afirmaciones posibles: "Todo A es B" (universal afirmativo), "Nada de A es B" (universal negativo), "Algo de A es B" (particular afirmativo), o "Algo de A no es B" (particular negativo. Las letras sustituyen a palabras comunes como "perro", "animal de cuatro patas", o "cosa viviente", llamadas términos del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusión, debiendo tener cada premisa un término en común con la conclusión y un segundo término relacionado con la otra premisa.

KANT

"Es la ciencia de las leyes necesarias del entendimiento y de la razón general."

Divide la lógica en formal y trascendental, según prescinda o no de las presentaciones objetivas. La formal la subdividió en lógica pura y lógica aplicada, la primera solo atiende los principios a priori, despreciando todo lo que tenga su origen en la experiencia; la segunda aplicada a su entendimiento sujeto a la experiencia, a las leyes de la razón pura. Así lo verdadero o falso, no está en la adecuación o no de las ideas y los objetos de la realidad, sino en la concordancia de las representaciones entre si, por lo tanto su lógica es eminente mente formalista.

HEGEL

"La lógica es la ciencia de la idea pura, esto es, de la idea en el pensamiento abstracto del pensamiento".

De las corrientes del idealismo panteísta, hace severas críticas al formalismo kantiano y es contrario al intento a proclamar las leyes de la lógica formal como método universal del conocimiento.

La Lógica es una rama de la Filosofía, surgida desde el siglo VI a C. Tiene su origen en la palabra griega "Logos" que significa "discurso", "palabra" "orden".

La Lógica Material es el orden ya establecido del universo, y se manifiesta en los hechos.

Y la Lógica Formal busca las formas del pensar correcto, coherente y argumentado, pues busca evitar el error; su ámbito de estudio es el razonamiento.

La Lógica formal nunca cambia. Lo que cambia son las creencias, ideas y opiniones de las personas.

Hay reglas que rigen a la Lógica formal, llamados Principios Lógicos Supremos, los cuales son:

IDENTIDAD: A largo de un discurso una palabra o término debe referirse a una clase de objetos determinada y no cambiar, a menos que se anuncie o de noticia de ello.

NO CONTRADICCIÓN: Es inválido que una palabra o término refiera a dos o más clases de objetos a la vez. O refiere a una clase determinada de objetos o refiere a otra, pero no a dos o más a la vez. .

TERCERO EXCLUIDO: Una palabra o término no puede referir a dos o más clases de objetos distintos para hacer referencia una tercera clase, resultado de esa primera referencia cruzada.

RAZÓN SUFICIENTE: Toda proposición debe tener una razón o una causa que lo explique, sustente y justifique.

El objeto de estudio de la Lógica Formal es el Razonamiento, que se expresa en juicios, conceptos y argumentos.

El Fin de la Lógica Formal es alcanzar el bien común el generar acuerdos.

La Lógica deja de lado los sentimientos y creencias personales para llevar a cabo el análisis de los razonamientos expresados en argumentos para evaluar si son o no válidos.

Lógica Formal: Objeto Material y Objeto Formal

LOGICA FORMAL: la podemos definir como la disciplina filosófica que tiene como objeto de estudio los principios y métodos que se emplean para distinguir o diferenciar el razonamiento correcto del incorrecto.

Su Objeto Material es la estructura del pensamiento en sus tres formas: concepto, juicio y razonamiento.

Su Objeto Formal es la forma o estructura de los razonamientos para distinguir los "correctos" de los "incorrectos", no hace referencia a su contenido o materia (o sea, si son "verdaderos" o "falsos").

...