logic was until relatively recently taken by many as the "one true logic". But with the