La lógica

La lógica es una ciencia formal y una rama de la filosofía 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».

La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dicho contenido se pueda referir.

Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».

Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como 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 unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.

Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje, tal relación se trata bajo un punto de vista completamente diferente.

La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.

Enlace a pagina amiga:http://cibernous.com/logica/index.html

La lógica se constituye prácticamente como disciplina autónoma, a partir de Aristóteles, quien la instauró como ciencia, elevándola al grado de saber supremo.


Tal grado fue alcanzado debido a la importancia que se la atribuyó como método, como herramienta indispensable en el manejo de los procesos mentales. De ahí que se diga que el objeto sobre el cual trabaja la lógica, es el pensamiento, sus formas, es decir la manera como la mente consigna y ordena los datos provenientes de la naturaleza. Posteriormente, dichos datos serán expresados de acuerdo con las reglas o formas asignadas por la disciplina en mención.





El pensamiento:
Es el proceso mediante el cual, el hombre capta la realidad, partiendo de sus sentidos, hasta obtener una percepción clara de los fenómenos al conformar una imagen de estos.
La imagen se crea a partir del ordenamiento de la sensaciones al captar la realidad. Este proceso se puede denominar el despertar del pensamiento. De aquí en adelante se relacionarán las imagines, conformando las primeras ideas de las cosas o fenómenos.


Factores del proceso de pensar:
a.Un sujeto pensante que produce el pensamiento.
b.Un objeto al que se refiere el pensamiento y que determina su contenido.
c.La forma como es expresado el pensamiento.
Lógica formal y lógica material:
En el pensamiento es posible distinguir los contenidos materiales y los contenidos formales. Los primeros son constituidos por los conceptos: montaña, casa, carro, árbol. Los segundos, hacen referencia a la forma como aquellos conceptos se relacionan entre sí: A es parte de B; A es idéntico a B; C = (A U B )

Qué es una Proposición?

Es una expresión con sentido completo de la cual se puede decir que es verdadera o falsa.

a.Bivalente: cuando una proposición tiene dos valores uno falso y uno verdadero.
b.Plurivalente: cuando tiene más de dos valores, verdadero, falso, probable.
c.No analizada: donde la totalidad de la proposición se considera una variable.
d.Analizada: Cuando nos metemos en la proposición para encontrar constantes y variables.

Clases de Proposiciones:

A.Proposición Atómica: aquella que carece totalmente de conectivas. Es una variable.
B.Proposición molecular: aquella que por lo menos tiene una conectiva.

Variable: Cualquier simple afirmación. Ej. El día es bonito.

Qué es Metalógica?

Es un lenguaje que hablamos para hablar otro lenguaje, en este caso del cálculo.

a.Sintaxis lógica: nos dice cuáles son las reglas que hay que seguir para la combinación de los signos tengan sentido.
b.Semántica lógica: nos dice qué es lo que significan los signos del cálculo lógico.
c.Pragmática lógica: relación entre los signos y aquel que lo usa.

Hay ciertas expresiones que quedan por fuera del campo de la lógica. Ej. Ay!, Bah!, Oh!.
Las exclamaciones, las preguntas y las expresiones sin sentido.

Cuando el objeto de estudio son los contenidos materiales del pensamiento, tenemos la lógica material. Cuando se estudian los contenidos formales, tenemos la lógica formal.

IiINFERENCIAS LÓGICAS

Esquema de inferencia es una representación gráfica en la cual se nos da una información.

P ® Q

P Premisa
Q Conclusión