Le lingue come rappresentazioni formali della conoscenza