Lógica Formal

INTRODUCCION A LA LOGICA FORMAL COMO CIENCIA
– ALFREDO DEAÑO –

1. ¿Quién fue Alfredo Deaño?
Alfredo Deaño Gamallo, filósofo español, nació en Ribadeo (1944) y murió en Madrid el 24 de Enero de 1978 en un accidente de tráfico.

“En el momento de su muerte, Deaño, a la vez que preparaba las oposiciones a la agregaduría de la cátedra de Lógica, tenía en proyecto un manual didáctico sobreLógica formal y un ensayo sobre el filósofo Wittgenstein.”(1)

Profesor de la universidad autónoma de Madrid, fue especialista en lógica y metalógica. Su obra más conocida es el manual: Introducción a la lógica formal, 1974. En su obra póstuma: Las concepciones de la lógica (1980) realiza un amplio recorrido histórico y metalógico a través de las diversas filosofías de la lógica, distinguiendoentre concepciones horísticas, las que consideran lo lógico como específico y distinto de lo psicológico, lo físico, etc., y paratácticas, que consideran las verdades lógicas como reductibles a psicología, epistemología, etc. Alfredo Deaño toma partido por una concepción horística, idealista-trascendental de los principios de la lógica.
(1) Homenaje de Lugo al filósofo Alfredo Deaño, Diario ElPaís de España, 1979

(2) Homenaje de Lugo al filósofo Alfredo Deaño, Diario El País de España, 1979

2. Critica al libro (2)
La Introducción a la lógica formal pretende ofrecer unos fundamentos de lógica que, sin ceder en su rigor técnico, tienen una finalidad marcadamente didáctica, acentuada con la incorporación de un capítulo de ejercicios resueltos al final de la obra. Al analizar condetalle los problemas filosóficos suscitados por las investigaciones más recientes, la obra rompe el tono críptico y cabalístico de los manuales que consideran la lógica como un juego cerrado. De anadidura, la claridad expositiva y el talento literario del autor logran la difícil meta de que los temas propios de la lógica resulten atrayentes y aun divertidos.

3. Para que nos sirve laLógica
La lógica sirve para explicar fenómenos de la vida cotidiana, basándose en la razón como principal interviniente en este proceso; el pensar lógicamente ayuda al hombre a interrogarse por el funcionamiento de todo lo que nos rodea, la lógica es la ciencia de los principios de la validez formal de la inferencia. Una inferencia o razonamiento consiste en derivar una conclusión a partir de unaspremisas. Un razonamiento es válido cuando la conclusión se sigue necesariamente de las premisas. O lo que es lo mismo, un razonamiento es válido cuando si sus premisas son verdaderas entonces necesariamente también lo es la conclusión.
Es importante distinguir entre la validez y la verdad. La validez hace referencia a la corrección formal de un razonamiento, la verdad hace referencia a que suspremisas, su conclusión o ambas sean verdaderas. Puede haber razonamientos válidos cuyas premisas y conclusión sean falsas y razonamientos no válidos cuyas premisas y conclusión sean verdaderas.

(3) PAGINA WEB: biblioteca.unirioja.es
(4) PAGINA WEB: biblioteca.unirioja.es

4. Definición de Lógica Formal
Es una ciencia de los principios de la validez formal de la inferencia; permitiendoasí disgregar una conclusión a partir de las premisas.
Ahora explicaremos término por término:
* INFERENCIA: sinónimo de RAZONAMIENTO.
* Consiste en derivar una conclusión a partir de unas premisas.
* Todo razonamiento es pensamiento; pero no todo pensamiento es razonar.
* El razonamiento como resultado plasmado en el lenguaje se convierte en el objeto material de la lógicaformal.

* VALIDEZ FORMAL: los razonamientos se dividen en:
* Razonamientos válidos
* Razonamientos no válidos

* PRINCIPIOS

* CIENCIA

5.
Objeto de Estudio
El objeto de la lógica formal es el lenguaje del pensamiento.

EL LENGUAJE: las posibilidades de uso del lenguaje son infinitas

LENGUA: Capacidad de crear nuevas oraciones.
Usos del leguaje:
•...