Pues Entelequia, para lo mismo que sirve comprender el Intelecto en Averroes o el Arché de la Filosofía griega. Para saber, conocer,aprender a pensar, desarrollar la mente, etc...
La lógica la utilizaban y conocían todos los filósofos que estudiamos, algunos de los cuales tú probablemente admires.

¿Para qué sirve la lógica? Esa pregunta me la hace mucha gente referente a la Filosofía. Pero tu pregunta me sorprende en ti, una estudiante de la materia

Estrella5 escribió:
No me refería a eso, sino que a qué situaciones prácticas se aplica, en qué situaciones se usa (no la Lógica en general, claro, que hasta ahí llego).

Ah vale, me tranquilizas
A esa pregunta que te contesten los compañeros, yo todavía no he estudiado esa asignatura.

Saludos.

Entelequia escribió:
Pues por ejemplo en la programación de automatas y de inteligencia artificial.

Entelequia, para ligar en Amnesia o Space, seguro que no sirve

-1 ¬r --> (¬p ^q)
-2 (¬r ^t) --> p
----3 ¬r
4 ¬p ^q MP 1,3
5 ¬p SIM 4
6 ¬ (¬r ^t) MT 2,5
7 ¬r --> ¬t INT6
----8 ¬t MP 3,7
9 ¬r --> ¬t TD 3,8
10 t --> r CP 9

Utilizo la nomenclatura antigua del colegio.

Entelequia escribió:
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.

raven escribió:
De verdad, no sabía que me expresara tan mal. A ver, solo he preguntado que ese batiburrillo ininteligible por mi supina ignoracia, porque para mi es tan entendible como si fuera chino, qué utilidad tiene a nivel práctico: no la lógica, ni la Lógica, no, solo esa galimatías de letras y rayas. Yo no he preguntado para qué sirve la Lógica, creo que sería lógico entenderlo (a ver si se capta la ironía)
De todas maneras gracias por responder.

Yo te he entendido perfectamente porque he sentido vértigo cuando he visto el cuadro. La diferencia es que le he preguntado a alguien que tengo muy muy cerca (una ingeniera informática) que entendía yo que debía haber dado algo de lógica formal en la carrera. Sorprendentemente, me ha dicho que es una asignatura que me va a "encantar"... Sinceramente, ahora mismo me cuesta creerlo.

Entelequia escribió:
Hay una frase en el Deaño (uno de los dos libros de la asignatura), que me hizo pensar bastante. Mencionaba algo así como "parece intuitivo dar este paso, pero no debemos caer en la tentación de usar la intuición. de hecho el estudio de la lógica es el estudio a no hacer caso a la intuición y de ceñirse a las reglas".

Creo que lo que uno debe sacar de hacer estos "batiburrillo(s) ininteligible(s)" es la habilidad de aprender a desenredar argumentos complicados mediante reglas formales y no simplemente pensar que son válidos intuitivamente. Ya vimos que desafortunadamente MGA no cerro bien la prueba, aunque le pareciera bien cerrada.