The smart contracts phenomenon arises as a new step in electronic contracts. This work researches the semantic complexities of drafting legal agreements in increasingly digitalized environments. The article aims to identify theoretical limits incorporating programming language in drafting agreements by studying the level of rationality in contractual terms and legal reasoning. The language of code is highly rational, but the pervasiveness of rationality within the legal language may vary according to what contract´s categories and legal reasoning are being adhered to.El fenómeno de los contratos inteligentes ha comenzado a ser estudiado como un nuevo paso en la contratación digital. Este trabajo reflexiona sobre los desafíos semánticos en la redacción de cláusulas contractuales en ambientes cada vez más digitalizados. A través del estudio de los niveles de racionalidad presente en las cláusulas contractuales y en el razonamiento legal, se fijarán límites teóricos a la incorporación del lenguaje de programación en el ámbito contractual. El lenguaje de programación es altamente racional, pero la presencia de la racionalidad dentro del lenguaje jurídico varía según categorías contractuales, así como según el concepto mismo de razonamiento jurídico.