Un mallorquín destacado en lógica, Ramón Llull

El filósofo Ramón Llull (Palma, 1235 - Túnez, 1315) puede considerarse uno de los precursores de la lógica simbólica pues se adelantó a la idea que tuvo Leibniz cinco siglos después (principios del siglo XVIII) cuando afirmó que el lenguaje natural jamás alcanzaría el rigor y la precisión suficientes.
"Un lenguaje similar al matemático podría permitir el cálculo de los resultados", fue una de las conclusiones más destacadas del intelectual y científico Llull.

En su obra más original, "Ars Magna", aludía a la necesidad de construir un lenguaje formal, de conceptos y operaciones, similar al de las matemáticas, que permitiera el cálculo preciso y riguroso de los resultados.

No tuvo demasiado éxito, pero sentó las bases de la lógica formal.

Estatua homenaje a Ramón Llull en el 

Edificio Histórico de la Universidad de Barcelona