¿Por qué la lógica usa lenguaje artificial para representar las formas de los razonamientos?

Página 1

las formas gramaticales no siempre reflejan bien las formas lógicas.

El uso de un lenguaje artificial facilita las demostraciones de validez o no validez de las formas de razonamiento.

Las formas descritas en términos del lenguaje natural pueden ser ambiguas desde el punto de vista lógico.

Cuando se describen las formas en términos del lenguaje natural, se hacen muchas distinciones irrelevantes desde el punto de de vista lógico.