logic has been intimately connected with algebra since its origins in figures such as