Den disciplin som giltiga argument och verksamhet behandlas med ett konstgjort språk som syftar till att undvika de tvetydigheter och logiska brister av naturligt språk.