$rae lógica
# lógica (Del lat. logica, y este del gr. logiku). 1. f. Ciencia que expone las leyes, modos y formas del conocimiento científico. 2. f. Tratado de esta ciencia. Escribió una lógica que fue muy comentada. ~ borrosa, o ~ difusa. 1. f. La que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano. ~ formal, o ~ matemática. 1. f. La que opera utilizando un lenguaje simbólico artificial y haciendo abstracción de los contenidos. ~ natural. 1. f. Disposición natural para discurrir con acierto sin el auxilio de la ciencia. ~ parda. 1. f. coloq. gramática parda. |
Nos referimos a la «lógica formal» (no incompatible con la «lógica borrosa» , de la que también hablaremos), en la que tenemos que distinguir dos aspectos: el lenguaje formal en sí (sintaxis, semántica y pragmática) y los razonamientos (procesos mediante los cuales se obtienen conclusiones a partir de premisas). Comencemos con éstos.