Filosofia Logica

La Historia de la Lógica.
La lógica proviene del verbo LOGOS.
Según el profesor Kit Fine (New York University) la lógica se ocupa fundamentalmente de los principios del razonamiento valido, de la manera más sistemática posible.
El profesor Hilary Putnam aporta que la lógica es una rama de la matemática y hoy en día cuando hablamos de lógica nos referimos a la moderna, que solía llamarse lógicasimbólica.
Su origen se remonta a Aristóteles en el siglo IV ac. y se refirió a la lógica en sus obras, algunas de ellas son Primeros Analíticos, Segundos Analíticos, Categorías y sobre la Interpretación. Aristóteles deseaba establecer reglas que permitieran a los ciudadanos griegos detectar una argumentación formalmente valida y correcta. El principio de no contradicción y del tercero excluido sonfundamentales en la lógica aristotélica. El centro de la lógica formal aristotélica es el silogismo. En éste la conclusión se deduce de las premisas. La característica de un silogismo exitoso consiste en que al ser ejecutado correctamente no pueden inferirse conclusiones falsas de premisas verdaderas. Así mismo también puede ser válido un razonamiento con premisas falsas y conclusión verdadera.Otra forma de razonamiento básico es el Inductivo, que establece como inferir generalizaciones confiables de los hechos observables. Un razonamiento inductivo no debe garantizar la transferencia de la verdad de las premisas a su conclusión.
Una de las restricciones del sistema aristotélico fue combinar dos proposiciones para dar lugar a una tercera más compleja.
Los filósofos estoicos crearon unalógica proposicional que estudiaba enunciados en cuanto son necesariamente verdaderos o falsos y las conclusiones de verdad o falsedad. Hay dos tipos de lógica, la proposicional y predicativa. La primera se ocupa solamente de aquellos enunciados que pueden ser verdaderos o falsos sin estudiarlos en cuanto a su significado. La predicativa tiene reglas de inferencia adicionales que pueden presentarvariables y expresar equivalencia entre proposiciones.
El aporte que los estoicos hicieron a la lógica paso inadvertido durante siglos. Algunos filósofos medievales como Guillermo de Ockan, Paolo de Venecia se concentraron en reforzar la lógica aristotélica y hacer algunos aportes a la misma. Sin embargo, el avance de la ciencia hizo inexorable la aparición de nuevos sistemas de pensamiento y fueel filósofo inglés Francis Bacon(siglo XVII) quien formó un sistema que habría de desafiar la ortodoxia del órgano de Aristóteles. Lo que Bacon intentó hacer fue un nuevo método para interrogar al mundo, que implicara ir por el mundo recogiendo datos y organizándolos en diferentes tablas, poder extraer conclusiones teóricas de ellas. Quiso presentar una manera racional de organizar la experienciay de interrogar la naturaleza, de forma tal que con esta combinación de razón y de naturaleza pudiéramos progresar.
En el siglo XIX, los filósofos comenzaron a aplicar activamente estructuras matemáticas al campo de la lógica. Esta revolución matemática marcó el comienzo de lo que hoy se conoce como "La Lógica Moderna". George Boole después de 1854, un matemático inglés hizo importantes aportes:a La Teoría de las Ecuaciones Diferenciales, creó el cálculo de las diferencias finitas, inventó el Álgebra de las Lógicas. Hoy en día todavía representa un logro importante.
El Álgebra de la Lógica fue perfeccionada por el matemático Gottlob Frege dando origen a la Lógica Proposicional. El avance decisivo se produjo en el S. XIX, fue Frege quien logró el verdadero progreso, introdujo la eramoderna de la lógica. Logró demostrar que las leyes aritméticas podían reducirse en última instancia a la lógica, lo cual se conoce bajo el nombre de “Logicismo”. A su vez, fue el primero en identificar la distinción entre los axiomas lógicos y las reglas que son necesarias para realizar una deducción, dio los primeros pasos hacia la axiomatización de la lógica, creó el cálculo proposicional y...