Lógica Simbólica

   LÓGICA SIMBÓLICA

El propósito de este ensayo, ubicado en el concepto de lógica en una enciclopedia general de filosofía, es tomar en cuenta, aunque sea breve, alguno de los tópicos filosóficos vinculados al deslinde de la lógica.
Según su origen histórico, la lógica es una teoría que se inicia en los libros del Organon de Aristóteles. La teoría del Silogismo Categórico, contenida sustancialmente en los Primeros Analíticos, es y sigue siendo el paradigma para identificar la temática de la lógica. Para Kant e su Crítica de la Razón Pura cuando presenta a la lógica como una ciencia que nació perfecta y completa en manos de su creador: Aristóteles. La teoría lógica fue objeto de múltiples, y en algunos casos, sustanciales modificaciones, hay mucho de cierto en la imagen kantiana de la historia de la lógica,ya que, sin exagerar demasiado, puede afirmarse que el cuerpo central de la teoría lógica contemporánea surgió en las postrimerías del siglo XIX en la obra de Frege.
Enfoque psicológico de la lógica.
Puede describirse como la teoría de razonamiento deductivo; se caracteriza ademas de excesivamente imprecisa. La vinculación de la lógica con la psicología fue, desde la perspectiva de muchos y muy representativos autores, tan estrecha que identificaban a la lógica como describiendo, y a veces prescribiendo, ciertos procesos psicológicos en que estaban involucrados estados psicológicos de los individuos (juicios, creencias, conocimientos).
Para Frege la matemática no es mas que el capitulo más avanzado de la lógica. La definición de la lógica como ciencia teórico-descriptiva del pensamiento es un cambio vinculada a la idea del arte de pensar.
El objetivo de la lógica sería entonces encontrar criterios que aseguren la verdad.
Enfoque Semántico.
"Arte de Pensar". El enfoque semántico de la noción de consecuencia, se entenderá como un conjunto de enunciados, de un lenguaje previamente especificado, en el que la verdad de uno de ellos, se pretende justificar en la vedad de los otros (premisa de la inferencia). La inferencia sera buena (válida) cuando la conclusión sea consecuencia necesaria de las premisas, o lo que es lo mismo, cuando las premisas impliquen lógicamente la conclusión.