Structuralist semiotics vs formal logic in the reconstruction of judicial reasoning