philosophy using an idealized language free from the ambiguities of ordinary language using formal logic