Entelequia escribió:
De verdad, disculpad mi ignorancia pero: ¿todo esto para qué puñetas sirve?
Hombre, si te dedicas a la filosofía, parece una buena herramienta para demostrar fehacientemente que el tipo sobre el que escribes ha metido una contradicción o tautología en su razonamiento (aunque esto es peliagudo por la imprecisión del lenguaje natural).
O para demostrar que el tuyo no sufre de esos problemas (más complicado aún, pero bueno).
Como dice el compañero, es útil en desarrollo de software y electrónica (un circuito electrónico, al fin y al cabo, viene a ser un batiburrillo de puertas lógicas). Aunque se enfoca desde una perspectiva muy diferente. Como ingeniero, necesitas entender matemáticamente los operadores y sus relaciones y propiedades. No tienes que preocuparte de que la tensión del cable se deba a un ataque ad-hominem o un argumento de autoridad.
En filosofía el enfoque es, paradójicamente, más formal, pero menos matemático.
En realidad no estoy seguro de entender tu pregunta, Entelequia. Preguntas para qué sirve la lógica, pero luego dices que ya sabes para qué se usa "la lógica en general". Pues para lo mismo. La lógica "en general" se utiliza en el razonamiento deductivo; dados unos antecedentes (premisas, causas) nos permite averiguar (deducir) los consecuentes (efectos).
La lógica formal nos permite formalizar el razonamiento deductivo.
Si sospechas que tu mujer te engaña y crees que tienes pruebas concluyentes, usando la lógica formal puedes averiguar si efectivamente son concluyentes, o (lo más probable) solo te has hecho una paja mental.
Por supuesto, como siempre ocurre con las matemáticas, no hay forma de comprobar que no has cometido un error en el desarrollo; y nuestro razonamiento abstracto mezclado con la imprecisión del lenguaje natural lo enfanga todo y es peligroso estar seguro de nada.